Está en la página 1de 86

Darío Sánchez H ALGEBRA LINEAL 1

Algebra Lineal

José Darío Sánchez Hernández


Bogotá-Colombia, Junio del 2005

danojuanos@hotmail.com
danojuanos@tutopia.com

El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuación encontrará más de
cien resultados básicos, entre los cuales se hallan definiciones, teoremas, corolarios y algunos ejemplos, es
posible que encuentre la manera de volver a redactar algunos, entonces hágalo de forma que los pueda
recordar después. Para las demostraciones es indispensable el uso de una biblioteca con un buen número
de textos de Algebra Lineal, en esta forma el estudiante utiliza tácticas de investigación y emplea la
biblioteca. Luego encontrará resultados en donde se ha dado una posible demostración, la cual se supone
es correcta, sin descartar la posibilidad de que haya algunos errores, el lector deberá revisarlas analizando
cual de los resultados básicos se han utilizado en la prueba.

§1. RESULTADOS BASICOS

1.ÞUn ANILLO es un conjunto O , junto con dos operaciones Bß C È B  C y


Bß C È BC, las cuales satisfacen los siguientes axiomas:
E"Þ O es un grupo conmutativo bajo la operación Bß C È B  C ( O es un grupo
conmutativo bajo la adición).
E#Þ BC D œ B CD es multiplicativamente asociativo .
E$Þ B C  D œ BC  BDß C  D B œ CB  DB Ðse tienen las dos leyes distributivas).
ì Si BC œ CB para todo B, C en Oß se dice que el anillo O es conmutativo.
ì Si existe un elemento " en O tal que "B œ B" œ B para todo Bß O se dice un
anillo con unidad y a " se le llama identidad de OÞ
2.Sea O un anillo con elemento unidad, 8 un número entero y sea H una función
que asocia a cada 8 ‚ 8 -matriz E sobre O , un escalar H E en O . Se dice que
H es "8-lineal " si para cada 3, " Ÿ 3 Ÿ 8 H, es una función lineal en la 3-ésima fila
cuando las otras 8  " filas se dejan fijas.
3.Una combinación lineal de funciones 8-lineales, es 8-lineal.
4.Sea H una función 8  lineal. Decimos que H es alternada si las siguientes
condiciones son equivalentes:
EP"Þ H E œ ! siempre que E, tenga dos filas iguales
EP#Þ Si Ew es una matriz obtenida de E por intercambiar dos filas, entonces
H Ew œ  H E Þ
Darío Sánchez H EPKIFVE PMR IEP 2

5.Sea O un anillo con elemento unidad, 8 un número entero y sea H una función
que asocia a cada 8 ‚ 8 -matriz E sobre O , un escalar H E en O . Se dice que
H es una función determinante si H es 8-lineal, alternada y H M œ "Þ
6. Sea H una función #-lineal con la propiedad de que H E œ ! para toda E matriz
# ‚ # sobre O teniendo dos filas iguales. Entonces H es alternada.
7. Sea H una función 8-lineal en las matrices 8 ‚ 8 sobre O . Supóngase que H tiene
la propiedad de que H E œ ! siempre que dos filas adyacentes de E son iguales.
Entonces H es alternada.
8.Si 8  " y E es una matriz 8 ‚ 8 sobre O , denotemos por E 3l4 la matriz
8  " ‚ 8  " obtenida suprimiendo la 3-ésima fila y la 4-ésima columna de E. Si
H34 es una función 8  " -lineal y E es una matriz 8 ‚ 8, se denota
H34 E œ HÒE 3l4 Ó
9.Sea 8  " y sea H una función 8  " -lineal alternada en las matrices
8  " ‚ 8  " sobre O . Para cada 4, " Ÿ 4 Ÿ 8 la función I4 definida por
8
I4 E œ " 34
E34 H34 E , es una función 8-lineal alternada en el conjunto de E
3œ"
las matrices 8 ‚ 8 sobre O . Si H es una función determinante, también lo es cada
una de las I4 Þ
10. Sea O un anillo conmutativo con elemento unidad y 8 un número entero
positivo. Existe al menos una función determinante en el conjunto de las matrices
8 ‚ 8 sobre O .
11. Sea Æ œ Ö5 À Ö"ß #ß á ß 8× Ö"ß #ß á ß 8×Î5 es una permutación×, definimos la
función =31 5 œ œ
"ß si 5 es par
 "ß si 5 es impar
ì Denotando por ./> la función determinante en las matrices 8 ‚ 8 sobre O dada
por
./> E œ =31 5 E "ß 5 " âE 8ß 5 8
5−Æ
donde E œ E 3ß 4 Þ
12. Sea O un anillo conmutativo con unidad y sea 8 un número entero positivo.
Existe exactamente una función determinante en el conjunto de las matrices 8 ‚ 8
sobre O y es la función definida por
./> E œ =31 5 E "ß 5 " âE 8ß 5 8
5−Æ
ñ Si H es cualquier función 8-lineal, alternada en el conjunto de las matrices 8 ‚ 8
sobre O , entonces para cada una de tales matrices E, se tiene H E œ ./> E H M .
13. Sean O un anillo conmutativo con unidad, E y F matrices 8 ‚ 8 sobre O .
Entonces ./> EF œ ./>E ./>F , ./> E> œ ./> E
14. Una fórmula muy práctica de hallar el determinante de una matriz 8 ‚ 8ß
debida a Cramer es dada por: Si fijamos cualquier columna 4
Darío Sánchez H EPKIFVE PMR IEP 3

8
34
./> E œ " E34 ./>E 3l4
3œ"
Al escalar  " 34
./>E 3l4 es usualmente llamado el 3ß 4 cofactor de EÞ
15.Si tomamos -34 œ  " 34
./>E 3l4 entonces la anterior fórmula toma la forma;
8
./> E œ E34 -34 ß para cada 4Þ La matriz 8 ‚ 8, +.4Eß que es la transpuesta de la
3œ"
matriz de cofactores de Eß es llamada adjunta clásica de E, así
34
+.4 E 34 œ -34 œ  " ./> E 4l3 Þ
16. Sea E una matriz 8 ‚ 8 sobre O . Entonces E es invertible sobre O si y sólo si
./> E es invertible en O . Cuando E es invertible, el único inverso para E es
E" œ ./> E " +.4 EÞ
En particular, una matriz 8 ‚ 8 sobre un cuerpo es invertible si y sólo si, su
determinante es diferente de cero.
17. Sean [" ß [# ß á ß [5 subespacios de un espacio vectorial Z . Diremos que
[" ß [# ß á ß [5 son linealmente independientes si α"  α#  â  α5 œ !ß α3 − [3 ß
entonces α3 œ !ß a3Þ
18.Sea Z un espacio vectorial sobre un cuerpo J Þ Sean [" ß [# ß á ß [5 subespacios
de Z y sea [ œ ["  [#  â  [5 . Las siguientes afirmaciones son equivalentes:
3 [" ß [# ß á ß [5 son linealmente independientes.
33 Cada vector α de [ puede ser únicamente expresado en la forma
α œ α"  α#  â  α5 con α3 en [3 , 3 œ "ß #ß á ß 5 .
333 Para cada 4ß # Ÿ 4 Ÿ 5 , el subespacio [4 es disyunto con la suma
[" +[# +â+[4" 3/ß [4 ∩ ["  [#  â  [ 4  " œ Ö!× Þ
19.Sea Z un espacio vectorial de dimensión finita sobre un cuerpo J y sean
[" ß [# ß á ß [5 subespacios de Z . Las siguientes afirmaciones son equivalentes:
3 Z œ [" Š [ # Š â Š [ 5 .
5
33 Si "3 es una base de [3 ß 3 œ "ß #ß á ß 5 entonces µ= ∪ "3 es una base de Z Þ
3œ"

20. Si Z œ [" Š [# Š â Š [5 , entonces .37Z œ .37["  â  .37[5 .


Sea 8 un entero positivo y J un subcuerpo de los números complejos y sea Z el
espacio de las matrices 8 ‚ 8 sobre J . Sea [" el subespacio de las matrices
simétricas, 3/ß matrices tales que E> œ E. Sea [# el subespacio de las matrices
8 ‚ 8 anti-simétricasß 3/ß matrices E tales que E> œ  EÞ Entonces Z œ [" Š [# .
ì Si E es cualquier matriz 8 ‚ 8 en Z , la única expresión de E como suma directa,
en [" y la otra en [# ß es E œ E"  E# donde E" œ "# E  E> ß E# œ "# E  E> .
21.Sea Z un espacio vectorial y X una transformación lineal en Z . Si [ es un
subespacio de Z , diremos que [ es invariante bajo X , si para cada vector α
en [ , el vector X α está en [ ,3/ß X [ está contenido en [ .
Darío Sánchez H EPKIFVE PMR IEP 4

22.Si Z œ [" Š [# Š â Š [5 , entonces existen 5 operadores lineales I" ß I# ß á ß I5


en Z tales que
+ Cada I3 es una proyección o un proyectorß 3/ß I3# œ I3
, I3 I4 œ !ß si 3 Á 4
- El rango de I3 es [3 .
Inversamente, si I" ß á ß I5 son 5 operadores lineales en Z que satisfacen las
condiciones + ß , y - , y si [3 es el rango de I3 ß entonces Z œ [" Š [# Š â Š [5 .
23.Sea X un operador lineal en un espacio vectorial Z , sean [" ß á ß [5 y I" ß á ß I5
como en ##Þ Entonces una condición necesaria y suficiente para que cada
subespacio [3 sea invariante bajo X es que X conmute con cada proyector I3 ß 3/ß
X I3 œ I3 X ß 3 œ "ß á ß 5 .
24. Sea X un operador lineal en un espacio vectorial de dimensión 8 sobre un
cuerpo J . Un valor característico o valor propio, o autovalor de X es un
escalar - en J tal que existe un vector no nulo α en Z tal que X α œ - α. Si - es un
valor característico de X entonces cada α tal que X α œ - α es llamado vector
característico o vector propio o autovector de X asociado con el valor
característico - .
25.Las siguientes afirmaciones son equivalentes:
3 - es un valor característico de X Þ
33 El operador X  -M es singular no invertible
333 ./> X  -M œ !Þ
26. Si E es una matriz 8 ‚ 8 sobre J , un valor característico de E es un escalar - en
J tal que la matriz E  -M es singular no inversible .
27. Para hallar los valores característicos se considera la matriz polinomial
BM  E
de donde se obtiene el polinomio 0 B œ ./> BM  E . Claramente los valores
propios de E son aquellos escalares - − J tales que 0 - œ !Þ Por esta razón 0 es
llamado polinomio característico de E. Es de notar que 0 es un polinomio
mónico que tiene grado exactamente 8.
ì Las matrices similares tienen el mismo polinomio característico. Pues
F œ T ET ß entonces E µ F
"

./> BM  F œ ./> BM  T " ET œ ./> T " BME T œ ./>T " ./> BME † ./>T œ ./> BME
28.TEOREMA DE CAYLEY-HAMILTON.
Sea X un operador lineal en el espacio vectorial Z de
dimensión 8 Òóß sea E una matriz 8 ‚ 8 sobre el cuerpo J Ó y sea 0 el polinomio
característico de X o, E Entonces 0 X œ ! Òoß 0 E œ !Ó.
29. Sea X un operador lineal en el espacio vectorial Z de dimensión 8Þ Existe un
polinomio 1 de grado no mayor que 8# tal que 1 X œ !. En el espacio ¿ Z ß Z de
dimensión 8# los operadores Mß X ß á ß X 8 deben ser linealmente dependientes.
#

ì El conjunto de todos los polinomios 1 en J ÒBÓ tal que 1 X œ ! es un ideal.


Además este ideal contiene un polinomio mónico de grado 8ß el polinomio
característico de X . Así existe un único polinomio mónico : que genera al ideal de
Darío Sánchez H EPKIFVE PMR IEP 5

todos los 1 en J ÒBÓ tales que 1 X œ !Þ Este polinomio : es llamado polinomio


minimal de X .
ñ Del teorema de Cayley-Hamilton se sigue que: El polinomio característico de X es
divisible por el polinomio minimal de X . Se sigue también que los valores
característicos de X son precisamente las raíces del polinomio minimal, y del
polinomio característico. Así estos dos polinomios tienen exactamente las mismas
raíces.
30. Sea X un operador lineal en un espacio de dimensión finita Z . Diremos que X
es diagonalizable si existe una base para Z cuyos componentes son los vectores
característicos de X .
31. Sea X cualquier operador lineal en un espacio de dimensión finita Z , sean
-" ß á ß -5 valores característicos distintos de X y sea [3 el núcleo de X  -3 M .
Entonces los espacios [" ß á ß [5 son linealmente independientes.
32.Si X es un operador diagonalizable en el espacio de dimensión finita Z y
-" ß á ß -5 son valores característicos distintos de X , entonces existen operadores
lineales I" ß á ß I5 en Z tales que
+ X œ -" I"  â  - 5 I 5
, M œ I"  â  I 5
- I3 I4 œ !ß 3Á4
#
. I3 œ I 3
/ El recorrido de I3 es el espacio de vectores característicos de X asociado con el
valor propio -3 Vea el teorema Espectral
33. Sea X un operador lineal en un espacio vectorial de dimensión finita Z .
Supóngase que existen 5 escalares distintos -" ß á ß -5 y 5 operadores lineales no
nulos I" ß á ß I5 en Z que satisfacen las propiedades + ß , ß - del numeral $#.
Entonces X es diagonalizable, -" ß á ß -5 son precisamente los valores característicos
de X y los I3 también satisfacen las condiciones . y / del numeral $#Þ
34. Sea X un operador lineal en un espacio vectorial de dimensión finita Z sobre
un cuerpo J Þ Entonces una condición necesaria y suficiente para que X sea
diagonalizable es que el polinomio minimal de X sea de la forma
: œ B  -" â B  -5 donde -" ß á ß -5 son escalares distintos de J .
35.Sea E una matriz 8 ‚ 8 sobre un cuerpo J . Entonces E es similar sobre J a una
matriz diagonal si y solamente si el polinomio minimal : de E es de la forma:
: œ B  -" â B  -5 donde -" ß á ß -5 son escalares distintos de J .
ñ Para hallar T tal que T " ET sea diagonal, donde E œ ÒX Óµ , se hace uso de los
polinomios de Lagrange T4 œ # -B- 3
4 -3
de donde se hallan los I4 œ T4 X y con los
3Á4
vectores de las bases de los I4 s se obtiene T .
ß
Darío Sánchez H EPKIFVE PMR IEP 6

36.Para un operador diagonalizable X , la dimensión del espacio de los vectores


característicos asociados a cada valor propio -3 es la multiplicidad como raíz del
polinomio característico de X .
37. Sean X y Y operadores lineales diagonalizables en un espacio de dimensión
finita Z . Si X y Y conmutan, entonces ellos son simultáneamente diagonalizables;
esto es, existe una base para Z ß en la cual cada uno de sus vectores, es vector
característico de X y también vector característico de Y .
38.Sean E y F matrices 8 ‚ 8 sobre un cuerpo J , cada una de las cuales es similar
sobre J a una matriz diagonal. Si E y B conmutan, existe una matriz T inversible
8 ‚ 8 sobre J tal que ambas T " ET y T " FT son diagonales.
39.TEOREMA DE DESCOMPOSICION PRIMARIA. Sea X un operador lineal en un espacio vectorial Z
de dimensión finita sobre un cuerpo J . Sea : el polinomio minimal para X ,
: œ :"<" ß :#<# ß á ß :5<5 donde los :3 son polinomios mónicos irreductibles sobre J y <3
son enteros positivos. Sea [3 el núcleo de :3 X <3 , 3 œ "ß #ß á ß 5 . Entonces
+ Z œ [" Š â Š [ 5
, Cada [3 es invariante bajo X Þ
- Si X3 es un operador inducido en [3 por X ß entonces el polinomio minimal
para X3 es :3<3 .
40. Si I" ß á ß I5 son las proyecciones asociadas con la primera descomposición de
X , entonces cada I3 es un polinomio en X y por consiguiente si un operador lineal
Y conmuta con X entonces Y conmuta con cada uno de los I3 , ie, cada subespacio
[3 es invariante bajo Y .
41.Sea R un operador lineal en un espacio vectorial Z . Decimos que R es
nilpotente si existe algún número entero < tal que R < œ !.
42. Sea X un operador lineal en un espacio vectorial de dimensión finita Z sobre
un cuerpo J . Supongamos que el polinomio minimal para X se descompone sobre
J en un producto lineal de polinomios. Entonces existe un operador
diagonalizable H en Z y un operador nilpotente R en Z tal que
+ X œHR
, HR œ R H
ì El operador diagonalizable H y el operador nilpotente R son únicamente
determinados por + y , , cada uno de ellos es un polinomio en X .
43.Sea Z un espacio vectorial de dimensión finita sobre un cuerpo
algebraicamente cerrado, por ejemplo el cuerpo de los números complejos.
Entonces cada operador lineal X en Z puede ser escrito como suma de un
operador diagonalizable H y un operador nilpotente R que conmutan. Estos
operadores H y R son únicos y cada uno es una polinomial en X .
ñ De esto resulta que, el estudio de los operadores lineales sobre un espacio
vectorial sobre un cuerpo algebraicamente cerrado es esencialmente reducido al
estudio de operadores nilpotentes.
Darío Sánchez H EPKIFVE PMR IEP 7

44. Si α es cualquier vector en Z , el subespacio X -cícloco generado por α es el


subespacio ^ αà X de todos los vectores de la forma 1 X αß siendo 1 en J ÒBÓÞ Si
^ αà X œ Z , entonces α es llamado vector cíclico para X .
45.Si α es algún vector en Z , el X -anulador de α es el ideal Q αà X en J ÒBÓ
consistiendo de todos los polinomios 1 sobre J tal que 1 X α œ !Þ El único
polinomio mónico :α que genera estos ideales será también llamado el X -anulador
de α. El X -anulador :α divide al polinomio minimal del operador X Þ
46. Sea α cualquier vector no nulo en Z y sea :α el X -anulador de α
+ El grado de : α es igual a la dimensión del subespacio cíclico ^ αà X
, Si el grado de :α es 5 , entonces los vectores αß X αß X # αß á ß X α forman la base
5"

de ^ αà X
- Si Y es un operador lineal en ^ αà X inducido por X , entonces el polinomio
minimal de Y es :α .
ñ Una consecuencia particular de este resultado es el siguiente: Si sucede que α es
un vector cíclico de X , entonces el polinimio minimal de X debe tener grado igual a
la dimensión del espacio Z ; por lo tanto el polinomio minimal de X es el polinomio
característico de X . Se sigue que X tiene un vector cíclico si y solamente si el
polinomio minimal y el polinomio característico de X son idénticos.
47. Si Y es un operador lineal en un espacio de dimensión finita [ , entonces Y
tiene un vector cíclico si y solamente si existe alguna base ordenada de [ en la
cual Y es representado por la matriz asociada acompañante del polinomio
Ô ! ! â !  -" ×
Ö " ! â !  -# Ù
Ö Ù
minimal de Y . La matriz acompañante es: Ö ! " â !  -$ Ù
Ö Ù
Õ ! ! â "  -5 Ø
ã ã ä ã ã

48.Si E es una matriz acompañante de un polinomio mónico :, entonces : es


simultáneamente polinomio minimal y el polinomio característico de EÞ
49. Sea X un operador lineal en un espacio de dimensión finita Z sobre J y sea [
un subespacio de Z que es invariante bajo X . Una condición necesaria y suficiente
para que [ tenga un subespacio complementario X -invariante es la siguiente: Si "
es un vector en Z y 0 es un polinomio sobre J tal que 0 X " este en [ , entonces
existe un vector α en [ tal que 0 X α œ 0 X " .
50.Un subespacio [ es llamado subespacio X -admisible si
3 [ es invariante bajo X
33 Si 0 X " esta en [ , existe un α en [ tal que 0 X α œ 0 X " Þ
Darío Sánchez H EPKIFVE PMR IEP 8

51.Sea [ un subespacio X -invariante de Z y sea " algún vector en Z . Sea W " à [


el subespacio de todos los polinomios 0 sobre el cuerpo de escalares J tal que
0 X " esta en [ . Entonces
+ W " à [ es un ideal no nulo de J ÒBÓ
, Si α es cualquier vector en [ , entonces W "  αà [ œ W " à [
- ^ " à X es disyunto de [ si y sólo si W " à [ es el X -anulador de " , ie, si y sólo
si el generador mónico de W " à [ es el X -anulador de " .
52. Sea [ un subespacio propio X -admisible de Z Þ Entonces existe un vector no
nulo α" en Z tal que el subespacio cíclico ^ α" à X es disyunto de [ Þ
53.Sea [ un subespacio X -admisible de Z y sea α" un vector en Z tal que
" ^ α" à X es disyunto de [ Þ
# ^ α" à X tiene dimensión máxima entre todos los subespacios disyuntos de [ ,
esto es, si [ ∩ ^ " à X œ Ö!× implica que .37^ " à X Ÿ .37^ α" à X .
Entonces el subespacio [ Š ^ α" à X es X -admisible.
54. Sea [ un subespacio propio X -admisible de Z . Entonces existe un vector no
nulo α" en Z tal que ^ α" à X es disyunto de [ . Si α" es escogido tal que ^ α" à X
tiene dimensión máxima entre todos los subespacios X -cíclicos disyuntos de [ ,
tenemos
+ El subespacio [ Š ^ α" à X es X -admisible.
, Si " es cualquier vector tal que ^ " à X es disyunto de [ Š ^ α" à X , entonces
el X -anulador de " divide al X -anulador de α" .
55.TEOREMA DE DESCOMPOSICION RACIONAL.
Sea X un operador lineal en un espacio de
dimensión finita Z .37Z   " . Entonces existen < vectores no nulos α" ß á ß α< en Z
con respecto a X -anuladores T" ß á ß T< tales que
+ Z œ ^ α" à X Š â Š ^ α < à X
, Si " Ÿ 5 Ÿ <  ", entonces T5" divide a T5 .
Además el entero < y los anuladores T" ß á ß T< son determinados unívocamente
por las condiciones + y , y el hecho de que ningún α5 es !.
56. Si X es un operador lineal en un espacio vectorial de dimensión finita Z [o, si E
es una matriz 8 ‚ 8 sobre un cuerpo J ], entonces los factores primos del
polinomio minimal de X [o, de E] son los mismos factores primos del polinomio
característico de X [o, de E].
57.Sea X un operador lineal en un espacio vectorial de dimensión finita Z Þ
Entonces X es un vector cíclico si y solamente si los polinomios mínimo y
característico de X son idénticos.
58.Si tenemos un operador X y una descomposición racional en suma directa dada
por el numeral &&, sea µ3 "la base ordenada cíclica" Öα3 ß X α3 ß á ß X 53 " α3 × para
^ α3 à X . Donde 53 denota la dimensión de ^ α3 à X , esto es el grado del anulador
T3 . La matriz del operador inducido X3 en la base ordenada µ3 , es la matriz de
composición de la polinomial T3 . Así si consideramos µ la base ordenada para Z
Darío Sánchez H EPKIFVE PMR IEP 9

que es la reunión de los µ3 arregladas en el orden µ" ß á ß µ< entonces la matriz de


Ô E" ! â ! ×
Ö ! E# â ! Ù
X en la base µ será: E œ Ö Ù donde E3 es la matriz 53 ‚ 53 de
Õ ! ! â E< Ø
ã ã ä ã

descomposición de T3 .
ñ La matriz 8 ‚ 8 E que es la suma directa de las matrices de composición de los
polinomios mónicos no escalares T" ß T# ß á ß T< tales que T3" divide a T3 para
3 œ "ß #ß á ß <  " será llamada forma racional.
59.Si J es un cuerpo y F es una matriz 8 ‚ 8 sobre J Þ Entonces F es similar sobre
el cuerpo J a una y solamente una matriz que esta en forma racional Þ
60.Supongamos que X sea un operador lineal sobre Z y que el polinomio
característico de X se descomponga sobre J como sigue: 0 œ B  -" ." â B  -5 .5
donde -" ß á ß -5 son elementos distintos de J y .3   "ß entonces el polinomio
minimal de X será : œ B  -" <" â B  -5 <5 donde " Ÿ <3 Ÿ .3 .
ñ Si [3 œ 5/< X  -3 M <3 entonces el teorema de la descomposición primaria nos dice
que Z œ [" Š [# Š â Š [5 y que el operador X 3 œ X l[3 posee un polinomio minimal
igual a B  -3 <3 .
ñ Sea R3 el operador lineal sobre [3 definido por R3 œ X3  -3 M , entonces, R3 es
nilpotente y su polinomio minimal es B<3 . Sobre [3 , X actua como R3 más el escalar
-3 veces el operador idéntico.
ñ Supongamos que tenemos una base del espacio [3 correspondiente a la
descomposición clásica del operador nilpotente R3 , entonces la matriz de X3 en
relación a esta base ordenada será la suma directa de las matrices
Ô- ! â ! !×
Ö" - â ! !Ù
Ö Ù
Ö ! " â ! ! Ùcada una con - œ -3 . Una matriz de esta forma es llamada
Ö Ù
Õ! ! â " - Ø
ã ã ä ã ã

matriz elemental de Jordan con valor característico - .


ñ Reuniendo todas las bases de los [3 obtenemos una base de Z . Describamos la
Î E" ! â ! Ñ
Ð ! E# â ! Ó
matriz E de X en relación a esta base ordenada, E œ Ð Óß así la
Ï ! ! â E5 Ò
ã ã ä ã

matriz E es suma directa de las matrices E" ß á ß E5 ß donde cada matriz E3 esta dada
Î N" ! Ñ
3

Ð ! ! Ó
! â
por E3 œ ÐÐ ã
Ó y donde cada N 3 es una matriz elemental de
ã Ó
3
N# â
4

Ï ! N 83 Ò
ã ä
3
! â
Darío Sánchez H EPKIFVE PMR IEP 10

Jordan con valor característico -3 . Además de eso, dentro de la matriz E3 las


dimensiones de las matrices N4 disminuyen a medida que 4 aumenta.
3

ñ Diremos que una matriz 8 ‚ 8 E que satisface todas las condiciones descritas
hasta ahora en este numeral para ciertos escalares distintos -" ß á ß -5 esta bajo la
forma de Jordan .
61.OBSERVACIONES. + Todo elemento de E que no este en la diagonal principal o
inmediatamente abajo de ella es nulo. En la diagonal de E aparecen los 5 valores
característicos distintos -" ß á ß -5 de X , además cada -3 se repite .3 veces, siendo .3
la multiplicidad de -3 como raíz del polinomio característico, esto es, .3 œ .37[3.
, Para cada 3ß la matriz E3 es la suma directa de 83 matrices elementales de
Jordan, N4 , con valor característico -3 . El número 83 es exactamente la dimensión
3

del espacio de los vectores característicos asociados al valor característico -3 Þ En


efecto, 83 es el número de bloques nilpotentes elementales de la forma racional de
X  -3 M siendo por tanto igual a la dimensión del 5/< X  -3 M . En particular
notemos que X es diagonazable si y solamente si 83 œ .3 para todo 3Þ
- Para cada 3ß el primer bloque N" en la matriz E3 es una matriz <3 ‚ <3 siendo <3 la
3

multiplicidad de -3 como una raíz del polinomio minimal de X . Esto se sigue del
hecho de que el polinomio minimal del operador nilpotente X3  -3 M es B<3 .
62.Es claro que tenemos, como siempre, el mismo resultado para matrices si F es
una matriz 8 ‚ 8 sobre el cuerpo J y si el polinomio característico de F se
descompone completamente sobre J , entonces F es semejante sobre J a una
matriz 8 ‚ 8 E bajo la forma de Jordan. E es única a menos del orden de los
valores característicos. Decimos que E es la forma canónica de F.
63.Sea Z un espacio vectorial de dimensión finita sobre el cuerpo J y sea X un
operador lineal sobre Z . Decimos que X es semi-simple si todo subespacio
X  invariante posee un subespacio suplementario X -invariante.
64.Sea X un operador lineal sobre el espacio vectorial Z de dimensión finita y sea
Z œ [" Š â Š [5 la descomposición primaria de X Þ En otras palabras, si 8 es el
grado del polinomio característico de X y : œ :"<" â:5<5 es la descomposición de 8
en factores primos, entonces [4 es el núcleo de :4 X <3 . Sea [ un subespacio
arbitrario de Z que sea invariante bajo X , entonces [ œ [ ∩ [" Š â Š [ ∩ [5 .
65.Sea X un operador lineal sobre Z y supongamos que el polinomio minimal de X
sea irreductible sobre el cuerpo J de escalares, entonces X es semi-simple .
(Aquí es necesario recordar lo siguiente: [ admite un suplementario invariante
Í 0 − J ÒBÓ • " − Z es tal que 0 X " − [ Ê bα − Z tal que 0 X " œ 0 X α ).
66.Sea X un operador lineal sobre el espacio vectorial Z de dimensión finita. Una
condición necesaria y suficiente para que X sea semi-simple es que el polinomio
minimal T de X sea de la forma T œ T" † á † T5 , siendo T" ß á ß T5 polinomios
irreductibles distintos sobre el cuerpo J de escalares.
Darío Sánchez H EPKIFVE PMR IEP 11

67.Si X es un operador lineal sobre un espacio vectorial de dimención finita sobre


un cuerpo algebraicamente cerrado, entonces X es semi-simple si y solamente si,
X es diagonalizable.
ì Es interesante destacar que X es semi-simple si y solamente si existe un
polinomio 0 , que sea un producto de primos distintos tal que 0 X œ !Þ Esto difiere
apenas superficialmente de la condición de que el polinomio minimal sea un
producto de primos distintos.
68.FORMULA DE TAYLOR: Sea J un subcuerpo del cuerpo de los números complejos y
sean 1, 2 polinomios sobre J . Si 0 es un polinomio cualquiera sobre J con
1<+ 0 Ÿ 8ß entonces
# 8
0 1 œ 0 2  0 " 2 1  2  0 #x 2 1  2 #  â  0 8x 2 1  2 8 .
69.Sea J un subcuerpo del cuerpo de los números complejos, sea 0 un polinomio
sobre J y sea 0 w la derivada de 0 . Las siguientes afirmaciones son equivalentes:
3 0 es un producto de polinomios irreductibles y distintos sobre J Þ
33 0 y 0 w son relativamente primos.
333 Considerado como un polinomio con coeficientes complejos, 0 no posee
raíces múltiples.
70. Sea J un subcuerpo del cuerpo de los números complejos, sea Z un espacio
vectorial de dimensión finita sobre J y sea X un operador lineal sobre Z . Sea µ
una base ordenada de Z y sea E la matriz de X en relación a la base ordenada µ.
Entonces, X es semi-simple si y solamente si la matriz E es semejante, sobre el
cuerpo de los números complejos, a una matriz diagonal.
71. Sea J un subcuerpo del cuerpo de los números complejos, sea Z un espacio
vectorial de dimensión finita sobre J y sea X un operador sobre Z . Existe un
operador semi-simple W sobre Z y un operador nilpotente R sobre Z tales que
3 X œW R 33 WR œ R W .
Además de eso, el operador semi-simple W y el operador nilpotente R que
satisfacen las condiciones 3 y 33 son únicos y cada uno es un polinomio en X .
72. Sea J el cuerpo de los números reales o el cuerpo de los números complejos y
sea Z un espacio vectorial sobre J . Un PRODUCTO INTERNO sobre Z es una función
que asocia a cada par ordenado de vectores α," en Z un escalar αß " en J de
manera que:
+ α  " ß # œ αß #  " ß # ß
, - α ß " œ - αß " ß
- " ß α œ αß " , donde la barra indica conjugado complejo,
. αß α  !, si α Á !.
73. mαm œ È αß α es denominada la forma cuadrática determinada por el producto
interno, conocida con el nombre de norma de α.
Síguese de la definición que
mα „ " m# œ mαm# „ #V/ αß "  m" m#
Darío Sánchez H EPKIFVE PMR IEP 12

Así en el caso real


αß " œ "% mα  " m#  "% mα  " m# "
En el caso complejo también podemos usar αß " œ V/ αß "  3V/ αß 3" y obtener
una expresión más completa
αß " œ "% mα  " m#  "% mα  " m#  %3 mα  3" m#  %3 mα  3" m# #
la ecuaciones " y # son denominadas las identidades de polarización.
74.Un espacio con producto interno es un espacio vectorial real o complejo dotado
de un producto interno sobre aquel espacio.
ì Si Z es un espacio con producto interno, entonces para cualesquier pareja de
vectores α," en Z y todo escalar - se tiene
+ m- αm œ l-lmαm à , mαm  ! para α Á ! à - m αß " m Ÿ mαmm" m à .
mα  " m Ÿ mαm  m" m.
Para mostrar - tómese # œ "  m"αßαm# α calculando ! Ÿ # ß # . La desigualdad en - es
conocida como la desigualdad de Cauchy-SchwarzÞ
75.Sean α y " vectores en un espacio Z con producto interno. Decimos que α y "
son ortogonales si αß " œ !.
ì Si W © Z , decimos que W es un conjunto ortogonal si dos cualesquiera vectores
distintos en W son ortogonales.
ì Un conjunto ortonormal es un conjunto ortogonal con la propiedad adicional de
que mαm œ " para todo α − W .
76.Un conjunto ortogonal de vectores no nulos es linealmente independientes.
ì Si un vector " es una combinación lineal de un conjunto ortogonal de vectores
no nulos α" ß α# ß á ß α7 entonces " es exactamente la combinación lineal
7
" ßα5
"œ mα5 m# α5
5œ"
ì Todo espacio de dimensión finita con producto interno posee una base
ortonormal.
Para tal fin tómese Ö"" ß á ß "8 × una base de Z y aplíquese el proceso de
ortogonalización de Gram-Schmidt, para construir Öα" ß α# ß á ß α8 × donde
5
α" ,á ,α5" œ "5" 
"# ßα" "5" ßα4
α" œ "" ß α# œ "#  mα" m# mα4 m# α4
4œ"

77.Sea Z un espacio con producto interno y sea W un conjunto arbitrario de


vectores de Z Þ El suplemento ortogonal de W es el conjunto W ¼ de todos los
vectores en Z que son ortogonales a todos los elementos de W .
ì Si [ es un subespacio de dimensión finita de un espacio Z con producto
interno, entonces Z œ [ Š [ ¼ Þ
ì Sea {α" ß á ß α7 } un conjunto ortogonal de vectores no nulos en un espacio Z con
producto interno. Si " es un vector arbitrario en Z , entonces

l " ßα5 l#
mα5 m# Ÿ m" m# Þ
5œ"
Darío Sánchez H EPKIFVE PMR IEP 13

7
Además la igualdad vale si y sólo si " œ " ßα5
mα5 m# α5 .
5œ"
Esta igualdad es conocida con el nombre de desigualdad de Bessel. En este caso
particular en que Öα" ß á ß α7 × es un conjunto ortonormal, la desigualdad de Bessel
7
será l " ß α5 l # Ÿ m" m # .
5œ"
ì Se afirma que si [ es un subespacio de dimensión finita de un espacio Z con
producto interno, ya mostramos que Z œ [ Š [ ¼ . Se sigue que existe una única
proyección I con imagen [ y núcleo [ ¼ . Denominaremos esta proyección I
como la proyección ortogonal de Z sobre [ .
78.Sea Z un espacio de dimensión finita con producto interno y 0 un funcional
lineal sobre Z , entonces existe un único vector " en Z tal que 0 α œ αß " para
todo α en Z . Tómese una base ortonormal Öα3 ×"Ÿ3Ÿ8 para Z , en cuyo caso
8
"œ 0 α4 α4 y sea 0" α œ αß " Ê 0" α5 œ 0 α5 .
4œ"
NOTA:Este resultado no es válido cuando la dimensión de Z es infinita. Basta tomar
Z œ Ö0 − ‚ÒBÓ× y 0 ß 1 œ '! 0 > 1 > .> y se da el funcional lineal P definido por
"

P 0 œ 0 D entonces no existe 1 tal que 0 ß 1 œ P 0 para todo 0 − Z .


79.Para cualquier operador lineal X sobre un espacio Z de dimensión finita con
producto interno, existe un único operador lineal X ‡ sobre Z tal que
X αß " œ αß X ‡ " para todo α," en Z .
ì Sea Z un espacio de dimensión finita con producto interno y µ œ Öα" ß á ß α8 × una
base ortonormal ordenada de Z . Sea X un operador lineal sobre Z y sea E una
matriz de X en relación a la base ordenada µ, entonces E54 œ X α4 ß α5 .
ì Si µ es una base ortogonal, tenemos que todo @ − Z puede ser escrito en la
8
forma @ œ @ß α5 α5 donde µ œ Öα" ß á ß α8 ×
5œ"
ì Sea Z un espacio de dimensión finita con producto interno y sea X un operador
lineal sobre Z . En relación con cualquier base ortonormal de Z , la matriz de X ‡ es
la transpuesta conjugada de la matriz de X .
80. Sea X un operador lineal sobre un espacio Z con producto interno. Decimos
que X posee un adjunto si existe un operador lineal X ‡ sobre Z tal que
X αß " œ αß X ‡ " para todo α y " en Z Þ
ì Dos comentarios deben ser hechos acerca del caso de dimensión finita
" El adjunto de X depende no sólo de X sino también del producto interno.
# Para una base ordenada arbitraria µ, la relación ÒX Óµ y ÒX ‡ Óµ es más complicada
de la presentada en el último resultado de (*Þ
ì Sea Z el espacio vectorial de las matrices 8 ‚ 8 sobre un cuerpo J . Si E está en
Z el trazo de E es el escalar ><E œ E""  E##  â  E88 y es una funcional lineal ya
que >< -E  F œ - >< E  >< F , además >< EF œ >< FE .
Darío Sánchez H EPKIFVE PMR IEP 14

81.Sea Z un espacio de dimensión finita con producto interno. Si X y Y son


operadores lineales sobre Z y - es un escalar
+ X  Y ‡ œ X ‡  Y ‡, , -X ‡ œ -X ‡ , - X Y ‡ œ Y ‡X ‡, . X ‡ ‡ œ X .
ì Un operador lineal X tal que X œ X ‡ es llamado auto-adjunto o hermitiano .
ì Si µ es una base ortonormal de Z entonces ÒX ‡ Óµ œ ÒX Ó‡µ y entonces X es auto-
adjunto si y solamente si su matriz, en relación a toda base ortogonal, es una
matriz auto-adjunta.
ì Los operadores auto-adjuntos son importantes por las siguientes razones:
" Para un operador de este tipo existe una base ortonormal formada por vectores
característicos
# Muchos operadores que surgen en la práctica son auto-adjuntos.
82. Sea Z un espacio vectorial con producto interno y X un operador sobre Z Þ Sea
: la función definida sobre las parejas ordenadas de vectores α, " en Z por
: αß " œ X αß " . La función : es un producto interno si y solamente si el operador
lineal X satisface
œ X αß α  ! si α Á !
X α ß " œ αß X "

Un operador X que satisface ‡ es llamado positivo.


ì El operador lineal X es positivo si y solamente si la función : definida por
: αß " œ X αß " es un producto interno. Nótese que en este caso X es auto-
adjunto.
83. Sea Z un espacio de dimensión finita con producto interno ß . Si : es un
producto interno sobre Z , entonces existe un único operador lineal positivo X
sobre Z tal que : αß " œ X αß " para cualquier α," en Z .
ì Sea Z un espacio de dimensión finita con producto interno y X un operador
lineal sobre Z . Entonces X es positivo si y solamente si existe un operador lineal
invertible Y sobre Z tal que X œ Y ‡ Y .
ì Sea Z un espacio complejo con producto interno y X un operador lineal sobre Z .
Si X αß α es real para todo α en Z , entonces X es autoadjunto.
ì Un operador X sobre un espacio con producto interno es positivo si y solamente
si su matriz, en relación a una base ortogonal µ, satisface E œ E‡ Þ Además si
B" ß á ß B8 Á !ß entonces E54 B4 B5  !.
4 5

84. Sea E una 8 ‚ 8 matriz con elementos complejos. Decimos que E es positivo
si vale lo siguiente: Siempre que B" ß á ß B8 sean números complejos no todos nulos
entonces E54 B4 B5  !.
4 5
ì Sea Z un espacio de dimensión finita con producto interno y µ una base
ordenada de Z . Si X es un operador lineal sobre Z , entonces X es positivo si
y solamente si la matriz de X en relación a esta base ordenada es
positiva.
Darío Sánchez H EPKIFVE PMR IEP 15

ì Si E es una matriz 8 ‚ 8 con elementos complejos, entonces E es positiva si


y solamente si existe una 8 ‚ 8-matriz inversible T tal que E œ T ‡ T .
Si E es una matriz positiva y posee elementos reales entonces E œ T > T donde T es
una 8 ‚ 8-matriz invertible con elementos reales.
ì Una 8 ‚ 8-matriz E es positiva si y solamente si \ß ] œ ] ‡ E\
ì El criterio de positividad es basado en dos observaciones:
3 Si E es una matriz positiva, entonces ./>E  !
Ô E"" E"# â E"5 ×
ÖE E## â E#5 Ù
33 Si E es una matriz positiva y " Ÿ 5 Ÿ 8, la matriz E 5 œ Ö #" Ù
Õ E5" E5# â E55 Ø
ã ã ä ã

es una 5 ‚ 5 -matriz positiva.


Para ver 3 basta observar que
./> E œ ./> T ‡ T œ ./> T ‡ ./> T œ ./> T † ./> T  !
85.Sea E una 8 ‚ 8-matriz. Los menores principales de E son los 8 escalares
definidos por ./>E 5 ß 5 œ "ß #ß á ß 8.
ì Sea E una 8 ‚ 8-matriz sobre el cuerpo de los números complejos y supongamos
que E es auto-adjunta hermitiana , entonces E es positiva si y solamente si los
menores principales de E son todos positivos.
ì Si E es una 8 ‚ 8-matriz sobre el cuerpo de los números complejos las siguientes
afirmaciones son equivalentes:
3 A es positiva, esto es, E54 B4 B5  ! siempre que B" ß á ß B8 son números
4 5
complejos no todos nulos.
33 \ß ] œ ] ‡ E\ es un producto interno sobre el espacio de las 8 ‚ "-matrices
complejas.
333 En relación al producto interno canónico \ß ] œ ] ‡ \ sobre las 8 ‚ "-matrices
el operador lineal \ È E\ es positivo
3@ E œ T ‡ T para alguna 8 ‚ 8-matriz invertible T sobre ‚.
@ E œ E‡ y los menores principales de E son positivos.
ì Si todo elemento de E es real, estas afirmaciones son equivalentes a:
@3 E œ E> y E54 B4 B5  ! siempre que B" ß á ß B8 sean números reales no
4 5
todos nulos.
@33 \ß ] œ ] > E\ es un producto interno sobre el espacio de las 8 ‚ "-matrices
reales.
@333 En relación al producto interno canónico \ß ] œ ] > \ sobre las 8 ‚ "-
matrices reales, el operador lineal \ È E\ es positivo.
B3 Existe una matriz invertible T con elementos reales, tal que E œ T > T .
86.Sean Z y [ espacios con producto interno sobre el mismo cuerpo y sea X una
transformación lineal de Z en [ . Decimos que X conserva productos internos si
X αß X " œ αß " para todo α, " en Z . Un isomorfismo de Z en [ es un
Darío Sánchez H EPKIFVE PMR IEP 16

isomorfismo X del espacio vectorial Z en [ que también conserva productos


internos.
87.Sean Z y [ espacios de dimensión finita con producto interno sobre el mismo
cuerpo, que tengan la misma dimensión. Si X es una transformación lineal de Z
en [ las siguientes afirmaciones son equivalentes:
3 X conserva productos internos,
33 X es un isomorfismo de espacios con producto interno ,
333 X lleva toda base ortonormal de Z en una base ortonormal de [ .
3@ X lleva alguna base ortonormal de Z en alguna base ortonormal de [ Þ
ì Sean Z y [ espacios de dimensión finita con producto interno sobre el mismo
cuerpo. Entonces Z y [ son isomorfos si y solamente si tienen la misma
dimensión.
ì Notese que si la dimensión de Z no es finita todas las afirmaciones de este
numeral no son verdaderas como se puede ver tomando
Z œ Ö0 À Ò!ß "Ó ‘Î0 es continua× con 0 ß 1 œ '! ># 0 > 1 > .> como producto interno
"

[ œ Z ß Ò ß Ó donde Ò0 ß 1Ó œ '! 0 > 1 > .> y X À Z [ dada por X 0 > œ >0 > aquí
"

0 ß 1 œ ÒX 0 ß X 1Ó y Z no es isomorfo a [ .
88.Sean Z y [ espacios con producto interno sobre el mismo cuerpo y sea X una
transformación lineal de Z en [ . Entonces X conserva producto interno si y
solamente si mX αm œ mαm para todo α en Z Þ
ì Un operador unitario sobre un espacio con producto interno es un
isomorfismo del espacio en si mismo.
ì Sea Y un operador lineal sobre un espacio Z con producto interno. Entonces Y
es unitario si y solamente si el adjunto Y ‡ de Y existe y Y Y ‡ œ Y ‡ Y œ M .
ì Una 8 ‚ 8-matriz E compleja se dice unitaria si E‡ E œ M .
ì Sea Z un espacio vectorial de dimensión finita con producto interno y sea Y un
operador lineal sobre Z . Entonces Y es unitario si y solamente si la matriz de Y en
alguna toda base ortonormal ordenada es una matriz unitaria.
ì Una 8 ‚ 8-matriz E real o compleja se dice ortogonal si E‡ E œ M
ì Sean E y F 8 ‚ 8-matrices complejas. Se dice que F es unitariamente
equivalente a E si existe una 8 ‚ 8-matriz unitaria T tal que F œ T ‡ ET .
ì Decimos que F es ortogonalmente equivalente a E si existe una 8 ‚ 8-matriz T
ortogonal tal que F œ T ‡ ET .
89. Sea Z un espacio de dimensión finita con producto interno y X un operador
lineal sobre Z Þ Decimos que X es normal si conmuta con su adjunta, esto es,
X ‡X œ X X ‡Þ
ì Todo operador auto-adjunto es normal, como también lo es todo operador
unitario.
Darío Sánchez H EPKIFVE PMR IEP 17

ì Sea Z un espacio con producto interno y X un operador lineal auto-adjunto


sobre Z . Todo valor característico de X es real. Los vectores característicos de X
asociados a valores característicos distintos son ortogonales.
90.En un espacio de dimensión finita positiva con producto interno, todo operador
auto-adjunto posee un vector característico no nulo .
ì Es necesario que Z sea de dimensión finita, pues un operador auto-adjunto
sobre un espacio de dimensión infinita con producto interno puede no tener
valores característicos, por ejemplo; sea Z el espacio vectorial de las funciones
complejas o reales continuas, definidas sobre el intervalo unitario ! Ÿ > Ÿ " con el
producto interno 0 ß 1 œ '! 0 > 1 > .>. El operador X 0 > œ >0 > es auto-adjunto y
"

no posee valores característicos.


ì Sea Z un espacio de dimensión finita con producto interno y sea X un operador
lineal arbitrario sobre Z . Supongamos que [ sea un subespacio de Z que sea
invariante bajo X Þ Entonces el suplemento ortogonal de [ es invariante bajo X .
91.Sea Z un espacio de dimensión finita con producto interno y sea X un operador
auto-adjunto sobre Z . Entonces existe una base ortonormal de Z cuyos vectores
son vectores característicos de X .
divídase Z œ [ Š [ ¼ y muéstrese el resultado por inducción
ì Sea E una 8 ‚ 8 matriz hermitiana auto-adjunta . Entonces existe una matriz
unitaria T tal que T ‡ ET sea diagonal (E es unitariamente equivalente a una matriz
diagonal). Si E es una matriz simétrica real, existe una matriz ortogonal real T tal
que T > ET sea diagonal.
ì Sea Z un espacio de dimensión finita con producto interno y X un operador
normal sobre Z . Entonces todo vector característico de X también es un vector
característico de X * .
ì Sea Z un espacio complejo de dimensión finita con producto interno y sea X un
operador normal sobre Z . Entonces Z posee una base ortonormal, donde cada
vector es un vector característico de X .
ì Una matriz 8 ‚ 8 compleja E se dice normal si EE‡ œ E‡ E.
ì Sea E una matriz 8 ‚ 8 con elementos complejos. Existe una matriz unitaria T tal
que T ‡ ET sea diagonal si y solamente si EE‡ œ E‡ E. En otras palabras, E es
unitariamente equivalente a una matriz diagonal si y solamente si E es normal.
92.Sea I una proyección, I # œ I . Las siguientes afirmaciones son equivalentes:
3 I es normal, II ‡ œ I ‡ I .
33 I es auto-adjunta, I œ I ‡
333 I es la proyección ortogonal sobre su imagen.
93. Sean [" ß [# ß á ß [5 subespacios de Z y sea I4 la proyección sobre [4 ,
4 œ "ß á ß 5. Las siguientes afirmaciones son equivalentes:
3 Z œ [" Š â Š [5 y esta es una suma directa ortogonal
33 M œ I"  â  I5 y I3 I4 œ ! para 3 Á 4
333 Si µ4 es una base ortonormal de [4 , 4 œ "ß á ß 5ß entonces la reunión de las µ4
es una base ortonormal de Z .
Darío Sánchez H EPKIFVE PMR IEP 18

ì Sea X un operador normal y α un vector tal que X # α œ !, entonces X α œ !. En


otras palabras, la imagen y el núcleo de un operador normal son disyuntos.
ì Sea X un operador normal y 0 un polinomio con coeficientes complejos.
Entonces el operador 0 X es normal.
ì El polinomio minimal de un operador normal posee raíces distintas.
94.TEOREMA ESPECTRAL.
Sea X un operador normal sobre el espacio complejo Z de
dimensión finita con producto interno. Sea -" ß á ß -5 los valores característicos
distintos de X y sea I4 la proyección ortogonal sobre el espacio de los vectores
característicos asociados al valor propio -4 . Entonces
+ X œ -" I"  â  - 5 I 5 ,
, M œ I"  â  I 5 ,
- I3 I4 œ ! si 3 Á 4.
Además, la descomposición en la parte + es única, en el siguiente sentido:
Supongamos que -" ß á ß -5 sean números complejos distintos y I" ß I# ß á ß I5
operadores lineales no nulos sobre Z tales que las condiciones + ß , y - sean
satisfechas, entonces -" ß á ß - 5 son exactamente los valores característicos
distintos de X y para cada 3, I3 es la proyección ortogonal de Z sobre el espacio de
los vectores característicos de X asociados al valor característico -3 .
ì Se denominará a la descompoción X œ -" I"  â  -5 I5 resolución espectral
de X . Es de resaltar que si X es un operador lineal arbitrario que tiene una
resolución X œ -" I"  â  -5 I5 tal que I4 œ I4‡ y I3 I4 œ ! para 3 Á 4, entonces X
es normal.
ì Si X es un operador normal, entonces Z posee una base ortonornal formada de
vectores característicos de X .
ì Sea X un operador lineal sobre Z . Entonces X es normal si y solamente si el
adjunto X ‡ es un polinomio en X .
ì Si X es un operador normal con resolución espectral X œ -" I"  â  -5 I5
entonces X ‡ œ - " I"  â  - 5 I5 .
ñ Decir que X es auto-adjunto es decir que X œ X ‡ , o sea
-"  - " I "  â  - 5  - 5 I 5 œ ! .
Usando el hecho de que I3 I4 œ ! para 3 Á 4 y el hecho de que ningún I4 es el
operador nulo, vemos que X es auto-adjunto si y solamente si -4 œ - 4 .
95.Sea X un operador normal sobre el espacio complejo Z de dimensión finita con
producto interno. Entonces, X es auto-adjunto positivo o unitario siempre que
todo valor característico de X sea real, positivo o de valor absoluto ".
ñ Note que si X es un operador lineal cualquiera sobre Z que tiene valores propios
reales no implica necesariamente que X sea auto-adjunto pues X debe ser normal
para que tal afirmación acontezca.
ì Sea X un operador lineal sobre un espacio complejo Z con producto interno.
Decimos que X es no negativo si X αß α   ! para todo α en Z .
ì Sea Z un espacio complejo de dimensión finita con producto interno y sea X un
operador no negativo sobre Z . Entonces X posee una única raíz cuadrada no
Darío Sánchez H EPKIFVE PMR IEP 19

negativa, esto es, existe uno y sólo un operador no negativo R sobre Z tal que
R# œ XÞ
ì Sea Z un espacio complejo de dimensión finita con producto interno y sea X un
operador lineal arbitrario sobre Z . Entonces existe un operador unitario Y y un
operador no negativo R sobre Z tal que X œ Y R . El operador no negativo R es
único. Si X es invertible, el operador Y también es único. (Tómese R # œ X ‡ X y
Y œ X R " cuando X sea inversible, en caso contrario sea [ la imagen de R , existe
un isomorfismo Y! de [ ¼ en X Z ¼ y se toma entonces Yα œ X "  Y! # ß
α œ R "  # ).
La descomposición X œ R Y se denomina descomposición polar de X .
96.Sean X y Y operadores normales sobre Z que conmutan. Entonces existe un
operador normal W sobre Z con estas propiedades:
3 Tanto X como Y son polinomios en WÞ
33 W conmuta con todo operador lineal sobre Z que conmute con X y Y .
ì Sean X" ß á ß X8 un número finito de operadores normales sobre Z tales que X3
conmuta con X4 para todos los 3ß 4. Entonces existe un operador normal X sobre Z
tal que X4 sea un polinomio en X .
ì Sea ¹ una familia arbitraria de operadores normales sobre Z , todos los cuales
conmutan. Entonces existe un operador normal X sobre Z tal que todo operador
de la familia ¹ sea un polinomio en X .
ì Si ¹ es una familia arbitraria de operadores normales sobre Z los cuales
conmutan, existe una base ortonormal ordenada µ de Z tal que todo operador en
¹ sea representado por una matriz diagonal en relación a la base µ.
97. Sea Z un espacio vectorial sobre un cuerpo J . Una forma bilineal sobre Z es
una función 0 que asocia a cada par ordenado de vectores α," en Z un escalar
0 αß " en J y que satisface
0 - α"  α# ß " œ -0 α" ß "  0 α# ß "
0 αß - ""  "# œ -0 αß ""  0 αß "# .
ì Sea Z un espacio vectorial de dimensión finita y sea µ œ Öα" ß α# ß á ß α8 × una base
ordenada de Z . Si 0 es una forma bilineal sobre Z , la matriz de 0 en relación a la
base ordenada µ es la 8 ‚ 8-matriz E con elementos E34 œ 0 α3 ß α4 . A veces,
indicaremos esta matriz por Ò0 Óµ
ì Sea Z un espacio vectorial de dimensión finita sobre el cuerpo J . Para cada base
ordenada µ de Z , la función que asocia a cada forma bilineal sobre Z su matriz en
relación a la base ordenada µ es un isomorfismo del espacio P Z ß Z ß J en el
espacio de las 8 ‚ 8-matrices sobre el cuerpo J .
P Z ß Z ß J œ Ö0 À Z ‚ Z J Î0 es forma bilineal× .
ì Si µ œ Öα" ß á ß α8 × es una base ordenada de Z y U‡ œ ÖP" ß á ß P8 × es la base dual
de Z ‡ , entonces las 8# formas bilineales
034 αß " œ P3 α P4 " ß " Ÿ 3 Ÿ 8ß " Ÿ 4 Ÿ 8, α," − Z
forman una base del espacio P Z ß Z ß J . En particular, la dimensión de P Z ß Z ß J
es 8# .
Darío Sánchez H EPKIFVE PMR IEP 20

ì Sea P0 À Z Z ‡ dada por P0 À α È P0 αß de manera semejante, 0 determina una


transformación lineal V0 de Z en Z ‡ . Para cada " fijo en Z , 0 αß " es lineal en α.
V0 À Z Z ‡ ß " È V 0 " œ 0 ß " .
ì Sea 0 una forma bilineal sobre un espacio vectorial Z de dimensión finita. Sean
P0 y V0 las transformaciones lineales de Z en Z ‡ definidas por
P0 α " œ 0 αß " œ V0 " α ,
entonces <+819 P0 œ <+819 V0 .
ì Si 0 es una forma bilineal sobre el espacio Z de dimensión finita, el rango de 0
es el entero < œ <+819 P0 œ <+819 V0 .
r" .- El rango de una forma bilineal es igual al rango de la matriz de la forma
bilineal en relación a cualquier base ordenada.
r# .- Si 0 es una forma bilineal sobre el espacio vectorial 8-dimensional Z ß las
siguientes afirmaciones son equivalentes:
3 <+819 0 œ 8
33 Para cada α no nulo en Z , existe un " en Z tal que 0 αß " Á !
333 Para cada " no nulo en Z , existe un α en Z tal que 0 αß " Á !Þ
ì Una forma bilineal 0 sobre un espacio vectorial Z se dice no-degenerada
o no-singular si satisface las condiciones 3 y 33 del numeral anterior.
98.Sea 0 una forma bilineal sobre el espacio vectorial Z . Decimos que 0 es
simétrica si 0 αß " œ 0 " ß α para todos los vectores α, " en Z .
ì Si 0 es una forma bilineal simétrica, la forma cuadrática asociada a 0 es la
función ; de Z a J definida por ; α œ 0 αß α .
ì Si J es un subcuerpo del cuerpo de los números complejos la forma bilineal
simétrica 0 es completamente determinada por su forma cuadrática asociada, de
acuerdo a la identidad de polarización 0 αß " œ "% ; α  "  "% ; α  " .
ì Una forma bilineal se dice definida positiva cuando 0 αß α  ! si α Á !.
ì Sea Z un espacio vectorial de dimensión finita sobre un subcuerpo del cuerpo de
los números complejos y sea 0 una forma bilineal simétrica sobre Z . Entonces
existe una base ordenada de Z en relación a la cual 0 es representada por una
matriz diagonal.
ì Sea J un subcuerpo del cuerpo de los números complejos y sea E una 8 ‚ 8-
matriz simétrica sobre J . Existe una 8 ‚ 8-matriz inversible T tal que T > ET sea
diagonal.
ì Sea Z un espacio vectorial de dimensión finita sobre el cuerpo de los números
complejos. Sea 0 una forma bilineal simétrica sobre Z que tiene rango <. Entonces
existe una base ordenada µ œ Ö"" ß á ß "8 × de Z tal que
3 La matriz de 0 en relación a la base ordenada µ es diagonal.
33 0 "4 ß "4 œ œ
"ß 4 œ "ß á ß <
!ß 4  <
ì Sea Z un espacio vectorial 8-dimensional sobre el cuerpo de los números reales
y sea 0 una forma bilineal simétrica sobre Z que tenga rango <. Entonces existe
una base ordenada Ö"" ß á ß "8 × en Z en relación a la cual la matriz de 0 es diagonal
Darío Sánchez H EPKIFVE PMR IEP 21

y tal que 0 "4 ß "4 œ „ ", 4 œ "ß á ß <. Además, el número de vectores "4 de la base
para los cuales 0 "4 ß "4 œ " es independiente de la elección de la base.
99.Una forma bilineal 0 sobre Z se dice antisimétrica si 0 αß " œ  0 " ß α para
todos los vectores αß " en Z . Supongamos que 0 sea una forma bilineal arbitraria
sobre Z . Si hacemos
1 αß " œ "# Ò0 αß "  0 " ß α Ó
2 αß " œ "# Ò0 αß "  0 " ß α Ó
entonces 1 es una forma bilineal simétrica sobre Z y 2 es una forma bilineal
antisimétrica sobre Z . Además de eso 0 œ 1  2 de manera única.
ì Si Z es de dimensión finita, la forma bilineal 0 es antisimétrica si y solamente si,
su matriz E en relación a alguna o a toda base ordenada es antisimétrica,
E> œ  EÞ
ì Cuando 0 es antisimétrica, la matriz de 0 en relación a cualquier base ordenada
tendrá todos los valores de la diagonal nulos.
ì Sea Z un espacio vectorial 8-dimensional sobre un subcuerpo de los números
complejos y sea 0 una forma bilineal antisimétrica sobre Z . Entonces el rango < de
0 es par, y si < œ #5 existe una base ordenada de Z en relación a la cual la matriz
de 0 es la suma directa de la 8  < ‚ 8  < matriz nula y 5 copias de la # ‚ #
matriz ”
 " !•
! "
.

100.Sea 0 una forma bilineal sobre el espacio vectorial Z y sea X un operador


lineal sobre Z . Decimos que X conserva 0 si 0 X αß X " œ 0 αß " para todo α y "
en Z .
ì Sea 0 una forma bilineal no degenerada sobre un espacio vectorial Z de
dimensión finita. El conjunto de los operadores lineales sobre Z que conservan 0
es un grupo en relación a la operación de composición.
ì En lenguaje matricial tenemos: Si E es una 8 ‚ 8-matriz invertible, el conjunto
de las 8 ‚ 8-matrices Q tales que Q > EQ œ E es un grupo en relación a la
multiplicación matricial.
Si E œ Ò0 Óµ , entonces Q esta en este grupo matricial si y solamente si, Q œ ÒX Óµ
donde X es un operador lineal que conserva 0 .
ì Supongamos que 0 sea una forma bilineal simétrica. Un operador X conserva 0
si y solamente si, X conserva la forma cuadrática ; α œ 0 αß α asociada a 0 .
8
ì Sea Z el espacio ‘8 o el espacio ‚8 . Sea 0 la forma bilineal 0 αß " œ B4 C4 donde
4œ"
α œ B" ß á ß B8 y " œ C" ß á ß C8 . El grupo que conserva 0 es denominado el grupo
ortogonal 8-dimensional.
ñ Como la matriz de 0 en relación a la base canónica es M , este grupo consiste de
las matrices Q que satisfacen Q > Q œ M . Una tal matriz Q se denomina una 8 ‚ 8
matriz ortogonal.
Darío Sánchez H EPKIFVE PMR IEP 22

ì Sea 0 la forma bilineal simétrica sobre ‘8 con forma cuadrática


B4# . Esta 0 es no degenerada y tiene signatura #:  8ˆ ‡ ‰.
: 8
; B" ß á ß B8 œ B#4 
4œ" 4œ:"
El grupo de las matrices que conservan una forma de este tipo es denominado un
grupo seudo-ortogonal
ˆ ‡ ‰ Sean
Z  œ  Ö"3 −  "4  œ Z à 0 "3 ß "3 œ  "×>,
Z  œ  Ö"3 −  "4  œ Z à 0 "3 ß "3 œ "× 
el número .37Z   .37Z  es llamado signatura de 0 .
ì Sea Z un espacio vectorial 8 dimensional sobre el cuerpo de los números
complejos y sea 0 una forma bilineal simétrica no degenerada sobre Z . Entonces el
grupo que conserva 0 es isomorfo al grupo ortogonal complejo b 8ß ‚ Þ
ì Sea Z un espacio vectorial 8 dimensional sobre el cuerpo de los números reales y
sea 0 una forma bilineal simétrica no degenerada sobre Z . Entonces, el grupo que
conserva 0 es isomorfo a un 8 ‚ 8-grupo seudo-ortogonal.
ì Sea 0 una forma bilineal simétrica sobre ‘% con forma cuadrática
; Bß Cß Dß > œ >#  B#  C#  D # . Un operador lineal X sobre ‘% que conserva esta
forma bilineal (o cuadrática) particular es denominada una transformación de
Lorentz y el grupo que conserva 0 se dice el grupo de Lorentz.

§#Þ RESULTADOS PROBADOS

1.Sea Z un espacio vectorial de dimensión 8, [" ß á ß [5 subespacios vectoriales de


Z tales que
O
Z œ ["  [#  â  [5 y .37Z œ .37[3 .
3œ"
Probar que Z œ [" Š [# Š â Š [5 .
SOLUCIÓN. En efecto, sea µ3 œ Öα34 × una base para [3 ß " Ÿ 3 Ÿ 5ß " Ÿ 4 Ÿ .37[3 œ $3 ,
5
mostremos que si µ= ∪ µ3 es una base para Z entonces Z œ [" Š [# Š â Š [5
3œ"
5
Sea @ − ["  [#  â  [5 entonces existen +3 − [3 " Ÿ 3 Ÿ 5 tal que @ œ +3 ß
3œ"
$3
donde +3 − [3 Ê +3 œ -34 α34 entonces @ œ -34 α34 por lo tanto µ genera Z .
4œ" 3ß4
5 5
Ahora .37Z œ $3 Ê #µ œ .37Z . Como #µ œ .37Z , µ œ ∪ µ3 genera Z y µ es
3œ" 3œ"
una base de Z por tanto Z œ [" Š [# Š â Š [5 .
…
Darío Sánchez H EPKIFVE PMR IEP 23

2. Sea V un espacio vectorial sobre J y 0 − J ÒBÓ. Si [ œ Öα − Z Î0 > α œ !× donde X


es un endomorfismo lineal de Z entonces [ es invariante por X .
SOLUCIÓN.-Usaremos el hecho fácilmente verificable de que si X À Z Z es lineal,
0 − J ÒBÓ entonces X 0 X œ 0 X X .
Así α − [ Ê 0 X α œ !,
0 X Xα œ 0 X † X α œ X0 X α œ X 0 X α œ X ! œ !
0 X Xα œ ! Ê Xα − [.
Luego X [ § [ o sea [ es invariante por X .
…
3.Si Z es un espacio vectorial real y I es un operador lineal indenpotente en Z ,
esto es una proyección, entonces M  I es invertible. Determine M  I " .
SOLUCIÓN.- +Ñ Supongamos que Z sea un espacio vectorial real cualquiera.
Mostremos que M  I es inyectivo
α − 5/< M  I Ê M  I α œ ! Í α  I α œ !
I α  I α œ ! Ê #I α œ ! Ê I α œ ! entonces α − 5/<I
Pero
α œ α  Iα
así
! œ M  I α œ M  I α  I α œ αM  I α  I α  I α œ αM  I α œ ! Ê αM œ I α
de donde
5/< M  I œ Ö!×
M  I es sobreyectiva.
Dado @ − Z à tómese @  I@# œ @" tenemos
M  I ˆ@  # ‰ œ M ˆ@  I@
I@
#
‰  I ˆ@  I@
#
‰ œ @  I@
Å
I@
#  I@  # œ @
I# œ I
O sea para todo @ − Z , existe A œ @  − Z tal que M  I A œ @. Así M  I es
I@
#
biyectiva entonces M  I es invertible.
Denotemos a M  I " œ X tenemos así que M  I X œ M . multiplicando por I
recibimos I  I # X œ I o sea #IX œ I Ê IX œ I# ‡
Por otro lado se tiene M  I X œ M Ê X  IX œ M Í X œ M  IX Ê X œ M  I#

Verificación

M  I ˆM  I‰ Æ
I# œ I
I I

ˆM  # ‰ M  I œ M 
# œ M # I # œM
I I I
Å # I # œM
I# œ I
Observación: Si .37Z œ 8ß podemos resolver el ejercicio $Þ con argumentos que
envuelven sumas directas
Si I À Z Z es una proyección entonces Z œ M7I Š 5/<I
En efecto: Para todo @ − Z ß @ œ I@  @  I@à I@ − M7I y @  I@ − 5/<I pues
I @  I@ œ I@  I # @ œ I@  I@ œ !
.37Z œ 8 entonces 8 œ .37 M7I  .37 5/<I .
Darío Sánchez H EPKIFVE PMR IEP 24

Por el ejercicio ", tenemos que Z œ M7I Š 5/<I .


Pero IlM7I œ 3./8>3.+. por que @ − M7I entonces @ œ I6 Ê I@ œ I # 6 œ I6 œ @.
IlO/<I œ !, pues @ − O/<I Ê I@ œ !.
Tomando para Z una base que es reunión de una base de I con una base de 5/<I ,
tenemos que la matriz de I referente a esta base es E œ ”
! !•
M !
donde M es una
matriz < ‚ < donde < œ .37 M7I . La matriz de M  I referente a esta base es
Fœ”
! M•
#M !

Como ./>F Á ! tenemos que M  I es invertible y


F " œ ” # • œ ”! M •” # • œ M  #.
" "
M ! M ! M ! E
! M ! !
Luego M  I "
œM  #.I

…
4.Determine los polinomios característicos y mínimo de la matriz real
Ô " $ $ ×

Õ  $  $  &Ø
$ " $ .

â â
SOLUCIÓN.-Su polinomio característico es
âB  " $ â
â â
./> BM  E œ â  $ B  " $ ✠B" B# #
$
â â
â $ $ B  &â
El polinomio minimal divide al polinomio característico y tiene a cada valor
característico como raíz; los únicos candidatos a polinomio mínimo son:
B" B# o B" B# #
Pero
Ô ! $ $ ×Ô $ $ $ × Ô! ! !×

Õ  $  $  ' ØÕ  $  $  $ Ø Õ ! ! ! Ø
E  M E  #M œ $ ! $ $ $ $ œ ! ! !

Luego B  " B  # es el polinomio mínimo.


…
5.Si E y F son matrices 7 ‚ 7 sobre J ß entonces EF y FE tienen los mismos
valores característicos.
SOLUCIÓN.-Sea - œ ! valor propio de EF Ê ./> !M  EF œ ./> EF œ ! o sea
! œ ./>E † ./>F œ ./> F † ./> E œ ./> FE œ ./> !M  FE entonces - œ ! es valor
propio de FE.
Sea - Á ! un valor característico de EF entonces existe @ Á ! tal que EF @ œ -@.
Pongamos F@ œ A así EA œ -@ como @ Á !, - Á ! tenemos que EA Á ! Ê A Á !.
Ahora EA œ -@ Ê F EA œ F -@ de donde FE A œ -F@ œ -A. Como A Á ! se
sigue que - es un valor propio de FE entonces - es valor característico de EFÞ
…
Darío Sánchez H EPKIFVE PMR IEP 25

6.Sea Z œ Ö0 À ‘ ‘Î0 es continua×, considerado como espacio vectorial real.


Muestre que el endomorfismo lineal X À Z Z definido por X 0 B œ '! 0 > .> no
B

posee valores característicos.


SOLUCIÓN.-Por absurdo, supongamos que existe - valor propio de X , entonces
existe 0 − Z ß 0 Á ! tal que X 0 œ -0 entonces X 0 B œ '! 0 > .> œ -0 B entonces 0
B

es diferenciable por tanto 0 B œ -0 w B . Si - œ ! entonces 0 B œ !ß aB o sea 0 ´ !


lo cual es contradictorio (pues 0 Á !)
C
Si - Á ! la solución de la ecuación 0 B  -0 w B œ ! es 0 B œ 5/ - ß 5 Á ! de donde se
tiene que X 0 B œ '! 5/>Î- .> œ 5/>Î- lB! œ 5-Ò/BÎ-  "Ó Á -0 B lo cual es contradictorio.
B

Observese que si 5-/BÎ-  5- œ -/BÎ- entonces haciendo B œ ! tenemos


! œ 5-  5- œ - Ê - œ !ß - es supuesto diferente de cero.
…
7. Muestre que si - es un valor característico de la matriz E sobre el cuerpo J
entonces 1 - es un valor característico de 1 E donde 1 − J ÒBÓ.
SOLUCIÓN.-Si - − J valor propio de E entonces existe @ Á ! tal que E@ œ -@.
Tenemos que E8 @ œ - 8 @ a8   ". Por que para 8 œ " E@ œ -@ (por la hipótesis)
supongamos que E8" @ œ - 8" @ entonces tenemos
E8 @ œ E E8" @ œ E - 8" @ œ - 8" E@ œ - 8" -@ œ - 8 @
Así, si 1 E œ +8 E8  â  +" E  +! M , entonces
1 E @ œ +8 E8 @  â  +" E@  +! M@ œ +8 - 8 @  â  +" -@  +! @
œ +8 - 8  â  + " -  + ! @ œ 1 - @
o sea @ Á ! y 1 E @ œ 1 - @.
Luego 1 - es un valor propio de 1 E .
…
8.Las matrices
Ô! " ! !×
Ô$ "  "× Ô'  $  #×
Ö! ! " !Ù
E œ # #  " ßF œ %  "  # ß G œ Ö Ù
Õ# # ! Ø Õ "!  &  $ Ø
Õ" ! ! !Ø
! ! ! "

¿Son ‘-similares a matrices diagonales? ¿Son ‚-similares a matrices diagonales?


SOLUCIÓN.-Se aplica el resultado: Si E es una matriz 8 ‚ 8 en el cuerpo J entonces
E en J es similar a una matriz diagonal si y sólo si el polinomio minimal : de E es
de la forma : œ B  - â B  -5 , -" ß á ß -5 − J son distintos.
Ô$ "  "×
Õ# # ! Ø
+Ñ E œ # #  " el polinomio característico de E es B  " B  # #

Como E  M E  #M Á !, el polinomio minimal de E es B  " B  # # entonces E


no es ni ‘-similar, ni ‚-similar a una matriz diagonal.
Darío Sánchez H EPKIFVE PMR IEP 26

Ô'  $  #×

Õ "!  &  $ Ø
,Ñ F œ %  "  # tiene :- œ B  # B#  " œ :3 , B#  " es irreducible en ‘

:3 œ B  # B  3 B  3 en ‚, luego F es ‚-similar a una matriz diagonal pero no es


‘-similar.
Ô! " ! !×
Ö! ! " !Ù
-Ñ G œ Ö Ù, :- œ B%  " œ B  " B  " B#  " œ :3
Õ" ! ! !Ø
! ! ! "

B#  " es irreducible en ‘.
Luego la matriz G no es ‘-similar pero es ‚-similar a una matriz diagonal.
…
9.Sea X À ‘$ ‘$ el operador lineal representado en relación a la base canónica de
Ô# ! ! ×

Õ! !  "Ø
‘$ , por ! # ! . Pruebe que X no posee vector cíclico. ¿Cual es el espacio

X -cíclico de ‘$ generado por el vector "ß  "ß $ ?


Ô# ! ! ×

Õ! !  "Ø
SOLUCIÓN.-+Ñ X À ‘ $ $
‘ ß ÒX Óµ- œ ! # ! el polinomio característico de X es

B  # # B  " y el polinomio minimal de X es B  # B  " , si existiese @ − ‘$


cíclico, entonces .37‘$ œ $ Á 1<+.:3 œ # esto es contradictorio.
,Ñ Z es el subespacio cíclico de ‘$ generado por el vector @ œ "ß  "ß $ ,
X @ œ #ß  #ß  $ , tenemos que @ß X @ son linealmente independientes. Como
.37Z Ÿ #, tenemos que .37Z œ #. Obsérvese que @ y X @ pertenecen al plano
B  C œ ! y son linealmente independientes, luego Z œ Ö@ del plano/B  C œ !×.
…
10.Pruebe que si el operador X# ÀZ Z tiene un vector cíclico entonces X tiene un
vector cíclico. ¿La recíproca es verdadera?
SOLUCIÓN.-+Ñ X # À Z Z , sea 5 el grado del polinomio mínimo de X # . Si Z es cíclico
en relación a X # entonces existe @ tal que Ö@ß X # @ß á ß X #3 @ß á ß X # 5" @× es una base
para Z entonces Ö@ß X # @ß á ß X #3 @ß á ß X # 5" @× generan Z entonces @ es un vector
cíclico de X .
,Ñ La recíproca es falsa, pues considere X À ‘# ‘# X es obviamente lineal
@" ß @ # È @ # ß @ "
@ œ !ß " Ê X @ œ "ß ! y Ö@ß X @× genera a ‘# , entonces @ œ !ß " es cíclico en
relación a X . Obsérvese ahora que X # œ M e M no posee vector cíclico (polinomio
minimal tiene grado " menor que la dimensión del espacio).
Otro ejemplo es X À ‘# ‘# X "ß ! œ !ß " y Ö "ß ! ß X "ß ! × generan
@" ß @# È !ß @#
Z œ ‘# Ê "ß ! es un vector cíclico de X . Obsérvese ahora que X # œ ! que no posee
vectores cíclicos.
Darío Sánchez H EPKIFVE PMR IEP 27

…
11. Sea X ÀZ Z un operador cíclico, ie, existe un vector cíclico para X . Pruebe que
si Y À Z Z es un operador que conmuta con X , entonces Y es un polinomio en X .
SOLUCIÓN.-Si X À Z Z es un operador cíclico existe A tal que para todo @ − Z ß
5"
@œ +3 X 3 A donde 5 œ grado del polinomio minimal de X . Así Y À Z Z , Y conmuta
3œ!
con X tenemos para todo

@ − Z Ê Y @ œ YŒ
5" 5" 5" 5" 5"
+3 X 3 A œ +3 Y X 3 A œ +3 X 3 +4 X 4 A œ +3 +4 X 3 X 4 A
3œ! 3œ! 3œ! 4œ! 3ß4 œ"

+4 X 4 Œ
5" 5" 5"
œ +3 X 3 A œ +4 X 4 @
4œ! 3œ! 4œ!
5" 5"
Luego Y œ +4 X 4 entonces Y es un polinomio en X ß así YA − Z Ê YA œ +4 X 4 A
4œ! 4œ!
…
12.Determine el polinomio minimal y la forma canónica racional de las siguientes
Ô !  "  "× Ô - !  "×
" ß”
-9=) •
-9=) =/8)
Õ " ! Ø Õ " " - Ø
matrices reales: " ! ! ß ! -
 =/8 )
!
Ô !  "  "×

Õ " Ø
SOLUCIÓN.-+Ñ E œ " ! ! su polinomio característico es B$ , su
! !
polinomio mínimo es B , ya que Eß E# Á !. Tenemos entonces que X es cíclico
$

ÒX À ‘$ ‘$ es un operador tal que ÒX Óµ œ Eß µ es la base canónica de ‘$ Ó. Así la


forma racional de E es Ð+! œ !ß +" œ !ß +# œ !Ñ
Ô! ! !×
Õ! " !Ø
" ! !

Ô - !  "×

Õ " " Ø
,Ñ F œ ! - " su polinomio característico es:
-
B  - B  #-B  - #  # œ B  - ŠB  Š-  È#‹‹ŠB  Š-  È#‹‹
#

que es igual al polinomio minimal de F, y la forma canónica racional será À


Ô- ×
Ö ! -  È# Ù
! !

Õ! -  È# Ø
!
!
-Ñ G œ ”
 =/8) -9=) •
-9=) =/8)
su polinomio característico es: B#  #-9=) † B  "

como ?=%-9=# )  % œ  %=/8# ) Ÿ ! tenemos que B#  #-9=) † B  " es irreductible en


‘. Luego el polinomio minimal es B#  #-9=) † B  ". Tenemos ahora algunas
consideraciones.
Darío Sánchez H EPKIFVE PMR IEP 28

3Ñ Sea =/8) Á ! Ê - # Á -M en ese caso el grado del polinomio minimal es #. Así el


operador X cuya matriz asociada a G es cíclico. La forma canónica racional es
+! œ "ß +" œ  #-9=) ”
"  #-9=) •
! "

33Ñ =/8) œ !ß -9=) œ "


” ! " • œ M que es la forma canónica racional.
" !

333Ñ =/8) œ !ß -9=) œ  "


” !  "•
" !
œ  M que es la forma canónica racional.
…
Ô " $ $×
13. Sea E la matriz real $
Õ  $  $ &Ø
" $ determine la matriz real T tal que T " ET

es una matriz en la forma racional.


SOLUCIÓN.-Usaremos el hecho de que si µ œ Öα" ß á ß α8 × ß µw œ Ö@" ß á ß @8 × son dos
bases de Z y si X À Z Z es un operador lineal sobre Z y si T es una matriz de
cambio de base entonces ÒX Óµw œ T " ÒX Óµ T . Así, calculemos la forma canónica para
Ô " $ $×

Õ  $  $ &Ø
al matriz E œ $ " $ . El polinomio característico es B  # B#  *B  $)

puesto que el polinomio B#  *B  $) es un polinomio irreductible en ‘ se sigue


Ô # ! ! ×

Õ ! * Ø
que la matriz en la forma canónica racional será F œ ! !  $) . Calculemos
"
la base µw de ‘$ en la que el operador X (cuya matriz relativamente a la base
canónica de ‘$ sea E) tenga por matriz F . Pongamos µw œ Ö@" ß @# ß @$ × sabemos que
Z" œ espacio generado por @" œ 5/< B  # X
Z# œ espacio generado por @# @$ œ 5/< B#  *B  $) X .
Como Z# es cíclico, podemos tomar @# tal que @$ œ X @# . Pero
A œ Bß Cß D − Z" Í X  #M A œ ! Í X A  #A œ !

Ú $B  $C  $D œ !
Í B  $C  $Dß $B  C  $Dß  $B  $C  (D œ !

Í Û $B  $C  $D œ !
Ü  $B  $C  (D œ !
Í B  C œ !ß D œ !

A œ Bß Cß D − Z# Í X # A  *X A  $)M œ ! Í $!B  $!Cß  $!B  $!Cß ! œ !ß !ß ! Í


B œ C.
Así tomamos @" œ "ß  "ß ! ß @# œ "ß "ß ! ß @$ œ X @# œ %ß %ß  '
Ô " " % ×

Õ ! !  'Ø
y la matriz T dada por el cambio de base será T œ  " " %

Por el resultado de arriba tenemos F œ T " ET Þ


…
Darío Sánchez H EPKIFVE PMR IEP 29

14.Considere dos matrices 8 ‚ 8 reales E C F que son similares sobre el cuerpo de


los números complejos, entonces ellas son similares sobre el cuerpo de los reales.
SOLUCIÓN.-E y F similares sobre ‚ Ê existe T" compleja tal que E œ T"" FT"
entonces
T" E œ FT" Ê T" E  FT" œ ! ‡
Consideremos la ecuación matricial
T E  FT œ ! ‡‡
La ecuación ‡‡ es un sistema lineal homogéneo de 8# incognita y 8# ecuaciones;
T" es una solución no trivial de ‡‡ en ‚. Pero los coeficientes E y F son reales
y como existe solución no trivial de ‡‡ en ‚, tenemos que los coeficientes reales
dados por los elementos de E y F cumplen las condiciones de la alternativa de
Roche, luego existe una solución T de ‡‡ en ‘ o sea E œ T " ET ; T real entonces
E y F son similares en ‘.
…
15.Sea E una matriz 8 ‚ 8 real tal que E#  M œ !Þ Pruebe que 8 es par y que E es
similar, sobre el cuerpo de los reales a la matriz ”
M !•
! M
donde M es la matriz
identidad 5 ‚ 5 donde 8 œ #5 .
SOLUCIÓN.-+Ñ E#  M œ ! Ê el polinomio minimal de E es B#  " que tiene grado #. El
polinomio característico de E tiene grado 8 y debemos tener que toda raíz del
polinomio característico es raíz del polinomio minimal, se sigue que
5
B#  "
debe ser el polinomio característico de E para 5   " entonces B#  " tiene grado
5

#5 Ê 8 œ #5 entonces 8 es par.
,Ñ Pensando en E como en un operador X À ‘8 ‘8 (relativa a la base canónica)
tenemos que existe = − ß <3 − ß " Ÿ 3 Ÿ =; Z" ,á ,Z= subespacios de ‘8 tales que
‘8 œ Z" Š â Š Z= y además X lZ3 es cíclico y su polinomio mínimo T es :<3 . Así
= =
.37Z3 œ 1<+. .T † <3 y 8 œ .37‘8 œ .37Z3 œ : <3 .
3œ" 3œ"
Pero el polinomio mínimo es B#  " y tenemos <3 œ " para todo 3, 1<+. T œ #.
"

Así 8 œ #= Ê = œ 8# œ 5 . La forma canónica de E será constituida de 5 bloques


Ô F" ! â ! ×
Ö ! F# â ! Ù
F3 œ ” • o sea G œ Ö Ù
! "

Õ ! ! â F5 Ø
" ! ã ã ä ã

-Ñ Busquemos la forma canónica racional de la matriz F dada por F œ ”


! •
!  M5
M5
siendo M5 la matriz 5 ‚ 5 identidad. ./> BM  F œ B#  " Ê B#  " es el polinomio
minimal de F .
F#  M œ ” • ” 5 • œ”
! !•
 M5 ! M ! ! !
!  M5 ! M5
Darío Sánchez H EPKIFVE PMR IEP 30

Ô F" ! â ! ×
Ö ! F# â ! Ù
La forma canónica racional de la matriz F será entonces G œ Ö Ù
Õ ! ! â F5 Ø
ã ã ä ã

La misma de la matriz E. Así E es similar a G , F es similar a G de donde se


concluye que E y F son similares.
…
16. Sean R" ß R# matrices nilpotentes $ ‚ $ sobre el cuerpo J . Demuestre que R" y
R# son similares si y solamente si ellas tienen el mismo polinomio minimal.
SOLUCIÓN.- Ê ) R" µ R# Ê R" ß R# tienen el mismo polinomio característico ya que
bT ÎT " R" T œ R# Ê ./> BM  R# œ ./> BM  T " R" T œ ./>ÒT " BM  R" T Ó œ
œ ./>T " † ./> BM  R" † ./>T œ ./> BM  R" œ !
É Ñ Supongamos ahora que R" ß R# tienen el mismo polinomio característico. R" C
R# entonces existen <" ß <# −  tales que R"<" œ !ß R#<# œ !. Luego B<" divide al
polinomio minimal de R" , análogamente B<# divide al polinomio minimal de R#
entonces :" œ B5" ß :# œ 5# con " Ÿ 53 Ÿ $. Así el polinomio característico de R" y R#
es B$ . Ahora de la hipótesis se tiene :" œ :# Ê 5" œ 5# .
Teniéndose que si 5" œ " entonces R" œ R# œ ! Ê R" µ R#
Ô! ! !×
Õ! ! !Ø
si 5# œ # R" µ " ! ! µ R# Ê R" µ R#

Ô! ! !×
Õ! " !Ø
si 5" œ $ R" µ " ! ! µ R# Ê R" µ R#

Observación: El mismo resultado se probaría para matrices de dimensión menor


que $.
…
17. Sean E y F dos matrices 8 ‚ 8 sobre el cuerpo J . Si E y F tienen:
+Þ El mismo polinomio característico - B œ B  -" ."
â B  -5 .5
-3 Á -4 con
.3 Ÿ $ para todo " Ÿ 3 Ÿ 5 .
,Þ El mismo polinomio minimal.
Entonces E y F son similares.
Ô E" â ! × Ô F" â ! ×

Õ ! â E5 Ø Õ ! Ø
SOLUCIÓN.-Tenemos E µ ã ä ã , Fµ ã ä ã donde E" y F3
â F5
son matrices de dimensión .3 Ÿ $. El polinomio mínimo de E3 y F3 es B  -3 <3
Ê E3  -3 Mß F3  -3 M son nilpotentes entonces
E3  -3 M œ T3" F3  -3 M T3 œ T3" F3 T3  -3 M Ê E3 œ T3" F3 T3 .
Ô E" â ! × Ô F " â ! ×

Õ ! â E5 Ø Õ ! â F5 Ø
Luego a3ß " Ÿ 3 Ÿ 5 E3 µ F3 . Así E µ ã ä ã µ ã ä ã µF ÊEµF
Darío Sánchez H EPKIFVE PMR IEP 31

…
18.Cual es el número de matrices complejas ' ‚ ', dos a dos similares cuyo
polinomio característico es - B œ B  # % B  " #
SOLUCIÓN.-Posibilidades para el polinomio minimal. Si : B œ B  # B  " ,
entonces
"  Forma canónica racional <" œ #ß <# œ " Ê <"" œ <"# œ <"$ œ <"% œ "ß <#" œ <## œ "
Si : B œ B  # # B  " , entonces
#  <" œ #ß <# œ " Ê <"" œ #ß <"# œ #ß <#" œ <## œ "
$  <" œ #ß <# œ " Ê <"" œ #ß <#" œ <## œ "ß <"# œ "ß <"$ œ "
Si : B œ B  # $ B  " , entonces
%Þ <" œ $ß <# œ " Ê <"" œ $ß <#" œ <## œ "ß <"$ œ ".
Si : B œ B  # % B  " , entonces
&  <" œ %ß <# œ " Ê <"" œ %ß <#" œ <## œ "
Si : B œ B  # B  " # , entonces
'  <" œ "ß <# œ # Ê <"" œ "ß <#" œ #ß <"# œ <"$ œ <"% œ ".
Si : B œ B  # # B  " , entonces
(  <"" œ #ß <#" œ #ß <"# œ <"$ œ ".
)  <"" œ #ß <#" œ #ß <"# œ #
Si : B œ - B , entonces
"!  <" œ %ß <# œ #ß <"" œ %ß <#" œ #.
Así tenemos diez posibilidades para la forma canónica o sea "! es le número de
matrices complejas ' ‚ ' dos a dos similares.
Posibilidades para el polinomio mínimo.
!
:7 œ :- œ B  # % B  " # :7"
œ B# % B"
Ô # ! !× Ô # ! !×
Ö " ! !Ù Ö " ! !Ù
! ! ! ! ! !
Ö Ù Ö Ù
Ö ! ! !Ù Ö ! ! !Ù
# ! ! # ! !
Ö Ù Ö Ù
Ö !  # ! !Ù Ö !  # ! !Ù
" # ! " # !
Ö Ù Ö Ù
! " ! "

Õ ! " "Ø Õ ! ! "Ø


! ! ! ! " ! ! ! ! ! " !
! ! ! ! ! !
:7#
œ B# $ B" # $
:7 œ B# $ B"
Ô # !× Ô  # ! !×
Ö " !Ù Ö " ! !Ù
! ! ! ! ! ! !
Ö Ù Ö Ù
Ö ! !Ù Ö ! ! !Ù
# ! ! ! # ! !
Ö Ù Ö Ù
Ö !Ù Ö !  # ! !Ù
" # ! ! " # !
Ö Ù Ö Ù
! ! !  # ! ! !

Õ ! "Ø Õ ! ! "Ø
! ! ! ! " ! ! ! ! ! " !
! ! ! " ! ! !
# #
%
: 7" œ B  # B  " %
:7 #
œ B# B" #
#

:/" œ B  # # B  # # :/# œ B  # # B  #
Darío Sánchez H EPKIFVE PMR IEP 32

Ô !× Ô !×
Ö !Ù Ö !Ù
# ! ! ! ! # ! ! ! !
Ö Ù Ö Ù
Ö !Ù Ö !Ù
" # ! ! ! " # ! ! !
Ö Ù Ö Ù
Ö !Ù Ö !Ù
! ! # ! ! ! ! # ! !
Ö Ù Ö Ù
! ! " # ! ! ! ! # !

Õ ! "Ø Õ ! "Ø
! ! ! ! " ! ! ! ! ! " !
! ! ! " ! ! ! "
& # & #
:7 œ B  # B  " :7 œ B  # B  "
:/" œ B  # # B  # # :/# œ B  # # B  #
Ô # !× Ô # !×
Ö " !Ù Ö " !Ù
! ! ! ! ! ! ! !
Ö Ù Ö Ù
Ö ! !Ù Ö ! !Ù
# ! ! ! # ! ! !
Ö Ù Ö Ù
Ö ! !Ù Ö ! !Ù
! # ! ! ! # ! !
Ö Ù Ö Ù
! " # ! ! ! # !

Õ ! "Ø Õ ! "Ø
! ! ! ! " ! ! ! ! ! " !
! ! ! ! ! ! ! !
' # (
:7 œ B# B" :7 œ B# B"
Ô # !× Ô # !×
Ö ! !Ù Ö ! !Ù
 ! ! ! !  ! ! ! !
Ö Ù Ö Ù
Ö ! !Ù Ö ! !Ù
# ! ! ! # ! ! !
Ö Ù Ö Ù
Ö ! !Ù Ö ! !Ù
! # ! ! ! # ! !
Ö Ù Ö Ù
! ! # ! ! ! # !

Õ ! "Ø Õ ! "Ø
! ! ! ! " ! ! ! ! ! " !
! ! ! " ! ! ! !
…
19.Determine la forma canónica de Jordan de la matriz compleja
Ô ! ×
Ö ! Ù
# ! ! ! !
Ö Ù
Ö ! Ù
" # ! ! !
Ö ÙœE
Ö ! Ù
" ! # ! !
Ö Ù
! " ! # !

Õ !  "Ø
" " " " # !
! ! ! "
SOLUCIÓN.-El polinomio característico de E es B# & B" .
El polinomio minimal de E es B  # % B  "
<" œ %, <"" œ %, <"# œ "
<# œ ", <## œ ", <#" œ "
Ô# ! ! ! ! ! ×
Ö" # ! ! ! ! Ù
Ö Ù
Ö! " # ! ! ! Ù
Así la forma canónica de E es: Ö Ù
Ö! ! " # ! ! Ù
Ö Ù
Õ! ! ! ! ! -" Ø
! ! ! ! # !

…
20.Pruebe que toda matriz compleja 8 ‚ 8 es similar a su transpuesta.
Darío Sánchez H EPKIFVE PMR IEP 33

Ô E" â ! × Ô N-3 <33 â ! ×

Õ ! Ø Õ ! N- < Ø
SOLUCIÓN.- E µ ã ä ã ¾ E3 œ ã ä ã
â E5 â 3 33

polinomio minimal E3 œ B  - 3 <3


Ô -3 !×
Ö" !Ù
! â
œÖ Ù
-3 â
N-3 <34
Õ! -3 Ø<34 ‚<34
ã ã ä ã
! â
en esta forma N-3 <34 µ - B-3 <34
Observación: Q matriz nilpotente Ê Q es similar a Q >
Q Á !, Q < œ ! y Q <" Á !
<
< −  Q> œ Q< >
Así el polinomio minimal de Q es B< œ polinomio característico de Q y B< es aún el
polinomio minimal y característico de Q >
Ô! ! â ! !×
Ö" ! â ! !Ù
Pero Q µ Ö Ù µ Q> Ê Q µ Q>
Õ! ! â " !Ø
ã ã ä ã ã

Ahora el polinomio mínimo de N-3 <34 œ B  -3 <34 entonces ˆN-3 <34  -3 M ‰ 34 œ ! y


<

ˆN-3 <34  -3 M ‰<34 " Á ! entonces N-3 <34 µ ˆN-3 <34 ‰ así
>
ˆN-3 <34  -3 M ‰ µ ŠˆN-3 <34 ‰>  -3 M ‹por lo
tanto existe T no singular tal que
ˆN-3 <34 ‰>  -3 M œ T " ˆN-3 <34  -3 M ‰T œ T " N-3 <34 T  -3 M Ê ˆN-3 <34 ‰> œ T " N-3 <34 T
Así
Ô E" â ! × Ô E" > â ! ×

Õ ! â E5 Ø Õ ! >Ø
E3 µ E3 > , " Ÿ a3 Ÿ 5 Ê E µ ã ä ã µ ã ä ã ‡
â E5
Pero E µ F Ê E> µ F > pues si E µ F entonces existe T no singular tal que
entonces E> µ F >
" > "
F œ T ET Ê F > œ T " ET œ T > E> T >
Así
Ô E" â ! × Ô E" ! ×
>
â

Õ ! â E5 Ø Õ ! >Ø
Eµ ã ä ã Ê E> µ ã ä ã ‡‡
â E5
De ‡ y ‡‡ se deduce que E µ E . >

…
21.Usando la fórmula para el binomio para la serie "  > # , determine una raíz
"

cuadrada para M  R ß donde Mß R son matrices complejas 8 ‚ 8ß M la identidad y R


nilpotente.
ˆ α8 ‰B8 ß

SOLUCIÓN.- +ÑÞ "  B
α
œ lBl  " α−‘
8œ!
donde
ˆ α! ‰ œ "ß ˆ α8 ‰ œ α α" â α8"
8x ß 8 "
Darío Sánchez H EPKIFVE PMR IEP 34

,Ñ α y " − ‘ tenemos
ˆ α! ‰ˆ "8 ‰  ˆ α" ‰ˆ 8"
" ‰
 â  ˆ α8 ‰ˆ "! ‰ œ ˆ α8 " ‰
Š 8# ‹B8
" ∞
-Ñ Así
"
"B # œ lBl  "

Tomando +8 œ Š 8# ‹ tenemos
8œ!
"

+5 +85 œ ˆ α! ‰ˆ α8 ‰  ˆ α" ‰ˆ 8"


α ‰
 â  ˆ α8 ‰ˆ α! ‰ œ ˆ α8 α ‰ œ ˆ 8" ‰ œ !
8 ,
5œ! Å
=3 8  #
.Ñ Mostremos ahora por inducción que

8 # Œ
8" #
+5 B 5
œ "  B  términos de grado   8
5œ!

8œ#ÊŒ œ ˆ"  "# B‰ œ "  B 


" #
#
Si +5 B 5 " #
8# B
5œ!

Supongamos que Œ
8" #
+5 B 5
œ "  B  términos de grado   8 8  "   # entonces
5œ!

Œ œŒ œŒ
8 # 8" # 8" # 8"
5 5 8 5
+5 B +5 B  + 8 B +5 B  +8# B#8  # +5 +8 B85 œ "  B 
5œ! 5œ! 5œ! 5œ!
8"
 términos de grado   8  " +# +5 +85 B8  #+! +8 B8  términos de grado   8  "
5œ"

ï
8"
 +8# B#8 œ "  B  # +5 +85 B8  términos de grado   8  " œ
5œ!
œ!
œ "  B  términos de grado   8  "

Así Œ
8" #
+5 B 5
œ "  B  términos de grado   8 a8 − 
5œ!
/Ñ Ahora si R es nilpotente Ê b8 tal que R 8 œ ! Ê R 5 œ ! a5   8. Tomemos
8"
Fœ +5 R 5 entonces
5œ!

F œŒ
8" #
#
+5 R #
œ "  B  términos de grado   n BœR œ M R !œM R
5œ! Å
ya que R 5 œ !, a5   8
Luego F es una raíz cuadrada de M  R Þ
…
22.Use el ejercicio anterior para mostrar que toda matriz compleja 8 ‚ 8 no
singular posee una raíz cuadrada.
SOLUCIÓN.-Aplicando el ejercicio #"Þ es fácil ver que si - Á ! entonces existe una
raíz cuadrada de -M  R . Sea : œ B  -" <" â B  -5 <5 el polinomio minimal de E.
-" ß á ß -5 son valores característicos de E y ./>E Á ! tenemos que -3 Á !ß
" Ÿ a3 Ÿ 5.
Darío Sánchez H EPKIFVE PMR IEP 35

Ô E" â ! ×
Õ ! â E5 Ø
Pero E µ ã ä ã con polinomio minimal de E3 œ B  -3 <3 , a3

Sabemos que existe H3 diagonal y R3 nilpotente tales que E3 œ H3  R3 donde los


valores característicos de H3 son los mismos de E3 así
Ô -3 â ! ×
Õ ! â -3 Ø
H3 µ ã ä ã œ -3 M Ê existe T3 tal que H3 œ T3" -3 M T3

Luego
E3 œ T3" -3 M T3  T3" T3 R3 T3" T3 œ T3" Š-3 M  R 3 ‹T3
µ
µ
pero R3 es nilpotente entonces R 3 es nilpotente, luego existe una matriz G3 tal que
µ
G3# œ -3 M  R 3 tenemos entonces
Q3 œ T3" G3 T3 Ê Q3 # œ T3" G3# T3 œ T3" Š-3 M  R 3 ‹T3 Ñ œ E3 .
µ

Ô Q" â ! ×
Õ ! â Q5 Ø
Entonces Q3 es raíz cuadrada de E3 , " Ÿ 3 Ÿ 5 . Sea Q œ ã ä ã teniéndose

Ô Q" â ! × Ô E" â ! ×
#

Õ ! â Q # Ø Õ ! â E5 Ø
que Q # œ ã ä ã œ ã ä ã µ E entonces existe W tal que
5
E œ W " Q # W œ W " Q W . Así W " Q W es raíz cuadrada de EÞ
#

…
23.Determine las clases de similaridad de las matrices E complejas 8 ‚ 8 tales que
E8 œ M
SOLUCIÓN.-E8 œ M Í E8  M œ ! Ê B8  " es divisible por el polinomio mínimo de
E. Ahora B8  " posee 8 raíces distintas en ‚, -" ß á ß -8 . Así : debe ser
B  -" B  -# â B  -8 entonces : sólo tiene factores lineales así E es siempre
diagonalizable. Luego si conocemos el polinomio mínimo y el polinomio
característico de E, conocemos su clase de similaridad. Las posibilidades para el
polinomio mínimo :: puede contener 5 factores de la forma B  -3 y obviamente
en este caso tenemos -85 escalares. Tomando una elección :! para :, las
posibilidades para 0 son aquellos polinomios divisibles por :! de grado 8 con los
mismos factores lineales
:! œ B  - 3 â B  - 5
0 œ B  - 3 <3 â B  - 5 < 5
con <3  â  <5 œ 8, <3   ". Obsérvese que el orden de los <3 es importante. Así
si anotamos por : 8ß 5 el número total de posibilidades de elecciones de los <3 ,
8
tenemos que el número total de clases de similaridad es -85 : 8ß 5 .
5œ"
…
Darío Sánchez H EPKIFVE PMR IEP 36

24. Muestre que cualquier transformación lineal X À Z Z , Z de dimensión finita


sobre J descompone Z en una suma directa de subespacios X -invariantes y
cíclicos Z œ Z" Š â Š Z< , tales que si X lZ3 œ 03 B es el polinomio minimal entonces
03 B l03" B para # Ÿ 3 Ÿ < y 0" =al polinomio minimal de X . En particular, muestre
que existe un vector @ − Z tal que si Z" œ Ö@ß X @ß á ß X 5 @ß á × entonces el polinomio
minimal X lZ" œ polinomio minimal de X . Esto implica que si el polinomio minimal
de X œ polinomio característico de X entonces X es cíclico.
SOLUCIÓN.-Sabemos que existen subespacios Z34 y números reales <34 tales que si

: œ # :3<3 es el polinomio minimal de X entonces Z œ 9Z34 ,


5
Z34 es cíclico y los
3œ"
polinomios X34 œ X lZ34 œ :3<34 donde <3 œ <3"   <3#   â   <3j . Tomemos
W œ 7+BÖW" ß W# ß á ß W5 × y por definición <34 œ ! si W3 Ÿ 4 Ÿ =ß Z34 œ Ö!×. Tomemos @34
5
un vector cíclico de Z34 y pongamos A4 œ @34 donde " Ÿ 4 Ÿ =.
3œ"
[4 œ ÖA4 ß X A4 ß X # A4 ß á ×.
Obviamente A4 es X -invariante y cíclico. Sea 04 œ :""4 â:554
< <

04 X A4 œ :""4 â:554 X Œ
5 5
< < < <
@34 œ :""4 â:554 X @34 œ !
ya que @34 − Z34 y polinomio mínimo de X34 ˆ œ X lZ34 ‰ œ :3 34 y aquí aplicamos la
3œ" 3œ"
<

conmutatividad del producto de polinomios. Así 04 X l[4 œ !, 04 es el polinomio


mínimo por que
:""4 â:s3 34 â:554 X A4 œ :""4 â:3 34" â:554 X @34 .
< < < < < <

Si es cero entonces aα − Z34 , α œ 2 X @34 se tiene


: "4 â:s34 â: 54 X α œ 2Ò: "4 â:s34 â: 54 X Ó@ œ ! Ê : "4 â:s34 â: 54
< < < < < < < < <
" 3 5 " 3 5 34 " 3 5
es divisible por polinomio mínimo de Z34 lo cual es un absurdo.
<
:3 34
Conclusión: 04 X l[4 œ ! y cualquier polinomio : que divide 04 no divide X en
[4 ˆ: X l[4 Á !‰ entonces 04 es polinomio mínimo de X l[4 .
Obsérvese que
0" œ :"<"" â:5<5" œ :"<" â:5<5 œ polinomio mínimo de X œ 0 .
< < < <
04 œ :""4 â :554 ß 04" œ :""4" â :554"
Pero <34 Ÿ <34" ß " Ÿ a3 Ÿ 5Þ Así 0" œ 0 y 04 l04"
Mostremos ahora que
Z œ9 [4 œ 9 ŠŒ
= = 5
Z34
4œ" 4œ" 3œ"

Basta mostrar que [4 œ 9


5
Z34 .
3œ"
Sea
α − [4 Ê α œ 2 X [ 4 œ 2 X Œ
5 5 5
@34 œ 2 X @34 Êα− Z34
3œ" 3œ" 2 X − Z34 3œ"
Darío Sánchez H EPKIFVE PMR IEP 37

[4 es cíclico y :96 † 738 † X l[4 œ # :3 34


5
Así [4 § Z"4 Š â Š Z54 ,
<

3œ"
5 5 5
.37[4 œ <34 œ .37Z34 œ .37 Z34
3œ" 3œ" 3œ"
Luego, [4 œ Z"4 Š â Š Z54 .
Obsérvese finalmente que [" es tal que [" œ ÖA" ß X A" ß á × y
:96 † 738 † X lZ" œ :96 † 738 † X . Claro que :96 † 738 † X œ :96 † característica de X
entonces .37[" œ 1<+. † :96 † 738 † X œ .37Z Ê Z œ [" Ê Z es cíclico.
…
25. Muestre que toda matriz real 8 ‚ 8 es similar a una matriz de la forma
Ô E" ! â ! ×
Ö ! ã Ù Ô =3 S# ×
! ! â
Ö Ù Ö M# S# Ù
S# â S#
Ö ã ! Ù Ö Ù
ä ã ã ã
Ö Ù donde E3 œ Ö ã ã Ù
=3 â S#
Ö ! ! Ù Ö Ù
â E5 ! â
Ö Ù
ã ä ã
â ! F" â
Õ S# =3 Ø
S# S# â =3 S#
Õ ! F5 Ø
ã â ã ã ä ã
S# â S#
â ! ! â
siendo
S# œ ” • ß M# œ ” • ß =3 œ ” 3
α3 •
! ! " ! α  "3
! ! ! " "3
y cada F4 tiene la forma
Ô -4 ! â ! ×
Ö " -4 â ! Ù
F4 œ Ö Ù
Õ ! ! â -4 Ø
ã ã ä ã

SOLUCIÓN.-Sea - B el polinomio característico de E. Como E es real entonces - B


tiene coeficientes reales Ê α  3" es raíz de - B - Á ! entonces α  3" es también
raíz de - B . Cada vez que : B œ :96 † 738 de E en ‚ œ :96 † 738 de E en ‘, se
puede decir lo mismo para el polinomio característico. Tomemos entonces
: B œ ÒB  α"  3"" Ó<" ÒB  α"  3"" Ó<" ÒB  α#  3"# Ó<# ÒB  α#  3"# Ó<# â
ÒB  α5  3"5 Ó<5 ÒB  α5  3"5 Ó<5 B  -" >" â B  -4 >4
denotemos α3  3"3 œ  -3 : La forma canónica de Jordan tomará la forma
Ô N-" <" 8" ! â ! ! â ! ×
Ö ã Ù
Ö ! Ù
! ä ã ã ã
Ö Ù
Ö Ù
ã â N-5 <585 ! â
Ö ! Ù
Ö Ù
! â ! N- " > " â

Õ â N-4 > 4 Ø
ã â ã ã ä ã
! â ! !
y sabemos que es similar a EÞ Estudiemos la #<34 ‚ #<34 -matriz siguiente:
Darío Sánchez H EPKIFVE PMR IEP 38

Ô α3  3"3 ×
Ö Ù
! ! ! ! ! â !
Ö Ù
Ö Ù
! α3  3"3 â ! ! ! â !
Ö Ù
Ö Ù
" ! â ! ! ! â !
Ö Ù
Ö Ù
! " â ! ! ! â !
Ö Ù
Ö Ù
ã ã ä ã ã ã ä ã
” ! œÖ ÙœG
N-3 <34 • Ö
N-3 <34 !
Ù
! ! â α3  3"3 ! ! â !
Ö Ù
Ö Ù
! ! â ! α3  3"3 ! â !
Ö Ù
Ö Ù
! ! â ! ! α3  "3 â !
Ö Ù
Ö Ù
! ! â ! " ! â !
Ö Ù
! ! â ! ! " â !

Õ â α3  3"3 Ø
ã ã ä ã ã ã ä ã
! ! â ! ! !
Sea µ=Ö@" ß á ß @#< × una base de Z tal que la matriz del operador X3 relativamente a
la base µ sea la matriz G . Si µw œ Ö@< ß @"< ß @# ß @#< ß á ß @< ß @#< × esto es À
A#4" œ @4
A#4 œ @4< "Ÿ4Ÿ<
Tenemos
X3 @4 œ α  3" @4  @4" si " Ÿ 4 Ÿ <  " o <  " Ÿ 4 Ÿ #<  "
X 3 @4 œ α  3 " @ 4 si 4 œ < o 4 œ #<
entonces

Ô -3 ×
Ö! Ù
! ! â ! ! ! â ! ! !
Ö Ù
Ö" Ù
-3 ! â ! ! ! â ! ! !
Ö Ù
Ö! Ù
! -3 â ! ! ! â ! ! !
Ö Ù
Ö ã Ù
" ! â ! ! ! â ! ! !
ÒX3 Óµw œ Ö Ù
Ö! Ù
ã ã ä ã ã ã ä ã ã ã
Ö Ù
Ö! Ù
! ! â -3 ! ! â ! ! !
Ö Ù
! 
Ö! Ù
! ! â -3 ! â ! ! !
Ö ã Ù
! ! â " ! 
-3 â ! ! !

Õ! Ø
ã ã ä ã ã ã ä ã ã ã
! ! â ! ! ! â " ! 
-3
H3 œ ” 3  • M# œ ”
! "•
- ! " !
Colocando y .
! -3
Así
Ô H3 ! â ! ×
Ö M# H 3 â ! Ù
Ö Ù
ÒX Óµw œ Ö ! M# â ! Ù ¾ H3 µ ” 3
Ö Ù α3 •
α  "3
œ W3
"3
Õ ! ! â H3 Ø
ã ã ä ã

por que el polinomio característico de H3 es B  -3 B   -3 œ :96 † 738H3 . El


polinomio característico de W3 es B  -3 B  -3 œ :96 † 738W3 . Como el grado de H3

y de W3 es dos tenemos ver /BÞ "( observación , concluimos que H3 y W3 son
similares.
Darío Sánchez H EPKIFVE PMR IEP 39

Así
Ô W3 ! ×
Ö M# ! Ù
! â !
Ö Ù
Ö! ! Ù
W3 â !
µÖ Ù œ E3 .
Ö ã ã Ù
M# â !
Ö Ù
G3 µ ÒX3 Óµw
ã ä ã

Õ! W# Ø
! ! â W3 !
! â M#
Luego
Ô E" ×
Ö ã Ù
â ! ! â !
Ö ! Ù
ä ã ã ä ã
Ö Ù
EµÖ ! Ù
â E5 ! â !
Ö Ù
Ö ã Ù
â ! N-" ="" â !

Õ ! N-3 =484 Ø
ä ã ã ä ã
â ! ! â
…
26. Sea Z un espacio vectorial real o complejo dotado de un producto interno.
Demuestre que mα+" m#  mα  " m# œ #mαm#  #m" m# para cualesquiera α," − Z ,
siendo m m la norma inducida por el producto interno.
SOLUCIÓN.-En efecto,
mα+" m# œ  α  " ß α  "  œ  αß α    αß "    " ß α    " ß " 
œ mαm#  m" m#   " ß α    αß "  "
mα  " m# œ  α  " ß α  "  œ  αß α    αß "    " ß α    " ß " 
œ mαm#  m" m#   " ß α    αß "  #
De " y # tenemos:
mα+" m# +mα  " m# =#mαm# +#m" m# .
…
27. Sea Z un espacio vectorial real normado tal que para cualquier α," − Z vale
mα  " m#  mα  " m# œ #mαm#  #m" m# . Muestre que si se define 0 À Z ‚ Z ‘ por
#0 αß " œ mα  " m#  mαm#  m" m# , entonces 0 es un producto interno de Z el cual
induce la norma m m.
SOLUCIÓN.-Por hipótesis 0 αß " œ "# Òmα  " m#  mαm#  m" m# Ó sabemos que
mα  " m#  mα  " m# œ #mαm#  #m" m# ‡
!Ñ0 αß " œ 0 " ß α lo cual es obvio de mostrar.
"Ñ Por hipótesis
#0 α  " ß # œ mα  "  # m#  mα  " m#  m# m# "
Por otro lado
#Ò0 αß #  0 " ß # Ó œ Òmα  # m#  mαm#  m# m#  m #  " m#  m" m#  m# m# Ó

œ Òmα  # m#  m" m# Ó  Òm"  # m#  mαm# Ó  #m# m#  #mαm#  #m" m# œ
" # # " # # # #
# Òmα  "  # m  mα  #  " m Ó  # Òmα  "  # m  m#  α  " m Ó  #m# m  #mαm 

#m" m# œ mα  "  # m#  "# Òm#  α  " m#  m#  α  " m# Ó  #m# m#  #mαm#  #m" m# œ
Darío Sánchez H EPKIFVE PMR IEP 40


œ mα  "  # m#  m# m#  mα  " m#  #Òm# m#  mαm#  m" m# Ó œ
mα  "  # m#  m# m#  mα  " m#  #mαm#  #m" m#  #m# m#  #mαm#  #m" m# œ
œ mα  "  # m #  m α  " m #  m # m # #
Reemplazando " y # tenemos 0 α  " ß # œ 0 αß #  0 " ß #
#Ñ Mostremos que 0 - αß " œ -0 αß " ß a- − ‘.
3Ñ 0 8αß " œ 80 αß " ß 8−
Por inducción 8 œ !, la igualdad es obvia.
Si 0 8  " αß " œ 8  " 0 αß " tenemos
"
0 8αß " œ 0 8  " α  αß " œ 0 8  " αß "  0 αß " œ
œ 8  " 0 αß "  0 αß " œ 8  "  " 0 αß " œ 80 αß "
33Ñ Sea 8 entero negativo, si 8 œ  " tenemos

0  αß " œ "# Òm"  αm#  mαm#  m" m# Ó œ "# Òmα  " m#  #mαm#  #m" m#  mαm#  m" m# Ó
œ  0 αß "
Si 8 es cualquier número negativo tenemos
3
0 8αß " œ 0   8α ß " œ  0  8αß " œ   8 0 αß " œ 80 α"
333Ñ Ahora sea - −  Ê -= 7
ˆ ‰
8 ß 7ß 8 − ™ß 8 Á !
0 -αß " œ 0 8 αß " œ # Òm 8 α  " m#  m 7
7 " 7 # # " # # #
8 αm  m" m Ó œ #8# Òm7α  8" m  m7αm  m8" m Ó
3 ! 3
œ 8"# 0 7αß 8" œ 87# 0 αß 8" œ 87# 0 8αß " œ 87# 80 αß " œ 7 8 0 αß " œ -0 αß "
Ahora si - − ‘ Ê - œ lim :8
8Ä∞

0 - αß " œ 0 Š lim :8 αß " ‹ œ lim 0 :8 αß " œ lim :8 0 αß " œ -0 αß "


:8 −

8Ä∞ 8Ä∞ 8Ä∞


$Ñ0 αß α œ "# Ò%mαm#  mαm#  mαm# Ó œ mαm# Ê 0 αß α  ! si α Á !
0 αß α œ ! Ê α œ ! .
Luego 0 es un producto interno y tenemos È0 αß α œ mαm o sea tal producto
interno induce la norma m m.
…
28.Sea X ÀZ Z una transformación lineal del espacio vectorial Z dotado de un
producto interno ß . Muestre que si mX αm œ mαm para cualquier α − Z , entonces
X αß X " œ αß " para cualquier α," − Z (así la norma es inducida por ß Ñ.
SOLUCIÓN.-Usamos el hecho
 αß "  œ e/  αß "   3e/  αß 3"  "
mX αm œ mαm Ê  X αß X α  œ  αß α  ‡
Sea
α," − Z ,  α  " ,α  "  =  X α  " ß X α  "  œ  X α  X " ß X α  X "  œ
œ  X αß X α    X αß X "    X " ß X α    X " ß X "  œ
œ  αß α    " ß "   #e/  X αß X " 
Pero  α  " ,α  "  =  α,α    " ,"   #e/  αß " 
Tenemos entonces e/  αß "  œ e/  X αß X "  para todo α," − Z . También
tenemos
Darío Sánchez H EPKIFVE PMR IEP 41

"
e/  αß 3"  œ e/  X αß 3X "  Ê  αß "  œ  X αß X "  .
…
29.Sea Z un espacio vectorial con producto interno ß . Muestre que si α," − Z ,
α œ " si y solamente si αß # œ " ß # para cualquier # − Z .
SOLUCIÓN.- Ê ) α=" entonces αß # œ " ß # Ê  αß #  œ  " ß #  , a# − Z esto
aplicando la definición.
É )  α,#  =  " ,#  Ê  α  " ,#  œ !ß a# − Z
Ê  α  "ß α  "  œ ! Í α  " œ ! Í α œ "Þ
…
30. Sea Z el espacio de las matrices complejas 8 ‚ 8 con producto interno dado
por Eß F œ X <+D9 EF ‡
+ Muestre que ß de arriba es un producto interno.
, Determine el complemento ortogonal de las matrices diagonalesÞ
SOLUCIÓN.- + "Ñ  Eß F  œ ><+D9 EF ‡ œ Œ +45 , 45 œ
3œ4 5
,45 +45 œ ><+D9 FE‡
3 œ4 5
œ ><+D9 FE‡ œ  Fß E 
#Ñ  E  Fß G  œ ><+D9 E  F G ‡ œ ><+D9EG ‡  ><+D9FG ‡ œ  Eß G    Fß G 
$Ñ  -Eß F  œ ><+D9 -E F ‡ œ -><+D9EF ‡ œ -  Eß F 
%Ñ  Eß E  œ ><+D+ EE‡ œ +35 +45 œ l+3 l#  ! si algún +3 Á !ß esto es E Á !
3œ4 5 3
"Ñß #Ñß $Ñ C %Ñ implica que  ß  es en efecto un producto interno.
, [ ¼ œ ÖE − Z à  Eß F  œ ! cualquiera que sea la matriz diagonal F×
 Eß F  œ ! Í ><+D9EF ‡ œ ! Í Œ +35 , 45 œ!
3œ4

Í Œ +35 , 45 œ!Í +55 , 55 œ ! Í ,55 œ !ß 5 œ "ß á ß 8


3œ4 5 5
Así [ ¼ œ ÖE − Z à E posee todos los elementos diagonales nulos×
…
31. Considere un espacio Z de polinomios reales de 1<+. Ÿ $ dotado de producto
interno  0 ß 1  œ '! 0 > 1 > .>
"

+Ñ Determine el complemento ortogonal de los polinomios escalares


,ÑDetermine una base ortogonal de Z a partir de la base Ö"ß Bß B# ß B$ ß á × aplicando
el procedimiento de Gran-Schmidt.
SOLUCIÓN.-+Ñ Sea [ el conjunto de los polinomios escalares
[ ¼ œ Ö: − Z à  :ß 5  œ ! donde 5 es un escalar real×
: − [ ¼ Í  :ß 5  œ ! a5 − ‘ Í '! 5 +!  +" B  +# B#  +$ B$ .B œ !
"

Í 5Ò+!  +#"  +$#  +%$ Ó œ !, a5 − ‘ Í +!  +#"  +$#  +%$ œ !


Una base para [ ¼ puede ser: Ö "  #> ß "  $># ß "  %>$ × ya que .37[ ¼ œ $ pues
.37[ œ "
Darío Sánchez H EPKIFVE PMR IEP 42

'"
,Ñ α" œ "
"# ßα"  Bß" > " "
α# œ "#  mα" m# α" œB " " œ B  ! >.> œ D  # l! Ê α# œB
1# ˆ
B  "# ‰ Ê α$ œ
#
"
"$ ßα#  "$ ßα"  # " "
α$ œ "$  mα# m α#  α " œ B   B#  B 
ˆB  "# ‰  ˆB#  B  " ‰
mα" m# $ " '
"#
$ "
"% ßα"  "% ßα#   " % ß α$  "
α% œ "%  mα" m α"  mα# m# α#  mα$ m# α$ œ B$  %  %!
"
"#!
" "'
"# )!

Ê α% œ B$  $# B#  $& B  #! "
Þ
…
32.Sea Z un espacio vectorial de dimensión finita 8 con producto interno   .
Sea I À Z Z un operador tal que I # œ I . Demostrar que I es auto-adjunto
Í II ‡ œ I ‡ I .
SOLUCIÓN.- Ê ) I es auto-adjunto Ê I œ I ‡ entonces II ‡ œ II œ I ‡ I
É ) II ‡ œ I ‡ I Ê mI αm œ mI ‡ αm. Por consiguiente I α œ ! Í I ‡ α œ !. Sea α − Z à
entonces I α œ I # α Í I α  I # α œ ! entonces I α  I α œ ! Í I ‡ α  I α œ ! de
donde I ‡ α  I ‡ I α œ ! Ê I ‡ α œ I ‡ I αß aα entonces I ‡ œ I ‡ I "
‡ ‡ " "
Ahora Iœ I ‡ ‡
œ I I œI IœI ‡ ‡

…
33.Sea Z un espacio vectorial de dimensión finita 8 con producto interno  ,  .
Sea X À Z Z un operador positivo. Sea :X À Z ‚ Z ‘ definida por
:X αß " œ  X αß "  . Sea Y un operador lineal sobre Z y Y ‡ el operador adjunto.
Probar que Y es unitario si y sólo si X œ Y ‡ X Y .
SOLUCIÓN. Ê ) Y unitario Ê :X Y αß Y α œ :X αß α œ  X αß α  .
Ahora
:X Y αß Y α œ  X Y αß Y α  œ  Y αß X Y α  œ  αß Y ‡ X Y α 
Entonces
 αß X α  œ  αß Y ‡ X Y α  , aα Ê X œ Y ‡ X Y
É Ñ X œ Y X Y ß entonces

 α,X α  œ  αß Y ‡ X Y α  Ê :X αß α œ :X Y αß Y α ß aα
entonces Y es unitario.
…
34. Sea X un operador lineal normal en un espacio vectorial complejo Z de
dimensión finita, dotado de un producto interno. Pruebe que ÒX Ó‡µ œ ÒX ‡ Óµ donde µ
es una base ortogonal de Z .
SOLUCIÓN.-"Þ Sea Öα" ß α# ß á ß α8 × la base ortogonal de Z , sea ÒX Óµ œ ÒE34 Ó la matriz de
X en esa baseÞ
#Þ X α3 ß α4 œ Œ
8 8
E53 α5 ß α4 œ E53  α5 ß α4  œ E43 puesto que  α5 ß α4  œ $54 ,
5œ" 5œ"
así E43 œ  X α3 ß α4 
$Þ Sea ÒX ‡ Óµ œ ÒF34 Ó la matriz de X ‡ es la base µ. En este caso siguiendo el mismo
raciocinio de #Þ recibimos  X ‡ α3 ß α4  œ F43 .
Darío Sánchez H EPKIFVE PMR IEP 43

%Þ Pero F43 œ  X ‡ α3 ß α4  œ  α3 ß X α4  œ  X α4 ß α3  œ E34 ß así F43 œ E34 lo cual


implica que ÒF43 Ó es la transpuesta conjugada de ÒE34 Ó así:
ÒX ‡ Óµ œ ÒF34 Ó œ ÒE34 Ó‡ œ ÒX Ó‡µ
…
35. Sea X un operador lineal normal en un espacio vectorial complejo Z de
dimensión finita dotado de un producto interno y [ un subespacio de Z Þ Puebe
que X l[ es normal.
SOLUCIÓN. "ÞCon § I indicaremos a los subespacios de un espacio vectorial dado.
Sea Z w § I Z entonces X Z w § I Z w Í X ‡ Z w ¼ § I Z w ¼ .
En efecto, sean α," tales que α − Z w y " − Z w ¼ ß en este caso
X α − Z w , aα − Z w Ê  X αß "  œ ! Š aa"α−Z w ¼ ‹ Ê  αß X "  œ !
−Z w ‡

Š aa"α−Z w¼ ‹ Ê X " − Z
w

−Z ‡
Ê X ‡Z w¼ § Z w¼
#Þ Por otra parte
¼ ¼
X[¼ § [¼ Ê X‡ [¼ § [¼ œ [ Ê X ‡[ § [
Å
"
$Þ Sean entonces X" y X# las restricciones de X y X ‡ a [ respectivamente, aα − [ ß
a" − [ tenemos
" −[
œ X αß" œαßX ‡ "  œ αßX# " ÊX"‡ œX# o sea X"‡ œÒX |‡[ œX ‡ |[ œX#
X" αß" α−[

%Þ Así para todo α − [ se tiene


X" X"‡ α α œ X X‡ α
−[ "
œ
X‡ α − [
XX‡ α œ
Å
X ‡X α œ
Å
X ‡ l[ X α
X X ‡ œ X ‡X X α −[
œ X"‡ X α œ
Å
X" X l[ α œ X"‡ X" α

α−[
Luego
X" X"‡ œ X"‡ X" .
Entonces
X l[ X l [ ‡
œ X l[ ‡
X l[ Ê X l[ es normal.
…
36.Sea X operador lineal sobre el espacio complejo Z de dimensión finita con
producto interno. Pruebe que X es normal si y sólo si X œ R Y , donde R es no
negativo, Y unitario y R conmuta con Y .
SOLUCIÓN. ". Si existen Y y R tal que X œ Y R donde Y es unitario y R positivo
luego auto-adjunto tenemos además que:
X ‡ œ Y R ‡ œ R ‡ Y ‡ œ R Y "
X ‡ X œ R Y " Y R œ R #
#. X X es un operador positivo por que

 X ‡ X α ß α  œ  X αß X α  œ mX αm   ! y mX αm  ! si X α Á !
como X es un operador no singular tenemos que:
X α œ ! Í α œ ! o sea α Á ! Ê X α Á !
Así,
Darío Sánchez H EPKIFVE PMR IEP 44

α Á ! Ê X α Á ! Ê mX α m  ! entonces  X ‡ X αß α   ! Ê X ‡ X es un operador
positivo
$. X ‡ X es un operador positivo luego no negativo y normal. Siendo Z un espacio
complejo esto asegura la existencia de una raíz cuadrada no negativa de X ‡ X .
Vamos a probar que esa raíz cuadrada es de hecho positiva ya que X ‡ X lo es .
Sea -" I"  â  -5 I5 la resolución espectral de X ‡ X donde -3 − ‘ y -3  !,
3 œ "ß á ß 5 , una vez que X ‡ X es positivo.
En el caso su raíz cuadrada no negativa R tendrá como resolución espectral
È -" I"  â  È - 5 I 5 ˆÈ - 3   ! ‰
como -3  ! , a3 Ê R será un operador positivo.
%) Si X es no singular R œ ÈX ‡ X también lo es por que:
X α œ ! Í mX α m œ ! Í  X α ß X α  œ ! Í  X ‡ X α ß α  œ ! Í
Å
X ‡X œ R #
 R # αß α  œ ! Í  R αß R α  œ ! Í mR α m œ ! Í R α œ !.
Å
R es positivo luego autoadjunto
Entonces α œ ! Í X α œ ! Í R α œ ! Ê R es no singular inversible .
&) Si X œ Y R entonces Y œ X R " . Resta probar que X R " es un operador unitario
puesto que
R autoadjunto
Ê R " autoadjunto
Æ
X R " R " X ‡ œ .

Y Y ‡ œ X R " X R " œ X R " R " X ‡ œ
"
X R # X ‡ œ X R # X ‡ œÅ
X X ‡ X " X ‡ œ X X " X ‡ " X ‡ œ M † M œ M
R # œ X ‡X
así Y œ Y . Luego Y es operador unitario.
‡ "

') Así tenemos que : Si X es un operador lineal no singular normal sobre un


espacio vectorial complejo con producto interno entonces
X œ Y R donde œ 
 unitario
Y œ
R œ positivo
siendo R œ raíz cuadrada positiva de X X ß y Y œ X R " .

…
37.Sea J un cuerpo, 8 un entero positivo y sea Z el espacio de las matrices 8 ‚ 8
sobre J Þ Si F es una matriz 8 ‚ 8 fija sobre J , sea XF el operador lineal sobre Z
definido por XF E œ EF  FE. Consideremos la familia de los operadores lineales
XF obtenido haciendo que F recorra el conjunto de las matrices
diagonales. Demostrar que los operadores de esta familia son simultaneamente
diagonalizables.
SOLUCIÓN. Sea
Ô! â ! 4 â ! ×
Ô" ! â !× Öã ä ä ã Ù
Ö! ! â !Ù Ö Ù
/"" œ Ö Ù /34 œ Ö ! â " â ! 3 Ù
ã
Ö Ù
Õ! ! â !Ø
ã ã ä ã
Õ! â ! â ! Ø
ã ä ã ä ã
Darío Sánchez H EPKIFVE PMR IEP 45

Ò/34 Ó"Ÿ3ß4Ÿ8 genera una base para Z œ Q 8 . Supóngase F diagonalizable entonces


Ô ," â ! ×
Õ ! â ,8 Ø
F œ ã ä ã . Vamos a determinar la matriz de XF en la base Ò/34 Ó3ß4 .

Basta notar que


XF /34 œ /34 F  F/34 œ
Ô! â ! 4 â ! × Ô! â ! 4 â ! ×
Öã ä ä ã ÙÔ ," â ! × Ô ," â ! ×Ö ã ä ä ã Ù
Ö Ù Ö Ù
œ Ö! â " â ! 3 Ù ã ä ã  ã ä ã Ö! â " â ! 3 Ù
ã ã
Ö ÙÕ Ö Ù
! â ,8 Ø Õ ! â , 8 Ø ã ä
Õ! â ! â ! Ø Õ! â ! â ! Ø
ã ä ã ä ã ã ä ã

Ô! â ! 4 â ! × Ô! â ! 4 â ! × Ô! â â ! ×
Öã ä ä ã Ù Öã ä ä ã Ù Öã ä ä ã Ù
!4
Ö Ù Ö Ù Ö Ù
œ Ö ! â ,4 â ! 3 Ù  Ö ! â ,3 â ! 3 Ù œ Ö ! â , 4  , 3 â ! 3 Ù œ
ã ã ã
Ö Ù Ö Ù Ö Ù
Õ! â ! â ! Ø Õ! â ! â ! Ø Õ! â â ! Ø
ã ä ã ä ã ã ä ã ä ã ã ä ã ä ã
!
œ ,4  ,3 /34
Ô ," â ! × Ô -" â ! ×
Õ ! â ,8 Ø Õ ! â -8 Ø
Vamos a probar ahora que si E − Z y F œ ã ä ã ß G œ ã ä ã ,

entonces XF XG E œ XG XF E esto es cualquier dos elementos de la familia


conmutan y entonces son diagonalizables
8 8 8
E−Z ÊEœ E"3 /"3  E#3 /#3  â  E83 /83
3œ" 3œ" 3œ"
y
XF XG E œ X F Œ
8 8
E"3 XG /"3  â  E83 XG /83 œ
3œ" 3œ"
8 8
œ E"3 XF XG /"3 â E83 XF XG /83 œ
3œ" 3œ"
8 8
œ E"3 XF -3  -" /"3 â E83 XF -3  -8 /83 œ
3œ" 3œ"
8 8
œ E"3 -3  -" XF /"3 â E83 -3  -8 XF /83 œ
3œ" 3œ"
8 8
œ E"3 -3  -" ,3  ," /"3  â  E83 -3  -8 ,3  ,8 /83 œ XG XF E
3œ" 3œ"
…
38.Sea J un cuerpo, 8 un entero positivo y sea Z el espacio de las matrices 8 ‚ 8
sobre J . Mostrar que +Ñ T " ET œ T " E8 T , a8 − ß aE − Z siendo T cualquier
8

matriz no singular de Z ,Ñ Sea 1 B œ +!  +" B  +# B#  â  +8 B8 un polinomio con


coeficientes en J entonces 1 T " ET œ T " 1 E T , aE − Z siendo T cualquier
matriz no singular de Z Þ
SOLUCIÓN. +Ñ
Darío Sánchez H EPKIFVE PMR IEP 46

8
T " E8 T œ T " E † E † E † â † E † T œ
Å
T " ET † T " ET â T " ET œ T " ET
T " T œ M
# 8
,Ñ 1 T ET œ +!  +" T ET  +# T " ET  â  +8 T " ET œ
" "

œ +!  +" T " ET  +# T " E# T  â  +8 T " E8 T œ T " +!  +" E  +# E#  â  +8 E8 T


œ T " 1 E T Þ
…
39. Sea E una matriz 8 ‚ 8triangular sobre un cuerpo J . Demostrar que los
valores característicos de E son los elementos de la diagonal, esto es los escalares
de la forma +33 Þ
SOLUCIÓN. Primero hallemos el determinante de una matriz triangular E œ +34 .
Denotaremos con 5 3 una permutación cualesquiera del conjunto Ö"ß #ß á ß 8×,
entonces
8
det E œ =385 3 +"5 " +#5 # á +85 8
3œ"
Tenemos si 5 " Á " entonces hay dos posibilidades 5 "  " o 5 "  ".
Si 5 "  ", entonces +"5 " œ ! en esta forma +"5 " +#5 # á +85 8 œ !.
Si 5 "  "ß entonces +"5 " Á ! y +"5 " +#5 # á +85 8 no aparece como sumando.
Si 5 # Á #, entonces 5 #  # o 5 #  #.
Si 5 #  #ß por ser E triangular +#5 # œ ! entonces +"5 " +#5 # á +85 8 œ !.
Si 5 #  # , algún +35 3 estará por debajo de la diagonal y en ese caso
+"5 " +#5 # á +85 8 œ !.
Continuando en esta forma llegamos a la conclusión de que el determinante de
una matriz triangular es el producto de los elementos de la diagonal. Como
conclusión, dado que la matriz E  -M es triangular tenemos que
./> E  -M œ # +33  - œ !, luego los valores característicos de E son los
8

3œ"
elementos de la diagonal de E.
…
40.Sea Z un espacio vectorial de dimensión 8 y sea X un operador lineal sobre Z .
Supongamos que X sea diagonalizable. +Ñ Si X posee un vector cíclico, mostrar
que X posee 8 valores característicos distintos. ,Ñ Si X posee 8 vectores
característicos distintos y si Öα" ß α# ß á ß α8 × es una base formada de vectores
característicos de X , mostrar que α œ α"  â  α8 es un vector cíclico de X Þ
SOLUCIÓN. +Ñ Siendo X diagonalizable entonces su polinomio característico será
dado por 0 B œ B  - " ." â B  - 5 .5 y el polinomio mínimo será
: B œ B  -" â B  -5 donde -3 Á -4 si 3 Á 4. Si X tiene un vector cíclico α,
entonces ^ αà X œ Z y 1<+.9 : B œ 8 œ .37Z . Luego : B œ B  -" â B  -8
donde -3 Á -4 si 3 Á 4, esto implica que X tiene 8 valores propios distintos.
,Ñ Como X tiene 8 valores propios distintos entonces 0 B œ : B œ B  -" â B  -8
Darío Sánchez H EPKIFVE PMR IEP 47

Sea [3 œ 5/< X  -3 M entonces Z œ [" Š â Š [8 de donde se sigue que .37[3 œ "


o sea [3 œ Òα3 Ó esto es a@3 − [3 se tiene @3 œ -3 α3 ß -3 − ‘. Sean I3 À Z [3 las
proyecciones asociadas a la descomposición Z œ [" Š â Š [8 entonces
I3 @"  â  @8 œ @3 . Por el teorema de descomposición primaria tenemos que cada
I3 es un polinomio en X ß esto es, I3 œ 23 X donde 23 B − J ÒBÓÞ
Si @ − Z , entonces @ œ @"  â  @8 , donde @3 − [3 , entonces @ œ -" α"  â  -8 α8
donde -3 − ‘, entonces @ œ -" I" α  â  -8 I8 α Ê @ œ -" 2" X α  â  -8 28 X α,
entonces @ œ Ò-" 2" X  â  -8 28 X Ó α œ 1 X α − ^ αà X .
…
41. Sea X un operador lineal sobre un espacio Z de dimensión finita y sea V la
imagen de X . + Demostrar que V posee un subespacio suplementario X -
invariante si y solamente si, V es disyunto del núcleo R de X .
, Si V y R son disyuntos, demostrar que R es el único subespacio X -invariante
que es un suplementario de V .
SOLUCIÓN. + Im M œ V es invariante bajo X si y solamente si Ker X ∩ V œ Ö!×.
É Ñ V ∩ R œ Ö!× Ê Z œ V Š R y aα − R tenemos X α œ ! − R Ê X R © R esto
implica que R es X -invariante.
Ê Ñ Si existe [ §Z tal que Z œVŠ[ • X [ © [. Entonces
.37Z œ .37V  .97[ Í .37[ œ .37Z  .37‘Þ
Así como X [ © [ entonces α − [ Ê X α − [ Ê X α − X Z œ V o sea que
Å
[ ©Z
X α − [ • X α − V Ê X α − [ ∩ V œ Ö!× ya que [ Š V œ Z , entonces X α œ !
aα − [ Ê [ © KerX œ R , así concluimos que [ œ KerX œ R y como
[ ∩ V œ Ö!× entonces V ∩ R œ Ö!×.
, R ∩ V œ Ö!× Ê Z œ R Š V si existe [ tal que X [ © [ • Z œ [ Š V Ê R œ [ .
…
42.Sea X el operador lineal sobre ‘$ que es representado en relación con la base
Ô# ! !×
Õ! ! $Ø
canónica por la matriz " # ! . Sea [ el núcleo de X  #MÞ Demostrar que [ no

posee ningún subespacio suplementario X  invariante.


Ô ! ! ! ×Ô B × Ô ! ×
Õ ! ! " ØÕ D Ø Õ ! Ø
SOLUCIÓN. Tenemos X  #M Bß Cß D œ " ! ! C œ ! Ê B œ !ß C œ +ß D œ !

 !ß "ß !  œ Ker X  #M œ [ .
Sea " œ "ß !ß ! , entonces
Ô ! ! ! ×Ô " × Ô ! ×
Õ ! ! " ØÕ ! Ø Õ ! Ø
X  #M " œ " ! ! ! œ " − Ker X  #M

entonces X  #M " œ [ .
Mostremos ahora que X [ © [ , en efecto, sea # − [ Ê # œ α !ß "ß ! y
Darío Sánchez H EPKIFVE PMR IEP 48

Ô # ! ! ×Ô ! × Ô ! × Ô!×
Õ ! ! $ ØÕ ! Ø Õ ! Ø Õ!Ø
X# œ " # ! α œ #α œ #α " − [ ,

esto nos indica que [ es X  invariante.


Supongamos ahora que aα − [ y a0 B − J ÒBÓ se tiene que 0 X " œ 0 X α .
Tomando 0 X œ X  #M tenemos que
Ô ! ! ! ×Ô ! × Ô ! ×
Õ ! ! " ØÕ ! Ø Õ ! Ø
0 X " œ X  #M " œ !ß "ß ! œ X  #M !ß Bß ! œ " ! ! B œ ! esto

implicaría que uno es igual a cero lo cual es contradictorio, así no existe α − [ tal
que 0 X " œ 0 X αÞ
…
43.SeaX el operador lineal sobre J % que es representado en relación a la base
Ô- ! ! !×
Ö" - ! !Ù
ordenada canónica por la matriz Ö Ù. Sea [ el núcleo de X  -M .
Õ! ! " - Ø
! " - !

+ Demostrar que [ es el subespacio generado por %% .


, Determinar los generadores unitarios de los ideales W %% à [ ß W %$ à [ ß W %# à [ ß
W %" à [ .
Ô ! ! ! ! ×Ô B × Ô ! × Ô ! ×
Ö " ! ! ! ÙÖ C Ù Ö B Ù Ö ! Ù
SOLUCIÓN. + Ö ÙÖ Ù œ Ö Ù œ Ö Ù Í B œ !ß C œ !ß D œ !ß
Õ ! ! " ! ØÕ A Ø Õ D Ø Õ ! Ø
! " ! ! D C !

A cualquiera, en particular podemos tomar A œ " así tenemos que


[ œ  !ß !ß !ß "  œ  %% 
, Se sabe que W αà A œ Ö0 − J ÒBÓÎ0 X α − [ × así
3Ñ W %% à [ œ Ö0 − J ÒBÓÎ0 X %% − [ ×Þ Tomemos el polinomio constante 5 en este
caso 5 † %% − [ ß entonces W %% à [ œ " † J ÒBÓ œ J ÒBÓ
33Ñ W %$ à [ œ Ö0 − J ÒBÓÎ0 X %$ − [ ×. Se afirma que 7# B œ B  - , en efecto
Ô ! ! ! ! ×Ô ! ×
Ö " ! ! ! ÙÖ ! Ù
X  -M œ Ö ÙÖ Ù œ !ß !ß !ß " − [ en esta forma B  - es el polinomio
Õ ! ! " ! ØÕ ! Ø
! " ! ! "

de menor grado posible.


333ÑW %# à [ œ Ö0 − J ÒBÓÎ0 X %# − [ × Afirmamos que 7$ B œ B  - # œ B#  #-B  - #
en efectoà
X  -M # %# œ
Ô ! ! ! ! ×Ô ! × Ô ! ! ! ! ×Ô ! ×
Ö " ! ! ! ÙÖ " Ù Ö " ! ! ! ÙÖ ! Ù
X  -M Ö ÙÖ Ù œ X  -M !ß !ß "ß ! œ Ö ÙÖ Ù œ %%
Õ ! ! " ! ØÕ ! Ø Õ ! ! " ! ØÕ ! Ø
! " ! ! ! ! " ! ! "
Darío Sánchez H EPKIFVE PMR IEP 49

esto indica que B  - # es el polinomio de menor grado pues X  -M %# œ %$  [ Þ


3@Ñ W %" à [ œ Ö0 − J ÒBÓÎ0 X %" − [ ×. En forma análoga se afirma que
7% B œ B  - œ B  $-B  $- B  - , ahora
$ $ # # $

Ô ! ! ! ! ×Ô " ×
Ö " ! ! ! ÙÖ ! Ù
X  -M $ %" œ X  -M # Ö ÙÖ Ù œ X  -M # !ß "ß !ß ! œ %%
Õ ! ! " ! ØÕ ! Ø
! " ! ! !

y B  - $ es el de menor grado posible pues X  -M # %" œ %$  [ .


…
44. Sea X un operador lineal sobre un espacio vectorial Z sobre un cuerpo J . Sea
0 un polinomio sobre J y α está en Z , sea 0 α œ 0 X α. Supongamos que α" ß á ß α<
sean vectores en Z tales que Z œ ^ α" à X Š â Š ^ α< à X . Demostrar que
0 Z œ 0 ^ α" à X Š â Š 0 ^ α < à X œ ^ 0 α " à X Š â Š ^ 0 α < à X
(0 Z es el conjunto de los 0 αß α en Z ß etc.)
SOLUCIÓN. + 0 X ^ α" à X Š â Š 0 X ^ α< à X es suma directa para 0 Á !.
Suponga que
@ œ 0 X 1 " X α"  â  0 X 1 < X α< œ
œ 0 X 2 " X α"  â  0 X 2 < X α< − ^ α " à X Š â Š ^ α < à X "
pero ahí la suma es directa entonces 0 X 1 3 X α3 œ 0 X 2 3 X α3
, Sea @ − ^ 0 X α" à X Š â Š ^ 0 X α< à X Ê @ œ 1" X 0 X α"  â  1< X 0 X α< por
lo tanto por " se sigue que @ − ^ α" à X Š â Š ^ α< à X , esto completa la prueba.
…
45.Sean X y Z como en el ejercicio %%. Supongamos que α y " sean vectores en
Z con el mismo X -anulado. Demostrar que, para todo polinomio 0 , los vectores 0 α
y 0 " tienen el mismo X -anulador.
SOLUCIÓN. Sabemos que Z œ ^ α" à X Š â Š ^ α< à X notemos entonces con:
Q αà X œ Ö1 − J ÒBÓÎ 1 X α œ !× œ Tα B † J ÒBÓ
Q " à X œ Ö1 − J ÒBÓà 1 X " œ !× œ T" B † J ÒBÓ
: B œ Tα B œ T" B Ê Q αà X œ Q " à X
T0α œ X  anulador de 0α , T0" œ X  anulador de 0" . Tenemos que

ˆT0" 0 " œ ! Ê ˆT0" 0 ‰" œ !‰ Ê T lT0" 0


T0α 0 α œ ! Ê T0α 0 α œ ! Ê T lT0α 0 "
#
Notemos que:

ˆT0" 0 " œ ! Ê ˆT0" 0 ‰ " œ 0 ! œ !‰ Ê T0" lT


T0α 0 α œ ! Ê T0α 0 α œ 0 ! œ ! Ê T0α lT

ŒT " œ ! Ê T0α 0 " œ !


"
Ê T0α 0 " œ ! Ê T0" lT0 α $

ŒT α œ ! Ê ˆT0" 0 ‰ α œ !
#
Ê T0" 0 α œ ! Ê T0α lT0 " %
de $ y % se recibe que T0 α œ T0 " puesto que son polinomios mónicos.
Darío Sánchez H EPKIFVE PMR IEP 50

…
46.Sea X el operador lineal sobre ‘$ el cual se representa en relación a la base
Ô $  %  %×

Õ # Ø
canónica por " $ # œ E. Determine vectores no nulos α" ß á ß α< que
% $
satisfacen las condiciones del teorema de descomposición racional.
(vea &&Þde los resultados básicos) .
SOLUCIÓN. ÒX Óµ œ E Ê 0 B œ ./> BM  E œ B  " ,
$

también X M X M œ!Ê: B œ B" #


En la descomposición de X ß el primer vector α" tiene a : como X -anulador (α3 es
dado por el teorema de la forma racional); como 1<+.: œ # y como estamos en el
espacio de dimensión $, entonces existe α# que genera un subespacio de
dimensión uno, esto es α# debe ser un vector característico de X y su X  anulador
:# debe ser B  " porque debemos tener :" † :# œ 0 B
Ô!  " !×
Eµ”
G B" • Õ
G B" # !

œ " # ! œF
!
! !
Tenemos α" œ /"
Ô $  %  % ×Ô " × Ô $ ×

Õ # ØÕ !Ø Õ # Ø
X /" œ  " $ # ! œ  " no es múltiplo de /" Þ
% $
Entonces
^ /" à X œ  /" ß X /"  œ Ö+/"  ,X /" ß +ß , − ‘×
+ß !ß !  $,ß  ,ß #, œ +  $,ß  ,ß #, œ @" ß @#ß @$ .
Ahora  @"  œ Z" œ 5/< B  " X
 @# ß @"  œ Z# œ 5/< B#  #B  " X ß
tomando @$ œ X @# .
Bß Cß D œ A − Z" Í X  M Bß Cß D œ !ß !ß !
Ô #  %  % ×Ô B × Ô #B  %C  %D × Ô ! ×

Õ #  %  % ØÕ D Ø Õ #B  %C  %D Ø Õ ! Ø
" # # C œ  B  #C  #D œ ! Í #B  %C  %D œ !
B œ #C  #D
B œ #+  #,
Así @" œ #ß  "ß #
Sea ahora A −  @" ß @#  entonces

Ú $  %  % × Ô " ! ! ×ÞÔ B ×
X #  #X  M A œ
Ô  %  % ×Ô $  %  %× Ô $
Û "  ! " ! ß C œ
Ü #Õ ØÕ Ø Õ Ø Õ ! ! " ØàÕ D Ø
$ # " $ # # " $ #

Ú &  )  ) × Ô " ! ! ×ÞÔ B × Ô ! ×


% $ # % $ # % $
Ô ) × Ô '
Û #  ! " ! ß C œ !
)

Ü %Õ Ø Õ Ø Õ ! ! " ØàÕ D Ø Õ ! Ø
& %  # ' %
) ( % ) '
Darío Sánchez H EPKIFVE PMR IEP 51

Ô! "' ×Ô B × Ô ! ×
"' Ô " ×
Õ! ØÕ Ø Õ Ø Õ  "Ø
! !! C œ ! Í "'C  "'D œ ! , así @# œ "
C œ D
!! D !
Ô $  %  % ×Ô " × Ô $ ×

Õ # ØÕ Ø Õ"Ø
Ahora @$ œ X @# œ  " $ # " œ ! . En esta forma tenemos que
% $ "
α" œ #ß  "ß # ß α# œ "ß "ß  " y α$ œ $ß !ß " son los vectores deseados.
…
47.Demostrar que si E y F son matrices $ ‚ $ sobre un cuerpo J , una condición
necesaria y suficiente para que E y F sean semejantes sobre J , es que posean el
mismo polinomio característico y el mismo polinomio minimal. Dar un ejemplo
que demuestre que esto es falso para matrices % ‚ %.
SOLUCIÓN. Si T " ET œ F entonces E y F tienen el mismo polinomio
característico pues
./> BM  F œ ./> BT " T  T " ET œ ./>ÖT " BM  E T × œ ./> T " ./> BM  E ./>T
œ ./> BM  E .
También si T " ET œ F entonces ellas tienen el mismo ideal de anuladores pues
1 E œ ! Ê 1 F œ 1 T " ET œ T " 1 E T œ !.
Supongamos que E y F son tales que TE œ TF y 0E œ 0F se tiene:
"Ñ Supóngase inicialmente que TE œ TF œ 0E œ 0F œ B$  +9 B #  +" B  +# entonces
Ô ! !  +! ×
Õ ! "  +# Ø
E µ G TE = " !  + " œ G T F µ F

#Ñ TE œ TF œ B#  +" B  +! , 0E œ 0F œ B  + † TE y se tiene
Eµ” • œ” F
G B+ •
G TE ! GT !
µF
! G B+ !
$ÑTE œ TF œ B  + 0E œ 0F œ B  + $ , entonces
Ô G TE ! ! × Ô G TF ! ! ×

Õ ! G TE Ø Õ ! G TF Ø
Eµ ! G TE ! œ ! G TF ! µF
! !
Veamos el contra ejemplo, tómese las siguientes matrices % ‚ %
Ô! ! ! !× Ô! ! ! !×
Ö" ! ! !Ù Ö" ! ! !Ù
EœÖ Ù, F œ Ö Ù estas dos matrices tienen TE œ TF œ B# y
Õ! ! ! !Ø Õ! ! ! !Ø
! ! ! ! ! " ! !

Ô! ! ! !× Ô! ! ! !×
Ö" ! ! !Ù Ö" ! ! !Ù
0E œ 0F œ B% pero E µ Ö Ù, F µ Ö Ù pero E no es similar a F.
Õ! ! ! !Ø Õ! ! " !Ø
! ! ! ! ! ! ! !

…
Darío Sánchez H EPKIFVE PMR IEP 52

47.Sea … un subcuerpo del cuerpo de los números complejos y sea E una matriz
8 ‚ 8 sobre …Þ Sea : el polinomio minimal de E. Si consideramos E como una
matriz sobre ‚, entonces E poseerá un polinomio minimal 0 , cuando es
considerada como una matriz 8 ‚ 8 sobre ‚. Usar un teorema sobre ecuaciones
lineales para demostrar que : œ 0 Þ
5" 5"
SOLUCIÓN.-Sea : œ B5  + 4 B4 entonces : E œ E5  + 4 E 4 œ !. Para cada 5,
4œ! 4œ!
tenemos un sistema de 8# ecuaciones en las incógnitas +! ß +" ß á ß +5" . Para
5 œ 1<+.0 ß donde 0 es el polinomio minimal de E sobre ‚, como 0 E œ !ß
tenemos la SOLUCIÓNes digamos +! ß +" ß á ß +5" − ‚. Luego por el teorema de la
alternativa de Rouche se tiene que las SOLUCIÓNes +! ß +" ß á ß +5" − … Ê : œ 0 .
…
48.Sea X un operador lineal sobre un espacio vectorial Z de dimensión finita.
Demostrar que existe un vector α en Z con la siguiente propiedad: Si 0 es un
polinomio y 0 X α œ !ß entonces 0 X œ !, (Un tal vector α es denominado un
vector separador para el álgebra de los polinomios en X ).
SOLUCIÓN.-Resulta del teorema de la forma canónica racional que existe un α − Z

tal que el X -anulador :α de α es el polinomio mínimo de X ŒZ œ 9 ^ α3 à X :α


"Ÿ3Ÿ<
es el menor polinomio tal que :α X α œ !. Entonces si 0 − J ÒBÓ es tal que 0 X α œ !
entonces 0 œ ; † :α œ ; † : Ê 0 X œ 1 X † : X œ 1 X † ! œ ! pues : es el polinomio
mínimo de X .
…
49.Si es una matriz & ‚ & compleja con polinomio característico
E
0 B œ B  # $ B  ( # y polinomio minimal : œ B  # # B  ( ß ¿cual es la forma
canónica de Jordan de E?.
SOLUCIÓN. :- E œ B  # B  ( ß :7 E œ B  # B  ( œ # B  -3 3
$ # # <

Ô E" ! ×
3

Ö ! ! Ù Ô N-3 ß<3" á ×
! á
!
entonces E µ Ö Ù donde E3 œ
E# á
Õ ! Ø
ã ä ã y
Õ ! E5 Ø
ã ã ä ã
á N-3 ß<3=3
! á
Ô -3 ! á ! ×
Ö " -3 á ! Ù
Ö Ù
N-3 ß<34 œ Ö ! " á ! Ù,
Ö Ù
Õ ! ! á -3 Ø
ã ã ä ã

se tiene entonces:
+ E3 es una matriz .3 ‚ .3 , donde .3 œ multiplicidad de -3 como raíz de
:- œ .37Ker E  -3 M <3
Darío Sánchez H EPKIFVE PMR IEP 53

, Orden de N-3 ß<3 " œ <3 œ multiplicidad de -3 como raíz del polinomio minimal
- El número de matrices elementales de Jordan que cumplen a la matriz
E3 œ .37Ker X  -3 M
En ese caso, tenemos -" œ #ß -# œ  (ß ." œ $ß .# œ #ß <" œ #ß <# œ " por lo tanto
Eµ” "
! E# •
E !
donde E" es una matriz $ ‚ $ ." œ $ ß E# es una matriz # ‚ # .# œ #

dadas por E" œ ” ## •, E# œ ” (ß"


N(ß" •
N ! N !
, finalmente se recibe
! N#" !
Ô# ! ! ! ×
Ö" # ! ! Ù
!
Ö Ù
E µ Ö! ! # ! Ù
!
Ö Ù
!

Õ! ! !  (Ø
! ! ! ( !
!
…
50.Clasificarß a menos de semejanzas, todas las matrices $ ‚ $ complejas E tales
que E$ œ MÞ
SOLUCIÓN. E$ œ M Í E$  M œ ! de donde :7 E es divisor de B$  " y tenemos la
descomposición siguiente:
È È
B$  "= B  " ŠB  "3# $ ‹ŠB  "3# $ ‹
Las posibilidades son:
È È
" Þ:7 E œ B  " , :- E œ B  " $ con -" œ  "3# $ y -# œ  "3# $
Ô" ! !×
Õ! ! "Ø
Eµ ! " ! es en este caso la forma canónica de Jordan

Ô -" ! ! ×
Õ ! ! -" Ø
# Þ:7 E œ B  -" Ê E µ ! -" !

Ô -# ! ! ×
Õ ! ! -# Ø
$ Þ:7 E œ B  -# Ê ! - # !

% Þ :7 E œ B  " B  - " Ê 0 - œ B  " # B  - "


Ô" ! ! × Ô" ! ! ×
Õ ! ! -" Ø Õ ! ! -" Ø
E µ ! " ! ß o también E œ ! -" !

& Þ ' Þ :7 E œ B  " B  -# Ê 0- œ B  " # B  -# ,o, 0- œ B  " B  -# #


Ô" ! ! × Ô" ! ! ×
Õ ! ! -# Ø Õ ! ! -# Ø
E µ ! " ! ,o, E œ ! -# !

( Þ ) Þ:7 E œ B  -" B  -# 0- œ B  -" B  -# # ,o, 0- œ B  -" # B  -#


Darío Sánchez H EPKIFVE PMR IEP 54

Ô -" ! !× Ô -" ! !×

Õ! ! Ø Õ! -# Ø
E µ ! -# ! ,o, Eµ ! -" !
-# !
* Þ:7 E œ B  " B  -" B  - # œ 0 -
Ô" ! !×

Õ! ! -# Ø
E µ ! -" ! .

…
51.Clasificarß a menos de semejanzas, todas las matrices 8 ‚ 8 complejas E tales
que E8 œ MÞ
SOLUCIÓN. E8 œ M Ê E8  M œ !, entonces :7 E es divisor de B8  " entonces :7 E
es divisor de B  -" B  -# á B  -8 donde -" ß á ß -8 son las raíces 8-ésimas de la
unidad y -3 Á -4 luego E es siempre diagonalizable . Las posibilidades para : B

Ú
son
Ý
Ý B  -"
: B œÛ
B  -#
Ý
Caso "Þ
Ýã
Ü B  -8
tenemos entonces G"8 posibilidades, para : B de "/< grado y a cada una
corresponde un solo 0 B ß pues 0 B tiene los mismos factores irreducibles que : B
de esta forma tiene solamente G"8 clases de singularidades en el "/< caso.
Caso 2. : B œ B  -3 B  -4 3 Á 4 por consiguiente en este caso tenemos G#8
posibilidades de elección del polinomio : B y para cada uno de ellas 0 B sera del
tipo B  -3 + B  -4 , donde + y , son todos los posibles enteros positivos tales que
+  , œ 8. Llamando = 8ß # el número de enteros tenemos = 8ß # clases de
similaridad para B  -3 B  -4 ; haciendo 3ß 4 variar ordenadamente obtenemos
G#8 † W 8ß # clases de similaridad en el segundo caso.
Caso $. : B œ B  -3 B  -4 B  -5 , 3 Á 4 Á 5 Á 3 por lo tanto en este caso tenemos
G$8 posibles polinomios minimales : B y para cada uno de ellos
0 B œ B  -3 B  -4 B  -5 donde +ß ,ß - son todos posibles enteros positivos
+ , -

tales que +  ,  - œ 8. Llamando = 8ß $ el número de esos enteros y haciendo


3ß 4ß 5 variar. obtenemos G$8 † = 8ß $ clases de similaridad en el tercer caso.
8é=379 caso. G88 = 8ß 8 serán las clases de similaridad en este caso. El final será dada
8
por G58 = 8ß 5 las clases de similaridad.
5œ"
…
52. Sea 8 un entero positivo, 8   # y sea R una matriz 8 ‚ 8 sobre un cuerpo J
tal que R 8 œ ! pero R 8" Á !. Demostrar que R no posee ninguna raíz cuadrada,
esto es, que no existe ninguna 8 ‚ 8 matriz E tal que E# œ R .
SOLUCIÓN. R 8 œ ! y R 8" Á !ß ya vimos que en esta situación R tiene un vector
cíclico esto es el conjunto Öαß R αß á ß R 8" α× genera a Z . Pero si R tiene una raíz
Darío Sánchez H EPKIFVE PMR IEP 55

cuadrada debemos tener E# œ R Ê E#8 œ R 8 œ !, entonces E es nilpotente,


entonces E8 œ !.
+ Si 8   # es par, tenemos que 8 œ #5   # y 8# Ÿ 8  " y entonces tenemos
8
! œ E8 œ E# # œ R # donde 8# Ÿ 8  " Ê R no es nilpotente, llegando a una
8

contradicción.
, Si   # es impar Ê 8   $, entonces 8  " es par, luego 8"
# Ÿ 8  ". Tenemos
œ E # œ R # , de donde
# 8"
# Ÿ 8  " Luego R œ ! ß también es
8" 8"
8" 8"
!œE
contradictorio.
…
53.Aplicar el proceso de Gram-Schmidt a los vectores "" œ "ß !ß " ß "# œ "ß !ß  " ß
"$ œ !ß $ß % , para obtener una base ortonormal de ‘ con el producto interno
$

canónico.
SOLUCIÓN. α" œ "" œ "ß !ß " Ê mα" m# œ "  " œ #ß luego mα" m# œ #
α# œ "#  m"α# ß"αm"# † α" œ "ß !ß  "   "ß!ß"# ß "ß!ß"  † "ß !ß  " œ "ß !ß  "
 "$ ßα"  "$ ßα# 
α$ œ "$  mα" m# α"  mα# m# œ
œ !ß $ß %   !ß$ß% #ß "ß!ß"  "ß !ß "   !ß$ß% ß#"ß!ß" 
"ß !ß  " œ
œ !ß $ß %  %# "ß !ß "  % # "ß !ß  " œ !ß $ß %   #ß !ß  #  #ß !ß  # œ !ß $ß !
La base deseada será entonces
Ö mαα"" m ß mαα## m ß mαα$$m × œ ÖŠ È"# ß !ß È"# ‹ß Š È"# ß !ß  È"# ‹ß !ß "ß ! ×Þ
…
54.Sea [ el subespacio de ‘# generado por el vector $ß % . Usando el producto
interno canónico para ‘# . Sea I la proyección otogonal de ‘# sobre [ ß determinar:
+ Una fórmula para I B" ß B# .
, La matriz I en relación a la base canónica
- [¼
. Una base ortonormal en relación a la cual I sea representado por la matriz

”! !•
" !

SOLUCIÓN. + [ œ Ò $ß % Óß I œ ‘# œ [ Š [ ¼ ß [ ¼ œ Ò  %ß $ Ó
Sea B − ‘# Ê B œ B" "ß !  B# !ß " œ α $ß %  "  %ß $ Í B" ß B# œ $α  %" ß %α  $"
ʜ ʜ
$α  %" œ B" %α  "' %
$ " œ $ B" Ê $"  "' %
$ " œ B#  $ B"
%α  $" œ B# %α  $" œ B#
Ê #&
$ " œ $B# %B"
$ Í " œ $B# %B"
#& .
Por otra parte
"#B# *B" %B $B
$α  % $B##&
%B"
œ B" Ê $α œ B"  "#B##& "'B"
œ #& Í α œ ##& "
Así
B œ B" /"  B# /# œ $B"#&
%B#
α"  $B##&
%B"
α# Þ
Por lo tanto
Darío Sánchez H EPKIFVE PMR IEP 56

$B" %B#
I B" ß B# œ #& α"
$! $ $ * "#
, I "ß ! œ #& α" œ #& α" œ #& $ß % œ #& /"  #& /#
I !ß " œ #& α" œ #& /"  "& /# .
% "# "'

En esta forma obtenemos la matriz

ÒIÓÖ/" ß/# × œ – #& —


* "#
#&
"# "'
#& #&

ˆ$ %‰
- [ ¼ œ Ò  %ß $ Ó
α"
. α" œ $ß % ß %" œ mα" m œ #& ß #&
α# œ  %ß $ ß %# œ mαα## m œ ˆ  #& % $ ‰
ß #&
I ˆ #& α"  !α# ‰ œ #& α" œ %"  !%#
" "

I ˆ!α"  #& α # ‰ œ ! %"  ! %# .


I %" œ
"
I %# œ
En esta forma recibimos
ÒIÓÖ%" ß%# × œ ”
!•
" !
Þ
!
…
55.Sea Z un espacio con producto interno, [ el subespacio generado por un
vector no nulo α y I una proyección ortogonal de Z sobre [ . Si " es un vector en
Z , mostrar que
m" -I " m Ÿ m" -# m
para todo # en [ .
SOLUCIÓN. Lo que se quiere significa que la altura de un triángulo es siempre
menor o igual que uno de los lados
I " œ m"αßαm# αß # œ - mααm#
l" ßαl#
mI " m# œ mαm# œ  "ß I "  œ  I "ß " 
Por lo tanto
m" -I " m# œ  " -I " ß " -I "  œ
l" ßαl#
œ m" m#   " ß I "    I " ß "    I " ß I "  œ m " m #  mα m # œ m" m#  mI " m# .
Por otro lado
m" -# m# œ  "  - mααm# ß "  - mααm#  œ m" m#  m# m#  -
mαm#  αß "   -
mαm#  "ß α  œ
- -
œ m" m#  m # m #  mα m #  αß "   mαm#  αß "  œ m" m  m# m# 
#
#d/ mα-m#  αß " 
Entonces

m"  # m#  m"  I " m# œ m# m#  mI " m#  #d/ mα-m#  αß "  œ  #  I " ß #  I "  œ
m#  I " m#   !
- -
‡  #  I " ß #  I "  œ m# m#  mI " m#  mα m #  αß "   mαm#  "ß α  œ
œ m# m#  mI " m#  -
mαm#  αß "   -
mαm#  αß "  œ m# m#  mI " m#  #d/ mα-m#  αß "  .
…
Darío Sánchez H EPKIFVE PMR IEP 57

56.Sea Z un espacio de dimensión finita con producto interno y sea Öα" ß á ß α8 ×


una base ortonormal de Z Þ Mostrar que para cualesquier pareja de vectores α, " en
8
Z, αß " œ αß α 5 " ß α 5 .
5œ"
8 8
SOLUCIÓN. Sean αœ B3 α3 ß " œ C3 α 3
3œ" 3œ"

αß α 4 œ Œ
8 8
B3 α3 ß α4 œ B3  α 3 ß α 4  œ B 4  α 4 ß α 4  œ B 4
3œ" 3œ"

α 4 ß α œ Œα 4 ß
8 8
B3 α 3 œ B3  α 4 ß α 3  œ B 4  α 4 ß α 4  œ B 4
3œ" 3œ"
Análogamente
" ß α 4 œ C4 ß α4 ß " œ C 4 ,
en esta forma
αß " œ Œ
8 8 8 8 8
B3 α3 ß C4 α4 œ B3 C 4 œ αß α3 α3 ß " œ αß α3 " ß α3 .
3œ" 3œ" 3œ" 3œ" 3œ"
…
57.Sea [ un subespacio de dimensión finita de un espacio Z con producto interno
y sea I una proyección ortogonal de Z sobre [ . Demostrar que I αß " œ αß I "
para todos los vectores α, " en Z .
SOLUCIÓN. Sea Öα" ß á ß α7 × una base ortogonal de [ . Entonces
7 7
mα3 m# α3 ,
αßα3  " ßα3 
Iα œ I" œ mα3 m# α3
3œ" 3œ"

Œ
7 7
αßα3  αßα3 
I αß " œ mα3 m# α3 ß " œ  α3 ß " 
mα3 m#
3œ" 3œ"

Œ
7 7 7
" ßα3 
αß I " œ α ß mα3 m# α3 œ m"αß3αm3#  αß α3  œ α3 ß" 
mα3 m#  αß α3 
3œ" 3œ" 3œ"
7
œ m"αß3αm3#  αß α3 
3œ"
De donde se tiene que I α ß " œ αß I " .
…
58.Sea W un subespacio de un espacio Z con producto interno. Mostrar que ÐW ¼ Ѽ
contiene un subespacio generado de Z . Para Z de dimensión finita mostrar que
W ¼ ¼ es el subespacio generado por W .
SOLUCIÓN. α − ÒWÓ Í α œ α" ?"  α# ?#  â  α7 ?7 Š α?3 −W ˆ "Ÿa3Ÿ7 ‰
−… ‹ "Ÿ3Ÿ7 3
¼
W œ Ö@ − Z à  @ß @  œ ! , a? − W×ß ÐW Ñ œ ÖA − Z à  Aß @  œ ! , a − W ¼×
¼ ¼

Notemos que si
7
αœ α3 ?3 , ?3 − Wß @ − W ¼,
3œ"
entonces
Darío Sánchez H EPKIFVE PMR IEP 58

αß @ œ Œ
7 7
α 3 ?3 ß @ œ α3 ?3 ß @ œ !, pues ?3 ß @ œ !, a3ß
3œ" 3œ"
entonces
α − W¼ ( αß @ œ ! • @ − Z ß α − W Ê α − W ¼ ),
pero también
αß @ œ ! y @ − W ¼ • α − Z ,
entonces
α − ÐW ¼ Ѽ ,
luego
ÒWÓ © ÐW ¼ Ѽ
, ÐW ¼ Ѽ œ ÒWÓ ÒWÓ¼ œ W ¼
Notemos que valen las relaciones
Z œ ÒWÓ Š ÒWÓ¼ œ W ¼ Š ÐW ¼ Ѽ ,
entonces
.37ÐW ¼ Ѽ œ .37ÒWÓ
y como
ÒWÓ © ÐW ¼ Ѽ Ê ÒWÓ œ ÐW ¼ Ѽ .
…
59.Sea un espacio de dimensión finita con producto interno y sea
Z
µ œ Öα" ß á ß α8 × una base ortogonal de Z . Sea X un operador lineal sobre Z y E la
matriz de X en relación a la base ordenada µ. Demostrar que E34 œ X α4 ß α3 .
X
SOLUCIÓN. Z œ Òα" ß á ß α8 Ó Ä Z el operador y ÒX Óµ œ E œ E34 , entonces
Ô "" E"# â E"8 ×
ÖE E## â E#8 Ù
E
ÒX Óµ œ Ö #" Ù donde X /" œ E3" α3ß X /# œ E3# α3ß âß X /8 œ E38 α3ß
8 8 8

Õ E8" E8# â E88 Ø


ã ã ä ã 3œ" 3œ" 3œ"

se sigue entonces que


X α4 ß α 3 œ Œ
8 8
E54 α5ß α3 œ E54 α5ß α3 œ E34 Þ
5œ" 5œ"
…
60.Supongamos que Z œ [" Š [# y que 0" y 0# sean productos internos sobre ["
y [# respectivamente. Mostrar que existe un único producto interno 0 sobre Z tal
que
3 [# œ ["¼ à
33 0 αß " œ 05 αß " , cuando α, " estan en [5 ß 5 œ "ß #Þ
SOLUCIÓN. α − Z œ [" Š [# Ê α œ α"  α#
" − Z œ [" Š [# Ê " œ ""  "#
0 αß " œ 0 α "  α # ß ""  " # œ 0 " α " ß " "  0 # α # ß " #
3 Tomemos α" − [" y α# − [#
0 α" ß α# œ 0 α"  !ß !  α# œ 0" α" ß !  0# !ß α# œ !
Å
0" ß 0# =98 :<9.?->9= 38>/<89=
Darío Sánchez H EPKIFVE PMR IEP 59

y entonces [# © ["¼
33 αß " − [" tenemos 0 αß " œ 0 α  !ß "  ! œ 0" αß "  0# !ß ! œ 0" αß " Þ
…
61.Sea Z un espacio con producto interno y [ un subespacio de Z de dimensión
finita. Existen, en general, muchas proyecciones que tienen a [ por imagen. Una
de estas, la proyección ortogonal sobre [ , tiene la propiedad de que mI αm Ÿ mαm
para todo α en Z . Demostrar que si I es una proyección con imagen [ , tal que
mI αm Ÿ mαm para todo α en Z , entonces I es una proyección ortogonal sobre [ .
8
SOLUCIÓN. Sea Öα" ß á ß α7 × la base ortogonal de [ y entonces mα3 m# α3 .
αßα3 
Iα œ
3œ"
8
lαßα3 l#
Por la desigualdad de Bessel, tenemos mα3 m# Ÿ mα m #
3œ"
8 8 8 8
αßα5  αßα5   α ß α5   α ß α5 
mI αm# œ  I αß I α  œ  mα5 m# α 5 ß mα5 m# α 5  œ mα5 m #  α 5 ß mα5 m# α5  œ
5œ" 5œ" 5œ" 5œ"
8 8 8 8
αßα5  αßα4  αßα5  αßα5  lαßα5 l#
œ mα5 m# mα4 m#  α5 ß α4  œ mα5 m # mα5 m #  α 5 ß α 5  œ mα5 m#
5œ" 4œ" 5œ" 5œ"
Entonces se recibe
mI αm# Ÿ mαm# Ê mI αm Ÿ mαm
Ahora
I Z œ I [ Š [¼ œ [.
Si I À Z [ es una proyección I # œ I con I † Z œ [ y mI αm Ÿ mαm, entonces I
es la proyección ortogonal en [ .
…
62.Sea Z el espacio real con producto interno que consiste del espacio de
funciones continuas, definidas en el intervalo  " Ÿ > Ÿ ", tomando valores reales,
con el producto interno
0 ß 1 œ '" 0 > 1 > .>.
"

Sea [ el subespacio de las funciones impares, esto es, funciones que satisfacen
0  > œ  0 > . Determinar el suplemento ortogonal de [ .
SOLUCIÓN. Se tiene que
Z œ Ö0 À Ò  "ß "Ó ‘Î0 es continua×,
y
[ œ Ö0 − Z à 0  > œ  0 > ×.
Nótese que si 0 es impar tenemos:
'"
"
0 > .> œ  '"  0 > .> œ  '" 0  > .> œ '" 0  > .  > œ
" " "

'"
!
0  > .  >  '! 0  > .  > œ
"
'"! 0 > .>  '!" 0 > .> œ '"" 0 > .> œ  '"
"
0 > .>

De donde se deduce que '" 0 > .> œ !


Å
>œ >
"

Afirmamos que [ ¼ œ Ö1 − Z à 1  > œ 1 > ×, en efecto si 1 es impar y 0 es par


tenemos 0  > † 1  > œ  0 > 1 > luego 10 es impar entonces tenemos
Darío Sánchez H EPKIFVE PMR IEP 60

0 ß 1 œ '" ðñò
0 > 1 > .> œ !.
"

impar
…
63.Sea Z el espacio ‚# ß con el producto interno canónico. Sea X un operador
definido por X%" œ "ß  # ß X%# œ 3ß  " . Si α œ B" ß B# , determinar X ‡ αÞ
SOLUCIÓN. Aquí ‚# œ Ö +ß , Î+ß , − ‚× œ Ö +"  3+# ß ,"  3,# Î+" ß +# ß ," ß ,# − ‘×

X%" œ X "ß! œ "ß !  !ß  # œ î


"ß !  #î
!ß "
œ %" œ %#
X%# œ X !ß" œ 3 "ß !  " !ß " œ 3%"  "%#
En esta forma la matriz asociada será dada por

œ”
 "•
ÒX Ó‡µ œ ”
 #  "•
œ”
 #  "•
œ”
 3  "•
¼ ¼
" 3 " 3 " 3 " #
ÒX Óµ
#
X ‡ B" ß B# œ ” • ” B# •
" # B"
œ B"  #B# ß  3B"  B#
3 "
 X αß "  œ  ”
 #  " •” B# • " #
" 3 B"
ß C ß C  œ  B"  3B# ß  #B"  B# ß C" ß C#  œ
œ B"  3B# C"  #B"  B# C# "
 αß X ‡ "  œ  B " ß B # ß ”
 3  " •” C# •
"  # C"
 œ  B" ß B# ß C"  #C# ß  3C"  C#  œ
œ B" C"  #C#  B#  3C"  C# œ B" C"  #B" C#  B# 3C "  B# C # œ
œ B"  3B# C"  #B"  B# C# #
De " y # se sigue que  X αß "  œ  αß X ‡ " 
…
64.Sea X un operador lineal sobre ‚# definido por X %" œ "  3ß # , X %# œ 3ß 3 Þ
Usando el producto interno canónico, determinar la matriz de X ‡ en relación a la
base canónica. ¿X conmuta con X ‡ ?
SOLUCIÓN. X "ß ! œ "  3 "ß !  # !ß " ß X !ß " œ 3 "ß !  3 !ß "
entonces tenemos que
ÒX Óµ œ ” • y ÒX Óµ œ ” • œ” • œ”
 3  3•
¼
"3 3 ‡ "3 3 ¼ "3 3 "3 #
# 3 # 3 # 3
 X αß "  œ  X B " ß B # ß C " ß C #  œ  ”
3 •” B# • " #
"  3 3 B"
ß C ßC  œ
#
 "  3 B"  3B# ß #B"  3B# ß C" ß C#  œ "  3 B"  3B# C "  #B"  3B# C #
 αß X ‡ "  œ  B " ß B # ß ”
 3  3 •” C# •
"3 # C"
 œ
œ  B" ß B# ß "  3 C"  #C# ß  3C"  3C#  œ B" "  3 C"  #C#  B#  3C"  3C# œ
œ B" "  3 C"  #C# B"  B# C" 3  B# C# 3 œ "  3 B"  3B# C "  #B"  3B# C # .
Ahora veamos la conmutatividad entre X C X ‡
XX‡ œ ”
3 • ”  3  3 • ” #  #3  3# • œ ” $  #3 & •
"3 3 "3 # "  3#  3# #  #3  3# $ $  #3
œ
# %  3#
Darío Sánchez H EPKIFVE PMR IEP 61

X ‡X œ ”
 3  3 •” # 3 • ”  3  3#  #3 # • œ ” "  $3 # •
"3 # "3 3 "  3#  % 3  3#  #3 ' $3  "
œ #
3 3
Luego X ‡ X Á X X ‡
…
65.Supongamos que Z sea ‚$ con el producto interno canónico. Sea X un
operador lineal sobre Z cuya matriz en relación a la base ordenada canónica es
definida por E45 œ 345 ß 3# œ  " . Determinar una base del núcleo de X ‡ .
Ô E"" E"# E"$ × Ô 3 3 3 × Ô  "  3 " ×
# $ %

Õ E$" E$# E$$ Ø Õ 3% 3& 3' Ø Õ "  "Ø


SOLUCIÓN. ÒX Óµ œ E#" E## E#$ œ 3$ 3% 3& œ 3 " 3
3

Ô "  3 " × Ô " " × Ô " " ×


¼ ¼
3 3

Õ "  "Ø Õ "  "Ø Õ "  "Ø



ÒX Óµ œ  3 " 3 œ 3 " 3 œ 3 " 3
3 3 3
Así tenemos que
Ô " 3 " × Ô B" × Ô ! ×

Õ "  " Ø Õ B$ Ø Õ ! Ø

X B" ß B# ß B$ œ 3 "  3 † B# œ !
3
de donde el sistema
 B"  3B#  B$ œ !
3B"  B#  B$ œ ! Ê B# œ "3 B"  B$
B"  3B#  B$ œ !
tomando " B" œ 3ß B$ œ !ß Ê B# œ "3 3 œ "
# Bw" œ !ß Bw$ œ  3 Ê Bw# œ "3 3 œ ".
Luego
KerX ‡ œ  3ß "ß ! ß !ß "ß  3  .
…
66.Sea Z un espacio de dimensión finita con producto interno y X un operador
lineal sobre Z . Si X es inversible, mostrar que X ‡ es inversible y X ‡ " œ X " Þ

SOLUCIÓN. Por hipótesis existe X " tal que X X " œ X " X œ M entonces

œ " ‡
‡ ‡
X X " œ X " X œ M ‡ œ M ‡ ‡
‡ " ‡ ‡
Ê X ‡ X " œ X " X ‡ œ M
X X œX X œM œM
Luego X es inversible y su inverso es tal que X " œ X ‡ " .
‡ ‡

…
67. Sea Z un espacio de dimensión finita y " ,# vectores fijos en Z . Mostrar que
X α œ αß " # define un operador lineal sobre Z . Mostrar que X posee un adjunto y
describir X ‡ explícitamente. Supongamos ahora que Z sea ‚8 con el producto
interno canónico, " œ C" ß á ß C8 y # œ B" ß á ß B8 . ¿Cual es el elemento 4ß 5 de la
matriz de X en relación a la base ordenada canónica?
Darío Sánchez H EPKIFVE PMR IEP 62

SOLUCIÓN. Por hipótesis sea X À Z Z


α È X α œ αß " #
3 α œ α" Ê αß " œ α " ß " en efectoß
α  α" œ ! • α  α" ß " œ !ß " œ ! Í αß "  α" ß " œ ! Í αß " œ α" ß "
Ahora
α ß "  α " ß " œ ! Ê α ß "  α " ß " # œ ! , a # Í αß " #  α " ß " # œ ! ,
entonces
αß " # œ α " ß " # Í X α œ X α "
33 X es lineal
X - α  α " œ - α  α " ß " # œ - α ß "  α " ß " # œ - αß "  α " ß " # œ
œ - αß " #  α" ß " # œ - αß " #  α" ß " # œ -X α  X α" .
Luego X es un operador lineal.
Como no se sabe si .37Z es finita, no podemos aplicar el resultado (*. Debemos
entonces hallar X ‡ tal que
 X α" ß α#  œ  α" ß X ‡ α#  para todo α" ß α# − Z
 X α" ß α "  œ  α " ß " # ß α #  œ  α " ß "  # ß α # œ # ß α #  α " ß "  œ α " ß  # ß α #  "
œ  α" ß α # ß # " 
Entonces basta definir X ‡ α œ αß # " y tenemos
œ  α ß X ‡ α  œ #ß α  α ß " 
 X α" ß α #  œ  α " ß "  # ß α #
Ê  X α" ß α #  œ  α " ß X ‡ α #  .
" # # "
333 Z œ ‚8 por hipótesis X α œ αß " # , sea entonces ÒX Óµ œ E34 . Para la
determinación de los E34 sabemos que
E34 œ  X /4 ß /3  œ  /4 ß " # ß /3  œ /4 ß "  #ß /3  œ Œ/4 ß
8 8
C5 /5  B5 /5 ß /3  œ
5œ" 5œ"
8 8
C5 /4 ß /5 B5  / 5 ß / 3  œ C 4 B3 œ B3 C 4 Þ
5œ" 5œ" Å
 /5 ß /3  œ /5 ß /3 œ $53 œ œ
"ß =3 5 œ 3
!ß =3 5 Á 3
…
68.Mostrar que el producto de dos operadores auto-adjuntos es auto-adjunto, si y
solamente si los dos operadores conmutan.
SOLUCIÓN. 3 Hipótesis general R œ R ‡ y X œ X ‡ , así, si suponemos R X œ X R
tenemos
R X ‡ œ X R ‡ œ R ‡X ‡ œ R X ß
de donde R X es auto-adjunto
33 Ahora la hipótesis es R X ‡ œ R X
X R œ X ‡ R ‡ œ R X ‡ œ R X ß Ê ß X y R conmutan.
…
69.Sea Z el espacio vectorial de los operadores sobre ‘ de grado menor o igual a
$, con el producto interno 0 ß 1 œ '! 0 > 1 > .>. Si > es un número real, determinar el
"

polinomio 1> en Z tal que 0 ß 1> œ 0 > Þ


Darío Sánchez H EPKIFVE PMR IEP 63

SOLUCIÓN. Definamos J À Z ‘ . J es una función lineal y .37Z œ %, usando


0 ÈJ > œ0 >
el resultado básico () existe un único 1> − Z tal que J 0 œ 0 ß 1> , 1> es obtenido de
la siguiente manera. Tómese Ö0" ß 0# ß 0$ ß 0% × una base ortonormal de Z y calculando
se tiene
% % %
1> œ J 04 04 œ 04 > 04 œ 04 > 04
4œ" 4œ" 4œ"
y por el resultado () tenemos 0 > œ J > œ 0 ß 1> .
…
70.Sea el espacio con producto interno y X un operador lineal sobre Z . Mostrar
que la imagen de X ‡ es el suplemento ortogonal del núcleo de X .
SOLUCIÓN. Debemos mostrar que X ‡ Z œ KerX donde
¼

X ‡ Z œ ÖX ‡ @à @ − Z ×
y
KerX ¼ œ Ö? − Z à  ?ß @  œ !, a@ − KerX ×
œ Ö? − Z à  ?ß @  œ ! y X @ œ !×
Notemos primeramente que X ‡ Z § KerX ¼ , en efecto α œ X ‡" − X ‡Z y
# − KerX tenemos  α,#  =  X " ,#  œ  # ß X "  œ  X # ß "  œ !
‡ ‡
Å
# − 5/<X
por lo tanto
α − KerX ¼ • X ‡ Z § KerX ¼
Para demostrar el recíproco sea # − X ‡ Z ¼ entonces a" œ X ‡ α − X ‡ Z , tenemos que
 # ,X ‡ α  œ ! Í  X # ß α  œ ! , aα − Z Ê X # œ !
entonces
# − KerX • X ‡ Z ¼ § KerX Í X ‡ Z § KerX ¼ Þ
…
71.Sea Z el espacio de las matrices 8 ‚ 8 sobre el cuerpo de los números
complejos, con el producto interno  Eß F  œ >< EF ‡ Þ Sea T una matriz invertible
fija y sea XT el operador lineal sobre Z definido por XT E œ T " ET Þ Determinar el
adjunto de XT Þ
SOLUCIÓN. Haciendo las evaluaciones, recibimos
 XT Eß F  œ  T " ET ß F  œ >< T " ET F ‡ œ >< T " E T F ‡ œ
Å
>< T F ‡ T " E

œ ><ˆˆ T " FT ‡ ‰ E‰ œ ><ˆEˆ T " FT ‡ ‰ ‰ œ  Eß T " FT ‡  œ  Eß XT ‡ F 


>< EF œ >< FE
‡ ‡ ‡ ‡ ‡

Luego XT‡ œ XT ‡ .
…
72.Sea Z un espacio complejo de dimensión finita con producto interno y sea X un
operador lineal sobre Z . Demostrar que X es auto-adjunto si y sólo si X αß α es
real para todo α en Z .
SOLUCIÓN. + Supongamos que X œ X ‡ , tenemos
Darío Sánchez H EPKIFVE PMR IEP 64

 X αß α  œ  αß X ‡ α  œ  αß X α  œ  X αß α  , aα − Z
entonces  X α,α  − ‘ (recuérdese que si D œ D • D − ‚ Ê D − ‘Ñ
, Si  X α,α  − ‘ß aα − Z ß entonces dados α," − Z tenemos
 X α  " ß α  "  œ  X αß α    X " ß "    X αß "    X " ß α  − ‘
entonces
 X αß "    X " ß α  − ‘
Ahora
 X α  3" ß α  3"  − ‘,
Å
αß " − Z Ê α  3 " − Z
pero
 X α  3" ß α  3"  =  X αß α   33  X " ß "   3  X " ß α   3  X αß "  œ
œ  X αß α    X " ß "   3  X " ß α   3  X αß "  − ‘
entonces
3  X " ß α   3  X αß "  − ‘
En virtud de esto tenemos
 X αß "    X " ß α  œ  X αß "    X " ß α  œ  " ß X α    αß X "  M
3  X " ß α   3  X αß "  œ 3  X " ß α   3  X αß "  œ  3  αß X "   3  " ß X α  MM
Haciendo ahora 3 ‚ MM  M tenemos
  X " ß α    X αß "    X αß "    X " ß α  œ
œ  αß X "    " ß X α    " ß X α    αß X " 
entonces
#  X αß "  œ #  αß X "  Ê  X αß "  œ  αß X "  ,
así tenemos que
X ‡" œ X ", a" − Z Ê X œ X *.
…
73.Determinar una matriz unitaria que no sea ortogonal y recíprocamente
determinar una matriz ortogonal que no sea unitaria.
SOLUCIÓN. + Consideremos la matriz E œ ”
! /3) •
" !
ß donde ) Á 5 1 =/8#) Á !

Tomemos E‡ œ ” 3) • entonces


" !
! /
E‡ E œ ” 3) •” 3) • œ ” 3)3) • œ ” ! " • œ M
" ! " ! " ! " !
! / ! / ! /
Luego E es una matriz unitaria, ahora
E> œ ”
! /3) •
" !
y tenemos que

E> E œ ” 3) •” 3) • œ ”
! /#3) •
" ! " ! " !
! / ! /
luego E> E Á M eso indica que E no es ortogonal.
É"È& È#
, Sean + œ È# 
É"È&
3ß , œ "  3, entonces +#  , # œ "  #3  #3 œ "
Darío Sánchez H EPKIFVE PMR IEP 65

Consideremos la matriz E œ ”
, +•
+ ,
y tenemos

E> E œ ” •” • œ” # • œ ”! "• œ M
+ , + , +#  , # +,  ,+ " !
, + , + #
+,  ,+ ,  +
Luego E es ortogonal, ahora
E‡ E œ ” •”  , + • œ ” •œ
+ , + , ++  ,, +,  ,+
, + ,+  +, +#  , #
Ô É"È& È# É"È& È# ×
œÖ È# É"È& È# É"È& ÙÁM
"  3 "3  "3  3
Õ +619 " Ø
Así E no es unitaria.
…
74.Sea Z œ Ömatrices
complejas 8 ‚ 8× con producto interno dado por
 Eß F  œ >< EF ‡ . Para cada Q − Z ß sea XQ el operador lineal definido por
XQ E œ Q E. Mostrar que XQ es unitaria si y sólo si Q es una matriz unitaria.
SOLUCIÓN. Ê )  XQ Eß XQ F  œ  Eß F  œ >< EF ‡ , aEß F − Z "
 XQ Eß XQ F  œ  Q Eß Q F  œ >< Q E Q F ‡ œ >< Q E † F ‡ Q ‡
"
œ >< Q ‡ Q † EF ‡ œ >< EF ‡ Ê Q ‡ Q œ M así Q es unitaria.
É ) Supongamos que Q es unitaria, es decir Q ‡ Q œ M , entonces
 Eß F  œ >< EF ‡ œ >< M † EF ‡ œ >< Q ‡ Q † EF ‡ œ >< EF ‡ † Q ‡ Q œ >< Q EF ‡ Q ‡
œ >< Q E † Q F ‡ œÅ
 Q Eß Q F  œ  XQ Eß XQ F  Ê XQ es unitario.
Hipótesis
…
75.Sea Z el espacio ‘# con el producto interno canónico. Si Y es un operador
unitario sobre Z , mostrar que la matriz de Y en relación a la base ordenada
canónica es

” =/8 ) • ,o, ”
=/8 )  -9= ) •
-9= )  =/8 ) -9= ) =/8 )
-9= )
para algún ), ! Ÿ )  #1. Sea Y) el operador lineal correspondiente a la primera
matriz, esto es, Y) es una rotación de un ángulo ). Ahora es posible convencerse
de que todo operador unitario sobre Z es una rotación o una reflección al eje ""
seguida de una rotación.
+Ñ ¿Qué es Y) Y 9?
,Ñ Mostrar que Y)‡ œ Y)
-Ñ Sea 9 un número real fijo e µ œ Öα" ß α# × la base ortonormal obtenida girando
Ö%" ß %# × un ángulo 9, esto es, α4 œ Y9 %4 . Si ) es otro número real, ¿cuál es la matriz
de Y) en relación a la base ordenada µ?
Darío Sánchez H EPKIFVE PMR IEP 66

SOLUCIÓN. Z œ ‘# , Y À Z Z unitario Y ‡ Y œ M . Como Z es real, Y va a ser


ortogonal, esto es tenemos que hallar Y tal que Y > Y œ M ,o E tal que E> E œ M .
Tomemos E œ ”
, +•
Eœ ”
, +•
+ , + ,
, o donde +#  , # œ ". Entonces existe ) ,
! Ÿ ) Ÿ #1 tal que + œ -9= ), , œ =/8 )ß luego
” =/8 ) • ,o, ”
=/8 )  -9= ) •
-9= )  =/8 ) -9= ) =/8 )
-9= )
Y) /" œ ” • † ” • œ -9= )ß =/8 )
-9= )  =/8 ) "
=/8 ) -9= ) !
Y) /# œ ” • † ” • œ -9= )ß =/8 )
-9= )  =/8 ) !
=/8 ) -9= ) "
donde Y) da una rotación de un ángulo ) con los ejes
Y) /" œ ” • † ” • œ -9= )ß =/8 )
-9= ) =/8 ) "
=/8 ) --9= ) !
Y) /# œ =/8 )ß  -9= )
Luego Y) es la reflección ”
!  "•
" !
en relación a /" y la

rotación ”
-9= ) •
-9= )  =/8 )
œ Y) de donde
=/8 )
Y ) œ ” •” !  "•
-9= )  =/8 ) " !
œ Y ) ‰ Y )
=/8 ) -9= )
+Ñ Y) Y9 œ ”
-9= ) •” =/8 9 -9= 9 •
-9= )  =/8 ) -9= 9  =/8 9
œ
=/8 )
œ”
=/8)-9=9  -9=)=/89  =/8)=/89  -9=)-9=9 •
-9= )-9=9  =/8)=/89  -9=)=/89  =/8)-9=9
œ

œ”
-9= )  9 •
-9= )  9  =/8 )  9
œ Y ) 9
=/8 )  9
,Ñ Y)‡ œ Y) , Y)‡ Y) œ Y) Y)‡ œ M de donde
Y ) Y ) œ Y )  ) œ Y ! œ ”
! "•
" !
œM
-Ñ 9 − ‘ß sea µ œ Öα" ß α# × una base donde α" œ Y9 /" ß α# œ Y 9 /# siendo % œ Ö/" ß /# ×
la base canónica, entonces
ÒY) Óµ œ T " ÒY9 Ó% T , donde ÒY9 Ó% œ ”
-9= 9 •
-9= 9  =/8 9
, ahora
=/8 9
#
α" œ Y9 /" œ -9=9 /"  =/89 /# œ T3" /3
3œ"
#
α# œ Y9 /# œ  =/89 /"  -9=9 /# œ T3# /3
3œ"
Por lo tanto
T œ T34 œ ”
-9= 9 •
y T " œ ”
-9= 9 •
-9=9  =/8 9 -9= 9 =/8 9
=/8 9  =/8 9
…
Darío Sánchez H EPKIFVE PMR IEP 67

76.Sea Z un espacio de dimensión finita con producto interno y sea [ un


subespacio de Z Þ Entonces Z œ [ Š [ ¼ , esto es, cada α en Z puede ser
expresado de una única manera bajo la forma α œ "  # , con " en [ y # en [ ¼ Þ
Definamos un operador lineal Y por Yα œ "  # .
+ Demostrar que Y es auto-adjunto y unitario.
, Si Z es ‘$ con el producto interno canónico y [ es el subespacio generado
por "ß !ß " ß encontrar la matriz de Y en relación a la base ordenada canónica.
SOLUCIÓN. + Notemos que Y " α œ "  # œ Yα pues
Y Yα œ Y "  # œ "   # œ "  # œ α
Sean α" œ ""  #" y α# œ "#  ## , entonces tenemos
 Y α " ß α #  œ  ""  # " ß " #  # #  œ  " " ß " #    # " ß " #    " " ß # # 
  #" ß ##  œ  "" ß " #    # " ß # # 
Å
 "3 ß #3  œ ! •  #3 ß "3  œ !
Análogamente
 α " ß Y α #  œ  ""  # " ß " #  # #  œ  " " ß " #    # " ß # # 
Luego
 Y α" ß α #  œ  α " ß Y α #  Ê Y œ Y ‡
Pero Y œ Y de donde Y ‡ œ Y " y entonces Y ‡ Y œ Y Y ‡ œ M , o sea Y es unitario.
"

, [ œ Ò "ß !ß " Ó œ Ò/"  /$ Ó


[ ¼ œ Ò !ß "ß ! ß "ß !ß  " Ó œ Ò/# ß /"  /$ Ó
α œ B" /"  B# /#  B$ /$ œ -" /"  /$  -# /#  -$ /"  /$
œ - "  - $ /"  - # / #  - "  - $ / $
por lo tanto,
-"  -$ œ B" ß -# œ B# ß -"  -$ œ B$ Ê -" œ B" B # ß -# œ B # ß -$ œ B " 
$ B" B$
# œ B" B
#
$

Entonces
èëëëëëëéëëëëëëê èëëëëëëëëëëéëëëëëëëëëëê
−[ − [¼

α œ Ò # ðóñóò
B" B$
/"  /$ Ó  ðóóóóóóóóóóñóóóóóóóóóóò
B" B#
ÒB# /#  # /"  /$ Ó ,
œ" œ#
así
Yα œ "  # œ B" B /"  /$  B# /#  B" B
ˆ B#"  B$ ‰ ˆ "‰
#
$
#
$
/"  /$ œ
B$ B" B B B B
#  #  # /"  B # / #  #  #  #  # / $ œ B $ / "  B # / #  B " / $
" $ $

Y /" œ /$ ß Y /# œ  / # ß Y /$ œ /"
luego
Ô! ! "×

Õ" !Ø
ÒY Óµ œ ! " !
!
…
77.Sea Z un espacio complejo interno con producto interno y X un operador lineal
auto-adjunto sobre Z . Mostrar que
+ mα  3X αm œ mα  3X αm para todo α en Z Þ
Darío Sánchez H EPKIFVE PMR IEP 68

, α  3X α œ "  3X " ß si y solamente si, α œ " .


- M  3X es no singular.
. M  3X es no singular.
/ Supongamos que Z sea de dimensión finita; demostrar que Y œ M  3X M  3X
es un operador unitario; Y es denominado una transformada de Cayley de X . En
cierto sentido, Y œ 0 > , donde 0 B œ "3B "3B Þ
SOLUCIÓN. + mα  3X αm œ  α  3X αß α  3X α  œ
#

œ  αß α   3  αß X α   3  αß X α   33  X αß X α  œ
œ  αß α   3  αß X α   3  αß X α    X αß X α  œ
œ  αß α    X αß X α  "
#
mα  3X αm œ  α  3X αß α  3X α  œ
œ  αß α   3  αß X α   33  X αß X α   3  αß X α  œ
œ  αß α   3  αß X α   3  αß X α    3 3  X αß X α  œ
œ  αß α    X αß X α  #
De " y # tenemos +
, α  3X α œ "  3X " Ê α  " œ 3X "  3X α œ 3X "  α ß y ß α  "  3X α  " œ !
Por la parte + tenemos
! œ mα  "  3X α  " m# œ  α  "  3X α  " ß α  "  3X α  "  œ
"
œ  α  " ß α  "    3X α  " ß 3X α  "  œ mα  " m#  m3X α  " m# œ
œ mα  " m#  mX α  " m# Í α œ "
- Por , tenemos
α  3X α œ "  3X " Í α œ " por lo tanto α  3X " œ !  3X ! Í α œ ! y entonces M  3X
es no singular (ya que es inyectiva)
+
. m M  3X αm œ mα  3X αm œ mα  3X αm œ m M  3X αm œ ! Í α œ !
Luego M  3X es singular.
/ Notemos que Y ‡ œ Ò M  3X " Ó‡ M  3X ‡ œ M  3X " M  3X y que
œ
M  3X M  3X œ M  X #
Ê M  3X M  3X œ M  3X M  3X
M  3X M  3X œ M  X #
luego
Y ‡ Y œ M  3X " M  3X M  3X M  3X " œ M  3X " M  3X M  3X M  3X " œ MÞ
…
78.Si ) un espacio real, demostrar que las matrices siguientes son unitariamente
equivalente.

” =/8 ) • ” -3) •
-9= )  =/8 ) /3) !
,
-9= ) ! /
SOLUCIÓN. Tenemos G" œ / 3)
G# œ /3)
Ê ”
-9= ) •” C •
-9= )  =/8 ) B
E α œ G" α œ /3) Bß C
=/8 )
Ê B-9= )  C=/8 ) œ /3) B œ -9= ) † B  3=/8 ) † B
B=/8 )  C-9= ) œ /3) C œ -9= ) † C  3=/8 ) † C
Darío Sánchez H EPKIFVE PMR IEP 69

ʜ
 C=/8 ) œ 3B=/8 ) Ê B œ 3C
Ê Z" œ Ò "ß  3 Ó
B =/8 ) œ 3C =/8 ) Ê C œ  3B
E α œ G# α Ê ”
-9= ) •” C •
-9= )  =/8 ) B
œ /3) Bß C
=/8 )
ʜ
B-9= )  C=/8 ) œ B/3) œ B -9= )  3B =/8 )
B =/8 )  C -9=) œ C/3) œ C-9= )  3C =/8)
ʜ
C =/8 ) œ 3B =/8 ) Ê C œ 3B
Ê Z# œ Ò "ß 3 Ó
B =/8 ) œ  3C=/8 ) Ê B œ  3C
entonces T w œ ”
3 3•
" "
como l+l#  l,l# œ " entonces

Ô È# È#
× È#
# ” 3•
" "
Õ Ø
È È#
# #
T œ œ
 3 ## 3 # 3
È# "
# ”"  3•
T ‡ T œ "# ”
3 •” " • œ "# ”
! #•
3 " " " 3 # !
T‡ œ , œM
3 3
luego T es unitaria.
T ‡ ET œ "# ” •” • ”  3 3•
" 3 -9= )  =/8 ) " "
œ
"  3 =/8 ) -9= )
œ "# ”
-9=)  3=/8 )  =/8 )  3-9= ) •”  3 3 •
-9= )  3=/8)  =/8 )  3-9=) " "
œ

œ "# ”
-9=)  3=/8 )  3=/8)  -9=) -9=)  3=/8)  3=/8 )  -9= ) •
-9= )  3=/8)  3=/8)  -9=) -9=)  3=/8)  3=/8 )  -9=)
œ

œ "# ”
# -9=)  3=/8) • ” ! /3) •
# -9=)  3=/8) ! /3) !
œ œF
!
…
79.Sea Z un espacio de dimensión finita con producto interno y X un operador
lineal positivo sobre Z . Sea TX el producto interno sobre Z definido por
TX αß " œ X αß " . Sea Y un operador lineal sobre Z y Y ‡ su adjunto en relación a
ß . Demostrar que Y es unitario en relación al producto interno TX si y solamente
si X œ Y ‡ X Y Þ
SOLUCIÓN. Ê ) Si Y es unitario entonces TX œ  Yα ß Yα  œ TX αß α ß en efecto,
ðóóóóóñóóóóóò
TX  Yα ß Yα  œ  X Yα ß Yα  œ
Å
 Yα ß X Yα  œ  αß Y ‡ X Yα 
ll X /= :9=3>3@9

TX αß α œ  X αß α  œ  αß X α 
Ê  αß X α  œ  αß Y ‡ X Y α  ß aα − Z Ê X œ Y ‡ X Y
É ) Si X œ Y X Y entonces  α,Y X Y α  œ  αß X α  , aα − Y
‡ ‡

o sea
TX  Y αß Y α  œ TX  αß α  , aα − Z
Luego Y es unitario.
…
Darío Sánchez H EPKIFVE PMR IEP 70

80. Sea Z un espacio de dimensión finita con producto interno. Para cada par α, "
en Z . Sea Xαß" el operador lineal sobre Z definido por Xαß" # œ # ß " αÞ Mostrar
que
+ Xα‡ß" œ X"ßα à
, ><+D Xαß" œ αß "
- X α ß" X # ß$ œ X α ß " ß # $
. ¿En que condiciones Xαß" es auto-adjunto?
SOLUCIÓN.
+  Xαß" # ß $  œ   # ß "  αß $  œ  # ß "   αß $  œ  αß $   #ß " 
œ  # ß  αß $  "  œ  # ß  $ ß α  "  œ  # ß X"ßα $ 
Entonces ‡
X α ß" œ X " ßα
, Sea µ œ Ö/" ß /# ß á ß /8 × la base ortogonal con respecto a este producto interno
8
Xαß" /" œ  /" ß "  α œ  /" ß C3 /3  α œ C " αß
3œ"
Xαß" /# œ C# αß á ß Xαß" /8 œ C8 α
8
siendo α= B3 /3

Ô C" B" C 8 B" ×


3œ"

ÖC B C 8 B" Ù
C# B" á
ÒXαß" Óµ œ Ö " # Ù
C# B# á

Õ C B8 C 8 B8 Ø
ã ã ä ã
" C# B8 á
8
><+DÒXαß" Óµ œ C3 B3 œ  αß " 
3œ"
- Xαß" † X#ß$ B œ Xαß"  Bß $  # œ  Bß $  Xαß" # œ  Bß $   #ß "  α "
Xαß "ß# $ B œ  Bß  " ß #  $  α œ  " ß #   Bß $  α œ  Bß $   # ß "  α #
de " y # tenemos la igualdad.
. ? X
Xα‡ß" œ X"ßα œ α ß"
? X # œ  #ß α  "Þ
X α ß" # œ  # ß "  α œ " ßα
luego si α œ " , entonces, Xαß" es autoadjunto.
…
81.Para cada una de las siguientes matrices simétricas reales E, encontrar una
matriz ortogonal real T tal que T > ET sea diagonal.

” " " •, ” # " •, ” =/8 )  -9= ) •


" " " # -9= ) =/8 )

SOLUCIÓN. + E œ ”
" "•
" "

-" œ !ß -# œ #ß α" œ È"# "ß  " ß α# œ È"# "ß "

È# ” "• È# ” " " •


" " " "
T œ "
, T> œ "
"
Darío Sánchez H EPKIFVE PMR IEP 71

T >T œ ”
"•
" !
œ M , de donde T es ortogonal y
!
T > ET œ È"# È"# ”
" •” " " •”  " " • # ” ! % • ” ! # •
" " " " " " ! ! ! !
œ " œ œ HÞ
"
, Eœ”
# "•
" #
œ E> , ÒX Ó% œ E

./> BM  E œ º
 # B  "º
B" #
œ B#  #B  "  % œ B#  #B  $ œ B  $ B  "

X "" œ -" "" Ê ”


# " •” C •
" # B
-" œ  "ß - # œ $, œ  Bß C
luego
œ #B  C œ  C Ê B œ  C
B  #C œ  B

así
"" œ ",  " , α" œ m"""" m œ È"# "ß  "

X "# œ -# "# Ê ”
" •” C •
œ $ Bß C Ê œ
" # B B  #C œ $B
ÊBœC
# #B  C œ $C
de donde
, È#
"# "
"# œ "ß " α# œ m"# m œ "ß "

ÒX Óµ œ ”
$•
" !
Tomando µ œ Öα" ß α# × y entonces œH
!
y para T œ È"# ” • T > œ È"# ”
" •
" " " "
, , tenemos
" " "
T > ET œ "# ”
" •” # " •”  " " • # ” $ $ •”  " " • # ” ! '• ” ! $•
" " " # " " " " " " # ! " !
œ " œ " œ
"
- Eœ”
=/8 )  -9= ) •
-9= ) =/8 )

./> BM  E œ º
 =/8 ) B  -9= ) º
B  -9= )  =/8 )
aquí E œ E> , ÒX Ó% œ Eß
œ B#  -9=# )  =/8# ) œ B#  " œ B  " B  " Ê -" œ "ß -# œ  ".
Ahora
” =/8 )  -9= ) •” C •= Bß C Ê œ =/8 ) † B  -9= ) † C œ C
-9= ) =/8 ) B -9= ) † B  =/8 ) † C œ B

3 Si =/8 ) œ !, tenemos -9= ) œ " y entonces en la segunda ecuación tendríamos


 C œ C Ê C œ ! y entonces "" œ "ß ! œ α"
33 Si =/8 ) Á ! Ê -9= ) Á „ " entonces C œ "-9= =/8 ) ˆnote que "-9= ) =/8) ‰
y
tenemos "" œ ˆ"ß "-9=) ‰ ,
)B =/8) œ "-9=)
=/8 ) "
α" œ m"" m
"

X "# œ -# "# Ê ”
=/8 )  -9= ) •” C •
=  Bß C Ê œ
-9= ) =/8 ) B -9= ) † B  =/8 ) † C œ  B
=/8 ) † B  -9= ) † C œ  C
333 Si =/8) œ ! entonces -9=) œ " y en la primera ecuación tenemos
B œ  B Ê B œ ! en esta forma "# œ !ß " œ α"
3@ Si =/8) Á ! entonces -9= ) Á „ " y entonces C œ -9= =/8)
)"
Darío Sánchez H EPKIFVE PMR IEP 72

ˆnote que =/8)


-9=)" œ  -9=)" ‰
=/8) y entonces "# œ ˆ"ß -9=
=/8) ‰
)" , α# œ
"#
m"# m
Combinando 3 y 333 tenemos µ œ Ö "ß ! ß !ß " × ,o, µ œ Ö !ß " ß "ß ! ×
Considerando 33 y 3@ tenemos µ œ Öα" ß α# × donde α" œ m"""" m ß α# œ m""## m ß siendo
"" œ ˆ"ß "-9=
=/8) ‰
) , "# œ ˆ"ß -9=
=/8) ‰
)" .
…
82.¿ Una matriz simétrica compleja es autoadjunta? ¿Es normal?
SOLUCIÓN. + Una matriz compleja simétrica puede no ser autoadjunta, como en el
siguiente caso de la matriz E œ ”
! 3•
3 !
œ E> y sin embargo

E‡ œ ”
 3•
3 !
ÁE
!
, Una matriz compleja simétrica puede no ser normal pues si tomamos
Eœ” • œ E> y E‡ œ ”
!•
3 " 3 "
tenemos
Ú
" ! "
Ý
Ý E‡ E œ ”  3 " •” 3 " • œ ” #  3 •
Û
" ! " ! 3 "
Ý
Ý EE‡ œ ”
Ê E‡ E Á EE‡
Ü " ! •” " !• ”  3 !•
3 "  3 " # 3
œ
…
Ô" # $×
83.Para E œ # $ % existe una matriz ortogonal real T tal que T > ET œ H sea
Õ$ % &Ø
diagonal. Determinar esta matriz diagonal.
SOLUCIÓN.-Notemos primero que E œ E> Þ Entonces existe T ortogonal tal que
T > ET œ H es diagonal. Sea 0 œ Ö/" ß /# ß /$ × la base canónica para la cual ÒX Ó0 œ E.
Ô -" ! ! ×
Õ ! ! -$ Ø
Hallemos µ œ Öα" ß α# ß α$ × base ortonormal tal que ÒX Óµ œ ! -# !
â â
âB  " $ â
â â
./> BM  E œ â  # B  $  % â œ B  " B  $ B  &  "'  #  # B  &  "#
#
â â
â $  % B  &â
*È"!& *È"!&
$ )$ B$ œ B$  *B#  'B œ B B#  *B  ' œ BŠB  # ‹ŠB  # ‹
Ô! ×
Ö Ù
! !
*È"!&
Luego H œ Ö! ! Ù
Õ! *È"!&
Ø
#
! #
…
84. Sea Z el espacio ‚# con el producto interno canónico. Sea X un espacio
vectorial sobre Z que es representado en relación a la base ordenada canónica por
Darío Sánchez H EPKIFVE PMR IEP 73

la matriz E œ ”
3 "•
" 3
. Mostrar que X es normal y determinar una base ortonormal
de Z constituida de vectores característicos de X Þ
ÒX Ó0 œ ” • œ Eß E‡ œ ”
" •
" 3 " 3
SOLUCIÓN. ,
3 " 3
teniéndose
E‡ E œ ”
" •” 3 " • ” ! # •
" 3 " 3 # !
œ
3
EE‡ œ ” •” • œ”
! #•
" 3 " 3 # !
,
3 " 3 "
entonces E es normal, de donde X es normal.
Hallemos µ œ Öα" ß α# × base ortonormal de ‚# tal que X α3 œ -3 α3 esto es cada α3 es
un vector característico de X .
È
./> BM  E œ º º
B" 3
œ B#  #B  # œ ! entonces B œ #„ #%) œ " „ 3
3 B"
de donde -" œ "  3ß -# œ "  3
X "" œ -" "" Ê ”
3 " •” C •
" 3 B
œ "  3 Bß C
de donde se obtiene el siguiente sistema
œ 3B  C œ C  3C Ê B œ C de donde "" œ "ß " y α" œ m"" m œ È# "ß "
B  3C œ B  3B "" "

X "# œ -# "# Ê ”
3 " •” C •
" 3 B
œ "  3 Bß C ,
por lo tanto
œ 3B  C œ C  3C Ê B œ  C, de donde "# œ "ß  " y α# œ m"# m œ È# "ß  "
B  3C œ B  3B "# "

luego µ œ Ö È"# "ß " ß È"# "ß  " ×Þ


…
85.Sea X un operador normal sobre un espacio complejo de dimensión finita con
producto interno. Demostrar que X es autoadjunto positiva o unitaria según que
todo valor característico de X sea real positivo o de valor absoluto uno.
SOLUCIÓN. + Todo valor característico de X es real, entonces X œ X ‡ .
Como X es normal, existe µ œ Öα" ß á ß α8 × base ortonormal de Z donde cada vector
Ô -" á ! ×
Õ ! á -8 Ø
característico de X o sea ÒX Óµ œ ã ä ã donde cada -3 es un valor

característico de X Þ
Por el resultado % del numeral *" de los resultados básicos, todo vector
característico α3 de X corresponde a un valor característico -3 , es también vector
característico de X‡ correspondiente al valor característico -3
X α3 œ - 3 α3 Ê X α 3 œ - 3 α 3 .

Entonces
Darío Sánchez H EPKIFVE PMR IEP 74

Ô -" á !×

Õ! -8 Ø

ÒX Óµ œ ã ä ã , pero -3 − ‘ Ê - 3 œ -3
á
luego X ‡ œ X .
, -3  ! Ê X es positivo. Falta apenas mostrar que  X αß α   !ß aα − Z
8 8 8 8 8
αœ B3 α3 ß entonces  X αß α  œ  X B3 α3 ß B 4 α4  œ  B 3 X α3 ß B 4 α4  œ
3œ" 3œ" 4œ" 3œ" 4œ"
8 8 8 8 8 8
œ B3 B4  X α3 ß α4  œ B3 B4  - 3 α3 ß α4  œ B3 B3  -3 α3 ß α3  œ -3 lB3 l#  !
3œ" 4œ" 3œ" 4œ" 3œ" 3œ"
pues -3  !.
- Si l-3 l œ " entonces l-3 l# œ ", entonces
Ô - " á ! ×Ô -" á ! × Ô l-" l ! × Ô" á !×
#
á

Õ ! á - 8 ØÕ ! á -8 Ø Õ ! #Ø Õ! á "Ø
ÒX ‡ X Óµ œ ã ä ã ã ä ã œ ã ä ã œ ã ä ã œM
á l-8 l
Luego X es unitario.
…
86.Sea X un operador lineal sobre un espacio de dimensión finita con producto
interno y supongamos que X sea positivo y unitario. Demostrar que X œ MÞ
SOLUCIÓN. Por ser X positivo entonces X es autoadjunto, por el primer enunciado
del numeral *" de los resultados básicos, existe una base µ œ Öα" ß á ß α8 ×
ortonormal tal que X α3 œ -3 α3 entonces
Ô -" á ! ×
Õ ! á -8 Ø
ÒX Óµ œ ã ä ã œ ÒX ‡ Óµ ß pues X œ X ‡ .

Por ser X œ X ‡ unitario tenemos X X ‡ œ X ‡ X œ M y entonces


Ô -" á ! × Ô " á ! ×
#

Õ ! á -# Ø Õ ! á " Ø
ã ä ã œ ã ä ã ß o sea -3# œ " Ê -3 œ „ " , a3Þ
8
Ahora por ser X positivo  X α3 ß α3   !, a3, o sea
 -3 α3 ß α3   ! ß 0, -3  α3 ß α3  œ -3 † "  !.
Entonces -3 œ ", a3, luego
Ô" á !×
Õ! á "Ø
ÒX Óµ œ ã ä ã

y entonces X œ M .
…
87.Dar un ejemplo de una matriz # ‚ # E tal que E# sea normal pero E no sea
normal.
SOLUCIÓN.

Eœ” • E œ” • œ”
! •
¼
! ! ‡ ! ! ! 3
ß
3 ! 3 ! !
Darío Sánchez H EPKIFVE PMR IEP 75

E‡ E œ ” •” • œ”
! !•
! 3 ! ! " !
! ! 3 !
EE‡ œ ”
3 ! •” ! ! • ”! "•
! ! ! 3 ! !
œ
entonces EE‡ Á E‡ E y en esta forma E no es normal.
Ahora
E# œ ”
!•
œ”
!•
! ! ‡ ! !
Ê E#
! !
En esta forma
‡ ‡
E# E# œ E# E#
Luego E# es normal.
…
88.Demostrar que X es normal si y solamente si X œ X"  3X# donde X" y X# son
operadores autoadjuntos que conmutan.
SOLUCIÓN.
X ‡ X œ X"  3X# ‡ X"  3X# œ X"‡  3X#‡ X"  3X# œ X"‡ X"  3X#‡ X"  3X# X"‡  X#‡ X# œ
œ X"#  3X# X"  3X" X#  X## œ X"#  X## .
X X ‡ œ X"  3X# X"  3X# ‡ œ X"  3X# X"‡  3X#‡ œ X" X"‡  3X# X"‡  3X#‡ X"  X# X#‡ œ
œ X"#  3X# X"  3X# X"  X## œ X"#  X## .
Luego X ‡ X œ X X ‡ y X es normal.
Escribimos ahora X œ X"  3X# , donde X" œ "# X  X ‡ , X# œ #3" X  X ‡
Tenemos
X"‡ œ "# X ‡  X œ X"
X#‡ œ  #3"  X  X ‡ œ #3" X  X ‡ œ X#
luego X" y X# son autoadjuntos.
X" X# œ %3" X  X ‡ X  X ‡ œ %3" ˆX #  X ‡ X  X X ‡  X ‡ # ‰ œ %3" ˆX #  X ‡ # ‰
X# X" œ %3" X  X ‡ X  X ‡ œ %3" ˆX #  X X ‡  X ‡ X  X ‡ # ‰ œ %3" ˆX #  X ‡ # ‰
En esta forma X" y X# conmutan.
…
89.Demostrar que una matriz simétrica real posee una raíz cúbica simétrica real;
esto es, si E es simétrica real, existe una matriz F simétrica real tal que F $ œ EÞ
SOLUCIÓN. Por el numeral *"Þde los resultados básicos, tenemos que existe una
matriz real T unitaria T > T œ M tal que
Ô -" á ! ×
Õ ! á -8 Ø
T > ET œ ã ä ã œ diagonal, donde -3 − ‘Þ

Entonces
"
E œ T > HT " "
Tomemos
Darío Sánchez H EPKIFVE PMR IEP 76

ÔÈ ! ×
Ö ã Ù Ê I$ œ H
$
-" á

Õ ! È -8 Ø
Iœ ã ä #
á $

Tómese F œ T > IT " , entonces


"
" " " " "
F # œ T > IT " T > IT " œ T > I T > T IT " œ T > I # T "
Ahora
" # " "
F $ œ T > I $ T " œ T > HT " œ E
…
90.Demostrar que toda matriz positiva es el cuadrado de una matriz positiva.
SOLUCIÓN. Si E es positiva, entonces E œ E‡ y resulta normal. Entonces estudiando
el numeral *" de los resultados básicos se sigue la existencia de una matriz
Ô -" á !×

Õ! á -8 Ø
unitaria T ‡ tal que T ‡ ET œ H œ ã ä ã œ diagonal.

Ahora
E œ E‡
H œ T ET œ T E T œ T ‡ ET œ H Ê - 3 œ -3 ,
‡ ‡ ‡ ‡ ‡ Å
a3
y entonces -3 − ‘, a3Þ
Pero si E es positiva, H también es positiva, dado que si α Á ! entonces T α Á ! así
Tα Á !
Æ
 Hαß α  œ  T ET αß α  œ  ET αß T α   !.

Luego
Ô -" á ! ×Ô B" × Ô B" × Ô -" B" × Ô B" × 8

Õ ! á -8 ØÕ B8 Ø Õ B8 Ø Õ -8 B8 Ø Õ B8 Ø
 ã ä ã ã ß ã  œ  ã ß ã  œ - 3 B3 B3  !
3œ"

para todo B" ß á ß B8 − ‚8 con algún B3 Á !. Tenemos !ß á ß "ß á ß ! − ‚8 y entonces


-3 " † "  ! de donde -3  !, a3 . Luego È-3 existe y entonces tenemos la matriz
Ô È -" á ! ×
Ö ã Ù Ê I# œ H y tomando F œ T > IT " tenemos
"

Õ ! á È -8 Ø
Iœ ã ä

F # œ T > I # T " œ T > HT " œ E.


" "

F es positiva puesto que T > FT œ I es positiva.


…
91ÞDemostrar que si un operador es normal y nilpotente entonces es el operador
nulo.
Darío Sánchez H EPKIFVE PMR IEP 77

SOLUCIÓN. Como X es normal entonces existe una base µ={α" ß á ß α8 } ortonormal


Ô -" á ! ×
Õ ! á -8 Ø
donde X α3 œ -3 α3 y ÒX Óµ œ ã ä ã . Si X es nilpotente entonces X 8 œ ! y

Ô -" á ! ×
8

Õ ! á -8 Ø
también H8 œ !ß o sea ã ä ã œ ! Ê -38 œ !a3, de donde -3 œ ! a3 ß
8
así
ÒX Óµ œ ! Í X œ !.
…
92ÞSi X es un operador normal, demostrar que los vectores característicos de X
asociados a valores característicos distintos son ortogonales.

œ X " œ - " con -3 Á -4 . Si X es normal entonces existe una base


X α œ -3 α
SOLUCIÓN.

Ô -" á ! ×
4

Õ ! á -8 Ø
ortonormal µ tal que ÒX Óµ œ H œ ã ä ã .

Si α Á !ß " Á ! y X -3 M α œ ! respectivamente X -4 M " œ ! ,


α − Ker X  -3 M œ  α3 
respectivamente " − Ker X  -4 M œ  α4  Í α œ -3 α3
respectivamente " œ -4 α4 y entonces
 α,"  œ  -3 α3 ß -4 α4  œ -3 -4  α3 ß α4  œ !.
…
93Þ Sea X un operador normal sobre un espacio complejo de dimensión finita con
producto interno. Demostrar que existe un polinomio 0 , con coeficientes
complejos, tales que X ‡ œ 0 X .
SOLUCIÓN. Como X es normal, existe una base µ œ Öα" ß á ß α8 × ortonormal tal que
Ô -" á ! ×
Õ ! á -8 Ø
ÒX Óµ œ ã ä ã , donde, X α3 œ -3 α3 y X ‡ α3 œ - 3 α3

Supóngase que 0 œ +!  +" B  â  +5 B5 y que además


0 X œ +! M  + " X  â  + 5 X 5 œ X ‡ Þ
Entonces debemos tener 0 X α3 œ X ‡ α3 ,
o sea
+ ! α3  + " X α 3  â  + 5 X 5 α 3 œ - 3 α 3
y entonces
+! α3  +" -3 α3  â  +5 -35 α3 œ - 3 α3 Í ˆ+!  +" -3  â  +5 -35 ‰α3 œ - 3 α3 ß a α3 − µ ,
de donde
+!  +" -3  â  +5 -35 œ - 3 ß 3 œ "ß #ß á ß 8.
8
Luego 0 œ 03 donde 03 -3 œ - 3 y 03 -4 œ ! ß 3 Á 4.
3œ"
Darío Sánchez H EPKIFVE PMR IEP 78

- 3 œ # -3 -44 - 3 y 0 œ
s 3 â B-8 8
Por consiguiente 03 œ B-" â B- B-
s 3 â -3 -8 03
-3 -" â -3 -
4Á3 3œ"
Comprobación:
8 8
0 X α4 œ 0 3 X α4 œ 0 3 - 4 α4 œ 0 4 - 4 α4 œ - 4 α 4 œ X ‡ α 4
3œ" 3œ"
Luego X‡ œ 0 X .
…
94.Si dos operadores normales conmutan, demostrar que su producto es normal.
SOLUCIÓN. Lema: Si Y X œ X Y y Y , X son normales, entonces X ‡ Y œ Y X ‡ y
Y ‡X œ X Y ‡Þ
Por el resultado anterior tenemos X ‡ œ 0 X ß Y ‡ œ 1 Y , entonces
X ‡Y œ 0 X Y œ Y 0 X œ Y X ‡
Y ‡X œ 1 Y X œ X 1 Y œ X Y ‡
Entonces
X ‡X œ X X ‡ P/7+ P/7+ Y ‡Y œ Y Y ‡
‡ Æ Æ ‡ Æ ‡ Æ ‡
X Y X Y œ Y X X Y œ Y X X Y œ Y X Y X œ X Y Y X œ X Y Y ‡X ‡ œ X Y X Y
‡ ‡ ‡ ‡ ‡ ‡

Luego X Y es normal. En forma análoga Y X resulta normal.


…
95.Sea Z un espacio de dimensión finita con producto interno. Si X y Y son
operadores positivos sobre Z , entonces X  Y es también un operador positivo.
Dar un ejemplo en el cual se muestre que X Y no necesariamente es positivo.
SOLUCIÓN. + Por hipótesis X ‡ œ X y Y ‡ œ Y , sea α Á ! entonces,
 X  Y αß α  œ  X α  Y αß α  œ  X αß α    Y αß α   !

Ú
Además X  Y ‡ œ X ‡  Y ‡ œ X  Y
Ý
ÝX œ ”# #• Ê X‡ œ X
, Sea Û
# #
Ý
ß pero X Y ‡ œ Y ‡ X ‡ œ Y X Á X Y
ÝY œ ” "
Ü  3 "•
3
Ê Y‡ œ Y
además X Y no es positivo.
…
96.La suma de dos operadores normales puede no ser normal.
SOLUCIÓN. Tomemos X Bß C œ Bß ! y Y Bß C œ  Cß B ß entonces X y Y son
normalesß pues
œ X !ß " œ !ß ! œ ! † "ß !  ! † !ß " Ê ÒX Óµ œ ”
! !•
X "ß ! œ "ß ! œ " † "ß !  ! † !ß " " !
œ ÒX ‡ Óµ

Además X ‡ X œ X X ‡ œ ”
! !•
" !

œ Y !ß " œ  "ß ! œ  " † "ß !  ! † !ß " Ê ÒY Óµ œ ” • y ÒY ‡ Óµ œ ”


" !•
Y "ß ! œ !ß " œ ! † "ß !  " † !ß " ! " ! "
" !
teniéndose
Darío Sánchez H EPKIFVE PMR IEP 79

Y ‡Y œ ” •” • œ” • , y , YY‡ œ ” •” • œ”
! "•
! " ! " " ! ! " ! " " !
" ! " ! ! " " ! " !
así Y Y œ Y Y .
‡ ‡

Ahora
X Y œ” • X Y ‡ œ”
 " !•
" " " "
, y,
" !
X Y X Y ‡ œ”
! •”  " ! • ” " " •
" " " " # "
œ
"
X Y ‡ X Y œ” •” • œ”
" •
" " " " # "
" ! " ! "
Se sigue entonces que X  Y no es normal.
…
97.Sea Z un espacio con producto interno. Una proyección I sobre Z se dice
perpendicular si y solamente si V I y R I son subespacios ortogonales.
Demostrar que I es perpendicular si y sólo si I œ I ‡
SOLUCIÓN. É Ñ α − V I ß " − R I Ê I α œ α
 αß "  œ  I αß "  œ  αß I ‡ "  œ  αß I "  œ  αß !  œ !
Ê Ñ  I αß "  œ  I αß I "  M  I "  œ  I αß I "  œ  αß I "  Ê I œ I ‡Þ
…
Ô" ! !×
98.Dada la matriz E œ " " ! Þ Mostrar que existe F tal que F# œ EÞ
Õ! " "Ø
SOLUCIÓN.
Ô" ! !× Ô" ! !× Ô! ! !×
Õ! " "Ø Õ! ! "Ø Õ! " !Ø
E œ " " ! œ ! " !  " ! ! œ M  R donde R es nilpotente, entonces

Ô " ! !×

Õ "Ø
" " #
F œ M  #R  )R œ " ! ! ß yß F # œ E.
" "
) #
…
99.Cuales de las siguientes afirmaciones son verdaderas y cuáles falsas, justifique
sucintamente las respuestas falsas.
+ En un espacio vectorial complejo de dimensión finita con producto interno los
operadores diagonalizables coinciden con los operadores normales.
, En un espacio vectorial complejo de dimensión finita con producto interno, sea
X un operador lineal en Z y µ una base de Z . Entonces ÒX ‡ Óµ œ ÒX Ó‡µ .
- En un espacio vectorial complejo de dimensión finita y X ß W dos operadores
lineales en Z . Entonces X y W son semejantes si y sólo si tienen los mismos
polinomios característicos y mínimos.
Darío Sánchez H EPKIFVE PMR IEP 80

. En un espacio vectorial complejo de dimensión finita con producto internoß Un


operador lineal Z en Z es normal si y sólo si X œ : X ‡ , donde : es el polinomio
minimal.
/ En un espacio vectorial complejo de dimensión finita con producto interno, dos
operadores normales X y W conmutan si y sólo si existen un tercer operador
normal Y y dos polinomios > y = tales que X œ > Y ß W œ = Y
SOLUCIÓN. + Falso - Pueden existir operadores lineales diagonalizables según
bases ortonormales lo cual ocasiona que ellos no sean normales. Por ejemplo sea
Z œ ‚# con el producto interno canónico y con la base µ œ Ö "ß ! ß "ß " ×. Sean [ ß ^
los subespacios generados por "ß ! y "ß " respectivamente, sea I la proyección
sobre [ de ^ . I no es proyección ortogonal luego es no normal y además
Iµ œ ”
! !•
" !
o sea I es diagonal.
, Falso - La igualdad sólo es válida para bases ortogonales.
- Falso - Dos operadores X y W pueden tener los mismos polinomios
característicos y minimal, no obstante presentan formas canónicas de Jordan
diferentes. Por ejemplo sean X y Y operadores lineales tales que sus formas
canónicas de Jordan son
Ô ” -" ! • × Ô ” -" ! • ×
Ö " -" Ù Ö " -" Ù
ÒX Óµ œ Ö Ù, y, ÒY Óµ œ Ö Ù
! !

Õ ” ! - •Ø Õ ” " - •Ø
-" ! -" !
! !
" "
Teniéndose que
:96Þ-+<+->ÞX œ B  -" % y :96Þ738ÞX œ B  -" #
:96Þ-+<+->ÞY œ B  -" % y :96Þ738ÞY œ B  -" #
X y Y no son semejantes por presentar formas canónicas de Jordan distintas sin
embargo tienen los mismos polinomios característicos y minimales.
. Verdadero lea los resultados básicos numeral *"Þ
/ Verdadero lea los resultados básicos numeral *"Þ
…
100.Sea X un operador lineal en un espacio vectorial Z de dimensión finita sobre
un cuerpo J algebraicamente cerrado. En este caso su polinomio característico se
escribe 0 B œ B  -" ." â B  -5 .5 con -" ß á -5 distintos, pertenecientes a J y
."  .#  â  .5 œ .37Z . Entonces el número de bloques elementales de dimensión
< con -3 en la diagonal de su forma de Jordan y dado por
3
7< œ #.37a Ò X  -3 M < Ó  .37a Ò X  -3 M <" Ó  .37Ò X  -3 M <"
Óß < œ "ß #ß á
donde a W œ /=:+-39 8?69 núcleo ./ WÞ
SOLUCIÓN. El polinomio mínimo de X es de la forma
: œ B  -" <" â B  -5 <5 ß " Ÿ <3 Ÿ .3
Darío Sánchez H EPKIFVE PMR IEP 81

Sabemos que X œ X" Š â Š X5 , por su descomposición racional y que


:96Þ-+<+->ÞX3 œ B  -3 .3 Þ De esto resulta que a Ò X  -3 M 7 Ó œ a Ò X3  -3 M 7 Ó, para
cualquier 7   ". Sea R3 œ X3 -3 M y µ3 la base en la cual R3 esta en la forma de
Jordan:
Ô Ô! ! á ! !× ×
Ö Ö" ! á ! !Ù Ù
Ö Ö Ù Ù
Ö ã ã ä ã ã Ù
Ö Õ Ù
á !
Ö ðóóóóóóóóóñóóóóóóóóóòØ Ù
Ö Ù
Ö Ù
! ! á " !
Ö Ù
ÒR3 Óµ3 œ Ö Ù 5"   5 #   â
Ö Ù
5"
Ö Ô × Ù
Ö" ! á ! !Ù
! ! á ! !
Ö Ö Ù ! Ù
Ö Ù
Ö Ù
ã
Ö Õ Ø Ù
ã ã ä ã ã
Ö ðóóóóóóóóóñóóóóóóóóóò
! ! á " ! Ù
Õ ! 5# äØ
Es inmediato que el rango de ÒR3 Óµ3 es igual a una dimensión menos el número de
bloques elementales (ya que cada bloque elemental contiene una matriz identidad
de orden 54  " y ninguna otra de rango superior, donde 54 es su dimensión). En
otras palabras la nulidad de ÒR3 Óµ3 es igual al número de columnas constituídas por
ceros. Elevando R3 al rango de cada bloque de dimensión   # aportará una nueva
columna, y así sucesivamente. En general podemos escribir:
." œ .37a Ò X3 -3 M Ó œ 89 de bloques elementales en ÒR3 Óµ3
.# œ .37 a Ò X3 -3 M # Ó œ ."  89 de bloques elementales en ÒR3 Óµ3 .
ã ã
.< œ a Ò X3 -3 M < Ó œ .<"  89 de bloques elementales en ÒR3 Óµ3
Tomando 83 œ 89 de bloques de dimensión   3
73 œ 89 de bloques de dimensión œ 3
tenemos entonces
." œ 8 " y 8 " œ 7"  7 #  7 $  â
.# œ . "  8 # y 8 # œ 7#  7 $  â
ã ã
.< œ .<"  8< y 8 < œ 7<
De aquí resulta: 8" œ ." y 7" œ 8"  8#
8# œ .#  ." y 7# œ 8 #  8 $
ã ã ã
8< œ .<  .<" y 7< œ 8<  8<"
Por lo tanto 7< œ #.<  .<"  .< , < #
Tomando .! œ !, por definición, la expresión resulta valida para <   "
De esto resulta la expresión final, dada por
3
7< œ #.37a Ò X  -3 M < Ó  .37a Ò X  -3 M <" Ó  .37Ò X  -3 M <" Ó < œ "ß #ß á
…

APENDICE
Darío Sánchez H EPKIFVE PMR IEP 82

ESPACIO DUAL
Una función 0 À Z ‘, a valores escalares, definida en un espacio vectorial
satisfaciendo las condiciones
0 ?@ œ0 ? 0 @ , ?ß @ − Z
0 α ? œ α0 ? , ?−Zß y α−‘
un escalar es denominada funcional lineal o forma lineal sobre el espacio
vectorial Z .
Llamamos Z ‡ al conjunto de las funciones lineales sobre el espacio vectorial Z .
Es fácil verificar que si 0 ß 1 − Z ‡ y α es un escalar, entonces 0  1 − Z ‡ ß α0 − Z ‡
donde
0 1 ? œ0 ? 1 ?
α 0 ? œ α0 ?
Con estas operaciones, Z constituye un espacio vectorial denominado espacio

dual de Z . De la misma manera que los elementos de un espacio vectorial Z son


llamados vectores contravariantes, los elementos de Z ‡ son llamados vectores
covariantes.
Sea µ œ Ö/" ß /# ß á ß /8 × una base del espacio vectorial Z . Una funcional lineal 0 − Z ‡
queda determinada cuando conocemos los 8 números:
0 /" œ α" ß 0 /# œ α# ß á ß 0 /8 œ α8 .
8
De hecho, si @ œ 03 /3 entonces
3œ"

0 @ œ 0Œ
8 8 8
0 3 /3 œ 0 3 0 /3 œ 0 3 α3 .
3œ" 3œ" 3œ"
Por otro lado en una base µ œ Ö/" ß /# ß á ß /8 × de Z dada una 8  ?:6+ arbitraria de
números α" ß á ß α8 determina una funcional 0 a saber, el funcional definido por
8
0 @ œ 0 3 α3
3œ"
donde los 03 son las coordenadas del vector @ en la base µ.
A cada base µ œ Ö/" ß /# ß á ß /8 × del espacio Z corresponde una base
µ‡ œ Ö/" ß /# ß á ß /8 × del espacio dual Z ‡ , llamada base dual de µ, así definida: si
8
@œ 03 /3 entonces
3œ"
/3 @ œ 0 3 3 œ "ß #ß á ß 8
esto es, / es el funcional lineal que al vector @ asocia su 3  é=37+ coordenada en
3

la base µ. Debemos demostrar que µ‡ es, en efecto, una base. El sistema


8
µ‡ œ Ö/" ß /# ß á ß /8 × es linealmente independiente, pues -3 / 3 œ ! significa
3œ"

Œ
8 8
-3 / 3 @ œ -3 /3 @ œ !, cualesquiera que sea el vector @ − Z Þ Haciendo
3œ" 3œ"
8
sucesivamente @ œ /4 ß 4 œ "ß á ß 8, obtenemos -3 /3 /4 œ !ß 4 œ "ß á ß 8, y como
3œ"
3Á4
Darío Sánchez H EPKIFVE PMR IEP 83

/3 /4 œ œ
"ß =3 3 œ 4
!ß =3 3 Á 4
La suma del primer miembro se reduce a -4 , por lo tanto -4 œ !ß 4 œ "ß á ß 8. Se
sigue que todo funcional lineal 0 es combinación lineal de los elementos de µ‡ ,
pues de 0 @ œ 0 Œ
8 8
0 3 /3 œ 03 0 /3 ß como 03 œ /3 @ ,y, 0 /3 œ α3 ß obtenemos
3œ" 3œ"

α3 / 3 @ œ Œ
8 8 8
0 @ œ α3 / 3 @ , esto es, 0œ α3 /3 ß lo que demuestra totalmente
3œ" 3œ" 3œ"
nuestra afirmación.
EJEMPLO: Sea E un abierto de ‘8 y 0 una función real diferenciable, definida en E.
La forma más conveniente de definir la diferencial de 0 en el punto : − E es como
una funcional lineal sobre el espacio vectorial ‘8 . Es lo que hacemos en seguida, la
derivada `0
`@ : de la función 0 , en el punto :, relativamente a un vector @ − ‘ es
8

definida cuando el siguiente límite existe:


lim 0 :>@> 0 :
>Ä∞
si @ œ α" ß á ß α , se demuestra facilmente, usando la regla de derivación de las
8

funciones compuestas que


`0 `0 3
`@ : œ `B3 : α
3
Usándose esta última expresión, es fácil verificar que `0
`@ : goza de las siguientes
propiedades:
`0
"Ñ ` @A : œ `0 `0
`@ :  `A : ß @ß A − ‘8
#Ñ ` `0 `0
-@ : œ - `@ : ß @ − ‘
8
y - escalar.
Así, dados : y 0 , una función @ `@ : , de ‘ en ‘ es una funcional lineal. Esto es,
`0 8

por definición, la diferecial de 0 en el punto :ß la cual se indica por .0: . De esta


manera, .0: aplicada en el vector @ œ α" ß á ß α8 toma los valores
`B3 : α , esto es, .0: @ œ `B3 α .
`0 `0 3 `0 3
`@ : œ
3 3
Como sabemos, el espacio ‘ posee una base canónica formada por los vectores
8

/" œ "ß !ß á ß ! ß á ß /8 œ !ß !ß á ß " Þ Las funciones coordenadas B3 À E ‘, que


asocian a cada punto ; − E su 3  é=37+ coordenada B3 ; , forman las diferenciales
lineales .B" ß á ß .B8 ß las cuales, en el punto ; − Eß son como ya vimos funcionales
lineales o sea .B4 − ‘8 ‡ Þ Afirmamos que .B" ß á ß .B8 es una base dual de la base
canónica Ö/" ß á ß /8 ×Þ En efecto, si @ œ α" ß α# ß á ß α8 vemos que
`B3 α ß 4 œ "ß á ß 8,
4
.B4 @ œ `B 3
3

`B3 œ œ !ß si 3 Á 4 , obtenemos que .B @ œ α , por lo tanto Ö.B ß á ß .B ×


"ß si 3 œ 4
como `B
4
4 4 " 8

constituyen una base dual de la base Ö/" ß á ß /8 × como queríamos demostrar. La


expresión conocida
`0 3
.0: œ `B 3 : .B
3
Darío Sánchez H EPKIFVE PMR IEP 84

que expresa la diferencial de una función 0 como combinación lineal de los .B3 ,
puede ser obtenida sustituyéndose en .0: œ `B `0
3 : α , α
3 3
por su valor .B3 @ ß
3
3 œ "ß á ß 8. En efecto, procediendo así, obtenemos .0: @ œ `0
`B3 : .B3 @ para cada
3
vector @ − ‘ , lo que significa .0: œ `0
`B3 : .B .
3
3
Como una base µ y su dual µ‡ tiene el mismo número de elementos, la dimensión
del espacio dual de un espacio vectorial Z es igual a la dimensión de Z ß por lo
tanto Z y Z ‡ son isomorfos. Si µ œ Ö/" ß /# ß á ß /8 × y µ‡ œ Ö/" ß /# ß á ß /8 × es la base
8
dual de µ, la aplicación Xµ À Z Z ‡ que al vector @ œ α3 /3 el cual depende de la
3œ"
8
base Ö/" ß /# ß á ß /8 ×, asocia la funcional Xµ @ œ 3 3
α/ es un isomorfismo que
3œ"
depende de la base Ö/" ß /# ß á ß /8 × pues si tomamos otra base ¹ œ Ö0" ß 0# ß á ß 08 × la
aplicación X¹ À Z Z ‡ definida de manera análoga a X , será también un
isomorfismo, más no necesariamente el mismo. No nos es siempre posible
construir un isomorfismo canónico entre Z y Z ‡ , y por lo tanto no debemos
identificarlos. Pero es posible identificar Z con Z ‡‡ como mostraremos a
continuación:
AFIRMACION: Existe un isomorfismo canónico ¼ entre Z y Z ‡‡ Þ
En efecto, podemos definir la trasformación lineal ¼ así: si @ − Z ß ¼ @ es la
funcional que asocia a cada : − Z ‡ el escalar : @ esto es, ¼ @ : œ : @ Þ La
aplicación es biunívoca, esto es ¼ @ œ ! Ê @ œ !. En efecto, ¼ @ œ ! significa que
¼ @ : œ : @ œ ! cualquiera que sea : − Z ‡ . Sea µ=Ö/" ß /# ß á ß /8 × una base de Z y
8 8
supóngase que @ œ α3 /3 . Entonces : @ œ α3 : /3 œ ! cualquiera que sea : − Z ‡ Þ
3œ" 3œ"
Considerando la base dual µ œ Ö/ ß / ß á ß /8 × y tomando sucesivamente
‡ " #

: œ /" ß : œ /# ß á ß : œ /8 ß obtenemos que α" œ !ß α# œ !ß á ß α8 œ ! de donde @ œ !.


Como Z y Z ‡‡ tienen la misma dimensión se sigue que ¼ es un isomorfismo
(porque Z y Z ‡‡ son de dimensión finita).
El lector podrá observar fácilmente que la definición de ¼ no envuelve ninguna
elección arbitraria, por lo tanto ¼ es un isomorfismo canónico.
OBSERVACION: Solamente para espacios de dimensión finita existe el isomorfismo
entre Z y Z ‡‡ . Esto se expresa diciendo que tales espacios son reflexivos. Cuando
la dimensión de Z es infinita dada una base µ=Ö/α × de Z , el conjunto µ‡ œ Ö/α ×
definida de manera análoga es formada por funcionales /‡ linealmente
independientes, más nunca generan Z ‡ . Luego no es una base para Z ‡ Þ Así la
aplicación lineal ¼:Z Z ‡‡ es siempre biunívoca pero no es sobre Z ‡‡ a menos que
la dimensión de Z sea finita como en la afirmación. En esta forma solamente los
espacios de dimensión finita gozan de la propiedad de ser reflexivos. El lector
podra encontrar en el análisis funcional la aplicación de que ciertos espacios de
dimensión infinita que son reflexivos, mas es bueno tener en mente que allí tales
espacios poseen topología, y las funciones lineales consideradas son apenas
Darío Sánchez H EPKIFVE PMR IEP 85

continuas. En el caso puramente algebraico el cardinal de una base de Z ‡‡ , cuando


es infinito es siempre mayor que el número cardinal de una base de Z , esto es
.37Z ‡‡  .37Z .

BIBLIOGRAFIA

- Birkhoff & MacLane, Algebra Moderna, Editorial Teide, Barcelona, 1960.


- Bourbaki, N., Théorie des ensembles, Fascicule de Résultats, Hermann,
París, 1958.
- Carakushansky, Mina S. & La Penha, G., Algebra Lineal, McGraw-Hill,
Book Company, Bogotá, 1980.
- Grossman, S.I., Algebra Lineal, Grupo Ed. Iberoamérica, 1983.
- Halmos, P.R., Teoría Intuitiva de Conjuntos, Cecsa, México D.F., 1965.
- Herstein, I.N., Topics in Algebra, Blaisdell Pub., London, 1964.
- Hoffmann & Kunze, Álgebra Linear, Editora Polígono, Sao Paulo, 1971.
- Kaplan, W. & Lewis, D.J., Calculus and Linear Algebra, Wiley Int.Ed. 1970.
- Lang, S., Algebra Lineal, Fondo Ed. Interamericano, Sao Paulo, 1975.
- Mostow, Sampson & Meyer, Fundamental Structures of Algebra, McGraw
-Hill Book Company, N.Y., 1963.
- Muñoz, J.M., Introducción a la Teoría de Conjuntos, 4a. Ed., U.N., 2002.
- Suppes, P., Teoría Axiomática de Conjuntos, Editorial Norma, Cali,
Colombia, 1968.

D‘’LLƒ

Espero que el lector haya obtenido algún provecho de este trabajo en el


aprendizaje del Álgebra Lineal con operadores .

Quiero agradecer a mi hijo Juan Armando quien ha sido un animador permanente de este proyecto de aprendizaje en
matemática avanzada y que sin él, habría sido imposible realizarlo. También a mi esposa Nohora quien leyó todos los
originales y cuidó del buen manejo del lenguaje español. A la ingeniera Esperanza Nieto quien gentilmente ha leído gran
número de los temas que han salido al ciberespacio.
Exitos y bienvenidos a la investigación por internet. Cualquier comentario favor
hacerlo llegar a:

danojuanos@hotmail.com,
Darío Sánchez H EPKIFVE PMR IEP 86

danojuanos@tutopia.com

Copyright© Darío Sánchez Hernández