Algebra Lineal 1
Trabajo Practico N◦ 4
Nombre y Apellido: Marcos Miguel Ibarra Gauto.
Problema 20: [Complexificación]. Sea V un espacio vectorial real, considere al conjunto:
Vc := V × V
Donde los elementos son escritos como u = (u1 , u2 ) como es usual para elementos en un producto cartesiano.
Dado u, v ∈ Vc se define:
u + v = (u1 + v1 , u2 + v2 ) (1)
√
Sea C el conjunto de los números complejos, cuyos elementos lo escribimos como α = a + ib, donde i = −1 es la
unidad imaginaria como es usual.
Dado α ∈ C y u ∈ Vc definimos:
αu = (a + ib)(u1 , u2 ) = (au1 − bu2 , au2 + bu1 ) (2)
Obsevación: Observe que, mientras que la definición dada por la ecuación (1) es natural, la dada por la ecuación
(2) parece bastante extraña. Puede hacerse bastante natural si introducimos un pequeño cambio en nuestra nota-
ción. Para ello, considere los elementos u = (u1 , u2 ) ∈ Vc como u = u1 +iu2 y tenga en cuenta que con esta notación,
la ecuación (2) no es más que el producto de números complejos. Dicho esto, por favor no confundir las cosas. La i
en nuestra notación u = u1 + iu2 es sólo una notación, no tiene ningún significado más allá de una mnemotécnica
útil para recordar la definición dada en la ecuación (2), en particular, en la notación u = u1 + iu2 ∈ Vc , u1 y u2 NO
SON números reales, y u NO ES un número complejo. Por supuesto, recuerde que si decide usar esta útil notación,
usted va a trabajar mucho con estas definiciones, ası́ que mejor preste atención a no mezclar las cosas.
1. Verifica que Vc con la suma y el producto dados por las ecuaciones (1) y (2) es un espacio vectorial complejo.
(Recuerde lo que se necesita: Debe comprobar cada uno de los axiomas que definen un espacio vectorial,
utilizando la definición dada por los puntos (1) y (2).
Sean u = (u1 , u2 ), v = (v1 , v1 ), w = (w1 , w2 ) ∈ Vc y los complejos α = a + ib, β = c + id ∈ C, debemos
verificar los 8 axiomas para probar que Vc es un espacio vectorial complejo.
a) Asociativa:
u + (v + w) =(u1 , u2 ) + ((v1 , v2 ) + (w1 , w2 ))
=(u1 , u2 ) + (v1 + w1 , v2 + w2 )
=(u1 + v1 + w1 , u2 + v2 + w2 )
=(u1 + v1 , u2 + v2 ) + (w1 , w2 )
=(u + v) + w
b) Elemento Neutro: Como V es e.v, tomemos e = (0, 0) ∈ Vc
u + e =(u1 , u2 ) + (0, 0)
=(u1 + 0, u2 + 0)
=(u1 , u2 )
=u
c) Inverso Aditivo: Tomemos −u = (−u1 , −u2 ) ∈ Vc
u + (−u) =(u1 , u2 ) + (−u1 , −u2 )
=(u1 − u1 , u2 − u2 )
=(0, 0)
=e
d ) Conmutatividad:
u + v =(u1 , u2 ) + (v1 , v2 )
=(u1 + v1 , u2 + v2 )
=(v1 + u1 , v2 + u2 )
=v + u
1 Lic. Marcos Ibarra
Algebra Lineal 2
e) Distributividad con respecto a la suma de escalares por un vector:
(α + β)u =((a + ib) + (c + id))(u1 , u2 )
=((a + c) + i(b + d))(u1 , u2 )
=((a + c)u1 − (b + d)u2 , (a + c)u2 + (b + d)u2 )
=(au1 + cu1 − bu2 − du2 , au2 + cu2 + bu2 + du2 )
=((au1 − bu2 ) + (cu1 − du2 ), (au2 + bu2 ) + (cu2 + du2 ))
=(au1 − bu2 , au2 + bu2 ) + (cu1 − du2 , cu2 + du2 )
=(a + ib)(u1 , u2 ) + (c + id)(u1 , u2 )
=αu + βu
f ) Distributividad con respecto a la suma de vectores por un escalar:
α(u + v) =(a + ib)((u1 , u2 ) + (v1 , v2 ))
=(a + ib)(u1 + v1 , u2 + v2 )
=(a(u1 + v1 ) − b(u2 + v2 ), a(u2 + v2 ) + b(u1 + v1 ))
=((au1 − bu2 ) + (av1 − bv2 ), (au2 + bu1 ) + (av2 + bv1 ))
=(au1 − bu2 , au2 + bu1 ) + (av1 − bv2 , av2 + bv1 )
=α(u1 , u2 ) + α(v1 , v2 )
=αu + αv
g) Asociatividad en al multiplicación de escalares por un vector:
α(βu) =(a + ib)((c + id)(u1 , u2 ))
=(a + ib)(cu1 − du2 , cu2 + du1 )
=(a(cu1 − du2 ) − b(cu2 + du1 ), a(cu2 + du1 ) + b(cu1 − du2 ))
=((ac − bd)u1 − (ad + bc)u2 , (ac − bd)u2 + (ad + bc)u1 )
=(ac − bd + i(ad + bc))(u1 , u2 )
=((a + ib)(c + id))(u1 , u2 )
=(αβ)u
h) Elemento Identidad en la multiplicación: Sea (1, 0) ∈ C
(1, 0)u =(1, 0)(u1 , u2 )
=(1u1 − 0u 0u
2 , 1u2 + 1)
=(u1 , u2 )
=u
∴ Vc es un espacio vectorial complejo.
2. Sea V := {v1 , v2 , · · · , vn } ⊂ V una base. Mostrar que el conjunto
Vc := {(v1 , v1 ), (v2 , v2 ), · · · , (vn , vn )} ⊂ Vc ,
es una base. (Recuerde, puede hacer esto comprobando que son generadores y linealmente independientes
(SOBRE LOS NÚMEROS COMPLEJO!!!!!).)
Sean α1 = a1 + ib1 , α2 = a2 + b2 , . . . , αn = an + ibn ∈ C
α1 (v1 , v1 ) + α2 (v2 , v2 ) + . . . + αn (vn , vn ) = 0
((a1 − b1 )v1 + (a2 − b2 )v2 + . . . + (an − bn )vn , (a1 + b1 )v1 + (a2 + b2 )v2 + . . . + (an + bn )vn ) = 0
Como V es una base de V , entonces:
a1 − b1 = a2 − b2 = . . . = an − bn (3)
a1 + b1 = a2 + b2 = . . . = an + bn (4)
De 3 y 4 tenemos que a1 −b1 = 0 y a1 +b1 = 0 → (a1 −b1 )(a1 +b1 ) = 0 → a21 +b21
= 0 → (a1 −ib1 )(a1 +ib1 ) = 0
→ a1 + ib1 = 0, análogamente tendremos que a1 + ib1 = a2 + ib2 = . . . = an + ibn = 0, ie, Vc es Linealmente
Independiente.
Como Vc es LI y tiene dimensión n, implica que Vc es generador, esto es, es una base.
2 Lic. Marcos Ibarra
Algebra Lineal 3
3. Dado el mapa lineal T : V → V , se define el mapa Tc : Vc → Vc por Tc (u) = Tc (u1 , u2 ) = (T u1 , T u2 ). Mostrar
que Tc es C − lineal.
Debemos probar que Tc (αu + βv) = αTc (u) + βTc (v) ∀u, v ∈ Vc y α = (a + ib), β = (c + id) ∈ C
Tc (αu + βv) =Tc (α(u1 , u2 ) + β(v1 , v2 ))
=(T (au1 − bu2 + cv1 − dv2 ), T (au2 + bu1 + cv2 + dv1 ))
=(a + ib)(T (u1 ), T (u2 )) + (c + id)(T (v1 ), T (v2 ))
=αTc (u) + βTc (v)
4. Sean Mn (R) y Mn (C) conjuntos de matrices n × n reales y complejas, respectivamente. Sea τ : Mn (R) →
Mn (C) el mapa inclusión, ie., dado A ∈ Mn (R), τ (A) es la misma matriz con cada entrada interpretada como
un número complejo con una parte imaginaria cero. Mostrar que si A ∈ Mn (R) es la matriz del mapa lineal
T : V → V sobre la base V, entonces τ (A) ∈ Mn (C) es la matriz de Tc en la base Vc .
a11 a12 . . . a1n
a21 a22 . . . a2n
Sea A ∈ Mn (R) = .
.. .. ..
.. . . .
an1 an2 . . . ann
Sea v la j − esima columna de A en la base de V , entonces:
T (vj ) = a1j v1 + a2j v2 + . . . + anj vn
⇒ Tc (vj , vj ) = (T (vj ), T (vj )) = (a1j v1 + a2j v2 + . . . + anj vn , a1j v1 + a2j v2 + . . . + anj vn )
= (a1j v1 , a1j v1 ) + (a2j v2 , a2j v2 ) + . . . + (anj vn , anj vn )
= a1j (v1 , v1 ) + a2j (v2 , v2 ) + . . . + anj (vn , vn )
Por tanto, τ (A) ∈ Mn (C) es la matriz de Tc en la base de Vc .
5. Sea h·, ·i : V × V → R un producto interno. Se define un mapa h·, ·ic : Vc × Vc → C por
hu, vic = hu1 , v1 i + hu2 , v2 i + i(hu2 , v1 i − hu1 , v2 i)
Mostrar que esto da un producto interno hermitiano en Vc .
Positividad:
≥0 ≥0
z }| { z }| {
hu, uic = hu1 , u1 i + hu2 , u2 i +i(
hu
2 , u1 i −
hu, u
1
i) → hu, ui ≥ 0.
2 c
Linealidad en el primer argumento: Sean u, v, w ∈ Vc y α = (a + ib), β = (c + id) ∈ C.
hαv + βw, uic = h(av1 − bv2 + cw1 − dw2 , av2 + bv1 + cw2 + dw1 ), uic
= hau1 − bv2 + cw1 − dw2 , u1 i + hav2 + bv1 + cw2 + dw1 , u2 i + i(hav2 + bv1 + cw2 + dw1 , u1 i − hav1 − bv2 +
cw1 − dw2 , u2 i)
= ahv, uic + ibhv, uic + chw, uic + idhw, ui
= (a + ib)hv, uic + (c + id)hw, uic
= αhv, uic + βhw, uic
Simetrı́a conjugada:
hv, ui =hv1 , u1 i + hv2 , u2 i − i(hv2 , u1 i − hv1 , u2 i)
=hu1 , v1 i + hu2 , v2 i − i(hu2 , v1 i − hu1 , v2 i)
=hu, vi
∴ hu, vic da un producto interno hermitiano.
6. Mostrar que si T : V → V es auto-adjunto (ie.: T = T ∗ ), entonces Tc es Hermitiano (ie.: Tc = Tc∗ ).
hT u, vic =hT u1 , v1 i + hT u2 , v2 i + i(hT u2 , v1 i − hT u1 , v2 i)
=hu1 , T v1 i + hu2 , T v2 i + i(hu2 , T v1 i − hu1 , T v2 i)
=hu, T vic
∴ Tc = Tc∗ .
7. Utilizando el hecho de que, sobre un espacio vectorial complejo, cada operador C − lineal tiene un autovalor
(que puede ser complejo), mostrar que un operador auto-adjunto T : V → V tiene un autovalor (uno real).
Sea ρT (λ) = det(T − λI) el polinomio caracterı́stico del operador C − lineal T : V → V . El número complejo
λ0 es una raı́z de ρT si y solo si el operador T − λ0 I es no invertible, ie, ∃ v 6= 0 en V tal que T v = λ0 v. Por
tanto, para espacios vectoriales complejos, las raı́ces caracterı́sticas de un operador T : V → V coinciden con
lo autovalores de ese operador. Como los primeros siempre existen, entonces todo operador C − lineal posee
autovalores reales y complejos.
8. Imite la prueba del teorema espectral (dada en clase para los operadores hermitianos) para concluir que el
mismo teorema es válido para los operadores auto-adjuntos T : V → V sobre espacios vectoriales reales.
3 Lic. Marcos Ibarra
