MATEMÁTICAS Y CULTURA

BOLETÍN
23.11.2010 No. 270

COORDINACIÓN DE MATEMÁTICAS

MATEMÁTICAS MATEMÁTICAS
DESCOMPOSICIÓN ESPECTRAL DE UN OPERADOR
En un espacio vectorial W con producto interno, el adjunto T ∗ de un operador T se define como:
∗
∀ m , r ∈W (T (m) r ) = (m T (r )) .
Un operador H es normal si H o H ∗ = H ∗ o H . Algunos casos particulares de operadores normales reciben
nombres especiales:
Simétrico si H T = H
Hermitiano si H ∗ = H
Antihermitiano si H ∗ = − H
Unitario si H ∗ = H −1 .
Además, los valores característicos de un hermitiano son reales; de un antihermitiano son imaginarios; y de los
unitarios, el módulo de cada valor característico es uno.
Se llama suma de tres conjuntos A, B y C al conjunto que se expresa como
A + B + C = {a + b + c a ∈ A, b ∈ B y c ∈ C}; esta definición se generaliza para cualquier número finito de
sumandos.
Si los conjuntos como A, B y C son subespacios de un espacio vectorial V de dimensión finita, tales que la
intersección de cada uno de ellos con la suma de los otros sumandos sea el conjunto que sólo contiene al vector
cero de V, esto es: A ∩ ( B + C ) = { 0v }; B ∩ ( A + C ) = { 0v } y C ∩ ( A + B ) = { 0v }; y además la suma de los
tres subespacios es igual al espacio V, se dice que V es la suma directa de A, B y C y se expresa con
V = A⊕ B⊕C .
Como un ejemplo tenemos a S = { (0, a, 0, 0 ) a ∈ R}; T = { (b, b, 2b, b ) b ∈ R} y
U = { ( c, d , − c − 2d , − d ) c, d ∈ R} tres subespacios de R 4 tales que S ∩ (T + U ) = {( 0, 0, 0, 0 )} ;
T ∩ ( S + U ) = {( 0, 0, 0, 0 )} y U ∩ ( S + T ) = {( 0, 0, 0, 0 )} .
Además, todo elemento v = ( x, y, z , w) de R 4 puede obtenerse en forma única como v = s + t + u donde s ∈ S ;
t ∈T y u ∈U ; así (3,1,−2,1) = (0,4,0,0) + (−1,−1,−2,−1) + (4,−2,0,2);
(− 1,2,0,−1) = (0,−1,0,0) + (1,1,2,1) + (−2,2,−2,−2) y en general, como puede comprobarse,
∀v (x, y, z , w) = (0, a,0,0) + (b, b,2b, b) + (c, d ,−c − 2d ,−d ); donde
 MB
2
a = −2 x + y − 2 z + 5w
b = x + z − 2w
c = − z + 2w ⎫
⎬ c − 2d = −2 x − z + 4w
d = x + z − 3w⎭
por lo que, R 4 es la suma directa de S, T y U; esto es: R 4 = S ⊕ T ⊕ U .
A un operador H : R 4 → R 4 , tal que H ( x, y, z , w) = (0, − 2 x + y − 2 z + 5w, 0, 0) = s ∈ S se le suele llamar la
proyección del operador identidad en R 4 sobre el subespacio S a lo largo de la suma de T y U;
T + U = { ( x, 2 x + 2 z − 5w, z , w) x, z , w ∈ R}.
De manera semejante, el operador K : R 4 → R 4 tal que
K ( x, y, z , w) = ( x + z − 2 w, x + z − 2 w, 2 x + 2 z − 4 w, x + z − 2w) = t ∈ T
es la proyección de I : R 4 → R 4 sobre T a lo largo de
S + U = { (− z + 2 w, − x + y − z + 2 w, − 2 x − z + 4 w, − x − z + 3w) x, y, z , w ∈ R} .
También el operador J : R 4 → R 4 tal que
J ( x, y, z , w) = (− z + 2w, x + z − 3w, − 2 x − z + 4w, − x − z + 3w) = u ∈ U
es la proyección de I sobre U a lo largo de
S + T = { ( x + z − 2 w, − x + y − z + 3w, 2 x + 2 z − 4 w, x + z − 2 w) x, y, z , w ∈ R} .
{ }
Consideremos ahora el espacio vectorial P2 = ax 2 + bx + c a, b, c ∈ R , el producto interno en él, definido por

( p q ) = ∑ a b donde p = a x + a x + a y q = b x + b x + b ;
2
2 2
k k 2 1 0 2 1 0 y el subespacio de P2 :
k =0

Q = { mx + mx − m m ∈ R}. El complemento ortogonal de Q respecto a ese

2
producto interno es
Q = { nx + rx + n + r n, r ∈ R} . Ya que
⊥ 2

a+b−c 2a − b + c − a + 2b + c
ax 2 + bx + c = mx 2 + mx − m + nx 2 + rx + n + r ; con m = ; n= y r= , el
3 3 3
operador T : P2 → P2 tal que
a+b−c 2 a+b−c a+b−c
T (ax 2 + bx + c) = x + x− = q ∈Q es la proyección ortogonal del operador
3 3 3
identidad en P2 sobre el subespacio Q a lo largo de Q ⊥ .
Por otra parte, si un operador T en un espacio vectorial V de dimensión finita es normal, entonces existe un
operador en V por cada uno de los valores característicos diferentes cuya regla es: P (v ) = w ∈ E (λ ) y el operador
T es igual a λ1 P1 + λ2 P2 + ... + λk Pk donde k es el número de valores característicos diferentes del operador T. A la
expresión T = λ1 P1 + λ2 P2 + ... + λk Pk se le llama descomposición espectral de T.
Además, la suma de estos operadores es el operador identidad, esto es: P1 + P2 + ... + Pk = I ; y la composición de
toda pareja de ellos (si son diferentes) es igual al operador nulo ϕ tal que ∀v ∈ V ; ϕ (v) = 0 v
 MB
3
Como ejemplo tenemos el operador simétrico K : R → R tal que K ( x, y ) = (2 x + 2 y, 2 x + 5 y ) del cual su
2 2

2−λ 2
ecuación característica es: = λ2 − 7λ + 10 − 4 = λ2 − 7λ + 6 = 0 con valores característicos:
2 5−λ
λ1 = 1 y λ2 = 6 ; y espacios asociados E (1) = { (− 2 y, y ) y ∈ R}; E (6) = { ( x, 2 x ) x ∈ R}.
Los operadores en R 2 , P1 y P2 tales que: P1 ( a, b) = ( −2b, b) ∈ E (1) y P2 ( a, b) = ( a, 2a ) ∈ E (6) tienen por
suma al operador identidad, por lo tanto,
x = −2b + a ⎫ x + 2y
( x, y ) = (−2b, b) + (a, 2a) , es decir, ⎬ ⇒ x + 2 y = 5a ; a= ;
y = b + 2a ⎭ 5
5 y − 2x − 4 y − 2x + y
b = y − 2a = =
5 5
⎛ 4x − 2 y − 2x + y ⎞ ⎛ x + 2 y 2x + 4 y ⎞
así: P1 ( x, y ) = ⎜ , ⎟ y P2 ( x, y ) = ⎜ , ⎟
⎝ 5 5 ⎠ ⎝ 5 5 ⎠
la descomposición espectral del operador K es:
⎛ 4x − 2 y − 2x + y ⎞ ⎛ x + 2 y 2x + 4 y ⎞
K ( x, y ) = (1)⎜ , ⎟ + 6⎜ , ⎟
⎝ 5 5 ⎠ ⎝ 5 5 ⎠
⎛ 4 x − 2 y + 6 x + 12 y − 2 x + y + 12 x + 24 y ⎞
K ( x, y ) = ⎜ , ⎟ = (2 x + 2 y, 2 x + 5 y )
⎝ 5 5 ⎠
También P1 o P2 = ϕ ya que M ( P1 o P2 ) = M ( P1 ) × M ( P2 ) , esto es:
⎡ 4 2⎤ ⎡1 2⎤
⎢ 5 − ⎥ ⎢
5 5 5 ⎥ = ⎡0 0 ⎤
⎢ 2 1 ⎥ ⎢2 4 ⎥ ⎢⎣0 0⎥⎦
⎢− ⎥ ⎢ ⎥
⎣ 5 5 ⎦ ⎣5 5⎦
⎡x y ⎤ ⎡2 x 3 y + z ⎤
Otro ejemplo es el operador simétrico Q : M T → M T tal que Q ⎢ =
z ⎥⎦ ⎢⎣ 0 y + 3z ⎥⎦
con matriz asociada
⎣0
⎡2 0 0⎤
A = ⎢⎢0 3 1⎥⎥ y cuyos valores característicos son: λ1 = λ2 = 2 y λ3 = 4
⎢⎣0 1 3⎥⎦
⎡0 0 0⎤
⎢ ⎧⎡a b ⎤ ⎫
Para λ = 2 : 0
⎢ 1 1⎥⎥ ∴ E (2) = ⎨⎢ ⎥ a, b ∈ R ⎬
⎢⎣0 1 1⎥⎦ ⎩⎣ 0 − b ⎦ ⎭

⎡− 2 0 0 ⎤
⎢ ⎥ ⎧⎡ a c ⎤ ⎫
Para λ = 4 : 0 − 1 1 ∴ E (4) = ⎨⎢ ⎥ c ∈ R⎬
⎢ ⎥
⎢⎣ 0 1 − 1⎥⎦ ⎩⎣ 0 c ⎦ ⎭
 MB 4

⎡a b⎤ ⎡a b ⎤ ⎡ a b ⎤ ⎡0 c ⎤
Los operadores en M T , P1 y P2 tales que P1 ⎢ ⎥ =⎢ ⎥ ∈ E (2) y P2 ⎢ ⎥=⎢ ⎥ ∈ E (4) tienen al
⎣0 c ⎦ ⎣0 − b⎦ ⎣ 0 c ⎦ ⎣0 c ⎦
x=a
⎡ x y ⎤ ⎡ a b ⎤ ⎡0 c ⎤
operador identidad igual a su suma I = P1 + P2 , por lo que: ⎢ ⎥=⎢ ⎥+⎢ ⎥ ⇒ y =b+c
⎣ 0 z ⎦ ⎣ 0 − b ⎦ ⎣0 c ⎦ z = −b + c
y+z 2y − y − z y − z
; c= ; b= =
2 2 2
⎡ y−z ⎤ ⎡ y + z⎤
y⎤ ⎢ x ⎡x y ⎤ ⎢0 2 ⎥
⎡x 2 ⎥ ; =
z ⎥⎦ ⎢⎢ 0 y + z⎥ ;
∴ = P2 ⎢
z ⎥⎦ ⎢⎢0 − y + z⎥
P1 ⎢
⎣0 ⎥ ⎣0 ⎥
⎣ 2 ⎦ ⎣ 2 ⎦
⎡ ⎤ ⎡ ⎤
⎢1 0 0 ⎥ ⎢0 0 0⎥
⎢ 1 1⎥ ⎢ 1 1⎥
M ( P1 ) = ⎢0 − ⎥ ; M ( P2 ) = ⎢0 ⎥ ;
⎢ 2 2⎥ ⎢ 2 2⎥
⎢0 − 1 1 ⎥ ⎢0 1 1⎥
⎢⎣ 2 2 ⎥⎦ ⎢⎣ 2 2 ⎥⎦
⎡ ⎤ ⎡ ⎤
⎢1 0 0 ⎥ ⎢0 0 0 ⎥ ⎡0 0 0⎤
⎢ 1⎥ ⎢ 1⎥ ⎢
0⎥⎥
1 1
M ( P1 o P2 ) = ⎢0 − ⎥ ⎢0 ⎥ = 0 0
⎢ 2 2⎥ ⎢ 2 2⎥ ⎢
⎢0 − 1 1 ⎥ ⎢0 1 1 ⎥ ⎢⎣0 0 0⎥⎦
⎢⎣ 2 2 ⎥⎦ ⎢⎣ 2 2 ⎥⎦

Es decir, P1 o P2 = ϕ y la descomposición espectral de Q es:

⎡ y−z ⎤ ⎡ y + z⎤
⎡x y⎤ ⎢x 2 ⎥ + 4⎢
0
2 ⎥
= 2 P1 + 4 P2 = 2 ⎢
− y + z⎥ ⎢ y + z⎥ .
Q⎢
z ⎥⎦
Por lo tanto:
⎣0 ⎢0 ⎥ ⎢0 ⎥
⎣ 2 ⎦ ⎣ 2 ⎦

⎡ 2 x y − z ⎤ ⎡0 2 y + 2 z ⎤ ⎡ 2 x 3 y + z ⎤
2 P1 + 4 P2 = ⎢ ⎥+⎢ ⎥=⎢ ⎥ que es la regla del operador Q .
⎣ 0 − y + z ⎦ ⎣0 2 y + 2 z ⎦ ⎣ 0 y + 3 z ⎦

Como último ejemplo tenemos el operador antihermitiano S : C 3 → C 3 del cual

 MB
5
⎡ 2i i − 1 + i ⎤
S ( z , w, t ) = (2iz + iw + (−1 + i )t , iz , (1 + i ) z ) ; M ( S ) = ⎢⎢ i 0 0 ⎥⎥ ;
⎢⎣1 + i 0 0 ⎥⎦
⎡ − 2i − i 1 − i ⎤ 2i − λ i −1+ i
M ( S ) = ⎢⎢ − i
∗
0 0 ⎥⎥ ; con lo que i −λ 0 = λ2 (2i − λ ) + λ (−2) − λ = 0 , es decir,
⎢⎣− 1 − i 0 0 ⎥⎦ 1+ i 0 −λ
λ (− λ2 + 2iλ − 3) = 0 y los valores característicos son: λ1 = 0 ; λ2 = 3i y λ3 = −i .

⎡ 2i i − 1 + i ⎤ ⎡1 0 0 ⎤
⎢ −1 + i
Para λ1 = 0 : ⎢ i 0 0 ⎥ ~ ⎢0 i − 1 + i ⎥⎥ ; iw + (−1 + i )t = 0 ⇒ t =
⎥ ⎢ w o sea:
2
⎢⎣1 + i 0 0 ⎥⎦ ⎢⎣0 0 0 ⎥⎦
⎧⎛ 1 1 ⎞ ⎫
E (0) = ⎨⎜ 0 , w , (− + i ) w ⎟ w ∈ C ⎬
⎩⎝ 2 2 ⎠ ⎭

⎡ −i i − 1 + i ⎤ ⎡1 − 1 − 1 − i ⎤ ⎡1 − 1 − 1 − i ⎤ ⎡1 − 1 −1− i ⎤
⎢ −1 + i ⎥ ⎢ 1 1 ⎥
Para λ2 = 3i : ⎢⎢ i − 3i 0 ⎥⎥ ~ ⎢⎢0 − 2i − 1 + i ⎥⎥ ~ ⎢0 1 ⎥ ~ ⎢0 1 − − i ⎥ ~
− 2i ⎥ 2 2
⎢⎣1 + i 0 − 3i ⎥⎦ ⎢⎣0 1 + i − i ⎥⎦ ⎢⎣0 1 + i − i ⎦ ⎢⎣0 1 + i − i ⎥⎦

⎡1 − 1 − 1 − i ⎤
⎢ 1 1 ⎥ ⎛1 1 ⎞ 2
~ ⎢0 1 − − i ⎥ ⇒ w − ⎜ + i ⎟ t = 0 ; t = w = (1 − i ) w ; z − w + (−1 − i )t = 0 ;
2 2 ⎝ 2 2 ⎠ 1+ i
⎢0 0 0 ⎥⎦
⎣
z ⎧⎛ z 1− i ⎞ ⎫
z − 3w = 0 ; w = por lo tanto E (3i ) = ⎨⎜ z , , z⎟ z ∈C⎬
3 ⎩⎝ 3 3 ⎠ ⎭

⎡ 3i i − 1 + i ⎤ ⎡1 1 0 ⎤ ⎡1 1 0 ⎤ ⎡1 1 0 ⎤
⎢ −1+ i ⎥ ⎢ 1 1 ⎥
Para λ3 = −i : ⎢⎢ i 0 ⎥⎥ ~ ⎢⎢0 − 2i − 1 + i ⎥⎥ ~ ⎢0 ~ 0 1 − − i⎥
− 2i ⎥⎥ ⎢
i 1
2 2
⎢⎣1 + i 0 i ⎥⎦ ⎢⎣0 − 1 − i i ⎥⎦ ⎢⎣0 − 1 − i i ⎦ ⎢⎣0 0 0 ⎥⎦

1+ i 1+ i 1+ i ⎧⎛ 1 + i 1 + i ⎞ ⎫
w− t =0⇒w= t ; z = −w = − t ; E (−i ) = ⎨⎜ − t, t , t ⎟ t ∈C⎬
2 2 2 ⎩⎝ 2 2 ⎠ ⎭

⎛ −1 + i ⎞
J : C 3 → C 3 tal que J (a, b, c) = ⎜ 0 , b , b ⎟ ∈ E (0)
⎝ 2 ⎠
 MB
6
⎛ 1 1 − i ⎞
K : C 3 → C 3 tal que K (a, b, c) = ⎜ a , a , a ⎟ ∈ E (3i )
⎝ 3 3 ⎠
⎛ 1+ i 1+ i ⎞
L : C 3 → C 3 tal que L(a, b, c) = ⎜ − c, c , c ⎟ ∈ E ( −i ) .
⎝ 2 2 ⎠
La suma de los operadores J, K y L cuyas reglas corresponden a elementos que pertenecen
respectivamente a E (0) , E (3i ) y E (−i ) es el operador identidad en C 3 ; I ( z , w, t ) = ( z , w, t ) ∴
⎛ −1+ i ⎞ ⎛ a 1− i ⎞ ⎛ 1+ i 1+ i ⎞
( z , w, t ) = ⎜ 0, b, b ⎟ + ⎜ a, , a⎟ + ⎜− c, c, c ⎟ ; que
⎝ 2 ⎠ ⎝ 3 3 ⎠ ⎝ 2 2 ⎠
⎡ 1+ i ⎤ ⎡ 1+ i ⎤
⎢ 1 0 − z⎥ ⎢ 1 0 − z ⎥
2 2
⎢ 1 1+ i ⎥ ⎢ 2 + 2i 1 ⎥
nos lleva a: ⎢ 1 w⎥ ~ K ~ ⎢0 1 − z+w ⎥
⎢ 3 2 ⎥ ⎢ 3 3 ⎥
⎢1 − i − 1 + i 1 t ⎥ ⎢ 0 0
6
t+
−1 + i
z+
1− i ⎥
w
⎢⎣ 3 2 ⎥⎦ ⎢⎣ 3 2 2 ⎥⎦
1 −1+ i 1− i 1+ i 2
∴ c = t+ z+ w ; b = − t + w ; a = 1+ i t + 3 z + 1 w
2 4 4 3 3 4 4 4

y los operadores son:

⎛ 1+ i 2 −1 + i ⎛ 1 + i 2 ⎞⎞
J : C 3 → C 3 tal que J ( z , t , w) = ⎜ 0, − t + w, ⎜− t + w ⎟ ⎟ ∈ E (0)
⎝ 3 3 2 ⎝ 3 3 ⎠⎠
⎛1+ i 3 1 1 ⎛ 1+ i 3 1 ⎞ 1− i ⎛ 1+ i 3 1 ⎞⎞
K ( z , t , w) = ⎜ t + z + w, ⎜ t + z + w⎟, ⎜ t + z + w ⎟ ⎟ ∈ E (3i )
⎝ 4 4 4 3⎝ 4 4 4 ⎠ 3 ⎝ 4 4 4 ⎠⎠
L( z , t , w) = ⎛⎜ − 1 + i ⎛⎜ 1 t + −1 + i z + 1 − i w ⎞⎟ , 1 + i ⎛⎜ 1 t + −1 + i z + 1 − i w ⎞⎟ , 1 t + −1 + i z + 1 − i w ⎞⎟ ∈ E (−i)
⎝ 2 ⎝2 4 4 ⎠ 2 ⎝2 4 4 ⎠ 2 4 4 ⎠
Con lo que la descomposición espectral de S es: S = 0 J + 3iK + (−i ) L ,
⎛9 3 3 3 1 1 3 1 i ⎞
S = ⎜ iz + iw + (−1 + i )t , iz + iw + (−1 + i )t , (1 + i ) z + (1 + i ) w + t ⎟ +
⎝4 4 4 4 4 4 4 4 2 ⎠
⎛ ⎛ − 1 + i ⎞⎛ − 1 + i ⎞ i −1 + i i i 1− i 1+ i −1− i i ⎞
+ ⎜⎜ ⎜ ⎟⎜ ⎟z + w + t, z − w + t, z+ w − t ⎟⎟
⎝ ⎝ 2 ⎠⎝ 4 ⎠ 4 4 4 4 4 4 4 2 ⎠

y se comprueba que S ( z , w, t ) = (2iz + iw + (−1 + i )t , iz , (1 + i ) z ) .

LEDA SPEZIALE SAN VICENTE
PROFESORA DE LA FACULTAD DE INGENIERÍA, UNAM

http:dcb.fi-c.unam.mx erik2306@servidor.unam.mx

Por razones de austeridad, el tiraje del Boletín se sigue manteniendo a la mitad de lo que se
acostumbraba.