Professional Documents
Culture Documents
.
Algebra Lineal
Jos Daro Snchez Hernndez
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 continuacin encontrar ms de
cien resultados bsicos, entre los cuales se hallan definiciones, teoremas, corolarios y algunos ejemplos, es
posible que encuentre la manera de volver a redactar algunos, entonces hgalo de forma que los pueda
recordar despus. Para las demostraciones es indispensable el uso de una biblioteca con un buen nmero
de textos de Algebra Lineal, en esta forma el estudiante utiliza tcticas de investigacin y emplea la
biblioteca. Luego encontrar resultados en donde se ha dado una posible demostracin, la cual se supone
es correcta, sin descartar la posibilidad de que haya algunos errores, el lector deber revisarlas analizando
cual de los resultados bsicos se han utilizado en la prueba.
1. RESULTADOS BASICOS
1.Un ANILLO es un conjunto , junto con dos operaciones y O B C B C ( )
( ) B C BC, las cuales satisfacen los siguientes axiomas:
E" O B C B C O es un grupo conmutativo bajo la operacin ( es un grupo ( ) ( )
conmutativo bajo la adicin).
E# BC D B CD es multiplicativamente asociativo . ( ) ( )( )
E$ B C D BC BD C D B CB DBse tienen las dos leyes distributivas). ( ) ( )
B C O O Si BC CB para todo , en se dice que el anillo es conmutativo.
Si existe un elemento en tal que para todo se dice un " O "B B" B B O
anillo con unidad identidad y a se le llama de " O
2.Sea un anillo con elemento unidad, un nmero entero y sea una funcin O 8 H
que asocia a cada -matriz sobre , un escalar en . Se dice que 8 8 E O H E O ( )
H 8 3 " 3 8 H 3 es " -lineal " si para cada , , es una funcin lineal en la -sima fila
cuando las otras filas se dejan fijas. ( ) 8 "
3.Una combinacin lineal de funciones -lineales, es -lineal. 8 8
4.Sea una funcin lineal. Decimos que es si las siguientes H 8 H alternada
condiciones son equivalentes:
EP" H E ! E siempre que , tenga dos filas iguales ( )
EP# E E Si es una matriz obtenida de por intercambiar dos filas, entonces
w
H E H E ( ) ( )
w
Daro Snchez H 2 EPKIFVE PMRIEP
5.Sea un anillo con elemento unidad, un nmero entero y sea una funcin O 8 H
que asocia a cada -matriz sobre , un escalar en . Se dice que 8 8 E O H E O ( )
H H 8 H M " es una si es -lineal, alternada y fun in determinante c ( )
6. Sea una funcin -lineal con la propiedad de que para toda matriz H # H E ! E ( )
# # O H sobre teniendo dos filas iguales. Entonces es alternada.
7. Sea una funcin -lineal en las matrices sobre . Supngase que tiene H 8 8 8 O H
la propiedad de que siempre que dos filas adyacentes de son iguales. H E ! E ( )
Entonces es alternada. H
8.Si y es una matriz sobre , denotemos por la matriz 8 " E 8 8 O E 3l4 ( )
( ) ( ) 8 " 8 " 3 4 E obtenida suprimiendo la -sima fila y la -sima columna de . Si
H 8 " E 8 8
34
es una funcin -lineal y es una matriz , se denota ( )
H E HE 3l4
34
( ) ( )
9.Sea y sea una funcin -lineal alternada en las matrices 8 " H 8 " ( )
( ) ( ) 8 " 8 " O 4 " 4 8 I sobre . Para cada , la funcin definida por
4
I E " E H E 8 E
4 34 34
3"
8
34
( ) ( ) ( )
_
, es una funcin -lineal alternada en el conjunto de
las matrices sobre . Si es una funcin determinante, tambin lo es cada 8 8 O H
una de las I
4
10. Sea un anillo conmutativo con elemento unidad y un nmero entero O 8
positivo. Existe al menos una funcin determinante en el conjunto de las matrices
8 8 O sobre .
11. Sea es una permutacin , definimos la 5 5 " # 8 " # 8
funcin
si es par
si es impar
=31
"
"
5
5
5
3 "
20. Si , entonces . Z [ [ [ .37Z .37[ .37[
" # 5 " 5
Sea un entero positivo y un subcuerpo de los nmeros complejos y sea el 8 J Z
espacio de las matrices sobre . Sea el subespacio de las matrices 8 8 J [
"
simtricas, 3/ matrices tales que . Sea el subespacio de las matrices E E [
>
#
8 8 3/ E E E Z [ [ anti-simtricas matrices tales que Entonces .
>
" #
Si es cualquier matriz en , la nica expresin de como suma directa, E 8 8 Z E
en y la otra en es donde . [ [ E E E E E E E E E
" # " # " #
" "
# #
> >
( ) ( ) ( )
21. Sea un espacio vectorial y una transformacin lineal en . Si es un Z X Z [
subespacio de , diremos que es Z [ invariante bajo X , si para cada vector
en , el vector [ est en , est contenido en . X [ 3/ X [ [ ( )
Daro Snchez H 4 EPKIFVE PMRIEP
22.Si , entonces existen operadores lineales Z [ [ [ 5 I I I
" # 5 " # 5
en tales que Z
( ) ( ) + I 3/ I I Cada es una proyeccin o un proyector
3 3
3
#
( ) , I I ! 3 4 si
3 4
( ) - I [ El rango de es .
3 3
Inversamente, si son operadores lineales en que satisfacen las I I 5 Z
" 5
condiciones y , y si es el rango de entonces . ( ) ( ) ( ) + , - [ I Z [ [ [
3 3 " # 5
23.Sea un operador lineal en un espacio vectorial , sean y X Z [ [ I I
" 5 5
"
como en Entonces una condicin necesaria y suficiente para que cada ##
subespacio sea invariante bajo es que conmute con cada proyector [ X X I 3/
3 3
XI I X 3 " 5
3 3
.
24. Sea un operador lineal en un espacio vectorial de dimensin sobre un X 8
cuerpo . Un J valor caracterstico o valor propio, o autovalor ( ) de es un X
escalar en tal que existe un vector en tal que . Si es un - J Z X - - no nulo
valor caracterstico de entonces cada tal que es llamado X X - vector
caracterstico o vector propio o autovector ( ) de asociado con el valor X
caracterstico . -
25.Las siguientes afirmaciones son equivalentes:
( ) 3 - X es un valor caracterstico de
( ) ( ) ( ) 33 X -M El operador es singular no invertible
( ) ( ) 333 ./> X -M !
26. Si es una matriz sobre , un valor caracterstico de es un escalar en E 8 8 J E -
J E -M tal que la matriz es singular no inversible . ( ) ( )
27. Para hallar los valores caractersticos se considera la matriz polinomial BM E
de donde se obtiene el polinomio . Claramente los valores 0 B ./> BM E ( ) ( )
propios de son aquellos escalares tales que Por esta razn es E - J 0 - ! 0 ( )
llamado de . Es de notar que es un polinomio polinomio caracterstico E 0
mnico que tiene grado exactamente . 8
Las matrices similares tienen el mismo polinomio caracterstico. Pues
F T ET E F
"
entonces ( )
./> BM F ./> BM T ET ./> T BME T ./>T ./> BME ./>T ./> BME ( ) ( ) ( ) ( ) ( ) ( )
" " "
28.TEOREMA DE CAYLEY-HAMILTON Sea un operador lineal en el espacio vectorial de . X Z
dimensin sea una matriz sobre el cuerpo y sea el polinomio 8 E 8 8 J 0
caracterstico de o, Entonces o . X E 0 X ! 0 E ! ( ) ( ) ( )
29. Sea un operador lineal en el espacio vectorial de dimensin Existe un X Z 8
polinomio de grado no mayor que tal que . En el espacio de 1 8 1 X ! Z Z
#
( ) ( )
dimensin los operadores deben ser linealmente dependientes. 8 M X X
# 8
#
1 JB 1 X ! El conjunto de todos los polinomios en tal que es un ideal. ( )
Adems este ideal contiene un polinomio mnico de grado el polinomio 8
caracterstico de . As existe un nico polinomio mnico que genera al ideal de X :
Daro Snchez H 5 EPKIFVE PMRIEP
todos los en tales que Este polinomio es llamado 1 JB 1 X ! : ( ) polinomio
minimal de . X
X Del teorema de Cayley-Hamilton se sigue que: El polinomio caracterstico de es
divisible por el polinomio minimal de . Se sigue tambin que los valores X
caractersticos de son precisamente las races del polinomio minimal, y del X
polinomio caracterstico. As estos dos polinomios tienen exactamente las mismas
races.
30. Sea un operador lineal en un espacio de dimensin finita . Diremos que X Z X
es cuyos componentes son los vectores diagonalizable si existe una base para Z
caractersticos de . X
31. Sea cualquier operador lineal en un espacio de dimensin finita , sean X Z
- - X [ X - M
" 5 3 3
valores caractersticos distintos de y sea el ncleo de . ( )
Entonces los espacios son linealmente independientes. [ [
" 5
32.Si es un operador diagonalizable en el espacio de dimensin finita y X Z
- - X
" 5
son valores caractersticos distintos de , entonces existen operadores
lineales en tales que I I Z
" 5
( ) + X - I - I
" " 5 5
( ) , M I I
" 5
( ) - I I ! 3 4
3 4
( ) . I I
#
3
3
( ) / I X El recorrido de es el espacio de vectores caractersticos de asociado con el
3
valor propio Vea el teorema Espectral -
3
( )
33. Sea un operador lineal en un espacio vectorial de dimensin finita . X Z
Supngase que existen escalares distintos y operadores lineales no 5 - - 5
" 5
nulos en que satisfacen las propiedades del numeral . I I Z + , - $#
" 5
( ) ( ) ( )
Entonces es diagonalizable, son precisamente los valores caractersticos X - -
" 5
de y los tambin satisfacen las condiciones y del numeral X I . / $#
3
( ) ( )
34. Sea un operador lineal en un espacio vectorial de dimensin finita sobre X Z
un cuerpo Entonces una condicin necesaria y suficiente para que sea J X
diagonalizable es que el polinomio minimal de sea de la forma X
: B - B - - - J ( ) ( )
" 5 " 5
donde son escalares distintos de .
35.Sea una matriz sobre un cuerpo . Entonces es similar sobre a una E 8 8 J E J
matriz diagonal si y solamente si el polinomio minimal de es de la forma: : E
: B - B - - - J ( ) ( )
" 5 " 5
donde son escalares distintos de .
T T ET E X Para hallar tal que sea diagonal, donde , se hace uso de los
"
( ) , : 5 X X X Si el grado de es , entonces los vectores forman la base
#
5"
de ^ X ( )
( ) ( ) - Y ^ X X Si es un operador lineal en inducido por , entonces el polinomio
minimal de es . Y :
m m
#
conocida como la desigualdad de auchy-Schwarz C
75.Sean y vectores en un espacio con producto interno. Decimos que y " " Z
son si . ortogonales ( ) " !
W Z W Si , decimos que es un conjunto si dos cualesquiera vectores ortogonal
distintos en son ortogonales. W
Un conjunto ortonormal es un conjunto ortogonal con la propiedad adicional de
que para todo . m m " W
76.Un conjunto ortogonal de vectores no nulos es linealmente independientes.
Si un vector es una combinacin lineal de un conjunto ortogonal de vectores "
no nulos entonces es exactamente la combinacin lineal "
" # 7
"
_
5"
7
m m
5
( ) "
5
5
#
Todo espacio de dimensin finita con producto interno posee una base
ortonormal.
Para tal fin tmese una base de y aplquese el proceso de Z " "
" 8
ortogonalizacin de Gram-Schmidt, para construir donde
" # 8
" " "
" " # # " 5" 5" 4
m m m m
4"
5
( ) ( ) "
"
# "
" 4
# #
5" 4
, ,
_
77.Sea un espacio con producto interno y sea un conjunto arbitrario de Z W
vectores de El de es el conjunto de todos los Z W W suplemento ortogonal
l l
m m
#
( ) "
5
#
5
#
m m "
Daro Snchez H 13 EPKIFVE PMRIEP
Adems la igualdad vale si y slo si . "
_
5"
7
m m
5
( ) "
5
5
#
Esta igualdad es conocida con el nombre de En este caso desigualdad de Bessel.
particular en que es un conjunto ortonormal, la desigualdad de Bessel
" 7
ser .
_
( )
5"
7
5
# #
l l m m " "
[ Z Se afirma que si es un subespacio de dimensin finita de un espacio con
producto interno, ya mostramos que . Se sigue que existe una nica Z [ [
!
"
P 0 0 D 1 0 1 P 0 0 Z ( ) ( ) ( ) ( ) entonces no existe tal que para todo .
79.Para cualquier operador lineal sobre un espacio de dimensin finita con X Z
producto interno, existe un nico operador lineal sobre tal que X Z
para todo , en .
Z Sea un espacio de dimensin finita con producto interno y una
" 8
base ortonormal ordenada de . Sea un operador lineal sobre y sea una ( ) Z X Z E
matriz de en relacin a la base ordenada , entonces . X E X
54 4 5
( )
@ Z Si es una base ortogonal, tenemos que todo puede ser escrito en la
forma donde @ @
_
( )
5"
8
5 5 " 8
Z X Sea un espacio de dimensin finita con producto interno y sea un operador
lineal sobre . En relacin con cualquier base ortonormal de , la matriz de es Z Z X
para todo y en
Dos comentarios deben ser hechos acerca del caso de dimensin finita
( ) " X X El adjunto de depende no slo de sino tambin del producto interno.
( ) # X X Para una base ordenada arbitraria , la relacin y es ms complicada
auto-adjunto hermitiano o
Z X X X Si es una base ortonormal de entonces y entonces es auto-
adjunto si y solamente si su matriz, en relacin 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
caractersticos
( ) # Muchos operadores que surgen en la prctica son auto-adjuntos.
82. Sea un espacio vectorial con producto interno y un operador sobre Sea Z X Z
: Z la funcin definida sobre las parejas ordenadas de vectores , en por "
: X : ( ) ( ) " " . La funcin es un producto interno si y solamente si el operador
lineal satisface X
( ) ( )
( )
( )
X X
X ! !
" "
si
Un operador que satisface es llamado X ( ) positivo.
X : El operador lineal es positivo si y solamente si la funcin definida por
: X X ( ) ( ) " " es un producto interno. Ntese que en este caso es auto-
adjunto.
83. Sea un espacio de dimensin finita con producto interno . Si es un Z : ( )
producto interno sobre , entonces existe un nico operador lineal positivo Z X
sobre tal que para cualquier , en . Z : X Z ( ) ( ) " " "
Z X Sea un espacio de dimensin finita con producto interno y un operador
lineal sobre . Entonces es positivo si y solamente si existe un operador lineal Z X
invertible sobre tal que . Y Z X Y Y
( )
__
B B ! E B B !
" 8 54 4 5
4 5
entonces .
84. Sea una matriz con elementos complejos. Decimos que es E 8 8 E positivo
si vale lo siguiente: Siempre que sean nmeros complejos no todos nulos B B
" 8
entonces .
__
4 5
54 4 5
E B B !
Z Sea un espacio de dimensin finita con producto interno y una base
ordenada de . Si es un operador lineal sobre , entonces Z X Z X es positivo si
y solamente si la matriz de en relacin a esta base ordenada es X
positiva.
Daro Snchez H 15 EPKIFVE PMRIEP
E 8 8 Si es una matriz con elementos complejos, entonces E es positiva si
y solamente si existe una -matriz inversible tal que 8 8 T E T T
.
Si es una matriz positiva y posee elementos reales entonces donde es E E T T T
>
una -matriz invertible con elementos reales. 8 8
8 8 E \ ] ] E\ Una -matriz es positiva si y solamente si ( )
El criterio de positividad es basado en dos observaciones:
( ) 3 E ./>E ! Si es una matriz positiva, entonces
( )
_
_ _
33 E " 5 8 E
E E E
E E E
E E E
Si es una matriz positiva y , la matriz
( ) 5
"" "# "5
#" ## #5
5" 5# 55
es una -matriz positiva. 5 5
Para ver basta observar que ( ) 3
./> E ./> T T ./> T ./> T ./> T ./> T ! ( ) ( ) ( ) ( ) ( ) ( )
85.Sea una -matriz. Los de son los escalares E 8 8 E 8 menores principales
definidos por . ./>E 5 " # 8
( ) 5
E 8 8 Sea una -matriz sobre el cuerpo de los nmeros complejos y supongamos
que es auto-adjunta hermitiana , entonces es positiva si y solamente si los E E ( )
menores principales de son todos positivos. E
E 8 8 Si es una -matriz sobre el cuerpo de los nmeros complejos las siguientes
afirmaciones son equivalentes:
( )
__
3 E B B ! B B A es positiva, esto es, siempre que son nmeros
4 5
54 4 5 " 8
complejos no todos nulos.
( ) ( ) 33 \ ] ] E\ 8 " es un producto interno sobre el espacio de las -matrices
complejas.
( ) ( ) 333 \ ] ] \ 8 " En relacin al producto interno cannico sobre las -matrices
diagonal). Si es una matriz simtrica real, existe una matriz ortogonal real tal E T
que sea diagonal. T ET
>
Z X Sea un espacio de dimensin finita con producto interno y un operador
normal sobre . Entonces todo vector caracterstico de tambin es un vector Z X
caracterstico de . X
*
Z X Sea un espacio complejo de dimensin finita con producto interno y sea un
operador normal sobre . Entonces posee una base ortonormal, donde cada Z Z
vector es un vector caracterstico de . X
8 8 E EE E E Una matriz compleja se dice si . normal
E 8 8 T Sea una matriz con elementos complejos. Existe una matriz unitaria tal
que sea diagonal si y solamente si . En otras palabras, es T ET EE E E E
unitariamente equivalente a una matriz diagonal si y solamente si es normal. E
92.Sea una proyeccin, . Las siguientes afirmaciones son equivalentes: I I I
#
( ) 3 I II I I es normal, .
( ) 33 I I I es auto-adjunta,
4
es normal.
X Z Si es un operador normal, entonces posee una base ortonornal formada de
vectores caractersticos de . X
X Z X Sea un operador lineal sobre . Entonces es normal si y solamente si el
adjunto es un polinomio en . X X
" " 5 5
X X X Decir que es auto-adjunto es decir que , o sea
( ) ( ) - - I - - I !
" " " 5 5 5
.
Usando el hecho de que para y el hecho de que ningn es el I I ! 3 4 I
3 4 4
operador nulo, vemos que es auto-adjunto si y solamente si . X - -
4 4
95.Sea un operador normal sobre el espacio complejo de dimensin finita con X Z
producto interno. Entonces, siempre que X es auto-adjunto positivo o unitario
todo valor caracterstico de sea real, positivo o de valor absoluto . X "
X Z Note que si es un operador lineal cualquiera sobre que tiene valores propios
reales no implica necesariamente que sea auto-adjunto pues X X debe ser normal
para que tal afirmacin acontezca.
X Z Sea un operador lineal sobre un espacio complejo con producto interno.
Decimos que es si para todo en . X X ! Z no negativo ( )
Z X Sea un espacio complejo de dimensin finita con producto interno y sea un
operador no negativo sobre . Entonces posee una nica raz cuadrada no Z X
Daro Snchez H 19 EPKIFVE PMRIEP
negativa, esto es, existe uno y slo un operador no negativo sobre tal que R Z
R X
#
Z X Sea un espacio complejo de dimensin finita con producto interno y sea un
operador lineal arbitrario sobre . Entonces existe un operador unitario y un Z Y
operador no negativo sobre tal que . El operador no negativo es R Z X YR R
nico. Si es invertible, el operador tambin es nico. (Tmese y X Y R X X
#
Y XR X [ R
"
cuando sea inversible, en caso contrario sea la imagen de , existe
un isomorfismo de en y se toma entonces Y [ X Z Y X Y
! !
( )
" #
" # R ).
La descomposicin se denomina de . X RY X descomposicin polar
96.Sean y operadores normales sobre que conmutan. Entonces existe un X Y Z
operador normal sobre con estas propiedades: W Z
( ) 3 X Y W Tanto como son polinomios en
( ) 33 W Z X Y conmuta con todo operador lineal sobre que conmute con y .
X X Z X Sean un nmero finito de operadores normales sobre tales que
" 8 3
conmuta con para todos los . Entonces existe un operador normal sobre X 3 4 X Z
4
tal que sea un polinomio en . X X
4
Z Sea una familia arbitraria de operadores normales sobre , todos los cuales
conmutan. Entonces existe un operador normal sobre tal que todo operador X Z
de la familia sea un polinomio en . X
Z Si es una familia arbitraria de operadores normales sobre los cuales
conmutan, existe una base ortonormal ordenada de tal que todo operador en Z
sea representado por una matriz diagonal en relacin a la base .
97. Sea un espacio vectorial sobre un cuerpo . Una sobre es Z J Z forma bilineal
una funcin que asocia a cada par ordenado de vectores , en un escalar 0 Z "
0 J ( ) " en y que satisface
0 - -0 0 ( ) ( ) ( ) " " "
"
# " #
0 - -0 0 ( ) ( ) ( ) " " " "
" # " #
.
Z Sea un espacio vectorial de dimensin finita y sea una base
" # 8
ordenada de . Si es una forma bilineal sobre , la matriz de en relacin a la Z 0 Z 0
base ordenada es la -matriz con elementos . A veces, 8 8 E E 0
34
( )
3 4
indicaremos esta matriz por 0
Z J Sea un espacio vectorial de dimensin finita sobre el cuerpo . Para cada base
ordenada de , la funcin que asocia a cada forma bilineal sobre su matriz en Z Z
relacin a la base ordenada es un isomorfismo del espacio en el P Z Z J ( )
espacio de las -matrices sobre el cuerpo . 8 8 J
. ( ) P Z Z J 0 Z Z J0 ( ) es forma bilineal
Z U P P Si es una base ordenada de y es la base dual
" 8 " 8
( )
transformacin lineal de en . Para cada fijo en , es lineal en . V Z Z Z 0
0
" " ( )
V Z Z V 0
0 0
Sean
Z Z 0 "
3 4 3 3
" " " " ( ) >,
Z Z 0 "
3 4 3 3
" " " " ( )
el nmero es llamado de . .37Z .37Z 0
signatura
Z 8 Sea un espacio vectorial dimensional sobre el cuerpo de los nmeros
complejos y sea una forma bilineal simtrica no degenerada sobre . Entonces el 0 Z
grupo que conserva es isomorfo al complejo 0 8 grupo ortogonal b ( )
Z 8 Sea un espacio vectorial dimensional sobre el cuerpo de los nmeros reales y
sea una forma bilineal simtrica no degenerada sobre . Entonces, el grupo que 0 Z
conserva es isomorfo a un -grupo seudo-ortogonal. 0 8 8
0 Sea una forma bilineal simtrica sobre con forma cuadrtica
%
; B C D > > B C D X ( )
# # # # %
. Un operador lineal sobre que conserva esta
forma bilineal (o cuadrtica) particular es denominada una transformacin de
Lorentz Lorentz y el grupo que conserva se dice el grupo de 0 .
RESULTADOS PROBADOS #
1.Sea un espacio vectorial de dimensin , subespacios vectoriales de Z 8 [ [
" 5
Z tales que
y . Z [ [ [ .37Z .37[
" # 5 3
3"
O
_
Probar que . Z [ [ [
" # 5
SOLUCIN. En efecto, sea una base para , $
3 34 3 3 3
[ " 3 5 " 4 .37[
mostremos que si = es una base para entonces
5
3 "
3 " # 5
Z Z [ [ [
Sea entonces existen tal que @ + [ " 3 5 @ + [ [ [
" # 5
3 3 3
3"
5
( )
_
donde entonces por lo tanto genera . + [ + - @ - Z
3 3 3 34 34 34 34
4" 34
_ _
$
3
Ahora # . Como # , genera y es .37Z .37Z .37Z Z
5
3 "
_
3"
5
3 3
$
una base de por tanto Z Z [ [ [
" # 5
.
I I
#
( ) M M I M I M
I I I
# # #
I I
#
Observacin: Si podemos resolver el ejercicio con argumentos que .37Z 8 $
envuelven sumas directas
Si es una proyeccin entonces I Z Z Z M7I 5/<I
En efecto: Para todo y pues @ Z @ I@ @ I@ I@ M7I @ I@ 5/<I
I @ I@ I@ I @ I@ I@ ! ( )
#
.37Z 8 8 .37 M7I .37 5/<I entonces . ( ) ( )
Daro Snchez H 24 EPKIFVE PMRIEP
Por el ejercicio , tenemos que . " Z M7I 5/<I
Pero por que entonces . Il 3./8>3.+. @ M7I @ I6 I@ I 6 I6 @
M7I
#
Il ! @ O/<I I@ !
O/<I
, pues .
Tomando para una base que es reunin de una base de con una base de , Z I 5/<I
tenemos que la matriz de referente a esta base es donde es una I E M
M !
! !
matriz donde . La matriz de referente a esta base es < < < .37 M7I M I ( )
F
#M !
! M
Como tenemos que es invertible y ./>F ! M I
F M
M ! M !
! M ! !
M !
! M
"
" "
# #
E
#
.
Luego . ( ) M I M
"
I
#
!
B
posee valores caractersticos.
SOLUCIN.-Por absurdo, supongamos que existe valor propio de , entonces - X
existe tal que entonces entonces 0 Z 0 ! X0 -0 X0 B 0 > .> -0 B 0 ( )( ) ( ) ( )
!
B
es diferenciable por tanto . Si entonces o sea 0 B -0 B - ! 0 B ! aB 0 ! ( ) ( ) ( )
w
lo cual es contradictorio (pues ) 0 !
Si la solucin de la ecuacin es de donde se - ! 0 B -0 B ! 0 B 5/ 5 ! ( ) ( ) ( )
w
C
-
tiene que lo cual es contradictorio. ( )( ) ( )
8.Las matrices
E F G
$ " " ' $ #
# # " % " #
# # ! "! & $
! " ! !
! ! " !
! ! ! "
" ! ! !
_ _
_ _ _ _
_
_ _
Son -similares a matrices diagonales? Son -similares a matrices diagonales?
SOLUCIN.-Se aplica el resultado: Si es una matriz en el cuerpo entonces E 8 8 J
E J : E en es similar a una matriz diagonal si y slo si el polinomio minimal de es
de la forma , son distintos. : B - B - - - J ( ) ( )
5 " 5
+ E B " B # el polinomio caracterstico de es E
$ " "
# # "
# # !
_
_ _
( )( )
#
Como , el polinomio minimal de es entonces ( )( ) ( )( ) E M E #M ! E B " B # E
#
no es ni -similar, ni -similar a una matriz diagonal.
Daro Snchez H 26 EPKIFVE PMRIEP
, : B # B " : B " tiene , es irreducible en F
' $ #
% " #
"! & $
_
_ _
- 3
# #
( )( )
: B # B 3 B 3 F
3
( )( )( ) en , luego es -similar a una matriz diagonal pero no es
-similar.
- G : B " B " B " B " :
! " ! !
! ! " !
! ! ! "
" ! ! !
_
_ _
( )( )( ) ,
- 3
% #
B "
#
es irreducible en .
Luego la matriz no es -similar pero es -similar a una matriz diagonal. G
$
, por . Pruebe que no posee vector cclico. Cual es el espacio
_
_ _
# ! !
! # !
! ! "
X
X " " $ -cclico de generado por el vector ?
$
( )
SOLUCIN.- el polinomio caracterstico de es + X X
# ! !
! # !
! ! "
$ $
_
_ _
-
X
( ) ( ) ( )( ) B # B " X B # B " @
#
$
y el polinomio minimal de es , si existiese
cclico, entonces esto es contradictorio. .37 $ 1<+.: #
$
3
, Z @ " " $ es el subespacio cclico de generado por el vector ,
$
( )
X @ # # $ @ X@ ( ), tenemos que son linealmente independientes. Como
.37Z # .37Z # @ X@ , tenemos que . Obsrvese que y pertenecen al plano
B C ! Z @ B C ! y son linealmente independientes, luego del plano/ .
( ) ( ) @ @ @ @
" # # "
@ ! " X@ " ! @ X@ @ ! " ( ) ( ) ( ) y genera a , entonces es cclico en
#
relacin a . Obsrvese ahora que e no posee vector cclico (polinomio X X M M
#
minimal tiene grado menor que la dimensin del espacio). "
Otro ejemplo es y generan X X " ! ! " " ! X " !
# #
( ) ( ) ( ) ( )
( ) ( ) @ @ ! @
" # #
Z " ! X X !
# #
( ) es un vector cclico de . Obsrvese ahora que que no posee
vectores cclicos.
Daro Snchez H 27 EPKIFVE PMRIEP
11. Sea un operador cclico, ie, existe un vector cclico para . Pruebe que X Z Z X
si es un operador que conmuta con , entonces es un polinomio en . Y Z Z X Y X
SOLUCIN.-Si es un operador cclico existe tal que para todo X Z Z A @ Z
@ + X A 5 X Y Z Z Y
_
3!
5"
3
3
donde grado del polinomio minimal de . As , conmuta
con tenemos para todo X
@ Z Y @ Y + X A + Y X A + X + X A + + X X A ( ) ( )
_
_ _ _ _ _
_ _
3! 3! 3! 4! 34 "
5" 5" 5" 5" 5"
3 3 3 4 3 4
3 3 3 4 3 4
+ X + X A + X @
_ _ _
_
_ _
4! 3! 4!
5" 5" 5"
4 3 4
4 3 4
Luego entonces es un polinomio en as Y + X Y X YA Z YA + X A
_ _
4! 4!
5" 5"
4 4
4 4
forma racional de es E + ! + ! + !
! " #
_
_ _
! ! !
" ! !
! " !
, F su polinomio caracterstico es:
_
_ _
- ! "
! - "
" " -
( )( ) ( )
_ _
B - B #-B - # B - B - # B - #
# #
que es igual al polinomio minimal de , y la forma cannica racional ser F
_
_ _
_
_
- ! !
! - # !
! ! - #
- G B #-9= B " su polinomio caracterstico es:
-9= =/8
=/8 -9=
) )
) )
#
)
como = tenemos que es irreductible en ? ) ) ) %-9= % %=/8 ! B #-9= B "
# # #
) . Luego el polinomio minimal es . Tenemos ahora algunas B #-9= B "
#
consideraciones.
Daro Snchez H 28 EPKIFVE PMRIEP
3 =/8 ! - -M # Sea en ese caso el grado del polinomio minimal es . As el )
#
operador cuya matriz asociada a es cclico. La forma cannica racional es X G
( )
+ " + #-9=
! "
" #-9=
! "
)
)
33 =/8 ! -9= " ) )
que es la forma cannica racional.
" !
! "
M
333 =/8 ! -9= " ) )
que es la forma cannica racional.
" !
! "
M
$B $C $D !
$B $C $D ! B C ! D !
$B $C (D !
_
_
_
A B C D Z X A *XA $)M ! $!B $!C $!B $!C ! ! ! ! ( ) ( ) ( )
#
#
B C.
As tomamos @ " " ! @ " " ! @ X@ % % '
" # $ #
( ) ( ) ( )
y la matriz dada por el cambio de base ser T T
" " %
" " %
! ! '
_
_ _
Por el resultado de arriba tenemos F T ET
"
15.Sea una matriz real tal que Pruebe que es par y que es E 8 8 E M ! 8 E
#
similar, sobre el cuerpo de los reales a la matriz donde es la matriz
! M
M !
M
identidad donde . 5 5 8 #5
SOLUCIN.- el polinomio minimal de es que tiene grado . El + E M ! E B " #
# #
polinomio caracterstico de tiene grado y debemos tener que toda raz del E 8
polinomio caracterstico es raz del polinomio minimal, se sigue que ( ) B "
#
5
debe ser el polinomio caracterstico de para entonces tiene grado E 5 " B " ( )
#
5
#5 8 #5 8 entonces es par.
, E X Pensando en como en un operador (relativa a la base cannica)
8 8
8 <
" = Z
Z Z Xl T : y adems es cclico y su polinomio mnimo es . As
3
3
.37Z 1<+. T < 8 .37 .37Z : <
3
( )
_ _
. y .
3 3 3
8
3" 3"
= =
Pero el polinomio mnimo es y tenemos para todo , . ( ) ( ) B " < " 3 1<+. T #
#
"
3
As . La forma cannica de ser constituida de bloques 8 #= = 5 E 5
8
#
F G
! " ! F !
" !
F ! !
! ! F
3
"
#
5
_
_ _
o sea
- F F
! M
M !
Busquemos la forma cannica racional de la matriz dada por
5
5
siendo la matriz identidad. es el polinomio M 5 5 ./> BM F B " B "
5
# #
( )
minimal de . F
F M
M ! M ! ! !
! M ! M ! !
#
5 5
5 5
Daro Snchez H 30 EPKIFVE PMRIEP
La forma cannica racional de la matriz ser entonces F G
F ! !
! F !
! ! F
_
_ _
"
#
5
La misma de la matriz . As es similar a , es similar a de donde se E E G F G
concluye que y son similares. E F
18.Cual es el nmero de matrices complejas , dos a dos similares cuyo ' '
polinomio caracterstico es - B B # B " ( ) ( ) ( )
% #
SOLUCIN.-Posibilidades para el polinomio minimal. Si , : B B # B " ( ) ( )( )
entonces
" < # < " < < < < " < < " Forma cannica racional
" # "" "# "$ "% #" ##
Si , entonces : B B # B " ( ) ( ) ( )
#
# < # < " < # < # < < "
" # "" "# #" ##
$ < # < " < # < < " < " < "
" # "" #" ## "# "$
Si , entonces : B B # B " ( ) ( ) ( )
$
% < $ < " < $ < < " < " .
" # "" #" ## "$
Si , entonces : B B # B " ( ) ( ) ( )
%
& < % < " < % < < "
" # "" #" ##
Si , entonces : B B # B " ( ) ( )( )
#
' < " < # < " < # < < < "
" # "" #" "# "$ "%
.
Si , entonces : B B # B " ( ) ( ) ( )
#
( < # < # < < "
"" #" "# "$
.
) < # < # < #
"" #" "#
Si , entonces : B - B ( ) ( )
"! < % < # < % < #
" # "" #"
.
As tenemos diez posibilidades para la forma cannica o sea es le nmero de "!
matrices complejas dos a dos similares. ' '
Posibilidades para el polinomio mnimo.
: : B # B " : B # B "
7 7
! "
-
% # %
( ) ( ) ( ) ( )
_ _
_ _ _ _
# ! ! ! ! ! # ! ! ! ! !
" # ! ! ! ! " # ! ! ! !
! " # ! ! ! ! " # ! ! !
! ! " # ! ! ! ! " # ! !
! ! ! ! " ! ! ! ! ! " !
! ! ! ! " " ! ! ! ! ! "
: B # B " : B # B "
7 7
# $
$ # $
( ) ( ) ( ) ( )
_ _
_ _ _ _
# ! ! ! ! ! # ! ! ! ! !
" # ! ! ! ! " # ! ! ! !
! " # ! ! ! ! " # ! ! !
! ! ! # ! ! ! ! ! # ! !
! ! ! ! " ! ! ! ! ! " !
! ! ! ! " " ! ! ! ! ! "
: B # B " : B # B "
7 7
% %
# # # #
" #
( ) ( ) ( ) ( )
: B # B # : B # B #
/ /
# # #
" #
( ) ( ) ( ) ( )
Daro Snchez H 32 EPKIFVE PMRIEP
_ _
_ _ _ _
# ! ! ! ! ! # ! ! ! ! !
" # ! ! ! ! " # ! ! ! !
! ! # ! ! ! ! ! # ! ! !
! ! " # ! ! ! ! ! # ! !
! ! ! ! " ! ! ! ! ! " !
! ! ! ! " " ! ! ! ! " "
: B # B " : B # B "
7 7
& &
# #
( ) ( ) ( ) ( )
: B # B # : B # B #
/ /
# # #
" #
( ) ( ) ( ) ( )
_ _
_ _ _ _
# ! ! ! ! ! # ! ! ! ! !
" # ! ! ! ! " # ! ! ! !
! ! # ! ! ! ! ! # ! ! !
! ! " # ! ! ! ! ! # ! !
! ! ! ! " ! ! ! ! ! " !
! ! ! ! ! " ! ! ! ! ! "
: B # B " : B # B "
' (
7 7
#
( )( ) ( )( )
_ _
_ _ _ _
# ! ! ! ! ! # ! ! ! ! !
! # ! ! ! ! ! # ! ! ! !
! ! # ! ! ! ! ! # ! ! !
! ! ! # ! ! ! ! ! # ! !
! ! ! ! " ! ! ! ! ! " !
! ! ! ! " " ! ! ! ! ! "
21.Usando la frmula para el binomio para la serie , determine una raz ( ) " >
"
#
cuadrada para donde son matrices complejas la identidad y M R M R 8 8 M R
nilpotente.
SOLUCIN.- + " B B lBl " ( )
_
8!
8
8
donde
! 8 8x
" 8"
" 8 "
( ) ( )
Daro Snchez H 34 EPKIFVE PMRIEP
, y tenemos "
" " " "
! 8 " 8" 8 ! 8
- " B B lBl " As ( )
_
"
#
"
#
8!
8
8
Tomando tenemos +
8
8
"
#
_
( )
5!
8
5 85
! 8 " 8" 8 ! 8 8
"
+ + !
,
=3 8 #
. Mostremos ahora por induccin que
( )
_
_
8 # + B " B 8
5!
8"
5
5
#
trminos de grado
Si 8 # + B " B " B B
_
_
5!
"
5
5 #
#
" "
# 8
#
#
Supongamos que trminos de grado entonces
_
_
( )
5!
8"
5
5
#
+ B " B 8 8 " #
_ _ _
_ _ _ _
5! 5! 5! 5!
8 8" 8" 8"
5 5 8 5 5 8
5 5 8 5 # #8 85
# # #
8
+ B + B + B + B + B # + + B " B
8 " # + + B #+ + B 8 " ( ) ( )
_
trminos de grado + trminos de grado
5"
8"
5 85 ! 8
8 8
+ B " B # + + B 8 "
!
# #8 8
8
5!
8"
5 85
_
_
( ) trminos de grado
trminos de grado " B 8 " ( )
As trminos de grado
_
_
( )
5!
8"
5
5
#
+ B " B 8 a8
/ R b8 R ! R ! a5 8 Ahora si es nilpotente tal que . Tomemos
8 5
F + R
_
5!
8"
5
5
entonces
trminos de grado n F + R " B M R ! M R
# #
5!
8"
5
#
BR
_
_
( )
ya que , R ! a5 8
5
Luego es una raz cuadrada de F M R
3 3 3 3 3 3 3 3 3
" " " "
3 3 3 3
( ) ( )
pero es nilpotente entonces es nilpotente, luego existe una matriz tal que R R G
3 3 3
G - M R
#
3 3
3
tenemos entonces
Q T G T Q T G T T - M R T E
3 3 3 3 3 3 3 3 3
" " # "
3 3 3 3
#
( ) .
Entonces es raz cuadrada de , . Sea tenindose Q E " 3 5 Q
Q !
! Q
3 3
"
5
_
_ _
que entonces existe tal que Q E W
Q !
! Q
E !
! E
#
#
"
#
5
"
5
_ _
_ _ _ _
E W Q W W QW W QW E
" # " "
#
( ) . As es raz cuadrada de
( )( ) ( ) B - B - B - : E
" # 8
entonces slo tiene factores lineales as es siempre
diagonalizable. Luego si conocemos el polinomio mnimo y el polinomio
caracterstico de , conocemos su clase de similaridad. Las posibilidades para el E
polinomio mnimo : puede contener factores de la forma y obviamente : 5 B - ( )
3
en este caso tenemos escalares. Tomando una eleccin para , las - : :
5
8 !
posibilidades para son aquellos polinomios divisibles por de grado con los 0 : 8
!
mismos factores lineales
: B - B -
!
( ) ( )
3 5
0 B - B - ( ) ( )
3 5
< <
3 5
con , . Obsrvese que el orden de los es importante. As < < 8 < " <
3 5 3 3
si anotamos por el nmero total de posibilidades de elecciones de los , : 8 5 < ( )
3
tenemos que el nmero total de clases de similaridad es .
_
( )
5"
8
8
5
- : 8 5
25. Muestre que toda matriz real es similar a una matriz de la forma 8 8
donde
_
_ _
_
_ _
E ! ! ! !
!
E ! !
! ! F !
! ! ! F
E
= S S S
M = S S
S S = S
S S S =
"
5
"
5
3
3 # # #
# 3 # #
# # 3 #
# # # 3
siendo
S M =
! ! " !
! ! ! "
# # 3
3 3
3 3
"
"
y cada tiene la forma F
4
F
! !
" !
! !
4
4
4
4
_
_ _
-
-
-
SOLUCIN.-Sea el polinomio caracterstico de . Como es real entonces - B E E - B ( ) ( )
tiene coeficientes reales es raz de entonces es tambin 3 - B - ! 3 " " ( ) ( )
raz de . Cada vez que de en de en , se - B : B :96 738 E :96 738 E ( ) ( )
puede decir lo mismo para el polinomio caracterstico. Tomemos entonces
: B B 3 B 3 B 3 B 3 ( ) ( ) ( ) ( ) ( ) " " " "
" " " " # # # #
< < < <
" " # #
B 3 B 3 B B ( ) ( ) ( ) ( ) " " - -
5 5 5 5 " 4
< <
> >
5 5
" 4
denotemos : La forma cannica de Jordan tomar la forma "
3 3 3
3 -
_
_ _
N ! ! ! !
!
N ! !
! ! N !
! ! ! N
- < 8
- <
>
>
" " "
5 58
5
" "
4 4
-
-
y sabemos que es similar a Estudiemos la -matriz siguiente: E #< #<
34 34
Daro Snchez H 38 EPKIFVE PMRIEP
_
_ _
N !
! N ! ! !
3 ! ! ! ! ! !
! 3 ! ! ! !
" ! ! ! ! !
! " ! ! ! !
! ! 3 ! ! ! - <
- < 3
3 3
3 3
3 3 3 34
3 34
"
"
"
3 ! !
! ! ! ! !
! ! ! " ! !
! ! ! ! " !
! ! ! ! ! 3
G
"
"
"
3
3 3
3 3
Sea = una base de tal que la matriz del operador relativamente a @ @ Z X
" #< 3
la base sea la matriz . Si esto es G @ @ @ @ @ @
w
< "< # #< < #<
A @
#4" 4
A @ " 4 <
#4 4<
Tenemos
si o X @ 3 @ @ " 4 < " < " 4 #< "
3 4 4 4"
( ) "
si o X @ 3 @ 4 < 4 #<
3
4 4
( ) "
entonces
X
- ! ! ! ! ! ! ! !
! - ! ! ! ! ! ! !
" ! - ! ! ! ! ! !
! " ! ! ! ! ! ! !
! ! ! - ! ! ! ! !
! ! ! ! - ! ! ! !
! ! ! " !
3
3
3
3
3
3
w
_
_ _
- ! ! !
! ! ! ! ! ! " ! -
3
3
Colocando y . H M
- ! " !
! - ! "
3 #
3
3
As
X H W
H ! !
M H !
! M !
! ! H
w
_
_ _
3
# 3
#
3
3 3
3 3
3 3
"
"
por que el polinomio caracterstico de es . El H B - B - :96 738H
3 3 3 3
( )( )
polinomio caracterstico de es . Como el grado de W B - B - :96 738W H
3 3 3 3 3
( )( )
y de es dos tenemos ver observacin , concluimos que y son W /B "( H W
3 3 3
( )
similares.
Daro Snchez H 39 EPKIFVE PMRIEP
As
G X E
W ! ! !
M W ! !
! M ! !
! ! W !
! ! M W
3 3 3
3
# 3
#
3
# #
w
_
_ _
.
Luego
E
E ! ! !
! E ! !
! ! N !
! ! ! N
_
_ _
"
5
=
=
-
-
" ""
3 48
4
27. Sea un espacio vectorial real normado tal que para cualquier , vale Z Z "
m m m m #m m #m m 0 Z Z " " "
# # # #
. Muestre que si se define por
#0 m m m m m m 0 Z ( ) " " "
# # #
, entonces es un producto interno de el cual
induce la norma m m.
SOLUCIN.-Por hiptesis sabemos que 0 m m m m m m ( ) " " "
"
#
# # #
m m m m #m m #m m " " "
# # # #
( )
!0 0 ( ) ( ) " " lo cual es obvio de mostrar.
" Por hiptesis
#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
( )
( )
" " " " " "
" "
# #
# # # # # # # #
0 ( ) "
Si es cualquier nmero negativo tenemos 8
0 8 0 8 0 8 8 0 80
3
( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
" " " " "
333 7 8 8 ! Ahora sea = - -
7
8
0 0 m m m m m m m7 8 m m7 m m8 m ( )
- " " " " " "
7 " 7 7 "
8 # 8 8 #8
# # # # # #
#
0 7 8 0 8 0 8 80 0 0
3 ! 3
" 7 7 7 7
8 8 8 8 8
# # # #
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
" " " " " - "
Ahora si - - : lim
8
:
8
8
0 - 0 : 0 : : 0 -0 ( ) ( ) ( ) ( ) " " " " " lim lim lim
8 8 8
8 8 8
$0 %m m m m m m m m 0 ! ! ( ) ( )
"
#
# # # #
si
. 0 ! ! ( )
Luego es un producto interno y tenemos o sea tal producto 0 0 m m
_
( )
interno induce la norma . m m
30. Sea el espacio de las matrices complejas con producto interno dado Z 8 8
por ( ) ( ) E F X<+D9 EF
3 4 5 5
45 45 45 45
34
><+D9 FE F E ( )
E F ! ><+D9EF ! + , !
34
35 45
_ _
_
+ , ! + , ! , ! 5 " 8
_ _ _
_
34 5 5
35 45 55 55 55
As posee todos los elementos diagonales nulos [ E Z E
( ) ( )
!
"
+ Determine el complemento ortogonal de los polinomios escalares
, Z " B B B Determine una base ortogonal de a partir de la base aplicando
# $
el procedimiento de Gran-Schmidt.
SOLUCIN.- Sea el conjunto de los polinomios escalares + [
donde es un escalar real [ : Z : 5 ! 5
: [ : 5 ! a5 5 + + B + B + B .B !
# $
!
"
! " # $
( )
5+ ! a5 + !
! !
+ + + +
# $ % # $ %
+ +
" # " # $ $
,
Una base para puede ser: ya que pues [ " #> " $> " %> .37[ $
# $
( ) ( ) ( )
.37[ "
Daro Snchez H 42 EPKIFVE PMRIEP
, "
"
"
# # "
B"
m m " # # !
"
> " "
! #
B " B >.> D l B
"
# "
"
#
"
$ $ # " $
m m m m $ # '
# # " " "
B B B B
" "
$ # $ "
# "
#
"
#
"
"#
1
"
% % " # $
m m m m m m % # "'
$ # " " "
B B B B
" " "
% " % # % $
" # $
# #
$ "
%! "#!
" "
"# )!
B B B
%
$ # $ $ "
# & #!
SOLUCIN. ) unitario . Y : Y Y : X
X X
( ) ( )
Ahora
: Y Y XY Y Y XY Y XY
X
( )
Entonces
X Y XY a X Y XY
,
X Y XY
entonces
X Y XY : : Y Y a ,
X X
( ) ( )
entonces es unitario. Y
es una base ortogonal de . Z
SOLUCIN.- Sea la base ortogonal de , sea la matriz de " Z X E
" # 8 34
X en esa base
# X E E E puesto que , ( )
_
_ _
$
3 4 53 5 4 53 5 4 43 5 4 54
5" 5"
8 8
as E X
43 3 4
$ X F X Sea la matriz de es la base . En este caso siguiendo el mismo
34
raciocinio de recibimos . # X F
3 4 43
Daro Snchez H 43 EPKIFVE PMRIEP
% F X X X E F E Pero as lo cual
43 3 4 3 4 4 3 34 43 34
implica que es la transpuesta conjugada de as: F E
43 34
X F E X
34 34
, X Z a Z X ! X ! ( ) " "
w w a Z
a Z
"
w
w
a Z
a Z
w w w
"
w
w
X Z X Z Z "
# Por otra parte
X[ [ X [ [ [ X [ [
" ( )
( ) ( )
$ X X X X [ a [ Sean entonces y las restricciones de y a respectivamente,
" #
a [ " tenemos
X X X X X X X X X X
[
[
" # # [ #
" [
" " " "
"
| | o sea
"
[ X [
XX X X X [
( )
( )
X X X Xl X X
" " "
[ "
( ) ( ) ( )
[
Luego
. X X X X
" "
" "
Entonces
Xl Xl Xl Xl Xl
[ [ [ [ [
( ) ( ) ( ) es normal.
( )
X X RY YR R
" #
( )
# X X . es un operador positivo por que
X X X X mX m ! mX m ! X !
( ) ( ) y si
como es un operador no singular tenemos que: X
o sea X ! ! ! X ! ( )
As,
Daro Snchez H 44 EPKIFVE PMRIEP
! X ! mX m ! X X ! X X ( ) ( ) entonces es un operador
positivo
$. es un operador positivo luego no negativo y normal. Siendo un espacio X X Z
X X R
#
R ! R R ! mR m ! R !
#
.
( )( )
R
R
"
autoadjunto
autoadjunto
.
XR X X R X X X X X XX X X M M M
# # "
" " "
( ) ( ) ( )
R X X
#
as . Luego es operador unitario. Y Y Y
"
' X ) As tenemos que : Si es un operador lineal no singular normal sobre un
espacio vectorial complejo con producto interno entonces
X YR
Y
donde
unitario
positivo
, , / ( )
4 3 34
Vamos a probar ahora que si y , E Z F G
, ! - !
! , ! -
_ _
_ _ _ _
" "
8 8
entonces esto es cualquier dos elementos de la familia X X E X X E
F G G F
( ) ( )
conmutan y entonces son diagonalizables
E Z E E / E / E /
_ _ _
3" 3" 3"
8 8 8
"3 "3 #3 #3 83
83
y
X X E X E X / E X /
F G F "3 G "3 83 G 83
3" 3"
8 8
( ) ( ) ( )
_
_ _
E X X / E X X /
_ _
( ) ( ) ( ) ( )
3" 3"
8 8
"3 F G "3 83 F G 83
E X - - / E X - - /
_ _
( ) ( ) ( ) ( ) ( )
3" 3"
8 8
"3 F 3 " "3 83 F 3 8 83
E - - X / E - - X /
_ _
( ) ( ) ( ) ( ) ( ) ( )
3" 3"
8 8
"3 3 " F "3 83 3 8 F 83
E - - , , / E - - , , / X X E
_ _
( )( ) ( )( ) ( )
3" 3"
8 8
"3 3 " 3 " "3 83 3 8 3 8 83 G F
38.Sea un cuerpo, un entero positivo y sea el espacio de las matrices J 8 Z 8 8
sobre . Mostrar que , siendo cualquier J + T ET T E T a8 aE Z T ( ) ( )
" " 8
8
T T M
"
( ) ( ) ( ) ( )
, 1 ( ) ( ) ( ) ( ) T ET + + T ET + T ET + T ET
" " " "
! " # 8
# 8
+ + T ET + T E T + T E T T + + E + E + E
! " # 8 " # 8
" " # " 8 " # 8
( )
!
T
T 1 E T
"
( )
[ Z
X [ X V X [ V ! [ V Z X ! ya que , entonces ( )
a [ [ [ Ker Ker X R X R , as concluimos que y como
[ V ! V R ! entonces .
( ) , R V ! Z R V [ X[ [ Z [ V R [ si existe tal que .
44. Sea un operador lineal sobre un espacio vectorial sobre un cuerpo . Sea X Z J
0 J Z 0 0 X un polinomio sobre y est en , sea . Supongamos que ( )
" <
sean vectores en tales que . Demostrar que Z Z ^ X ^ X ( ) ( )
" <
0 Z 0^ X 0^ X ^ 0 X ^ 0 X ( ) ( ) ( ) ( ) ( )
" < " <
( es el conjunto de los en etc.) 0Z 0 Z
SOLUCIN. ( ) ( ) ( ) ( ) ( ) + 0 X ^ X 0 X ^ X 0 !
" <
es suma directa para .
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 X 0 X 2 X ( ) ( ) ( ) ( )
3 3 3 3
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) , @ ^ 0 X X ^ 0 X X @ 1 X 0 X 1 X 0 X Sea por
" < " " < <
lo tanto por se sigue que , esto completa la prueba. ( ) ( ) ( ) " @ ^ X ^ X
" <
( ) ( ) ( )
$
,
tambin ( )( ) ( ) ( ) X M X M ! : B B "
#
En la descomposicin de el primer vector tiene a como -anulador ( es X : X
" 3
dado por el teorema de la forma racional); como y como estamos en el 1<+.: #
espacio de dimensin , entonces existe que genera un subespacio de $
#
dimensin uno, esto es debe ser un vector caracterstico de y su anulador
#
X X
: B " : : 0 B
# " #
debe ser porque debemos tener ( ) ( )
E F
G !
! G
! " !
" # !
! ! "
_
_ _
( )
( )
B"
B"
#
Tenemos
" "
/
X/ /
$ % % " $
" $ # ! "
# % $ ! #
" "
_ _ _
_ __ _ _ _
no es mltiplo 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 !
" # # C B #C #D !
# % % D #B %C %D !
#B %C %D !
B #C #D
B #+ #,
As @ # " #
"
( )
Sea ahora entonces A @ @
" #
( ) X #X M A
#
_ _
_ _
_ j
_ _ _ _ _
_ __ _ _ _ _ _ _ _
$ % % $ % % $ % % " ! ! B
" $ # " $ # " $ # ! " ! C
# % $ # % $ # % $ ! ! " D
#
_ _
_ _
_ j
_ _ _ _ _
_ _ _ _ _ _ _ _ _ _
& ) ) ' ) ) " ! ! B !
# & % # ' % ! " ! C !
% ) ( % ) ' ! ! " D !
Daro Snchez H 51 EPKIFVE PMRIEP
_ _ _ _
_ __ _ _ _ _ _
! "' "' B ! "
! ! ! C ! "
! ! ! D ! "
"'C "'D ! @
C D
, as
#
Ahora . En esta forma tenemos que @ X@
$ % % " $
" $ # " !
# % $ " "
$ #
_ _ _
_ __ _ _ _
" # $
# " # " " " $ ! " ( ) ( ) ( ) y son los vectores deseados.
( ) ( )
entonces pues es el polinomio 0 ; : ; : 0 X 1 X : X 1 X ! ! :
( ) ( ) ( ) ( )
mnimo de . X
B -
( )
_
_
"
#
8
tenemos entonces posibilidades, para de grado y a cada una G : B "
8
"
( )
/<
corresponde un solo pues tiene los mismos factores irreducibles que 0 B 0 B : B ( ) ( ) ( )
de esta forma tiene solamente clases de singularidades en el caso. G "
8
"
/<
Caso 2. por consiguiente en este caso tenemos : B B - B - 3 4 G ( ) ( )( )
3 4
8
#
posibilidades de eleccin del polinomio y para cada uno de ellas sera del : B 0 B ( ) ( )
tipo donde y son todos los posibles enteros positivos tales que ( ) ( ) B - B - + ,
3 4
+ ,
+ , 8 = 8 # = 8 # . Llamando el nmero de enteros tenemos clases de ( ) ( )
similaridad para ; haciendo variar ordenadamente obtenemos ( )( ) B - B - 3 4
3 4
G W 8 #
8
#
( ) clases de similaridad en el segundo caso.
Caso . , por lo tanto en este caso tenemos $ : B B - B - B - 3 4 5 3 ( ) ( )( )( )
3 4 5
G : B
8
$
posibles polinomios minimales y para cada uno de ellos ( )
0 B B - B - B - + , - ( ) ( ) ( ) ( )
3 4 5
+ , -
donde son todos posibles enteros positivos
tales que . Llamando el nmero de esos enteros y haciendo + , - 8 = 8 $ ( )
3 4 5 G = 8 $ variar. obtenemos clases de similaridad en el tercer caso.
8
$
( )
8 G = 8 8
=379 8
8
caso. sern las clases de similaridad en este caso. El final ser dada ( )
por las clases de similaridad.
_
( )
5"
8
8
5
G = 8 5
# "
"
#
( ) ( ) ( )
( ) ( )
"
$ $ "
m m m m
( ) "
" $ "
" #
# #
$ #
! $ % " ! " " ! " ( ) ( ) ( )
!$% "!" !$% "!"
# #
( ) ( ) ( ) ( )
! $ % " ! " " ! " ! $ % # ! # # ! # ! $ ! ( ) ( ) ( ) ( ) ( ) ( ) ( )
% %
# #
La base deseada ser entonces
! ! ! " !
" #
" #
m m m m m $m
$ " " " "
# # # #
( )
_ _ _ _
( ) ( ) ( ) , I " ! $ % / /
$! $ $ * "#
#& #& #& #& #&
" " " #
. I ! " / / ( )
% "# "'
#& #& "&
" " #
( ) ( )
. $ % %
" "
m m #& #&
$ %
"
"
%
# #
m m #& #&
% $
% $ ( )
#
#
I I ! ! ( )
% % %
" " # " " #
" "
#& #&
I I ! ! ! ( )
% % %
# " # " #
"
#&
.
En esta forma recibimos
I
" !
! !
% %
" #
# #
mI m I I " " " " "
#
l l
m m
"
#
#
Por lo tanto
m I m I I " " " " " " - - -
#
m m I I I I m m m m mI m " " " " " " " " " "
# # # #
l l
m 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/ I I
-
m m
#
" # " # "
( )
m I m ! # "
#
( ) I I m m mI m # " # " # "
# #
m m
-
#
" "
-
m m
#
m m mI m m m mI m #d/ # " " " # " "
# # # #
m m m m m m
- - -
# # #
.
3
3
#
De donde se tiene que ( ) ( ) I I " " .
entonces
W
,
luego
W W
( ) ( ) , W W W W
Notemos que valen las relaciones
, Z W W W W
entonces
.37W .37W
y como
W W W W
.
( )
X X/ E X/ E X/ E
E E E
E E E
E E E
_
_ _
_ _ _
"" "# "8
#" ## #8
8" 8# 88
" 3" 3 # 3# 3 8 38 3
3" 3" 3"
8 8 8
donde
se sigue entonces que
( ) ( )
_
_ _
X E E E
4 3 54 5 3 54 5 3 34
5" 5"
8 8
( ) ( ) ( ) ( )
" # " # " " # #
0 0 =98:<9.?->9= 38>/<89=
" #
Daro Snchez H 59 EPKIFVE PMRIEP
y entonces [ [
#
"
( ) ( ) ( ) ( ) ( ) ( ) 33 [ 0 0 ! ! 0 0 ! ! 0 " " " " "
" " # "
tenemos
3
3
#
Por la desigualdad de Bessel, tenemos
_
3"
8
l l
m m
#
3
#
3
#
m m
mI m I I
#
5" 5" 5" 5"
8 8 8 8
m m m m m m m m
5 5 5 5
_ _ _ _
5 5 5 5
5 5 5 5
# # # #
_ _ _ _
5" 5" 5"
8 8 8 8
m m m m m m m m m m
4"
5 4 5 5
l l
5 5 5
5 4 5 5 5
# # # # #
4 5
#
Entonces se recibe
mI m m m mI m m m
# #
Ahora
I Z I [ [ [ ( ) ( )
.
Si es una proyeccin con y , entonces I Z [ I I I Z [ mI m m m I ( )
#
es la proyeccin ortogonal en . [
62.Sea el espacio real con producto interno que consiste del espacio de Z
funciones continuas, definidas en el intervalo , tomando valores reales, " > "
con el producto interno
( ) ( ) ( )
> >
De donde se deduce que
( )
"
"
0 > .> !
Afirmamos que , en efecto si es impar y es par [ 1 Z 1 > 1 > 1 0
( ) ( )
tenemos luego es impar entonces tenemos 0 > 1 > 0 > 1 > 10 ( ) ( ) ( )
Daro Snchez H 60 EPKIFVE PMRIEP
( ) ( ) ( )
___
0 1 0 > 1 > .> !
"
"
impar
.
X B B B #B 3B B
" # B
3 " B
X X B B C C C C
" 3 3 B
# 3 B
" ( ) ( ) ( )
" # " # " #
"
#
" 3 B 3B #B 3B C C " 3 B 3B C #B 3B C ( ) ( ) ( ) ( ) ( ) ( )
" # " # " # " # " #
" #
X B B
" 3 # C
3 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
# # #
# #
Daro Snchez H 61 EPKIFVE PMRIEP
X X
" 3 # " 3 3 " 3 % 3 3 #3 ' $3 "
3 3 # 3 " $3 # 3 3 #3 3 3
# #
# # #
Luego X X XX
_ _ _
_ _ _ _ _ _
"" "# "$
#" ## #$
$" $# $$
# $ %
$ % &
% & '
X
" 3 " " 3 " " 3 "
3 " 3 3 " 3 3 " 3
" 3 " " 3 " " 3 "
_ _ _
_ _ _ _ _ _
As tenemos que
X B B B
" 3 " B !
3 " 3 B !
" 3 " B !
" # $
"
#
$
( )
_ _ _
_ _ _ _ _ _
de donde el sistema
B 3B B !
" # $
3B B B ! B B B
" # $ # " $
"
3
( )
B 3B B !
" # $
tomando ( ) ( ) " B 3 B ! B 3 "
" $ #
"
3
. ( ) ( ) # B ! B 3 B 3 "
" $ #
w w w "
3
Luego
KerX 3 " ! ! " 3
( ) ( ) .
( ) ( )
( ) ( )
( ) ( )
XX X X M M
X X X X M M
X X X X M
" "
" "
" "
Luego es inversible y su inverso es tal que . X X X
"
"
( ) ( )
67. Sea un espacio de dimensin finita y , vectores fijos en . Mostrar que Z Z " #
X Z X " # ( ) define un operador lineal sobre . Mostrar que posee un adjunto y
describir explcitamente. Supongamos ahora que sea con el producto X Z
8
( ) " #
( ) ( ) ( ) 3 en efecto " "
" "
( ) ( ) ( ) ( ) ( ) ( ) ( ) " " " " " " ! ! ! !
" " " "
Ahora
( ) ( ) ( ) ( ) ( ) ( ) ( ) " " " " # # " # " # ! ! a !
" " "
, ,
entonces
( ) ( ) ( ) ( ) " # " # X X
" "
( ) 33 X es lineal
X - - - - ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) " # " " # " " #
" " " "
- - -X X ( ) ( ) ( ) ( ) ( ) ( ) ( ) " # " # " # " #
" " "
.
Luego es un operador lineal. X
Como no se sabe si es finita, no podemos aplicar el resultado . Debemos .37Z (*
entonces hallar tal que X
X X Z
" # " # " #
para todo
X " # " # # " # "
" " " # " # # " " #
( ) ( ) ( ) ( )
# "
" #
( )
Entonces basta definir y tenemos X
# " ( )
( )
( )
X
X
X X
" #
# "
" # "
#
" # # "
" # " #
.
( ) ( ) ( ) 333 Z X X E " #
8
34
por hiptesis , sea entonces . Para la
/ / / /
" =3 5 3
! =3 5 3
5 3 5 3 53
( )
$
XR X R RX RX X R
( ) y conmutan.
!
"
polinomio en tal que 1 Z 0 1 0 >
> >
( ) ( )
Daro Snchez H 63 EPKIFVE PMRIEP
SOLUCIN. Definamos . es una funcin lineal y , usando
J Z J .37Z %
0 J > 0 >
( ) ( )
.
SOLUCIN. Debemos mostrar que donde X Z
( ) ( ) KerX
X Z X @ @ Z
( )
y
( ) ( ) Ker Ker X X
? Z ? @ ! a@ ,
y ? Z ? @ ! X@ !
Notemos primeramente que , en efecto y X Z X X Z
( ) KerX "
# # " # # " # " X X X ! ( ) KerX tenemos , = ,
5/<X #
por lo tanto
X Z ( ) ( ) Ker Ker X X
X ! X ! a Z X ! # # # , ,
entonces
# Ker Ker Ker X X Z X X Z X ( ) ( )
Luego . X X
T
,
entonces , (recurdese que si X D D D D
( ) , X a Z Z Si , entonces dados , 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 tenemos 3 MM M ( ) ( )
( ) ( ) X X X X " " " "
X X X X ( ) ( ) " " " "
entonces
# X # X X X " " " " ,
as tenemos que
X X a Z X X
3
)
E E M
" ! " ! " !
! / ! / ! /
" !
! "
3 3 3 3
) ) ) )
Luego es una matriz unitaria, ahora E
E
" !
! /
>
3
)
y tenemos que
E E
" ! " ! " !
! / ! / ! /
>
3 3 #3
) ) )
luego eso indica que no es ortogonal. E E M E
>
( ) ( ) , + 3 , " 3 + , " #3 #3 " Sean , entonces
_ _
_
_
_ _
" &
#
#
" &
# #
Daro Snchez H 65 EPKIFVE PMRIEP
Consideremos la matriz y tenemos E
+ ,
, +
E E M
+ , + , + , +, ,+ " !
, + , + ! " +, ,+ , +
>
# #
# #
Luego es ortogonal, ahora E
E E
+ , + , ++ ,, +, ,+
, + ,+ +, + ,
, +
# #
M
" 3 " 3 " 3 3
+619 "
_
_ _
_ _ _ _
( ) ( )
( )
_ _ _ _
_ _
_ _
_ _ _ _
" & " &
# #
# #
" & " &
As no es unitaria. E
Q
. Para cada sea el operador lineal definido por
X E QE X Q
Q Q
( ) . Mostrar que es unitaria si y slo si es una matriz unitaria.
SOLUCIN. X E X F E F >< EF aE F Z " ) ,
Q Q
( ) ( )
X E X F QE QF >< QE QF >< QE F Q
Q Q
( ) ( ) ( )
as es unitaria. >< Q Q EF >< EF Q Q M Q ( ) ( )
( ) "
Q Q Q M ) Supongamos que es unitaria, es decir , entonces
Q Q Q
Hiptesis
es unitario.
, de donde
Y Y Y Y M
" !
! "
! ) ) ) )
- Y / Y / / / 9 % sea una base donde siendo
" # " " # # " # 9 9
la base cannica, entonces
Y T Y T Y
-9= =/8
=/8 -9=
) 9 % 9 %
"
, donde , ahora
9 9
9 9
9 9
" " " # 3" 3
3"
#
Y / -9= / =/8 / T /
9
_
9 9
# # " # 3# 3
3"
#
Y / =/8 / -9= / T /
9
_
Por lo tanto
T T T
-9= =/8 -9= =/8
=/8 -9= =/8 -9=
( )
34
"
9 9 9 9
9 9 9 9
y
" #
( ) + Y Demostrar que es auto-adjunto y unitario.
( ) , Z [ Si es con el producto interno cannico y es el subespacio generado
$
por encontrar la matriz de en relacin a la base ordenada cannica. ( ) " ! " Y
SOLUCIN. ( ) + Y Y Notemos que pues
"
" #
YY Y
# # " " # #
" # " # " #
! ! " # # "
3 3 3 3
Anlogamente
Y " # " # " " # #
" # " " # # " # " #
Luego
Y Y Y Y
" # " #
Pero de donde y entonces , o sea es unitario. Y Y Y Y Y Y YY M Y
" "
( ) ( ) , [ " ! " / /
" $
[ ! " ! " ! " / / /
# " $
( ) ( )
- - - 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
! ! "
! " !
" ! !
_
_ _
( )( )
( )( )
( )( ) ( )( )
M 3X M 3X M X
M 3X M 3X M X
M 3X M 3X M 3X M 3X
#
#
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.
-9= =/8 / !
=/8 -9=
! /
) )
) )
,
3
3
)
) -
SOLUCIN. Tenemos G / G /
" #
3 3 ) )
E G / B C
-9= =/8 B
=/8 -9= C
) )
) )
"
3
( )
)
B-9= C=/8 / B -9= B 3=/8 B ) ) ) )
3)
B=/8 C-9= / C -9= C 3=/8 C ) ) ) )
3)
Daro Snchez H 69 EPKIFVE PMRIEP
Z " 3
C=/8 3B=/8 B 3C
B=/8 3C =/8 C 3B
( )
) )
) )
"
E G / B C
-9= =/8 B
=/8 -9= C
) )
) )
#
3
( )
)
) ) ) )
) ) ) )
3
3
)
)
Z " 3
C =/8 3B=/8 C 3B
B=/8 3C=/8 B 3C
( )
) )
) )
#
entonces como entonces T l+l l,l "
" "
3 3
w # #
T
3 3
" "
3 3
_
_ _
_ _
_ _
_
# #
# #
# #
# #
#
#
T T T M
" 3 " " " 3 # !
" 3 3 3 " 3 ! #
#
# # #
" "
_
,
luego es unitaria. T
T ET
" 3 -9= =/8 " "
" 3 =/8 -9= 3 3
"
#
) )
) )
-9= 3=/8 =/8 3-9= " "
-9= 3=/8 =/8 3-9= 3 3
"
#
) ) ) )
) ) ) )
-9= 3=/8 3=/8 -9= -9= 3=/8 3=/8 -9=
-9= 3=/8 3=/8 -9= -9= 3=/8 3=/8 -9=
"
#
) ) ) ) ) ) ) )
) ) ) ) ) ) ) )
F
# -9= 3=/8 ! / !
! # -9= 3=/8
! /
"
#
3
3
( )
( )
) )
) )
)
)
T X X
X
( )
X Y XY a Z X Y XY
Y XY X a Y ) Si entonces , , X Y XY
o sea
T Y Y T a Z
X X
,
Luego es unitario. Y
"
"
( ) ( ) ( ) , ><+D X
"
"
( ) - X X X
" # $ " # $ ( )
( ) . X En que condiciones es auto-adjunto?
"
SOLUCIN.
( ) ( ) + X
"
# $ # " $ # " $ $ # "
X # $ " # $ " # $
"
( )
Entonces X X
"
"
"
" "
?
X X
" "
( ) ( ) # # " # # "
luego si , entonces, es autoadjunto. " X
"
81.Para cada una de las siguientes matrices simtricas reales , encontrar una E
matriz ortogonal real tal que sea diagonal. T T ET
>
" " " # -9= =/8
" " # " =/8 -9=
, ,
) )
) )
SOLUCIN. ( )
+ E
" "
" "
- ! - # " " " "
" # " #
" "
# #
_ _
( ) ( )
T T
" " " "
" " " "
,
" "
# #
>
_ _
Daro Snchez H 71 EPKIFVE PMRIEP
T T M T
" !
! "
>
, de donde es ortogonal y
T ET H
" " " " " " ! ! ! !
" " " " " " ! % ! #
> " " "
# #
# _ _
( )
, E E X E
" #
# "
>
,
%
./> BM E B #B " % B #B $ B $ B "
B " #
# B "
( ) ( )( )
# #
- " - $ X - B C
" # B
# " C
" # " " "
, " "
( )
luego
B #C B
#B C C
B C
as
"
" "
m m
"
#
" " " " ( ) ( ) , ,
"
"
"
"
_
X - $ B C B C
" # B B #C $B
# " C #B C $C
" "
# # #
( )
de donde
"
# #
m m
"
#
" " " " ( ) ( ) ,
"
"
#
#
_
Tomando y entonces X H
" !
! $
" #
y para , , tenemos T T
" " " "
" " " "
" "
# #
>
_ _
T ET
" " " # " " " " " " # ! " !
" " # " " " $ $ " " ! ' ! $
> " " "
# # #
( )
- E
-9= =/8
=/8 -9=
) )
) )
aqu , E E X E ./> BM E
B -9= =/8
=/8 B -9=
>
%
( )
) )
) )
B -9= =/8 B " B " B " - " - "
# # # #
" #
) ) ( )( ) .
Ahora
=
( )
-9= =/8 B -9= B =/8 C B
=/8 -9= C =/8 B -9= C C
B C
) ) ) )
) ) ) )
( ) 3 =/8 ! -9= " Si , tenemos y entonces en la segunda ecuacin tendramos ) )
C C C ! " ! y entonces "
" "
( )
( )
33 =/8 ! -9= " C B Si entonces note que y ) )
=/8 "-9= =/8
"-9= =/8 "-9=
) ) )
) ) )
tenemos , "
" "
=/8
"-9= m m
"
)
) "
"
"
"
X - B C
-9= =/8 B -9= B =/8 C B
=/8 -9= C =/8 B -9= C C
" "
) ) ) )
) ) ) )
# # #
( ) =
( ) 333 =/8 ! -9= " Si entonces y en la primera ecuacin tenemos ) )
B B B ! ! " en esta forma "
# "
( )
( ) 3@ =/8 ! -9= " C Si entonces y entonces ) )
=/8
-9= "
)
)
Daro Snchez H 72 EPKIFVE PMRIEP
note que y entonces ,
=/8 -9= " =/8
-9= " =/8 -9= " m m
# #
) ) )
) ) ) "
"
" "
#
#
Combinando y tenemos ,o, ( ) ( ) ( ) ( ) ( ) ( ) 3 333 " ! ! " ! " " !
Considerando y tenemos donde siendo ( ) ( ) 33 3@
" # " #
m m m m
" "
" "
" #
" #
" "
" #
=/8 =/8
"-9= -9= "
" "
) )
) )
, .
( ) , Una matriz compleja simtrica puede no ser normal pues si tomamos
E E E
3 " 3 "
" ! " !
>
y tenemos
_
_
E E
3 " 3 " # 3
" ! " ! 3 "
EE
3 " 3 " # 3
" ! " ! 3 !
E E EE
_
_ _
./> BM E B " B $ B & "' # # B & "#
B " # $
# B $ %
$ % B &
( ) ( )( ) ( )
( )( ) ( )
$ ) $ B $ B *B 'B B B *B ' B B B ( ) ( ) ( )
$ # #
* "!& * "!&
# #
_ _
Luego H
! ! !
! !
! !
_
_ _
* "!&
#
* "!&
#
_
_
tenindose
E E
" 3 " 3 # !
3 " 3 " ! #
EE
" 3 " 3 # !
3 " 3 " ! #
,
entonces es normal, de donde es normal. E X
Hallemos base ortonormal de tal que esto es cada es X -
" # 3 3 3 3
#
un vector caracterstico de . X
./> BM E B #B # ! B " 3
B " 3
3 B "
( )
#
# %)
#
entonces
_
de donde - " 3 - " 3
" #
X - " 3 B C
" 3 B
3 " C
" "
"
" "
( )( )
de donde se obtiene el siguiente sistema
( ) ( )
B 3C B 3B
3B C C 3C
B C " " " " de donde y "
" "
m m
"
#
"
"
"
"
_
X - " 3 B C
" 3 B
3 " C
" "
# # #
( )( ),
por lo tanto
( ) ( )
B 3C B 3B
3B C C 3C
B C " " " " , de donde y "
# #
m m
"
#
"
"
#
#
_
luego " " " "
" "
# #
_ _
( ) ( )
_
_ _
"
8
3
caracterstico de X
Por el resultado del numeral de los resultados bsicos, todo vector % *"
caracterstico de corresponde a un valor caracterstico , es tambin vector
3 3
X -
caracterstico de correspondiente al valor caracterstico X -
3
( ) X - X -
3 3 3 3 3 3
.
Entonces
Daro Snchez H 74 EPKIFVE PMRIEP
X - - -
- !
! -
"
8
3 3 3
_
_ _
, pero
luego . X X
( ) , - ! X X ! a Z
3
es positivo. Falta apenas mostrar que
B X X B B B X B
_ _ _ _ _
( )
3" 3" 4" 3" 4"
8 8 8 8 8
3 3 3 3 4 4 3 3 4 4
entonces
B B X B B - B B3 - - lB l !
_ _ _ _ _ _
( )
3" 4" 3" 4" 3" 3"
8 8 8 8 8 8
3 4 3 4 3 4 3 4 3 3 3 3 3 3
#
3
pues . - !
3
( ) - l- l " l- l " Si entonces , entonces
3 3
#
X X M
- ! - ! l- l ! " !
! - ! - ! " ! l- l
_ _ _ _
_ __ _ _ _ _ _
Luego es unitario. X
_
_ _
y entonces . X M
87.Dar un ejemplo de una matriz tal que sea normal pero no sea # # E E E
#
normal.
SOLUCIN.
E E
! ! ! ! ! 3
3 ! 3 ! ! !
Daro Snchez H 75 EPKIFVE PMRIEP
E E
! 3 ! ! " !
! ! 3 ! ! !
EE
! ! ! 3 ! !
3 ! ! ! ! "
entonces y en esta forma no es normal. EE E E E
Ahora
E E
! ! ! !
! ! ! !
# #
( )
En esta forma
( ) ( ) ( )( ) E E E E
# # # #
Luego es normal. E
#
89.Demostrar que una matriz simtrica real posee una raz cbica simtrica real;
esto es, si es simtrica real, existe una matriz simtrica real tal que E F F E
$
SOLUCIN. Por el numeral de los resultados bsicos, tenemos que existe una *"
matriz real unitaria tal que T T T M ( )
>
T ET -
- !
! -
>
"
8
3
_
_ _
diagonal, donde
Entonces
E T HT " ( ) ( )
> "
"
Tomemos
Daro Snchez H 76 EPKIFVE PMRIEP
I I H #
- !
! -
_
_ _
_
_
( )
$
$
"
8
$
Tmese , entonces F T IT ( )
> "
"
F T IT T IT T I T T IT T I T
# > " > " > > " > # "
" " " " "
( ) ( ) ( ) ( ) ( )
Ahora
F T I T T HT E
$ > $ " > "
" "
( ) ( )
( ) ( ) # "
3 3
( )
E E
,
y entonces , - a3
3
Pero si es positiva, tambin es positiva, dado que si entonces as E H ! T !
H T ET ET T !
T !
.
Luego
- B B !
- ! B B - B B
! - B B - B B
_ _ _ _ _
_ __ _ _ _ _ _ _ _
_
" " " " " "
8 8 8 8 8 8
3"
8
3 3 3
para todo con algn . Tenemos y entonces ( ) ( ) B B B ! ! " !
" 8 3
8 8
- " " ! - ! a3 -
3 3 3
de donde , . Luego existe y entonces tenemos la matriz _
I I H F T IT
- !
! -
_
_ _
_
_
( )
"
8
# > "
"
y tomando tenemos
F T I T T HT E
# > # " > "
" "
( ) ( ) .
F T FT I es positiva puesto que es positiva.
>
_
_ _
tambin o sea , de donde H ! ! - !a3 - ! a3
- !
! -
8 8
8
"
8
8
3
3
_
_ _
as
X ! X !
X -
X -
- - X
" "
3
4
3 4
con . Si es normal entonces existe una base
ortonormal tal que . X H
- !
! -
_
_ _
"
8
Si y respectivamente , " " ! ! X- M ! X- M ! ( ) ( ) ( )
3 4
Ker( ) X - M
3 3
4 4 3 4 3 4
( ).
SOLUCIN. Como es normal, existe una base ortonormal tal que X
" 8
X X - X -
- !
! -
_
_ _
"
8
3 3 3 3 3 3
, donde, y
Supngase que y que adems 0 + + B + B
! " 5
5
0 X + M + X + X X ( )
! " 5
5
Entonces debemos tener , 0 X X ( )
3 3
o sea
+ + X + X -
! 3 " 3 5 3 3 3
5
y entonces
, + + - + - - + + - + - - a
! 3 " 3 3 5 3 3 3 ! " 3 5 3 3 3 3
3 3
5 5
de donde
+ + - + - - 3 " # 8
! " 3 5 3
3
5
.
Luego donde y . 0 0 0 - - 0 - ! 3 4
_
( ) ( )
3"
8
3 3 3 3 3 4
Daro Snchez H 78 EPKIFVE PMRIEP
Por consiguiente y 0 - - 0 0
3 3 3 3
B- B- B-
s
- - - - - -
s
43
B-
- -
3"
8
( ) ( ) ( )
( ) ( ) ( )
" 3 8
3 " 3 3 3 8
4
3 4
_ _
Comprobacin:
0 X 0 X 0 - 0 - - X ( ) ( ) ( ) ( ) ( )
_ _
4 3 4 3 4 4 4 4 4 4 4 4
3" 3"
8 8
Luego . X 0 X
( )
X Y X Y X Y ! ( )
Adems ( ) X Y X Y X Y
( ) ( )
_
_
, XY Y X YX XY
X X X
# #
# #
Y Y Y
" 3
3 "
Sea pero
adems no es positivo. XY
Adems X X XX
" !
! !
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
Y " ! ! " ! " ! " ! " ! " ! "
Y ! " " ! " " ! ! ! " " ! " !
Y Y
y
tenindose
Daro Snchez H 79 EPKIFVE PMRIEP
Y Y YY
! " ! " " ! ! " ! " " !
" ! " ! ! " " ! " ! ! "
, y ,
as . Y Y YY
Ahora
X Y X Y
" " " "
" ! " !
( ) , y ,
( )( )
X Y X Y
" " " " # "
" ! " ! " "
( ) ( )
X Y X Y
" " " " # "
" ! " ! " "
SOLUCIN. V I R I I " ( ) ( )
I I I ! ! " " " "
SOLUCIN.
E M R R
" ! ! " ! ! ! ! !
" " ! ! " ! " ! !
! " " ! ! " ! " !
_ _ _
_ _ _ _ _ _
donde es nilpotente, entonces
F M R R F E
" ! !
" ! !
"
" "
# )
# #
" "
) #
_
_ _
y .
( ) - X W En un espacio vectorial complejo de dimensin finita y dos operadores
lineales en . Entonces y son semejantes si y slo si tienen los mismos Z X W
polinomios caractersticos y mnimos.
Daro Snchez H 80 EPKIFVE PMRIEP
( ) . En un espacio vectorial complejo de dimensin finita con producto interno Un
operador lineal en es normal si y slo si , donde es el polinomio Z Z X : X : ( )
minimal.
( ) / En un espacio vectorial complejo de dimensin finita con producto interno, dos
operadores normales y conmutan si y slo si existen un tercer operador X W
normal y dos polinomios y tales que Y > = X > Y W = Y ( ) ( )
SOLUCIN. ( ) + Falso - Pueden existir operadores lineales diagonalizables segn
bases ortonormales lo cual ocasiona que ellos no sean normales. Por ejemplo sea
Z " ! " " [ ^
#
con el producto interno cannico y con la base . Sean ( ) ( )
los subespacios generados por y respectivamente, sea la proyeccin ( ) ( ) " ! " " I
sobre de . no es proyeccin ortogonal luego es no normal y adems [ ^ I
I I
" !
! !
o sea es diagonal.
( ) , Falso - La igualdad slo es vlida para bases ortogonales.
( ) - X W Falso - Dos operadores y pueden tener los mismos polinomios
caractersticos y minimal, no obstante presentan formas cannicas de Jordan
diferentes. Por ejemplo sean y operadores lineales tales que sus formas X Y
cannicas de Jordan son
, y, X Y
- ! - !
" - " -
! !
! !
- ! - !
! - " -
_ _
_ _ _ _
" "
" "
" "
" "
Tenindose que
:96-+<+->X B - :96738X B - ( ) ( )
" "
% #
y
y :96-+<+->Y B - :96738Y B - ( ) ( )
" "
% #
X Y y no son semejantes por presentar formas cannicas de Jordan distintas sin
embargo tienen los mismos polinomios caractersticos y minimales.
( ) ( ) . *" Verdadero lea los resultados bsicos numeral
( ) ( ) / *" Verdadero lea los resultados bsicos numeral
Jordan:
R
! ! ! !
" ! ! !
! ! " !
5
!
! !
3
"
3
_
_ _
_____________________
_
_ _
_____________________
_
_ _
! !
" ! ! !
! ! " !
!
! 5
5 5
#
" #
Es inmediato que el rango de es igual a una dimensin menos el nmero de R
3
3
bloques elementales (ya que cada bloque elemental contiene una matriz identidad
de orden y ninguna otra de rango superior, donde es su dimensin). En 5 " 5
4
4
otras palabras la nulidad de es igual al nmero de columnas constitudas por R
3
3
ceros. Elevando al rango de cada bloque de dimensin aportar una nueva R #
3
columna, y as sucesivamente. En general podemos escribir:
. .37 X - M 8 R
" 3 3 3
a ( )
9
de bloques elementales en
3
. .37 X - M . 8 R
# 3 3 " 3
#
de bloques elementales en . a ( )
9
3
. X - M . 8 R
< 3 3 <" 3
<
a ( )
9
de bloques elementales en
3
Tomando de bloques de dimensin 8 8 3
3
9
de bloques de dimensin 7 8 3
3
9
tenemos entonces
y . 8 8 7 7 7
" " " " # $
y . . 8 8 7 7
# " # # # $
y . . 8 8 7
< <" < < <
De aqu resulta: y 8 . 7 8 8
" " " " #
y 8 . . 7 8 8
# # " # # $
y 8 . . 7 8 8
< < <" < < <"
Por lo tanto , 7 #. . . < #
< < <" <
Tomando , por definicin, la expresin resulta valida para . ! < "
!
De esto resulta la expresin final, dada por
7 #.37 X - M .37 X - M .37 X - M < " #
( ) 3
< 3 3 3
< <" <"
a a ( ) ( ) ( )
APENDICE
Daro Snchez H 82 EPKIFVE PMRIEP
ESPACIO DUAL
Una funcin , a valores escalares, definida en un espacio vectorial 0 Z
satisfaciendo las condiciones
, 0 ? @ 0 ? 0 @ ? @ Z ( ) ( ) ( )
, y 0 ? 0 ? ? Z ( ) ( )
un escalar es denominada o sobre el espacio funcional lineal forma lineal
vectorial . Z
Llamamos al conjunto de las funciones lineales sobre el espacio vectorial . Z Z
-
" # 8 3
3"
8
3
/ / / / ! es linealmente independiente, pues significa
_
_
_ _
( ) ( )
3" 3"
8 8
3 3
3 3
- - / @ / @ ! @ Z , cualesquiera que sea el vector Haciendo
sucesivamente , obtenemos , y como @ / 4 " 8 / / ! 4 " 8
4 3 4
3"
34
8
3
_
( ) -
Daro Snchez H 83 EPKIFVE PMRIEP
/ /
" =3 3 4
! =3 3 4
3
4
( )
La suma del primer miembro se reduce a , por lo tanto . Se - -
4 4
! 4 " 8
sigue que todo funcional lineal es combinacin lineal de los elementos de , 0
( )
cannica En efecto, si vemos que / / @
" 8
" # 8
( )
.B @ 4 " 8
4 3
3
`B
`B
( )
_
4
3
,
como , obtenemos que , por lo tanto
si
si
`B
`B
4 4 " 8
4
3
.B @ .B .B
" 3 4
! 3 4
( )
constituyen una base dual de la base como queramos demostrar. La / /
" 8
expresin conocida
.0 : .B
:
3
_
( )
3
`0
`B
3
Daro Snchez H 84 EPKIFVE PMRIEP
que expresa la diferencial de una funcin como combinacin lineal de los , 0 .B
3
puede ser obtenida sustituyndose en , por su valor .0 : .B @
:
3
_
( ) ( )
3
`0
`B
3 3 3
3 " 8 .0 @ : .B @ . En efecto, procediendo as, obtenemos para cada
:
3
( ) ( ) ( )
_
3
`0
`B
3
vector , lo que significa . @ .0 : .B
:
3
_
( )
3
`0
`B
3
Como una base y su dual tiene el mismo nmero de elementos, la dimensin
_
3
3"
8
3
base , asocia la funcional es un isomorfismo que / / / X @ /
" # 8
3"
8
3 3
( )
_
isomorfismo, ms no necesariamente el mismo. No nos es siempre posible
construir un isomorfismo cannico entre y , y por lo tanto no debemos Z Z
identificarlos. Pero es posible identificar con como mostraremos a Z Z
continuacin:
AFIRMACION: Existe un isomorfismo cannico entre y Z Z
( ) ( )( ) ( )
aplicacin es biunvoca, esto es . En efecto, significa que ( ) ( ) @ ! @ ! @ !
: : : ( )( ) ( ) @ @ ! Z / / / Z cualquiera que sea . Sea = una base de y
" # 8
supngase que . Entonces cualquiera que sea @ / @ / ! Z
_ _
( ) ( )
3" 3"
8 8
3 3
3 3
: : :
Considerando la base dual y tomando sucesivamente
" # 8
/ / /
: : : / / / ! ! ! @ !
" # 8 " # 8
obtenemos que de donde .
Como y tienen la misma dimensin se sigue que es un isomorfismo Z Z
definida de manera anloga es formada por funcionales linealmente /
.
BIBLIOGRAFIA
- Algebra Moderna, Birkhoff & MacLane, Editorial Teide, Barcelona, 1960.
- Bourbaki, N., , Fascicule de Rsultats, Hermann, Thorie des ensembles
Pars, 1958.
- Carakushansky, Mina S. & La Penha, G., , McGraw-Hill, Algebra Lineal
Book Company, Bogot, 1980.
- Grossman, S.I., , Grupo Ed. Iberoamrica, 1983. Algebra Lineal
- Halmos, P.R., , Cecsa, Mxico D.F., 1965. Teora Intuitiva de Conjuntos
- Herstein, I.N., , Blaisdell Pub., London, 1964. Topics in Algebra
- Hoffmann & Kunze, , Editora Polgono, Sao Paulo, 1971. lgebra Linear
- Kaplan, W. & Lewis, D.J., , Wiley Int.Ed. 1970. Calculus and Linear Algebra
- Lang, S., , Fondo Ed. Interamericano, Sao Paulo, 1975. Algebra Lineal
- Mostow, Sampson & Meyer, , McGraw Fundamental Structures of Algebra
-Hill Book Company, N.Y., 1963.
- Muoz, J.M., , 4a. Ed., U.N., 2002. Introduccin a la Teora de Conjuntos
- Suppes, P., , Editorial Norma, Cali, Teora Axiomtica de Conjuntos
Colombia, 1968.
DLL
Espero que el lector haya obtenido algn 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
matemtica avanzada y que sin l, habra sido imposible realizarlo. Tambin a mi esposa Nohora quien ley todos los
originales y cuid del buen manejo del lenguaje espaol. A la ingeniera Esperanza Nieto quien gentilmente ha ledo gran
nmero de los temas que han salido al ciberespacio.
Exitos y bienvenidos a la investigacin por internet. Cualquier comentario favor
hacerlo llegar a:
danojuanos@hotmail.com,
Daro Snchez H 86 EPKIFVE PMRIEP
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez