Algebra Lineal Demostraciones
Algebra Lineal Demostraciones
Algebra Lineal Demostraciones
DE AREQUIPA
MULTILINEAL
Arequipa - Perú
2020
i
ı́ndice
Teorema 1 1
Problema 2
Teorema 3 4
Teorema 4 11
ii
Observación:
Teorema 1
Demostración:
Luego
A−1 A = I si y solo si
v1 < v1 , v1 > < v1 , v2 > . . . < v1 , vn > 1 0 ... 0
v2 < v2 , v1 > < v2 , v2 > . . . < v2 , vn >
0 1 . . . 0
. [v1 , v2 , ..., vn ] = =
. .. .. ... .. ..
.. . . ..
.
. . . . . . .
vn < vn , v1 > < vn , v2 > . . . < vn , vn > 0 0 ... 1
Si y solo si
1, i = j
< vi , vj >=
0, i 6= j
2
Problema
ortonormal escogida.
Demostración:
decir que es simétrico queremos mostrar que [T ]β es simétrico, esto es: ([T ]β )t = [T ]β .
Teorema:
Sea (V, <, >) y α, β bases ortonormales de V entonces [I]βα es una matriz ortogonal,
esto es:
Calculamos la traspuesta
([T ]β )t = [T ]β
4
Teorema 3
ortonormal de auto-vectores de T .
Demostración:
[2] El espacio generado por v auto-vector es invariante por medio de la aplicación del
operador auto-adjunto T .
Cada uno de ellos cuenta con una serie de items que se describen dentro de su
demostración.
TA : Cn → Cn
x x x
1 1 1
x2 x2 x2
. → TA . = A .
. . .
. . .
xn xn xn
Si:
v = (x1 , x2 , . . . , xn ) ∈ Cn
w = (y1 , y2 , . . . , yn ) ∈ Cn
P (λ) = det(A − λI), con λ ∈ C auto-valor. Este P (λ) será un polinomio de grado
en C.
Como TA : Cn → Cn
Sea V un espacio vectorial con <, > y T ∈ L(V ), entonces que T sea auto-adjunto
Aplicando el teorema:
que:
Mostraremos que los auto-valores λ del punto anterior son necesariamente reales,
para TA ∈ L(Cn ).
Ası́, para v, w ∈ Cn
TA v = λv
Como TA v = λv reemplazamos:
λ = λ̄ como λ ∈ C
Con esto demostramos que los auto-valores de TA son valores reales siempre λ ∈ R.
son reales.
auto-adjunto.
[2] El espacio generado por v auto-vector es invariante por medio de la aplicación del
operador auto-adjunto T .
En efecto, si w ∈ [v]
∃α ∈ R tal que w = αv
T (w) = αλv
Entonces T w ∈ [v]
7
Ası́:
T1 = [v]⊥ → [v]⊥
w → T1 w
[T ]β es matriz simétrica
a 0 ... 0
11
0 a22 . . . a2n
[T ]β =
.. .. .. .
. . . ..
0 an2 . . . ann
[T ]β = ([T ]β )t
Entonces
8
a22 . . . a2n
. .
. . ... también será una matriz simétrica, lo que significa que T1
[T1 ]β1 = ..
an2 . . . ann
es un operador auto-adjunto.
mismo auto-valor δ.
T1 w = δw
su auto-vector asociado.
auto-adjunto.
< vi , vj >= 0; i, j = 1, 2, . . . , n
T vj = λj vj
Sustituyendo T vi = λi vi y T vj = λj vj
ortonormal de auto-vectores de T .
Demostración:
auto-adjunto.
Por el resultado [2] tenemos que para el espacio generado por v (auto-vector),
[v] y [v]⊥ son invariantes por T , donde [v]⊥ es el complemento ortogonal de [v] y es
subespacio de V .
Para la demostración del teorema de que el conjunto de auto-vectores sea una base
v
Con la definición de que un = ||v||
, v auto-vector de T y usando los resultados [2.A]
y [2.B] tenemos que el espacio generado por un , esto es, [un ] y [un ]⊥ son invariantes
Es claro ver que [un ] y [un ]⊥ (Complemento ortogonal de [un ]) son subespacios de
dim([un ]⊥ ) = n − 1
Por el resultado de [2.C] tenemos que T induce un operador T1 : [un ]⊥ ⇒ [un ]⊥ con
T1 auto-adjunto.
mismos auto-valores.
11
Teorema 4
a) T es ortogonal
ortonormal.
Demostración:
(a ⇒ b)
ortonormal escogida.
Sea
a11 a12 . . . a1n
a21 a22 . . . a2n
[T ]α =
.. .. . .
.
..
. . .
an1 an2 . . . ann
Donde:
a11 a12 a1n
a21 a22 a2n
[T v1 ]α = , [T v2 ]α = , . . . , [T vn ]α =
.. .. ..
. . .
an1 an2 ann
Entonces:
n
X
T vj = aij vi (2)
i=1
Por otro lado, para demostrar que {T v1 , T v2 , ..., T vn } sea una base ortonormal de
[T ]α ([T ]α )t = I
([T ]α )t [T ]α = I
([T ]α )t [T ]α = I
13
a11 a21 . . . an1
a12 a22 . . . an2 a11 a12 . . . a1k . . . a1n 1 0 ... 0
.. .. .. ..
. . . . a21 a22 . . . a2k . . . a2n
0
1 ... 0
=
.. .. . .. ..
.. . . ..
. . . .. . . .
a1j a2j . . . anj
. . . . . . .
.
.. .. .. ..
. . . an1 an2 . . . ank . . . ann 0 0 ... 1
an1 an2 . . . ann
tiene:
n
X n
X
< T vj , T vk >=< aij vi , aik vi >
i=1 i=1
n
X
< T vj , T vk >= aij aik < vi , vi >
i=1
n
X
< T vj , T vk >= aij aik
i=1
(b ⇒ c)
Sea u, v ∈ V
x1
x2
u = x1 v1 + x2 v2 + · · · + xn vn ⇒ [u]α =
..
.
xn
y
1
y2
v = y1 v1 + y2 v2 + · · · + yn vn ⇒ [v]α =
..
.
yn
Por un teorema que dice: Sea V un espacio vectorial con <, > y α = {u1 , u2 , ..., un }
x1 y
1
x2 y2
base ortonormal, v, w ∈ V [v]α = , [w]α = ⇒ < v, w >= ni=1 xi yi
P
.. ..
. .
xn yn
n
X
< u, v >= xi yi (5)
i=1
T u = x1 T v1 + x2 T v2 + · · · + xn T vn
T v = y1 T v1 + y2 T v2 + · · · + yn T vn
16
x1 y
1
x2 y2
Ası́: [T u]β = y [T v]β =
.. ..
. .
xn yn
n
X
< T u, T v >= xi yi (6)
i=1
(c ⇒ d)
(d ⇒ a)
T tT = I
TTt = I
Primero
||T (u − v)||2 =< T u, T u > − < T u, T v > − < T v, T u > + < T v, T v >
Como T preserva la norma, ||T (u)||2 = ||u||2 y ||T (v)||2 = ||v||2 . Reemplazamos:
Segundo
Con esto:
También:
ut T t T v = ut v
T T t = I, ası́ T T t = T t T = I