Problemas de Algebra Xavi Aznar

PROBLEMAS DE LGEBRA II - 1ER CUATRIMESTRE
HTTP://FISICAUNED.WORDPRESS.COM
XAVIER AZNAR
NDICE
Parte 1. Teora bsica 2
Endomorsmos vectoriales con signicado geomtrico 3
Diagonalizacin de matrices 4
Matrices diagonalizables 5
Deniciones que aparecen en exmenes de aos anteriores 6
Parte 2. Espacios vectoriales y Endomorsmos lineales 7
1. Espacios vectoriales y aplicaciones lineales 7
1.1. Problemas tipo 7
2. Proyecciones y Simetras vectoriales 7
3. Formas de Jordan de endomorsmos lineales 12
4. Subespacios vectoriales invariantes 19
Parte 3. Espacio afn y Endomorsmos anes 21
5. Subespacios anes 21
6. Endomorsmos anes 23
7. Proyecciones y simetras anes 29
8. Homotecias anes y dilataciones 47
9. Clasicacin de endorsmos anes 57
ndice alfabtico 79
1
HTTP://FISICAUNED.WORDPRESS.COM XAVIER AZNAR
Parte 1. Teora bsica
1
Denicin 1. Aplicacin lineal
Sean V, W dos espacios vectoriales sobre un cuerpo K. Una funcin
f : V W se dice que es una aplicacin lineal si verica:
1. Para u, v V
f (u +v) = f (u) +f (v)
2. Para todo u V y todo escalar K
f (u) = f (u)
Propiedades
1. Dada una aplicacin f : V W entre dos espacios vectoriales, se
dice que f es lineal si y slo si
f (u +v) = f (u) +f (v)
para todo par de vectores u, v V y para todo par de escalares K.
2. Si f : V W es una aplicacin lineal, entonces f (0
V
) = 0
W
.
Denicin 2. Ncleo e imagen
Dada una aplicacin lineal f : V V se llama ncleo de f al conjunto
de vectores de V
ker f = v V [ f (v) = 0
La imagen de la aplicacin f es el conjunto de vectores de W
Imf = w W[ v V, f (v) = w = f (v) [v V
Propiedades
1. Si f : V W es una aplicacin lineal, entonces
ker f V
Imf W
2. Si f : V W es una aplicacin lineal, y
B = v
1
, . . . , v
n
es una base o sistema generador de V se tiene que

f (B) = f (v
1
) , . . . , f (v
n
)
es un sistema generador de Imf.
1
Parte de los apuntes de esta seccin se basan en los de la web del Dpto
de Matemtica Aplicada y Estadstica de la Universidad Politcnica de Cartagena.
http://www.dmae.upct.es/~plgomez/archivos %20docencia/teoria2009-10/
2
Proposicin 3. Tipos de aplicaciones lineales.
Sea f : V W una aplicacin lineal. Entonces:
1. f es inyectiva si y slo si ker f = 0
2. f es suprayectiva si y slo si dim(Im(f)) = dimW.
3. f es biyectiva si y slo si dim(Im(f)) = dimW y ker f = 0.
Proposicin 4. Frmula de las dimensiones
Si una aplicacin f : V W es lineal, entonces cumple que
dim(ker f) + dim(Imf) = dimV
Denicin 5. Matrices semejantes Dos matrices cuadradas del mismo
tamao A, A
se dice que son semejantes cuando existe una matriz inver-

tible Q que cumple
A
= Q
1
AQ
Dos matrices son semenjantes si y slo si van asociadas al mismo en-
domorsmo.
ENDOMORFISMOS VECTORIALES CON SIGNIFICADO GEOMTRICO
Denicin 6. Homotecia
Sea V un espacio vectorial eucldeo y R. Se llama homotecia de
razn a la aplicacin lineal
h
: V V
h
(v) = v v V
Denicin 7. Proyeccin
Sea V un espacio vectorial eucldeo y sean B y D subespacios de V
tales que V = B D . Se llama proyeccin de base B y direccin D a la
aplicacin lineal denida por
: V V
v =
_
_
_
(v) = v v B
(v) = 0 v D
Denicin 8. Simetra
Sea V un espacio vectorial eucldeo y sean B y D subespacios de V tales
que V = B D . Se llama simetra de base B y direccin D a la aplicacin
lineal denida por
: V V
v =
_
_
_
(v) = v v B
(v) = v v D
3
Denicin 9. Rotaciones en el plano
En R
2
se llama giro de ngulo [0, 2] a la aplicacin lineal
: R
2
R
2
cuya matriz asociada a la base cannica de R
2
es
_
cos sin
sin cos
_
DIAGONALIZACIN DE MATRICES
Denicin 10. Autovalores y autovectores
Sea A una matriz cuadrada de orden n, un escalar del cuerpo y v un
vector columna no nulo del espacio vectorial R
n
. Si se cumple
Av = v
entonces se dir que es un valor propio o autovalor de A y que v es un
vector propio o autovector de A. Se dice que es el valor propio de A
asociado al vector propio v.
Sea un escalar del cuerpo y M una matriz cuadrada de orden n. En-
tonces es un valor propio de M si y slo si existe un vector no nu-
lo v R
n
tal que Mv = v. Ahora bien, la igualdad anterior equivale
a Mv v = 0, (M id) (v) = 0, lo que signica que v ker (M id).
De manera que es un valor propio si y slo si ker (M id) ,= 0. Y co-
mo dim(ker (M id)) = n rango (M id), lo anterior equivale a que
rango (M id) < n. Finalmente, esta ltima condicin puede traducirse
en que [M id[ = 0. En denitiva obtenemos que
R es un valor propio de M [M id[ = 0
Denicin 11. Polinomio caracterstico
Si M es una matriz cuadrada de orden n se llama polinomio caracte-
rstico de M al polinomio
M
() = [M id[
El polinomio es de grado n y sus races son los valores propios de la
matriz M.
Se llama multiplicidad de como valor propio a la multiplicidad que
tiene como raz del polinomio caracterstico. La suma de las multiplicida-
des de los valores propios de una matriz es, como mucho, igual al grado
del polinomio caracterstico (es decir, al tamao de la matriz).
Observacin 12. Los valores propios de una matriz triangular (superior o
inferior) son los elementos de la diagonal principal.
4
Proposicin. Dos matrices semejantes tienen el mismo polinomio caracte-
rstico.
Dos matrices semejantes tienen los mismos valores propios y las mismas
multiplicidades.
Denicin 13. Subespacio propio
Dado un valor propio de una matriz cuadrada M, llamamos subespa-
cio propio de la matriz M asociada al valor propio a
N
= ker (M id) = v K
n
[ (M id) (v) = 0 = v K
n
[Mv = v
El subespacio propio de la matriz M asociado al valor propio est
formado por todos los vectores propios de la matriz M asociados al valor
propio , adems del vector 0.
Propiedades
Para cada valor propio de una matriz cuadrada M de orden n se tiene:
1. ker (M id) ,= 0, es decir, dim(ker (M id)) 1.
2. dim(ker (M id)) m() (multiplicidad del valor )
3. dim(ker (M id)) = n rango (M id).
Propiedad
Los vectores propios asociados a distintos valores propios son lineal-
mente independientes, o dicho de otro modo, la suma de los subespacios
propios es directa. Esto se traduce en que la unin de bases de cada subes-
pacio propio resulta ser una base de la suma de los subespacios propios.
MATRICES DIAGONALIZABLES
Una matriz cuadrada se dice que es diagonalizable si es semejante a
una matriz diagonal. Un endomorsmo R
n
es diagonalizable si la matriz
asociada respecto de alguna base del espacio es una matriz diagonal. En
ambos casos la matriz diagonal se llamar matriz diagonal asociada, y
su diagonal principal estar formada por los valores propios de la matriz
M (o del endomorsmo f). Esta matriz no tiene por qu ser nica, pues
depende del orden que elijamos para los valores propios.
Armacin 14. Un endomorsmo (o una matriz) es diagonalizable si y slo
si existe una base del espacio vectorial formada por vectores propios del
endomorsmo (o de la matriz).
Cuando tengamos una matriz M diagonalizable, tendremos
M = PDP
1
5
donde D es una matriz diagonal y P es una matriz invertible. A D la lla-
maremos matriz diagonal semejante a A y a P y a su inversa matrices de
paso o matrices de cambio de base.
Armacin 15. Una matriz cuadrada M de orden n con coecientes sobre
el cuerpo R es diagonalizable sobre el cuerpo si y slo si R
n
es la suma
(directa) de todos los subespacios propios de la matriz si y slo si la suma
de dichos subespacios propios es n. Por tanto, la base de vectores propios
se puede hallar uniendo las bases de cada uno de los subespacios propios
de M.
Armacin 16. Sea M una matriz cuadrada de orden n con coecientes
sobre el cuerpo R. Entonces M es diagonalizable sobre el cuerpo si y slo
si se verican las siguientes condiciones:
1. El polinomio caracterstico
M
tiene slo races reales. Esto equivale
a que la suma de las multiplicidades de todos los vectores propios
de la matriz es n.
2. Para cada valor propio de la matriz M se tiene que
dim(ker (M id)) = m()
Observacin 17. Si es un valor propio de M tal que m() = 1, entonces
dim(ker (M id)) = 1
a consecuencia de
1 dim(ker (M id)) m() = 1
Armacin 18. Sea M una matriz cuadrada de orden n con coecientes
sobre el cuero R. Si M posee n valores propios con multiplicidad 1 en R,
entonces M es diagonalizable sobre R.
DEFINICIONES QUE APARECEN EN EXMENES DE AOS ANTERIORES
Espacio afn:
Sistema de referencia afn:
Sistema de referencia cartesiano:
Armacin 19. Polinomios mnimos de endomorsmos comunes:
Endorsmo nulo: El polinomio mnimo del endorsmo nulo es
f
(t) =
t
Homotecia vectorial: f = id, ,= 0, 1 se caracterizan por el poli-
nomio mnimo
f
(t) = t
6
Simetra vectorial: Un endomorsmo f ,= id es simetra vectorial
(f
2
= id) si y slo si su polinomio mnimo es
f
(t) = (t + 1)(t 1)
Proyeccin: Un endormorsmo f ,= 0 es proyeccin (f
2
= f) si y slo
si su polinomio mnimo es
f
(t) = t(t 1)
Proposicin 20. Supuesto V
f
descompuesto en suma directa V
f
= U
1

U
r
y denotando f
i
= f
ui
se tiene:
f
=
f1

fr
= m.c.m(
f1
, . . . ,
fr
)
donde y indican respectivamente, polinomio caracterstico y polinomio
mnimo.
Si el polinomio mnimo
f
coincide con el polinomio caracterstico
f
, en-
tonces f es diagonalizable.
Parte 2. Espacios vectoriales y Endomorsmos lineales
1. ESPACIOS VECTORIALES Y APLICACIONES LINEALES
Ecuaciones implcitas y paramtricas, sistema generador y base de un
espacio vectorial. Dimensin de un espacio vectorial.
1.1. Problemas tipo. Pendiente!!
2. PROYECCIONES Y SIMETRAS VECTORIALES
Denicin 21. Proyeccin
Una proyeccion de un espacio vectorial V es un endomorsmo cuya
accin consiste en proyectar los vectores de V sobre el subespacio vecto-
rials denominado base de la proyeccin B, con una determinada direccin
correspondiente a un subespacio vectorial D, complementario a B. Asi,
sobre los vectores de la base, se comporta como la identidad:
(

v ) =

v

v B B = Im()
y los vectores de la direccion se proyectan por en el vector

0
(

w) =

0

w D D = ker ()
Como B = Im(),
2
= , es decir, la accin reiterada de una proyeccin
tiene el mismo efecto que la primera transformacin.
Denicin 22. Matriz de Jordan de una proyeccin
La matriz de Jordan de una proyeccin es una matriz diagonal de ceros
y unos de la forma:
7
J
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0
0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(r)
.
.
.
.
.
.
.
.
.
0 1 0 0
0 0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
(s)
.
.
.
0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
donde r es la dimensin de la base y s la dimensin de la direccion.
Denicin 23. Simetra
Una simetra de un espacio vectorial V es un endomorsmo que trans-
forma cada vector

v V en el vector simtrico a

v respecto a una base B
y con una direccion determinada D. El subespacio vectorial B es la base
de la simetra. La accin de deja invariantes los vectores que estn en la
base
(

v ) =

v

v B B = Im()
El subespacio vectorial D es la direccin de la simetra y a los vectores de
D la accion de los transforma en su opuesto
(

w) =

w

w D D = ker ( +Id)
donde Id denota la apliacin identidad.
Denicin 24. Matriz de Jordan de una simetra
La matriz de Jordan de una simetra es siempre una matriz diagonal de
la forma:
J
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0
0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(r)
.
.
.
.
.
.
.
.
.
0 1 0 0
0 0 1 0
.
.
.
.
.
.
.
.
.
.
.
.
(s)
.
.
.
0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
donde r es la dimensin de la base y s la dimensin de la direccin.
2.1. Problemas tipo.
8
Ejercicio 25. Sea una base cannica de V
3
(R), de dimensin 3. Sean
B := (x
2
= 0)
D := (x
1
= 0, x
2
+x
3
= 0)
Hallar las matrices de la proyeccin y la simetra con base B y direccion
D.
1. Hallar la forma de Jordan J
de y J
de .
2. Hallar una base
tal que M
() = J
.
Demostracin. Para una proyeccin
(v) = v v B B = Im() (2.1)
( w) = 0 w D D = ker () (2.2)
Para una simetra
(v) = v v B B = Im() (2.3)
( w) = w w D D = ker ( +Id) (2.4)
Empezamos obteniendo una base para B y D.
x
2
= 0
x
1
= B = (1, 0, 0) , (0, 0, 1)
x
3
=
x
1
= 0
x
2
= x
3
D = (0, 1, 1)
x
3
=
Ahora vamos a plantear las ecuaciones derivadas de las propiedades de
las proyecciones y simetras para obtener los coecientes de las matrices
M
() y M
(). Empezamos con la proyeccin

M
() =
_
_
_
a b c
d e f
g h i
_
_
_
9
Utilizando la primera propiedad 2.1 con los vectores de la base B:
_
_
_
a b c
d e f
g h i
_
_
_
_
_
_
1
0
0
_
_
_ =
_
_
_
a
d
g
_
_
_ =
_
_
_
1
0
0
_
_
_ a = 1, d = 0, g = 0
_
_
_
1 b c
0 e f
0 h i
_
_
_
_
_
_
0
0
1
_
_
_ =
_
_
_
c
f
i
_
_
_ =
_
_
_
0
0
1
_
_
_ c = 0, f = 0, i = 1
Para obtener los tres coecientes que nos faltan, utilizamos la propiedad
de las proyecciones relativa a vectores en la direccion D, 2.2:
_
_
_
1 b 0
0 e 0
0 h 1
_
_
_
_
_
_
0
1
1
_
_
_ =
_
_
_
b
e
h 1
_
_
_ =
_
_
_
0
0
0
_
_
_ b = 0, e = 0, h = 1
De manera que M
() resulta
M
() =
_
_
_
1 0 0
0 0 0
0 1 1
_
_
_
Repetimos el proceso para obtener M
(), utilizando las propiedades de

la simetra 2.3 y 2.4:
_
_
_
a b c
d e f
g h i
_
_
_
_
_
_
1
0
0
_
_
_ =
_
_
_
a
d
g
_
_
_ =
_
_
_
1
0
0
_
_
_ a = 1, d = 0, g = 0
_
_
_
1 b c
0 e f
0 h i
_
_
_
_
_
_
0
0
1
_
_
_ =
_
_
_
c
f
i
_
_
_ =
_
_
_
0
0
1
_
_
_ c = 0, f = 0, i = 1
_
_
_
1 b 0
0 e 0
0 h 1
_
_
_
_
_
_
0
1
1
_
_
_ =
_
_
_
b
e
h 1
_
_
_ =
_
_
_
0
1
1
_
_
_ b = 0, e = 1, h = 2
De manera que M
() resulta
M
() =
_
_
_
1 0 0
0 1 0
0 2 1
_
_
_
10
La forma de Jordan de una proyeccin y una simetra depende slo de
las dimensiones de la base y de la direccin, de manera que:
dimB
= 2, dimD
= 1 J
=
_
_
_
1 0 0
0 1 0
0 0 0
_
_
_
dimB
= 2, dimD
= 1 J
=
_
_
_
1 0 0
0 1 0
0 0 1
_
_
_
Ahora vamos a buscar los vectores de la base
. Las columnas de
la matriz de Jordan son las imgenes de los vectores de esa base
, de
manera que
J
(e
1
) = e
1
e
1
Im(e
1
, e
2
) = B
J
(e
2
) = e
2
e
2
Im(e
1
, e
2
) = B
J
(e
3
) =

0 e
3
ker (e
3
) = D
Es decir, los vectores e
1
y e
2
forman parte de la base de B, por lo que
podemos elegir directamente (1, 0, 0) , (0, 0, 1). De la misma manera, e
3
forma parte de la direccin D, por lo que elegimos (0, 1, 1). La base
= (1, 0, 0) , (0, 0, 1) , (0, 1, 1).

Ejercicio 26. Sea V
3
(R) un espacio vectorial de dimensin 3. Sea una
base de V
3
(R). Sea B un subespacio de V
3
con ecuacin
B := (x
1
+ 2x
2
+x
3
= 0)
1. Hallar la matriz respecto a de la simetra con base B y direccin
D tal que
_
_
_
0
1
0
_
_
_ =
_
_
_
1
0
1
_
_
_
2. Dar las ecuaciones respecto a de la direccin de .
Demostracin. Sabemos que la simetra deja invariantes los vectores de
la base B, de manera que (v) = v v B. Empezamos buscando una
base de B.
x
1
= 2x
2
x
3
x
1
= 2
x
2
=
x
3
=
11
De manera que podemos elegir como vectores de la base

v
1
= (1, 0, 1) ,

v
2
=
(2, 1, 0). Ahora construimos M
() y aplicamos (

v
1
) =

v
1
, (

v
2
) =

v
2
.
_
_
_
a b c
d e f
g h i
_
_
_
_
_
_
1
0
1
_
_
_ =
_
_
_
a +c
d +f
g +i
_
_
_ =
_
_
_
1
0
1
_
_
_ c = a 1, d = f, i = g + 1
_
_
_
a b c
d e f
g h i
_
_
_
_
_
_
2
1
0
_
_
_ =
_
_
_
2a +b
2d +e
2g +h
_
_
_ =
_
_
_
2
1
0
_
_
_ b = 2a 2, e = 1 + 2d, h = 2g
Para determinar completamente la matriz, utilizamos la informacin que
nos facilita el enunciado:
_
_
_
a b c
d e f
g h i
_
_
_
_
_
_
0
1
0
_
_
_ =
_
_
_
b
e
h
_
_
_ =
_
_
_
1
0
1
_
_
_ b = 1, e = 0, h = 1
Resolviendo todas las ecuaciones, obtenemos el valor de todos los coe-
cientes de la matriz asociada a la simetra:
M
() =
_
_
_
1
2
1
1
2
1
2
0
1
2
1
2
1
1
2
_
_
_
El siguiente paso es obtener las ecuaciones de la direccin de la sime-
tra. Para ello, utilizamos la propiedad (v) = v v D.
_
_
_
1
2
1
1
2
1
2
0
1
2
1
2
1
1
2
_
_
_
_
_
_
v
1
v
2
v
3
_
_
_ =
_
_
_
v
1
v
2
v
3
_
_
_
Resolviendo las ecuaciones obtenemos v
1
= v
3
y v
2
= v
1
. As, la direccin
D = (1, 1, 1).
3. FORMAS DE JORDAN DE ENDOMORFISMOS LINEALES
Denicin 27. Equivalencia lineal entre dos endomorsmos lineales.
Dos endomorsmos linealmente equivalentes tienen el mismo polinomio
caracterstico, pero la inversa no es cierta. Es decir, dos endomorsmos
con el mismo polinomio caracterstico no tienen porqu ser linealmente
equivalentes.
El polinomio caracterstico no es un invariante completo para la clasi-
cacin de endomorsmos lineales.
12
Denicin 28. El polinomio caracterstico de un endomorsmo f, re-
presentado por M
(f) sobre una cierta base se dene como:
f
() = det (M
Id)
Si el cuerpo K =R los valores propios del endomorsmo deben ser
reales. Si obtenemos valores propios = + i, entonces la caja asociada
al valor propio es de la forma:
_

_
En este caso, no existen autovectores asociados a los autovalores complejo
conjugados.
Si el cuerpo es K = C, entonces se admiten valores propios imaginarios,
con sus correspondientes autovectores asociados.
Armacin 29. El rango de la matriz que representa un endomorsmo es
un invariante lineal.
Ejemplo 30. Es decir, rg (f I) = rg (J
f
I). Esto nos permite obtener los
valores de a colocar bajo las cajas de Jordan si conocemos el rango de
f I, por ejemplo.
Ejercicio 31. Sea V
3
(R) un espacio vectorial con una base . Sea f un
endomorsmo tal que
M
(f) =
_
_
_
1 0 1
6 3 7
2 0 1
_
_
_
1. Hallar la matriz de Jordan J
f
de f.
2. Hallar una base
tal que M
(f) = J
f
Demostracin. Empezamos buscando el polinomio caracterstico
f
() =
det (M Id)
f
() =
1 0 1
6 3 7
2 0 1
= (3 )
_
1 +
2
_
Buscamos las races, que corresponden a los valores propios de f. Te-
nemos = 3 con multiplicidad 1 y = i, complejos conjugados. Como
estamos sobre un cuerpo real, los valores complejos no son aceptables. En
13
este caso, la caja de Jordan asociada a un valor propio del tipo = + i
es de la forma
_

_
As, J
f
resulta
J
f
=
_
_
_
3 0 0
0 0 1
0 1 0
_
_
_
El siguiente paso es encontrar los vectores de una base
en los que la
matriz de f sea la matriz de Jordan.
Las columnas de la matriz J
f
son las imgenes de los vectores de esta
base
, por lo que podemos escribir las siguientes ecuaciones

2
:
f (e
1
) = 3e
1
(f 3Id) (e
1
) =
0 e
1
ker (f 3Id)
f (e
2
) = e
3
e
3
= f (e
2
) = f (f (e
3
)) = f
2
(e
3
)
_
f
2
+Id
_
(e
3
) =
0
e
3
ker
_
f
2
+Id
_
f (e
3
) = e
2
e
2
= f (e
3
)
Empezamos con el primer vector de la base e
1
, e
1
ker (f 3Id):
ker (f 3Id) =
_
_
_
2 0 1
6 0 7
2 0 4
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_
De donde
2x +z = 0 z = 0 x = 0
Elegimos como e
1
= (0, 1, 0)
A continuacin vamos con e
3
, e
3
ker
_
f
2
+Id
_
f
2
=
_
_
_
1 0 1
6 3 7
2 0 1
_
_
_
_
_
_
1 0 1
6 3 7
2 0 1
_
_
_ =
_
_
_
1 0 0
10 9 20
0 0 1
_
_
_
ker
_
f
2
+Id
_
=
_
_
_
0 0 0
10 10 20
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_
De donde
y = x + 2z
Elegimos z = 0, x = 1 y = 1 y as e
3
= (1, 1, 0).
2
En realidad deberamos indicar explcitamente que los vectores de la base
son

e
i

, pero
por simplicidad los escribimos sin la echa que indica que son un vector.
14
Ahora slo nos queda completar la base con e
2
= f (e
3
)
_
_
_
1 0 1
6 3 7
2 0 1
_
_
_
_
_
_
1
1
0
_
_
_ =
_
_
_
1
3
2
_
_
_
Ejercicio 32. Sea V un espacio vectorial sobre K y una base de V .

Si dimV = 4 y g es un endomorsmo de V con polinomio caractersti-
co
g
(t) = (t + 2)
2
_
t
2
2t + 2
_
tal que rg (g + 2Id) = 3, hallar la forma de
Jordan J
g
para g si K = R y K = C.
Demostracin. Empezamos buscando los valores propios
(t + 2)
2
= 0 t = 2
es un autovalor con multiplicidad 2.
Por otro lado
t
2
2t + 2 = 0 t = 1 i
Tenemos dos valores complejos conjugados.
Si K = R no se admiten valores complejos, por lo que la caja asociada a
un valor de la forma = +i es de la forma:
_

_
Para = 2, rg (g + 2Id) = 3 dim(ker (g + 2Id)) = 4 3 = 1 < 2 (multi-
plicidad del valor propio), por lo que la caja de Jordan ser de la forma:
_
2 0
1 2
_
As tenemos completamente determinada la forma de Jordan J
g
para
K = R
J
K=R
g
=
_
_
_
_
_
_
2 0 0 0
1 2 0 0
0 0 1 1
0 0 1 1
_
_
_
_
_
_
En el caso complejo K = C, los valores propios complejos son acepta-
bles, por lo que la forma de Jordan queda
J
K=C
g
=
_
_
_
_
_
_
2 0 0 0
1 2 0 0
0 0 1 +i 0
0 0 0 1 i
_
_
_
_
_
_
15
Ejercicio 33. Sea g un endomorsmo de V

4
(K) con polinomio caracters-
tico
g
(t) =
_
t
2
+ 1
_
2
tal que rg
_
g
2
+Id
_
= 2 . Hallar la forma de Jordan de g para K = R y para
K = C.
Demostracin. Empezamos calculando los autovalores del polinomio ca-
racterstico. Tenemos t = +i con multiplicidad 2 y t = i con multiplicidad
2.
En el caso complejo, todos los autovalores son aceptables, por lo que la
forma de la matriz de Jordan J
g
(C) ser
J
g
(C) =
_
_
_
_
_
_
i 0 0 0
1
i 0 0
0 0 i 0
0 0
2
i
_
_
_
_
_
_
con
i
= 0, 1, i = 1, 2. Para determinar los valores de
i
utilizamos que el
rango es un invariante lineal, de manera que
rg
_
g
2
+Id
_
= rg
_
J
2
g
+Id
_
Calculamos J
2
g
J
2
g
=
_
_
_
_
_
_
i 0 0 0
1
i 0 0
0 0 i 0
0 0
2
i
_
_
_
_
_
_
_
_
_
_
_
_
i 0 0 0
1
i 0 0
0 0 i 0
0 0
2
i
_
_
_
_
_
_
=
_
_
_
_
_
_
1 0 0 0
2i
1
1 0 0
0 0 1 0
0 0 2i
2
1
_
_
_
_
_
_
De manera que
rg
_
J
2
g
+Id
_
=
_
_
_
_
_
_
0 0 0 0
2i
1
0 0 0
0 0 0 0
0 0 2i
2
0
_
_
_
_
_
_
= 2
1
,
2
,= 0
Y la forma de la matriz de Jordan J
g
(C) queda
J
g
(C) =
_
_
_
_
_
_
i 0 0 0
1 i 0 0
0 0 i 0
0 0 1 i
_
_
_
_
_
_
16
En el caso de K = R, los valores complejos no son aceptables. Tenemos
un valor complejo conjugado de multiplicidad 2, = i. Cada autovalor
complejo de la forma = +i da lugar a una caja de la forma
_

_
,
de manera que la forma de Jordan J
g
(R) es
J
g
(R) =
_
_
_
_
_
_
0 1 0 0
1 0 0 0
0 0 1
0 0 1 0
_
_
_
_
_
_
Para determinar el valor de , utilizamos que rg (J
g
+Id) = 2 (ya que el
rango es un invariante lineal).
rg
_
J
2
g
+Id
_
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0
0 0 0
_
_
_
_
_
_
= 2 ,= 0 = 1
Y la forma de la matriz de Jordan J
g
(R) queda:
J
g
(R) =
_
_
_
_
_
_
0 1 0 0
1 0 0 0
0 1 0 1
0 0 1 0
_
_
_
_
_
_
Ejercicio 34. f un endomorsmo de V

4
(R) con
f
(t) = (t 3)
4
y con
dim(f 3Id) = 2.
1. Cules son las posibles formas de Jordan que puede tener f?
2. Determine un invariante que distinga las diferentes formas de Jor-
dan.
Demostracin. Tenemos un autovalor t = 3 con multiplicidad 4.
La forma general de la matriz de Jordan J
f
es
J
f
=
_
_
_
_
_
_
3 0 0 0
1
3 0 0
0
2
3 0
0 0
3
3
_
_
_
_
_
_
Como la dimension es un invariante lineal y dim(ker (f 3Id)) = dim(ker (J
f
3Id)) =
2, tenemos
dim(ker (J
f
3Id)) = 4 rg (ker (J
f
3Id)) = 2 rg (ker (J
f
3Id)) = 2
17
Ahora calculamos
rg (J
f
3Id) =
_
_
_
_
_
_
0 0 0 0
1
0 0 0
0
2
0 0
0 0
3
0
_
_
_
_
_
_
= 2

1
= 0,
2
,
3
,= 0
o
2
= 0,
1
,
3
,= 0
o
3
= 0,
1
,
2
,= 0
Si
1
= 0,
2
,
3
,= 0,
J
(1)
f
=
_
_
_
_
_
_
3 0 0 0
0 3 0 0
0 1 3 0
0 0 1 3
_
_
_
_
_
_
Si
2
= 0,
1
,
3
,= 0,
J
(2)
f
=
_
_
_
_
_
_
3 0 0 0
1 3 0 0
0 0 3 0
0 0 1 3
_
_
_
_
_
_
Si
3
= 0,
1
,
2
,= 0,
J
(3)
f
=
_
_
_
_
_
_
3 0 0 0
1 3 0 0
0 1 3 0
0 0 0 3
_
_
_
_
_
_
Vemos que J
(1)
f
y J
(3)
f
son semejantes, ya que slo tenemos que intercam-
biar el orden de las cajas en la diagonal, por lo que slo tenemos dos
formas para J
f
: J
(1)
f
y J
(2)
f
, que deben corresponder a dos endomorsmos
f
1
y f
2
distintos.
El siguiente paso es encontrar un invariante que diferencie a estos dos
endomorsmos f
1
y f
2
de V
4
(R). f
1
y f
2
comparten polinomio caracterstico
(que no es invariante lineal) y tambien rg
_
J
(1)
f
3Id
_
= rg
_
J
(2)
f
3Id
_
= 2.
18
Pero si calculamos
rg
_
J
(1)
f
3Id
_
2
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 0
0 0 1 0
_
_
_
_
_
_
= 1
rg
_
J
(2)
f
3Id
_
2
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
_
_
_
_
_
_
= 0
Por lo que el invariante lineal que distingue a los endomorsmos f
1
y f
2
de V
4
(R) es el rg (f 3Id)
2
.
4. SUBESPACIOS VECTORIALES INVARIANTES
Teorema 35. Si H es un hiperplano de ecuacin u
1
x
1
+ +u
4
x
4
= 0, H es
invariante por f
1
si y slo si (u
1
, , u
4
) es autovector de J
t
1
.
Denicin 36. J y J
t
tienen el mismo polinomio caracterstico, por lo que
tambin tienen los mismos autovalores.
Ejercicio 37. Sea una base del espacio vectorial V
3
(R). Sea f un endo-
morsmo tal que
M
(f)) =
_
_
_
3 0 0
0 0 1
0 1 0
_
_
_
Calcular las ecuaciones de los subespacios invariantes por f en la base .
Demostracin. La matriz M
(f) ya tiene forma de Jordan para el valor

propio real = 3 y para los valores complejo conjugados = i. Como slo
tiene un valor nico real simple, f tiene una recta invariante generada por
el autovalor asociado al autovalor = 3.
r := (x
2
= 0, x
3
= 0) = ker (f 3id)
El nmero de hiperplanos invariantes -que en V
3
(R) son planos- coin-
cide con el nmero de rectas invariantes, de manera que f slo tiene un
plano invariante asociado a = i.
U := (x
1
= 0) = ker
_
f
2
+id
_
19
Ejercicio 38. Sea base de un espacio vectorial V
4
(R) de dimensin 4.
Sea f un endomorsmo tal que
M
(f) =
_
_
_
_
_
_
2 0 0 0
1 2 0 0
0 0 1 1
0 0 1 1
_
_
_
_
_
_
Dar las ecuaciones de los planos invariantes por f en la base .
Demostracin. La matriz M
(f) ya tiene forma de Jordan, compuesta por

cajas de orden 2.
C
1
=
_
2 0
1 2
_
C
2
=
_
1 1
1 1
_
Cada una de estas cajas corresponde a un plano invariante por f.
U
1
:= (x
3
= 0, x
4
= 0) = ker (f + 2id)
2
U
2
:= (x
1
= 0, x
2
= 0) = ker
_
(id )
2
+id
_
= ker
_
f
2
2f + 2id
_
Ejercicio 39. Sea f un endomorsmo de V

4
(R) donde en la base
M
(f) =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 0 2
0 0 2 0
_
_
_
_
_
_
Calcular las ecuaciones de los subespacios invariantes por f en la base .
Demostracin. Vemos que M
(f) ya que tiene la forma cannica de Jordan

en forma de cajas de orden 2.
C
1
=
_
1 0
1 1
_
C
2
=
_
0 2
2 0
_
De la forma de la caja C
1
vemos que tenemos un valor propio = 1.
rg (ker (f[
C1
+id)) = rg
_
1 0
1 1
_
= 1 dim(ker (f[
C1
+id)) = 2 1 = 1
20
Tenemos una recta invariante generada por el autovector asociado al au-
tovalor = 1.
ker (f[
C1
+id) =
_
1 0
1 1
_
x
1
= 0
De manera que la recta invariante es
r := (x
1
= 0, x
3
= 0, x
4
= 0)
No tenemos ms rectas invariantes.
Cada caja de orden 2 corresponde a un plano invariante por f.
C
1
U
1
:= (x
3
= 0, x
4
= 0) = ker (f +id)
2
C
2
U
2
:= (x
1
= 0, x
2
= 0) = ker
_
f
2
+ 4id
_
Los hiperplanos invariantes coinciden con el nmero de rectas invarian-
tes, de manera que tenemos un hiperplano invariante. Este hiperplano
est formado por la recta invariante r := (x
1
= 0, x
3
= 0, x
4
= 0) y el plano
invariante U
2
, por lo que las ecuaciones del hiperplano es
H := (x
1
= 0)
Parte 3. Espacio afn y Endomorsmos anes

Un espacio afn X tiene asociado, de forma natural, un espacio vectorial

X. El espacio vectorial

X representa el espacio de las direcciones de X.
Un endomorsmo afn f de X tiene asociado un enfomorsmo lineal

f que acta en el espacio vectorial

X. La matriz del endorsmo afn f
contiene, como submatriz, la representacin matricial del endomorsmo
lineal

f :
_
1 0
a

f
_
5. SUBESPACIOS AFINES
Ejercicio 40. Sea un sistema de referencia cartesiano de un espacio real
de dimensin 3 A
3
(R) .Sean M, N y R subespacios anes con ecuaciones
21
respecto a
M := (x
1
= 0, x
2
x
3
= 1)
N := (x
1
= 2)
R := (x
2
x
3
= 1)
P =
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
Calcular las ecuaciones y la dimensin del subespacio afn de A
3
(R) ge-
nerado por todas las rectas que pasan por P y cortan M y N.
Demostracin. Primero observamos que M N = y que P N, lo que
signica que las rectas que pasan por P ya cortan N. As que el problema
se reduce a encontrar las rectas que pasan por P y que cortan M.
Como M es una recta y P / M, el subespacio afn que buscamos ser
el plano que contiene la recta M y el punto P.
Si es un plano, su dimensin ser 2
dim = 2
Podemos escribir como = P +

PQ +

M, donde Q M es un pun-
to cualquiera de la recta y

M es el vector director de la recta M. Como
M := (x
1
= 0, x
2
x
3
= 1) tenemos que

M := (x
1
= 0, x
2
x
3
= 0) y pode-
mos tomar como vector director de la recta
M =
_
0
1
1
_
Ahora, seleccionamos un punto cualquiera de M, como por ejemplo
Q =
_
_
_
_
_
_
1
0
0
1
_
_
_
_
_
_
y calculamos

PQ
PQ =
_
_
_
_
_
_
1
0
0
1
_
_
_
_
_
_
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
=
_
_
_
2
0
0
_
_
_
22
As completamos la descripcin del plano
=
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
+
_
_
_
2
0
0
_
_
_+
_
_
_
0
1
1
_
_
_
La ecuacin de es
:= (x
3
x
2
= 1)
Ejercicio 41. Sean R

1
y R
2
dos rectas distintas de A
3
(R), el espacio afn
real de dimensin 3. Demostrar que R
1
y R
2
son paralelas si y slo si R
1
y
R
2
son coplanarias y disjuntas.
Demostracin. Tenemos que demostrar que
R
1
| R
2

_
_
_
R
1
, R
2
Coplanarias
R
1
R
2
= (Disjuntas)
Suponemos que R
1
| R
2
. En este caso, las dos tienen la misma direccin

R. Es decir, que podemos escribir cada recta como
R
1
= p
1
+

R
R
2
= p
2
+

R
donde p
1
/ R
2
, p
2
/ R
1
(pues R
1
,= R
2
). As, tienen que ser disjuntas. Si no
lo fueran, existira un q R
1
R
2
, por lo que podramos escribir
R
1
= q +

R = R
2
R
1
= R
2
Pero hemos quedado en que R
1
,= R
2
, por lo que llegamos a contradiccin
R
1
, R
2
son disjuntas.
Ahora vamos que la armacin de que si R
1
| R
2
, entonces son coplana-
rias. Para demostrar que R
1
y R
2
estn en el mismo plano, construimos el
plano a partir del vector direccin de las rectas,

R y del vector

p
1
p
2
, donde
R
1
p
1
/ R
2
y R
2
p
2
/ R
1
, como antes. De manera que el plano afn
que contiene las dos rectas R
1
y R
2
y que demuestra que son coplanarias
es (ver gura 5.1):
= p
2
+
p
1
p
2
+

R
6. ENDOMORFISMOS AFINES
23
FIGURA 5.1.
Ejercicio 42. Sea un sistema de referencia cartesiano de un espacio
real afn A
3
(R) de dimensin 3. Sea M un subespacio afn con ecuaciones
respecto a
M := (x
1
+x
2
= 1)
Hallar la matriz del endorsmo f que satisface:
1. M es invariante por f.
2. La restriccin de f a M es una traslacin del vector
_
_
_
0
0
1
_
_
_
3. f
_
_
_
_
_
_
1
1
1
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
Demostracin. Sabemos que la restriccin de f a M es una traslacin de
vector

v . Entonces, la aplicacin lineal asociada se comporta como la
identidad en el espacio vectorial
f[
M
=

id
El subespacio

M tiene ecuaciones implcitas

M := (x
1
+x
2
= 0) por lo
que se trata de un plano vectorial generado por
M :=
_
_
_
_
1
1
0
_
_
_,
_
_
_
0
0
1
_
_
_
_
24
Sea A la matriz de la aplicacin lineal

f . Como

f (

v ) =

v

v

M,
tenemos que
A =
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
1
0
_
_
_ =
_
_
_
1
1
0
_
_
_ =
_
_
_
a d
b e
c f
_
_
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
0
0
1
_
_
_ =
_
_
_
0
0
1
_
_
_ =
_
_
_
g
h
i
_
_
_
A =
_
_
_
a a 1 0
b b + 1 0
c c 1
_
_
_ M
(f) =
_
_
_
_
_
_
1 0 0 0
a a 1 0
b b + 1 0
c c 1
_
_
_
_
_
_
Si tomamos un punto p M
p =
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
Entonces
f (p) = p+

v =
_
_
_
_
_
_
1 0 0 0
a a 1 0
b b + 1 0
c c 1
_
_
_
_
_
_
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
+a
+b
+c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
+
_
_
_
0
0
1
_
_
_ =
_
_
_
_
_
_
1
1
0
1
_
_
_
_
_
_
+a = 1 = 1 a
+b = 0 = b
+c = 1 = 1 c
Para determinar completamente M
(f) utilizamos
f
_
_
_
_
_
_
1
1
1
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
25
_
_
_
_
_
_
1 0 0 0
1 a a a 1 0
b b b + 1 0
1 c c c 1
_
_
_
_
_
_
_
_
_
_
_
_
1
1
1
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1 a +a +a 1
b +b +b + 1
1 c +c +c
_
_
_
_
_
_
a = 0
b = 1
c = 1
Con lo que, nalmente
M
(f) =
_
_
_
_
_
_
1 0 0 0
1 0 1 0
1 1 0 0
2 1 1 1
_
_
_
_
_
_

real afn A
3
(R) de dimensin 3. Sea R un subespacio afn con ecuaciones
respecto a
R := (x
2
x
3
= 1)
Calcular la matriz respecto a de un endomorsmo afn f que deja
invariante R tal que la restriccin de f sobre R es una traslacin con
vector

v =
_
_
_
0
1
1
_
_
_ y tal que f
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
Demostracin. Buscamos los vectores que generan el subespacio afn R :=
(x
2
x
3
= 0).
R =
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
1
_
_
_
_
La matriz M
(f) es de la forma
M
(f) =
_
_
_
_
_
_
1 0 0 0
_
_
_
_
_
_
26
Empezamos utilizando que el endomorsmo f deja invariante el subes-
pacio R
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
0
0
_
_
_ =
_
_
_
1
0
0
_
_
_ =
_
_
_
a
b
c
_
_
_
_
_
_
1 d g
0 e h
0 f i
_
_
_
_
_
_
0
1
1
_
_
_ =
_
_
_
0
1
1
_
_
_ =
_
_
_
d +g
e +h
f +i
_
_
_
Es decir, de momento tenemos

f =
_
_
_
1 d d
0 e 1 e
0 f 1 f
_
_
_
Ahora elegimos un punto del subespacio R ya que

f [
R
=
v
, de manera
que
f[
R
(p) = p +

v
R p =
_
_
_
_
_
_
1
0
0
1
_
_
_
_
_
_

v =
_
_
_
0
1
1
_
_
_
_
_
_
_
_
_
1 0 0 0
1 d d
0 e 1 e
0 f 1 f
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
1
_
_
_
_
_
_
+
_
_
_
0
1
1
_
_
_ =
_
_
_
_
_
_
1
0
1
2
_
_
_
_
_
_
=
_
_
_
_
_
_
1
d
+ 1 e
+ 1 f
_
_
_
_
_
_
= d
= e
= 1 +f
De momento M
(f)
M
(f) =
_
_
_
_
_
_
1 0 0 0
d 1 d d
e 0 e 1 e
1 +f 0 f 1 f
_
_
_
_
_
_
27
Finalmente utilizamos f
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
d 1 d d
e 0 e 1 e
1 +f 0 f 1 f
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
=
_
_
_
_
_
_
1
d
e
1 +f
_
_
_
_
_
_
d = 0
e = 0
f = 1
As que al nal hemos determinado completamente la forma de M
(f)
M
(f) =
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 0 1
2 0 1 0
_
_
_
_
_
_
Ejercicio 44. Sea un sistema de referencia cartesiano del espacio afn

real A
3
(R) de dimensin 3. Sea f el endomorsmo afn con matriz
M
(f) =
_
_
_
_
_
_
1 0 0 0
2 1 1 1
2 0 2 1
2 0 1 0
_
_
_
_
_
_
Demostrar que existe una familia de planos paralelos
k
sobre los que
f acta como una traslacin
v
. Calcular dicha familia de planos
k
y los
vectores

v
k
.
Demostracin. La restriccin de f a los planos
k
los deja invariantes, es
decir que
f[
k
=

id

f[
k
_
k
_
=

k

_
f[
k

id
__
k
_
= 0
Es decir, que el subespacio vectorial formado por los planos paralelos

k
est contenido o es igual al ker
_
f[
k

id
_
k
ker
_
f[
k

id
_
28
As, vamos a calcular ker
_
f[
k

id
_
ker
_
f[
k

id
_
=
_
_
_
0 1 1
0 1 1
0 1 1
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ y z = 0
Ahora buscamos los vectores que generan este subespacio vectorial
ker
_
f[
k

id
_
=
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
1
_
_
_
_
k
:= (y z = 0)
Por lo que los planos anes son
k
:= (y z = k)
Si ahora elegimos un punto p
k

k
, sabemos que el endorsmo acta
como una traslacin de vector

v . Los puntos de
k
son de la forma
k
p
k
=
_
_
_
_
_
_
1
k
_
_
_
_
_
_
De manera que
f (p
k
) = p
k
+

v
_
_
_
_
_
_
1 0 0 0
2 1 1 1
2 0 2 1
2 0 1 0
_
_
_
_
_
_
_
_
_
_
_
_
1
k
_
_
_
_
_
_
=
_
_
_
_
_
_
1
2 + + +k
2 + 2 +k
2 + +k
_
_
_
_
_
_
=
_
_
_
_
_
_
1
k
_
_
_
_
_
_
+

v
k
As que

v
k
=
_
_
_
2 +k
2 +k
2 +k
_
_
_
7. PROYECCIONES Y SIMETRAS AFINES

Denicin 45. Sea un sistema de referencia cartesiano y
v
una trasla-
cin de vector

v , donde

v =
_
_
_
v
1
v
2
v
3
_
_
_.
29
La matriz de la traslacin
v
en la base , M
(
v
) es de la forma
M
(
v
) =
_
_
_
_
_
_
1 0 0 0
v
1
1 0 0
v
2
0 1 0
v
3
0 0 1
_
_
_
_
_
_
Endomorsmos afnmente equivalentes
Dos endomorsmos anes f
1
y f
2
de un espacio afn X son afnmente
equivalentes si son conjugados por una transformacin afn g de X. Es
decir, si existe g transformacin afn de X tal que
f
1
= g f
2
g
1
Dos endomorsmos afnmente equivalentes admiten representaciones ma-
triciales cartesianas iguales, respecto a sistemas de referencia cartesianos
adecuadamente elegidos (y lo mismo recprocamente).
Es decir:
Proposicin 46. Sea un sistema de referencia cartesiano en el espacio
afn X. Dos endomorsmos anes de X, f y f
son afnmente equivalentes

si y slo si existe
, sistema de referencia cartesiano de X tal que

M
(f) = M
(f
)
Dos matrices A y A
son afnmente equivalentes si existe P =

_
1 0
p

P
_
de forma que A
= P
1
A P. En particular, tambin se tiene que

A
P
1

A

P , por lo que la semejanza afn de las matrices A y A
implica la
semejanza lineal de A y A
y la de

A y

A
.
Todo endomorsmo afn f de X admite una representacin matricial
respecto a algn sistema de referencia cartesiano =(e
0
, ) de la forma
J =
_
1 0
0

J
_
donde

J = M
f
_
es una matriz de Jordan. El origen e
0
de es un punto
jo para f, y es una base de Jordan para

f. Se denomina a sistema de
referencia cartesiano de Jordan para f.
Corolario 47. Para todo endomorsmo afn f de X existe un sistema de
referencia cartesiano = (e
0
, e
1
, . . . , e
n
) respecto al cual la matriz de f es de
30
la forma
J =
_
C 0
0 J
_
donde C =
_
_
_
_
_
_
1 0 0
1 1 0
0
.
.
.
.
.
.
.
.
.
0 0 1 1
_
_
_
_
_
_
es una caja de Jordan
C es una caja de Jordan de orden r 1 y J
es una matriz de Jordan.

Para el caso r = 1 se tiene C = (1), y f es endorsmo con puntos jos.
Desde el punto de vista de la equivalencia lineal es indiferente el orden
en el que se distribuyan las cajas de Jordan de J, pero esto no sucede
exactamente as respecto a la equivalencia afn. Concretamente, el orden
r de la caja C = C (r) que ocupa el vrtice superior izquierdo de la matriz
J es decisivo para determinar la clase de equivalencia afn de f.
Ejemplo 48. Sean f y f
endomorsmos de un espacio afn de dimen-

sin igual a dos. Supngase que hemos encontrado sistemas de referen-
cia cartesianos = (e
0
, e
1
, e
2
) y
=
_
e
0
,

e
1
,

e
2
_
de forma que las matrices
M
(f) = J, M
(f
) = J
son las siguientes:

J =
_
_
_
1 0 0
1 1 0
0 0 1
_
_
_ J
=
_
_
_
1 0 0
0 1 0
0 1 1
_
_
_
Estas matrices de Jordan son semejantes desde el punto de vista lineal,
ya que se obtiene una de otra por permutacin de cajas. Sin embargo, los
endomorsmos anes f y f
no son afnmente equivalentes, ya que f
tiene
a e
0
como punto jo y f carece de ellos. Las ecuaciones del subespacio de
puntos jos de f en las coordenadas cartesianas inducidas por son:
J
_
_
_
1
x
1
x
2
_
_
_ =
_
_
_
1
x
1
x
2
_
_
_ =
_
_
_1 +
1
x
1
x
2
_
_
_
que son claramente incompatibles.
Proposicin 49. Si f es un endormorsmo afn de X que admite respecto
a cierto sistema de referencia cartesiano una matriz
J =
_
C (r) 0
0 J
1
_
con C (r) =
_
_
_
_
_
_
_
_
_
_
1 0 0 0
1 1 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0
.
.
. 1 0
0 0 1 1
_
_
_
_
_
_
_
_
_
_
31
y J
1
matriz de Jordan, el orden r de la caja C (r) viene determinado por
(7.1) r = (f) = mn
_
k N : X ker
_
_
f

id
_
k
_
,=
_
Demostracin. Sea H = C (r) id (r). Por ejemplo, para r = 5 tenemos
H =
_
_
_
_
_
_
_
_
0 0 0 0 0
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
_
_
_
_
_
_
_
_
H
2
=
_
_
_
_
_
_
_
_
0 0 0 0 0
0 0 0 0 0
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
_
_
_
_
_
_
_
_
H
3
=
_
_
_
_
_
_
_
_
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
1 0 0 0 0
0 1 0 0 0
_
_
_
_
_
_
_
_
H
4
=
_
_
_
_
_
_
_
_
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
1 0 0 0 0
_
_
_
_
_
_
_
_
Finalmente H
5
= 0. Las ecuaciones de ker
_
_
f

id
_
k
_
en las coordenadas
lineales x
i
inducidas por en X son de la forma
_
H
k
0
0 J
k
1
__
x
0
x
_
=
_
0
0
_
y para k < r aparece la ecuacin x
0
= 0 que resulta incompatible con la
ecuacin de x
0
= 1 de X. As:
ker
_
_
f

id
_
k
_
X = si k < r
Justamente cuando k = r, H
k
= 0 y en el sistema de ecuaciones anterior no
interviene la variable x
0
. Si aadimos ahora la ecuacin x
0
= 1 el sistema
resultante es compatible, y por tanto:
ker
_
_
f

id
_
k
_
X ,=
Proposicin 50. La aplicacin denida en 7.1 es un invariante en la

clasicacin afn de endomorsmos.
Corolario 51. Dos matrices cartesianas de Jordan de orden n
J =
_
C (r) 0
0 J
1
_
J
=
_
C (r
) 0
0 J
1
_
son afnmente semejantes si y slo si r = r
y J
1
puede obtenerse a partir
de J
1
por permutacin de cajas.
32
Observacin 52. Procedimiento general para encontrar la matriz de una
simetra (o proyeccin) afn
1. Empezamos buscando la simetra (o proyeccin) vectorial (o )
asociada con la simetra (o proyeccin) afn (o )
a) Obtenemos los vectores
__
b
i
__
,
__
d
i
__
que generan la base

B
y la direccin

D de la simetra (o proyeccin )
b) Utilizamos las propiedades de la simetra (o proyeccin) para
obtener los coecientes de la matriz M
() (o M
()) planteando
las ecuaciones:
1) Para los vectores de la base de la simetra (o proyeccin):
M
()
_
b
i
_
=
_
b
i
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
b
i,1
b
i,2
b
i,3
_
_
_ =
_
_
_
b
i,1
b
i,2
b
i,3
_
_
_ i = 1, .., dim

B
2) Para los vectores de la direccin de:
a
) Simetra
M
()
_
d
i
_
=
_
d
i
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
d
i,1
d
i,2
d
i,3
_
_
_ =
_
_
_
d
i,1
d
i,2
d
i,3
_
_
_ i = 1, .., dim

D
b
) Proyeccin
M
()
_
d
i
_
=
_
0
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
d
i,1
d
i,2
d
i,3
_
_
_ =
_
_
_
0
0
0
_
_
_ i = 1, .., dim

D
c) Resolviendo las dim

B + dim

D ecuaciones, obtenemos los 9 coe-
cientes de la matriz M
() (o M
()).
d) Tanto la simetra como la proyeccin dejan invariante el pun-
to de la base, de manera que podemos obtener los coecientes
, , de la matriz de la simetria (o proyeccin ) afn
M
() =
_
_
_
_
_
_
1 0 0 0
()
_
_
_
_
_
_
M
() =
_
_
_
_
_
_
1 0 0 0
()
_
_
_
_
_
_
33
Elegimos un punto de la base de la simetra (o proyeccin )
afn.
p =
_
_
_
_
_
_
1
p
1
p
2
p
3
_
_
_
_
_
_
B
1) Planteamos las ecuaciones
M
([) p = p
_
_
_
_
_
_
1 0 0 0
([)
_
_
_
_
_
_
_
_
_
_
_
_
1
p
1
p
2
p
3
_
_
_
_
_
_
=
_
_
_
_
_
_
1
p
1
p
2
p
3
_
_
_
_
_
_
(donde M
([) es la matriz de la simetra afn o de la

proyeccin afn , segn el caso).
2) Resolviendo las tres ecuaciones obtenemos los valores de
, , y determinamos completamente M
() (o M
()).
Ejercicio 53. Sea =
_
e
0
,

e
1
,

e
2
,

e
3
_
un sistema de referencia cartesiano
del espacio afn real de dimensin 3 A
3
(R). Sea M el subespacio afn de
ecuaciones respecto de
M := (x
1
= 0, x
2
= 0)
y N el subespacio vectorial de ecuacin

N := (x
3
= 0).
1. Hallar la matriz de la simetra afn con base M y direccin

N.
2. Sea
v
la traslacin de vector v =
_
_
_
1
1
0
_
_
_. Hallar la forma de Jordan
J
h
de la composicin h
1
=
v
.
3. Hallar
tal que M
(h
1
) = J
h1
4. Si h
2
=
v
, estudiar si h
1
y h
2
son afnmente equivalentes.
Demostracin. Empezamos buscando la simetra vectorial asociada a .
Buscamos el vector que generan la base

M := (x
1
= 0, x
2
= 0)
M :=
_
_
_
_
0
0
1
_
_
_
_
= e
3
34
Buscamos los vectores que generan la direccin

N := (x
3
= 0)
N :=
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_
= e
1
, e
2
Sabemos que una simetra deja invariantes los vectores de la base e in-
vierte los de la direccin, por lo que
( e
3
) = e
3
( e
1
) = e
1
( e
2
) = e
2
De manera que la matriz de M
() es
M
() =
_
_
_
1 0 0
0 1 0
0 0 1
_
_
_
El siguiente paso es obtener los coecientes de M
()
M
() =
_
_
_
_
_
_
1 0 0 0
1 0 0
0 1 0
0 0 1
_
_
_
_
_
_
Buscamos un punto perteneciente a la base afn de la simetra, que queda-
r invariante por ella. Observamos que el origen del sistema de referencia
e
0
=
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
M, de manera que = = = 0
M
() =
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
En el segundo apartado vamos a hallar la forma de Jordan J
h
de la
composicin h
1
=
v
, donde v =
_
_
_
1
1
0
_
_
_.
35
La matriz de una traslacin M
(
v
) es
M
(
v
) =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 0 1 0
0 0 0 1
_
_
_
_
_
_
As que la composicin h
1
=
v
es
h
1
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 0 1 0
0 0 0 1
_
_
_
_
_
_
Observamos que la aplicacin vectorial

h
1
ya tiene forma de Jordan, por
lo que slo nos queda determinar si h
1
tiene puntos jos.
h
1
(p) = p
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1
p
1
p
2
p
3
_
_
_
_
_
_
=
_
_
_
_
_
_
1
p
1
p
2
p
3
_
_
_
_
_
_
1 p
1
= p
1
p
1
=
1
2
1 p
2
= p
2
p
2
=
1
2
p
3
= p
3
De manera que h
1
tiene puntos jos de la forma
p =
_
_
_
_
_
_
1
1
2
1
2
c
_
_
_
_
_
_
c R
Es decir, h
1
tiene una recta de puntos jos, por lo que su matriz de Jordan
es
J
h1
=
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
En el tercer apartado vamos a encontrar una base
=
_
e
0
,

e
1
,

e
2
,

e
3
_
tal
que M
(h
1
) = J
h1
. Las columnas de la matriz de Jordan son las imgenes
36
de los vectores de la base
, de manera que
J
h1
(e
0
) = e
0
Es decir, e
0
es un punto jo. Hemos visto que los puntos jos son de la
forma
p =
_
_
_
_
_
_
1
1
2
1
2
c
_
_
_
_
_
_
c R
por lo que elegimos c = 0
e
0
=
_
_
_
_
_
_
1
1
2
1
2
0
_
_
_
_
_
_
Para el resto de vectores del sistema de referencia
J
h1
(
e
1,2
) =
e
1,2

e
1,2
ker
_
J
h1
+

id
_
x
3
= 0
De manera que para

e
1,2
podemos elegir

e
1,2
. Finalmente, J
h1
(

e
3
) =

e
3

e
3
ker
_
J
h1

id
_
x
1
= x
2
= 0. Es decir, que podemos elegir

e
3
=

e
3
.
Finalmente,
=
_
_
_
_
_
_
_
_
1
1
2
1
2
0
_
_
_
_
_
_
,

e
1
,

e
2
,

e
3
_
_
En el ltimo apartado h
2
=
v
. Vamos a demostrar que h
1
y h
2
son
afnmente equivalentes. Para que dos aplicaciones sean afnmente equiva-
lentes, debe existir g tal que h
1
= g h
2
g
1
. En este caso podemos utilizar
g = , como vemos
(7.2) h
1
= h
2

1
= (
v
)
1
=
2

v

1
Pero ahora, por las propiedades de la simetra
2
= id =
1
de manera que 7.2 queda
h
1
=
v

que es precisamente la denicin de h
1
. Tambin podramos haber utili-
zado g =
v
h
1
=
v
h
2

1
v
=
v
(
v
)
1
v
=
v

_
v

1
v
_
=
v

37
Lo que demuestra de nuevo que h
1
y h
2
son afnmente equivalentes.
afn real de dimensin 3 A
3
(R). Sean R y S los subespacios anes de
ecuaciones respecto a
R := (x
2
= 2, x
3
= 0)
S := (x
1
+x
3
= 1, x
2
= 2)
1. Hallar la matriz de la simetra afn con base R + S y direccin

e
1
+

e
2
+

e
3
.
2. Sea
a
la traslacin del vector
_
_
_
1
1 +a
1 a
_
_
_, donde a R. Determinar
la matriz cannica de Jordan de
a
en funcin de a.
3. Si a = 0, hallar un sistema de referencia cartesiano
tal que la
matriz de Jordan de
0
sea M
(
0
).
Demostracin. a)
Empezamos estudiando la posicin relativa de las dos rectas R y S.
Elegimos un punto de cada recta:
p
R
=
_
_
_
_
_
_
1
x
1
2
0
_
_
_
_
_
_
p
S
=
_
_
_
_
_
_
1
x
1
2
1 x
1
_
_
_
_
_
_
De manera que vemos que existe un punto comn p =
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
R S. Es
decir, las rectas R y S se cortan en un punto. De manera que R + S es
un plano afn que contiene las dos rectas R y S. En este caso, podemos
describir el plano R +S como
R +S = p +

R +

S
R =
_
_
_
_
1
0
0
_
_
_
_

S =
_
_
_
_
1
0
1
_
_
_
_
38
Por lo que
R +S =
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
+
_
_
_
1
0
0
_
_
_+
_
_
_
1
0
1
_
_
_
Los puntos q R +S sern de la forma
q =
_
_
_
_
_
_
1
x
1
x
2
x
3
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1 + +
2
_
_
_
_
_
_
x
2
= 2
R +S := (x
2
= 2)
El primer paso para obtener la matriz de simetra afn ser obtener la
matriz de la simetra vectorial asociada, con base

R +

S y direccin

D =

e
1
,

e
2
,

e
3
R +

S := (x
2
= 0)
De las propiedades de la simetra sabemos que ( e
b
) = e
b
(deja invariantes
los vectores de la base) . Como

e
1
,

e
3

R +

S de ecuciones (x
2
= 0),
(

e
1
) =

e
1
(

e
3
) =

e
3
En cuanto a los vectores de la direccin
(

e
1
+

e
2
+

e
3
) =

e
1

e
2

e
3
De manera que tenemos
(

e
1
+

e
2
+

e
3
) = (

e
1
) + (

e
2
) + (

e
3
) =

e
1
+

e
3
+ (

e
2
)
(

e
2
) = 2

e
1

e
2
2

e
3
Con lo que la matriz de la simetra vectorial
=
_
_
_
1 2 0
0 1 0
0 2 1
_
_
_
El siguiente paso implica seleccionar un punto de la base del espacio afn
base de la simetra (que quedar invariante) para poder determinar los
39
coecientes , ,
M
() =
_
_
_
_
_
_
1 0 0 0
1 2 0
0 1 0
0 2 1
_
_
_
_
_
_
Elegimos un punto cualquiera de R +S,
p =
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
1 2 0
0 1 0
0 2 1
_
_
_
_
_
_
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
3
2
4
_
_
_
_
_
_
Con lo que obtenemos
= 4, = 4, = 4
Y la matriz de la simetra afn M
()
M
() =
_
_
_
_
_
_
1 0 0 0
4 1 2 0
4 0 1 0
4 0 2 1
_
_
_
_
_
_
Demostracin. b)
La matriz de la traslacin
a
es
a
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 +a 0 1 0
1 a 0 0 1
_
_
_
_
_
_
con lo que M
(
a
) ser
M
(
a
) =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
1 +a 0 1 0
1 a 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
4 1 2 0
4 0 1 0
4 0 2 1
_
_
_
_
_
_
=
_
_
_
_
_
_
1 0 0 0
5 1 2 0
5 +a 0 1 0
5 a 0 2 1
_
_
_
_
_
_
Vemos que la parte vectorial de M
(
a
) coincide con M
() indepen-
dientemente del valor de a. Como sabemos que la matriz de Jordan de
40
una simetra vectorial

J
es de la forma (base de dimensin 2, direccin

de dimensin 1):
=
_
_
_
1 0 0
0 1 0
0 0 1
_
_
_
As, J (

a

) =

J
. Nos falta determinar si

a
tiene puntos jos (necesi-
tamos un punto para construir la parte afn):
_
_
_
_
_
_
1 0 0 0
5 1 2 0
5 +a 0 1 0
5 a 0 2 1
_
_
_
_
_
_
_
_
_
_
_
_
1
x
1
x
2
x
3
_
_
_
_
_
_
=
_
_
_
_
_
_
1
x
1
x
2
x
3
_
_
_
_
_
_
x
2
=
5
2
, a = 0
En funcin del valor de a, tendremos dos tipos de formas cannicas de
Jordan:
1. a = 0 Signica que tenemos puntos jos Tenemos una simetra
afn:
J
a=0
=
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
2. a ,= 0 Tenemos una simetra afn con desplazamiento:
J
a=0
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
Demostracin. c)
Ahora vamos a buscar un sistema de referencia
tal que la matriz de

Jordan (para el caso a = 0) coincida con M
(
0
).
J
a=0
=
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
Las columnas de la matriz de Jordan son las imgenes de los vectores de
este sistema de referencia, de manera que
J (e
0
) = e
0
41
Elegimos como e
0
un punto jo, cuya forma hemos determinado en el
apartado anterior
x
2
=
5
2
, (a = 0)
e
0
=
_
_
_
_
_
_
1
0
5
2
0
_
_
_
_
_
_
Para los vectores
J
_

e
1,2
_
=

e
1,2

e
1,2
ker
_
0

id
_
= ker
_

id
_
J (

e
3
) =

e
3

e
3
ker
_

+

id
_
ker
_

id
_
x
2
= 0

e
1
=

e
1
=
_
_
_
1
0
0
_
_
_,

e
2
=

e
3
=
_
_
_
0
0
1
_
_
_
ker
_

+

id
_
x
1
= x
2
= x
3

e
3
=
_
_
_
1
1
1
_
_
_
Finalmente, el sistema de referencia
en el que M
(
0
) = J es
=
_
_
_
_
_
_
_
_
1
0
5
2
0
_
_
_
_
_
_
,
_
_
_
1
0
0
_
_
_,
_
_
_
0
0
1
_
_
_,
_
_
_
1
1
1
_
_
_
_
_
Podramos comprobar que funciona mediante:
P =
_
_
_
_
_
_
1 0 0 0
0 1 0 1
5
2
0 0 1
0 0 0 1
_
_
_
_
_
_
P
1
M
(
0
) P = J

afn real de dimensin 3 A
3
(R). Sean M y N los subespacios anes de
M := (x
3
= 0)
N := (2x
1
+x
3
= 2, x
2
= 0)
42
1. Hallar la matriz respecto a de la simetra afn con base N y
direccin

M.
2. Hallar la matriz respecto a de la proyeccin afn con base M y
direccin

N.
Demostracin. a)
Empezamos calculando la matriz de la simetra vectorial asociada a
con base

N := (2x
1
+x
3
= 0, x
2
= 0) y direccin

M := (x
3
= 0).
N :=
_
_
_
_
1
0
2
_
_
_
_

M =
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_
Sea =
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
0
2
_
_
_ =
_
_
_
1
0
2
_
_
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
0
2
_
_
_ =
_
_
_
1
0
2
_
_
_ =
_
_
_
a 2g
b 2h
c 2i
_
_
_
a = 1 2g
b = 2h
c = 2i 2
_
_
_
1
0
0
_
_
_ =
_
_
_
1
0
0
_
_
_
_
_
_
1 2g d g
2h e h
2i 2 f i
_
_
_
_
_
_
1
0
2
_
_
_ =
_
_
_
1
0
2
_
_
_ =
_
_
_
1 + 2g
2h
2i 2
_
_
_
g = 1
h = 0
i = 1
43
_
_
_
0
1
0
_
_
_ =
_
_
_
0
1
0
_
_
_
_
_
_
1 d 1
0 e 0
0 f 1
_
_
_
_
_
_
0
1
0
_
_
_ =
_
_
_
0
1
0
_
_
_ =
_
_
_
d
e
f
_
_
_
d = 0
e = 1
f = 0
De manera que
=
_
_
_
1 0 1
0 1 0
0 0 1
_
_
_
Ahora utilizamos un punto de la base de (que quedar invariante por
la accin de ) para completar la matriz M
().
N p =
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
1 0 1
0 1 0
0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
_
_
_
_
_
_
De manera que
= 2 = 0 = 0
Y nalmente
M
() =
_
_
_
_
_
_
1 0 0 0
2 1 0 1
0 0 1 0
0 0 0 1
_
_
_
_
_
_

Demostracin. b)
Para encontrar la matriz de la proyeccin afn con base M y direc-
cin

N procederemos de manera anloga al apartado anterior. Empezamos
buscando las proyeccin vectorial

asociada a .
44
La proyeccin deja invariante los vectores de la base, por lo que pode-
mos escribir:

_
_
_
1
0
0
_
_
_ =
_
_
_
1
0
0
_
_
_
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
0
0
_
_
_ =
_
_
_
1
0
0
_
_
_ =
_
_
_
a
b
c
_
_
_ a = 1, b = 0, c = 0

_
_
_
0
1
0
_
_
_ =
_
_
_
0
1
0
_
_
_
_
_
_
0 d g
1 e h
0 f i
_
_
_
_
_
_
0
1
0
_
_
_ =
_
_
_
0
1
0
_
_
_ =
_
_
_
a
b
c
_
_
_ d = 0, e = 1, f = 0
La proyeccin enva los vectores de la direccin a
_
_
_
1
0
2
_
_
_ =
_
_
_
0
0
0
_
_
_
_
_
_
0 0 g
1 1 h
0 0 i
_
_
_
_
_
_
1
0
2
_
_
_ =
_
_
_
0
0
0
_
_
_ =
_
_
_
1 2g
2h
2i
_
_
_ g =
1
2
, h = 0, i = 0
De manera que M
() es
M
() =
_
_
_
0 0
1
2
1 1 0
0 0 0
_
_
_
Para obtener la matriz de la proyeccin afn , elegimos un punto de la
base M := (x
3
= 0). Por ejemplo, el origen,
p =
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
M
45
De manera que
M
() =
_
_
_
_
_
_
1 0 0 0
0 0 0
1
2
0 1 1 0
0 0 0 0
_
_
_
_
_
_

Ejercicio 56. Sea un sistema de referencia cartesiano de un espacio afn
real de dimensin 3 A
3
(R). Sea P el subespacio afne de ecuacin respecto
a
P := (x
1
+x
3
= 1)
Hallar la proyeccin afn con base P y direccin
D := (x
1
= 0, x
2
+ 2x
3
= 0)
Demostracin. Empezamos buscando la proyeccin vectorial asociada a
. Buscamos los vectores que generan la base P (y que quedarn invarian-
tes bajo la accin de ):
P : = (x
1
+x
3
= 0) x
3
= x
1
P :=
_
_
_
_
1
0
1
_
_
_,
_
_
_
0
1
0
_
_
_
_
Buscamos el vector que genera la direccin

D =
_
_
_
_
0
2
1
_
_
_
_
Utilizandos las propiedades de la proyeccin, escribimos:
_
_
_
a d g
b e h
c f i
_
_
_
_
_
_
1
0
1
_
_
_ =
_
_
_
1
0
1
_
_
_ =
_
_
_
a g
b h
c i
_
_
_
_
_
_
a d a 1
b e b
c f c + 1
_
_
_
_
_
_
0
1
0
_
_
_ =
_
_
_
0
1
0
_
_
_ =
_
_
_
d
e
f
_
_
_ d = 0, e = 1, f = 0
Finalmente:
_
_
_
a 0 a 1
b 1 b
c 0 c + 1
_
_
_
_
_
_
0
2
1
_
_
_ =
_
_
_
0
0
0
_
_
_ =
_
_
_
a + 1
2 b
c 1
_
_
_ a = 1, b = 2, c = 1
46
De manera que M
()
M
() =
_
_
_
1 0 0
2 1 2
1 0 0
_
_
_
Ahora elegimos un punto de la base P para completar la matriz de la
proyeccin afn . Elegimos
p =
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
P
De manera que
_
_
_
_
_
_
1 0 0 0
1 0 0
2 1 2
1 0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
+ 1
+ 2
1
_
_
_
_
_
_
= 0, = 2, = 1
Con lo que, nalmente
M
() =
_
_
_
_
_
_
1 0 0 0
0 1 0 0
2 2 1 2
1 1 0 0
_
_
_
_
_
_
8. HOMOTECIAS AFINES Y DILATACIONES

Denicin 57. En un espacio afn X, una homotecia h = h(c, ) afn
de centro c y razn , con ,= 0, 1, acta dejando nicamente el centro
jo y manteniendo invariantes las direcciones, produciendo, de manera
uniforme desde el centro, una extensin (si [[ > 1) o una contraccin (si
[[ < 1) en funcin de la razn (ver gura 8.1).
Formalmente la accin de h(c, ) sobre cada punto x del espacio afn X
se expresa por
h(c, ) (x) = c +(
cx) = c +(x c)
por lo que h(c) = c es el nico punto jo de la homotecia h y la transfor-
macin lineal asociada es

h =

id.
Denicin 58. Matriz asociada a una homotecia h.
47
FIGURA 8.1. Homotecia h(c, ) de centro c y razn > 1.
La matriz asociada una homotecia M
(h) es de la forma:
M
(h) =
_
_
_
_
_
_
1 0 0 0
c
1
0 0
c
2
0 0
c
3
0 0
_
_
_
_
_
_
Denicin 59. Matriz de Jordan de una homotecia h
La matriz de Jordan J
h
de una homotecia es de la forma
J
h
=
_
1 0
0 Id
_
pues la homotecia siempre tiene un punto jo, el centro de la homotecia y
la transformacin lineal asociada tiene forma de matriz diagonal Id.
El conjunto formado por las homotecias y las traslaciones de X se de-
nomina grupo de las dilataciones de X.
Denicin 60. Matriz de Jordan de una dilatacin d
La matriz de Jordan J
d
de una dilatacin d, si tiene un punto jo (y
,= 1) es
J
d
=
_
_
_
_
_
_
1 0 0
0 0 0
0 0 0
0 0 0
_
_
_
_
_
_
48
Proposicin 61. La composicin de una homotecia h(c, ) y una traslacin
v
tambin es una homotecia (ver ejercicio 65)
h
1
= h(c, )
v

1
= c
1
= c

1
v
h
2
=
v
h(c, )
2
= c
2
= c
v
1
Para demostrar que h es homotecia afn debemos vericar que:
1.

h =
id
2. Existe un nico punto c X tal que h(c) = c
Proposicin 62. Un endomorsmo afn d es una dilatacin si y slo si
transforma una recta en otra paralela (ver ejercicio 68)
Ejercicio 63. Sea A
3
(R) el espacio afn real de dimensin 3 y un sistema
de referencia cartesiano. Calcula la matriz respecto a de la homotecia h
con centro c=
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
y tal que
h
_
_
_
_
_
_
1
1
1
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
3
1
_
_
_
_
_
_
Determina la razn .
Demostracin. Por las propiedades de la homotecia sabemos que su matriz
es de la forma
M
(h) =
_
_
_
_
_
_
1 0 0 0
0 0
0 0
0 0
_
_
_
_
_
_
49
donde es la razn y
h =

id. Como la homotecia deja el centro invariante,
h(c) = c
_
_
_
_
_
_
1 0 0 0
0 0
0 0
0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
2
0
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
+ 2
+
_
_
_
_
_
_
2 = 2
0 =
1 =
De manera que
M
(h) =
_
_
_
_
_
_
1 0 0 0
2 2 0 0
0 0 0
0 0
_
_
_
_
_
_
Y ahora, gracias al conocimiento de que h
_
_
_
_
_
_
1
1
1
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
3
1
_
_
_
_
_
_
determinamos
la razn
_
_
_
_
_
_
1 0 0 0
2 2 0 0
0 0 0
1 0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
1
1
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
2
1
_
_
_
_
_
_
_
_
_
_
_
_
1
1
3
1
_
_
_
_
_
_
= 3
Con lo que hemos determinado M
(h)
M
(h) =
_
_
_
_
_
_
1 0 0 0
4 3 0 0
0 0 3 0
2 0 0 3
_
_
_
_
_
_
Ejercicio 64. Sea A

3
(R) el espacio afn real de dimensin 3 y un sistema
de referencia cartesiano. Sea h la homotecia afn que verica:
M
(h) =
_
_
_
_
_
_
1 0 0 0
1 3 0 0
0 0 3 0
1 0 0 3
_
_
_
_
_
_
50
Hallar la matriz de Jordan J
h
para h y un sistema de referencia
tal que
M
(h) = J
h
.
Demostracin. La matriz de Jordan de una homotecia J
h
es de la forma
J
h
=
_
1 0
0 Id
_
ya que la homotecia siempre tiene un punto jo, el centro de la homotecia.
En nuestro caso, la forma de la matriz de Jordan J
h
es
J
h
=
_
_
_
_
_
_
1 0 0 0
0 3 0 0
0 0 3 0
0 0 0 3
_
_
_
_
_
_
Ahora vamos a buscar un sistema de referencia cartesiano
= e
0
, e
i
, i = 1, 2, 3
tal que M
= J
h
Empezamos buscando el nuevo origen del sistema de re-
ferencia
h(e
0
) = e
0
_
_
_
_
_
_
1 0 0 0
1 3 0 0
0 0 3 0
1 0 0 3
_
_
_
_
_
_
_
_
_
_
_
_
1
x
1
x
2
x
3
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1 + 3x
1
3x
2
1 + 3x
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
x
1
x
2
x
3
_
_
_
_
_
_
x
1
=
1
2
, x
2
= 0, x
3
=
1
2
Como

h =
Id podemos utilizar los vectores

e
1
=

e
1
,

e
2
=

e
2
y

e
3
=

e
3
de
manera que
=
_
_
_
_
_
_
_
_
1
1
2
0
1
2
_
_
_
_
_
_
,
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_,
_
_
_
0
0
1
_
_
_
_
_

Ejercicio 65. En el espacio afn X sea h un homotecia afn de centro c y
razn ,= 0, 1. Sea
v
la traslacin de vector v ,= 0.
1. Probar que las composiciones
h
1
= h
v
h
2
=
v
h
son homotecias anes de razn .
51
2. Si c
1
y c
2
son los centros de h
1
y h
2
comprobar que satisfacen
c
1
= c
v
1
c
2
= c
v
1
Concluir que si v ,=
0 se cumple que h
1
,= h
2
.
Demostracin. Para demostrar que h es una homotecia afn debemos com-
probar que para la aplicacin vectorial asociada
h(x) =
_

id
_
(x) existe un
nico c X tal que h(c) = c.
Por denicin de homotecia
h(x) = h(c, ) (x) = c +(
cx) = c +(x c)
Luego
h
1
(x) = (h
v
) (x) = h(x +v) = c +(x +v c)
Ahora tomamos un y X, y ,= x
h
1
(
xy) = h
1
(y) h
1
(x) = c +(y +v c) (c +(x +v c)) =
= (y x) = (
xy)

h
1
=

id
Medianteh
1
(x) = x buscamos el punto invariante de la homotecia h
1
(su
centro).
x = h
1
(x) = (h
v
) (x) = h(x +v) = c +(x +v c) = c +x +v c
Aislamos x para obtener el punto invariante de la homotecia h
1
x x = c +v c
x(1 ) = (1 ) c +v
x = c
v
1
( ,= 1)
Por tanto, hemos comprobado que h
1
= h
v
es una homotecia de razn
y centro c
1
= c
v
1
.
Seguimos los mismos pasos para comprobar el caso de la homotecia
h
2
=
v
h
Primero probamos que

h
2
=

id
h
2
(x) = (
v
h) (x) =
v
(c +(x c)) = c +(x c) +v
52
Elegimos un y X, y ,= x
h
2
(
xy) = h
2
(y x) = h
2
(y) h
2
(x) =
= c +(y c) +v (c +(x c) +v) =
= (y x) =
xy

h
2
=

id
Ahora, vamos a buscar su centro, es decir, que existe un nico punto
x X tal que h
2
(x) = x.
x = h
2
(x) = (
v
h) (x) = c +(x c) +v
x x = c (1 ) +v
x = c
v
1
( ,= 1)
Es decir, que h
2
es una homotecia de razn y centro c
2
= c
v
1
.
Ejercicio 66. Sea = 0; e
1
, e
2
, e
3
un sistema de referencia cartesiano del
espacio afn real de dimensin 3 A
3
(R)
1. Calcular la matriz de dilatacin d con centro c =
_
_
_
_
_
_
1
1
0
1
_
_
_
_
_
_
y razn
= 2 tal que d
_
_
_
_
_
_
1
1
0
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
.
2. Expresar d como composicin de una homotecia afn con centro en
el origen O y una traslacin.
Demostracin. 1)
La dilatacin es de razn = 2 de manera que M
(d) es
M
(d) =
_
_
_
_
_
_
1 0 0 0
2 0 0
0 2 0
0 0 2
_
_
_
_
_
_
53
Utilizamos que sabemos cmo acta sobre
_
_
_
_
_
_
1
1
0
1
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
2 0 0
0 2 0
0 0 2
_
_
_
_
_
_
_
_
_
_
_
_
1
1
0
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
+ 2
+ 2
_
_
_
_
_
_
1 = + 2 = 1
2 =
0 = + 2 = 2
De manera que
M
(d) =
_
_
_
_
_
_
1 0 0 0
1 2 0 0
2 0 2 0
2 0 0 2
_
_
_
_
_
_

Demostracin. 2)
Si descomponemos d =
v
h, donde h es una homotecia afn

d =
h = 2

id,
de manera que h tiene razn = 2. Como h deja jo el origen O
M
(h) =
_
_
_
_
_
_
1 0 0 0
0 2 0 0
0 0 2 0
0 0 0 2
_
_
_
_
_
_
M
(
v
) =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
2 0 1 0
2 0 0 1
_
_
_
_
_
_
v =
_
_
_
_
_
_
1
1
2
2
_
_
_
_
_
_

real de dimensin 3 A
3
(R).
54
1. Hallar la matriz de la dilatacin d de A
3
(R) que transforma P
1
en
Q
1
y P
2
en Q
2
P
1
=
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
Q
1
=
_
_
_
_
_
_
1
0
2
1
_
_
_
_
_
_
P
2
=
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
Q
2
=
_
_
_
_
_
_
1
0
1
1
_
_
_
_
_
_
2. Hallar la transformacin cannica de Jordan de d.
Demostracin. 1)
Si d transforma P
1
en Q
1
y P
2
en Q
2
usamos esta informacin para
determinar , , y .
M
(d) =
_
_
_
_
_
_
1 0 0 0
0 0
0 0
0 0
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0
0 0
0 0
0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
2
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1
+
_
_
_
_
_
_
=
= 2
= 1
_
_
_
_
_
_
1 0 0 0
0 0
2 0 0
1 0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
1
2
0
_
_
_
_
_
_
=
_
_
_
_
_
_
1
0
1
1
_
_
_
_
_
_
=
_
_
_
_
_
_
1

2 + 2
1
_
_
_
_
_
_
=
1
2
As,
M
(d) =
_
_
_
_
_
_
1 0 0 0
1
2

1
2
0 0
2 0
1
2
0
1 0 0
1
2
_
_
_
_
_
_

55
Demostracin. 2)
Como la dilatacin d tiene un punto jo (y ,= 1), la matriz de Jordan J
d
es
J
d
=
_
_
_
_
_
_
1 0 0 0
0
1
2
0 0
0 0
1
2
0
0 0 0
1
2
_
_
_
_
_
_

Ejercicio 68. Demostrar que un enfomorsmo afn es una dilatacin si y
slo si transforma cada recta en otra paralela.
Demostracin. Para demostrar esta armacin debemos demostrar:
1. Si d es dilatacin d transforma cada recta en una recta paralela.
2. Si g transforma cada recta en otra paralela g es una dilatacin.
Si d es una dilatacin, entonces transforma una recta en otra paralela.
Por denicin,

d =

id v,

d (v) = v, es decir, la direccin de la recta v
queda invariante d transforma una recta en otra recta paralela.
En cuanto a la segunda implicacin, suponemos que g (R) es paralela a
Rg (v) =
v
v para un autovalor
v
asociado a v. Tenemos que demostrar
que
v
es independiente de v. Vamos a mirar qu casos pueden darse:
1. Si w = v (es mltiplo de v)
g ( w) =
w
w
g (v) = g (v) =
v
v =
v
(v) =
v
w
De manera que
w
=
v
=
siempre que v y w sean linealmente dependientes.
2. Si v y w son linealmente independientes:
g (v + w) =
v+ w
(v + w) =
v+ w
v +
v+ w
w
g (v) +g ( w) =
v
v +
w
w
Como v y w son linealmente independientes, de la igualdad se de-
duce que
v+ w
=
v
=
w
=
Por lo que hemos demostrado que no depende de v, g =

id y por tanto,
g es una dilatacin.
56
9. CLASIFICACIN DE ENDORFISMOS AFINES
El problema de clasicacin de endomorsmos anes es anlogo al de
clasicacin de endomorsmos lineales (de hecho, es un caso particular).
La teora de invariantes lineales y el teorema de Jordan constituyen las
herramientas bsicas para el problema de la clasicacin.
Proposicin 69. Un subespacio afn U = p+
U es invariante por f si verica

1.

U es un subespacio vectorial invariante por

f.
2. v = f (p) p tal que v

U.
Teorema 70. Teorema de clasicacin afn para simetras anes (Ejercicio
9.2)
Dos simetras anes y
cuyas bases son B y B
respectivamente, son
afnmente equivalentes si y slo si dimB = dimB
.
Teorema 71. Teorema de clasicacin afn para proyecciones anes (Ejer-
cicio 9.2)
Dos proyecciones anes y
cuyas bases son B y B
respectivamente,
son afnmente equivalentes si y slo si dimB = dimB
.
Teorema 72. Teorema de clasicacin afn de dilataciones (Ejercicio 9.4)
Dos dilataciones f
1
y f
2
son afnmente equivalentes si y slo si f
1
y f
2
son
traslaciones, o bien f
1
y f
2
son homotecias con la misma razn.
Teorema 73. Teorema de clasicacin afn para deformaciones (Ejercicio
9.6)
Sean f
1
y f
2
dos deformaciones anes con bases B
1
y B
2
y razones
1
y
2
respectivamente. Entonces f
1
y f
2
son afnmente equivalentes si y slo si
dimB
1
= dimB
2
y
1
=
2
.
Teorema 74. Teorema de clasicacin afn para las deformaciones con des-
lizamiento (Ejercicio 9.16)
Sean f y f
dos deformaciones anes con deslizamiento, con bases B

y B
y razones
1
y
2
respectivamente. Entonces, f
y f
son afnmente
equivalentes si y slo si dimB = dimB
y
1
=
2
.
9.1. Problemas tipo. Tenemos dos problemas tipo en este apartado:
Tipo 1: Tenemos la forma que toma la matriz M
(f) que represen-

ta a un endomorsmo f con respecto a un sistema de referencia
cartesiano . Se nos pide:
1. Hallar la forma cannica de Jordan J
f
de f
57
a) El primer paso es averiguar si f tiene puntos jos. Para ello
nos preguntamos f (p) = p?, donde p A
3
(R) es un punto
cualquiera de la forma p = (1, a, b, c).
1) Si f tiene puntos jos, entonces J
f
es J
f
=
_
_
_
_
1 0
0 J
f

.
.
.
.
.
.
.
.
.
_
_
_
_
.
2) Si f no tiene puntos jos, entonces J
f
es J
f
=
_
_
_
_
1 0
1 J
f

.
.
.
.
.
.
.
.
.
_
_
_
_
b) El resto de la matriz de Jordan J
f
de f es la forma cannica
de Jordan para la aplicacin lineal asociada

f al endomor-
smo afn f. Por tanto hallamos la forma cannica de J
f
calculando el polinomio caracterstico
f
() = det
f

id
,
etc.
2. Hallar un sistema de referencia
en el que M
(f) = J
f
a) Las columnas de la forma de Jordan J
f
son la imagen de
los vectores del sistema de referencia
por f de manera
que podemos escribir, para cada columna:
J
f
=
_
_
_
_
_
_
1 0 0 0

1
0 0
0
1

2
0
0 0
2

3
_
_
_
_
_
_
f (O
) = O
1
( = 0, 1)
f
_
1
_
=
1
1
+
1
2
(
1
= 0, 1)
.
.
.
3. Hallar las ecuaciones respecto a
de los subespacios anes

invariantes por f .
Usaremos la proposicin 69 para encontrarlos.
a) Primero buscamos los subespacios invariantes vectoriales
por

f.
b) Tomamos un punto A
3
p = (1, a, b, c) cualquiera y cons-
truimos v = f (p) p.
c) Comprobamos si v
_
X
_
, donde
_
X
_
es el conjunto de los
subespacios vectoriales invariantes por

f. Si v

X, enton-
ces X = p[
X
+

X es un espacio invariante por f.
58
Tipo 2: Dado un polinomio caracterstico
f
() y las condiciones que
verica el endomorsmo afn f, hallar la forma cannica de Jor-
dan J
f
de f. Las condiciones que verica f son del tipo: f no tiene
puntos jos, f no tiene rectas invariante y deja al menos un plano
invariante, etc.
Ejercicio 75. (Ejercicio Tipo 1)
En el espacio afn tridimensional A(R) se considera el sistema de re-
ferncia cartesiano = O; e
1
, e
2
, e
3
. Sea f un endomorsmo cuya matriz
respecto a viene dada por:
M
(f) =
_
_
_
_
_
_
1 0 0 0
0 1 1 1
1 0 1 0
0 0 0 1
_
_
_
_
_
_
1. Calcular la matriz de Jordan J
f
de f.
2. Hallar el sistema de referencia
de A
3
tal que M
(f) = J
f
.
3. Determinar las ecuaciones respecto a
de los subespacio anes

invariantes por f.
Demostracin. 1)
Para buscar la matriz de Jordan J
f
empezamos buscando puntos jos.
f (p) = p ?
_
_
_
_
_
_
1 0 0 0
0 1 1 1
1 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
a +b +c
1 +b
c
_
_
_
_
_
_
Vemos que obtenemos b = b + 1, lo que es una contradiccin, por lo que f
no tiene puntos jos. De esta forma, sabemos que J
f
es de la forma
J
f
=
_
_
_
_
_
_
1 0 0 0
1
0 J
f
0
_
_
_
_
_
_
Ahora vamos a buscar la matriz de Jordan de la parte lineal J
f
. Empe-
zamos determinando el polinomio caracterstico
f
()
f
() =
1 1 1
0 1 0
0 0 1
= (1 )
3
59
Tenemos un valor propio = 1 con multiplicidad 3, por lo que la forma de
J
f
es
J
f
=
_
_
_
1 0 0
1
1 0
0
2
1
_
_
_
Para determinar los valores de
1
y
2
calculamos dim
_
ker
_
f

id
__
= 3
rg
_
ker
_
f

id
__
rg
_
ker
_
f

id
__
=
_
_
_
0 1 1
0 0 0
0 0 0
_
_
_ = 1
ker
_
f

id
_
:= (y +z = 0)
Como dim
_
ker
_
f

id
__
= 2 (,= 3) alguno de los
i
debe ser igual a 1. Tene-
mos dos posibilidades:
J
1
=
_
_
_
1 0 0
1 1 0
0 0 1
_
_
_ J
2
=
_
_
_
1 0 0
0 1 0
0 1 1
_
_
_
Aunque estas dos formas son linealmente equivalentes (reordenando las
cajas), como J
f
no tiene puntos jos, las formas anes de J
1
y J
2
ni tienen
porqu ser afnmente equivalentes.
J
1
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 1 1 0
0 0 0 1
_
_
_
_
_
_
J
2
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1
_
_
_
_
_
_
Tenemos que diferenciar cul de las dos formas es la que corresponde a
nuestro endorsmo. Para ello, utilizaremos el rango, que es un invariante.
ker (J
1
id)
2
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
1 0 0 0
0 0 0 0
_
_
_
_
_
_
rg
_
ker (J
1
id)
2
_
= 1
ker (J
2
id)
2
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
_
_
_
_
_
_
rg
_
ker (J
2
id)
2
_
= 0
60
Vemos que, efectivamente, J
1
y J
2
no son afnmente equivalentes. Para
determinar cul corresponde a el endomorsmo de nuestro enunciado:
ker (M
(f) id)
2
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
1 0 0 0
0 0 0 0
_
_
_
_
_
_
rg
_
ker (M
(f) id)
2
_
= 1
Con lo que vemos que J
f
= J
1
.
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 1 1 0
0 0 0 1
_
_
_
_
_
_
Demostracin. 2)
Ahora vamos a buscar un sistema cartesiano de referncia
en el que
M
(f)) = J
f
.
Las columnas de J
f
son las imgenes por f de
, de manera que pode-

mos escribir:
f (O
) = O
+

e
1

e
1
= (f id) (O
0 =
_
f

id
__
2
_
=
_
f

id
_
2
_
1
_
=
_
f

id
_
3
(O
)
O
ker (M
(f) id)
3
ker (M
(f) id)
2
ker (M
(f) id)
f
_
1
_
=

e
1
+

e
2

e
2
=
_
f

id
__
1
_
0 =
_
f

id
__
2
_
=
_
f

id
_
2
_
1
_
1
ker
_
f

id
_
f
_
2
_
=

e
0 =
_
f

id
__
2
_
2
ker
_
f

id
_
f
_
3
_
=

e
0 =
_
f

id
__
3
_
3
ker
_
f

id
_
Para el origen O
tenemos
ker (M
(f) id)
3
=
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
_
_
_
_
_
_
61
Es decir, que podemos elegir cualquier punto como origen elegimos
O
= (1, 0, 0, 0). Ahora,

e
1
= (f id) (O
1
=
_
_
_
_
_
_
0 0 0 0
0 0 1 1
1 0 0 0
0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
=
_
_
_
0
1
0
_
_
_
2
=
_
f

id
__
1
_
=
_
_
_
0 1 1
0 0 0
0 0 0
_
_
_
_
_
_
0
1
0
_
_
_ =
_
_
_
1
0
0
_
_
_
Y nalmente,

e
3
= ker
_
f

id
_
(pero independiente de

e
2
)
ker
_
f

id
_
=
_
_
_
0 1 1
0 0 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ y +z = 0
Podemos elegir, por ejemplo
_
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
1
_
_
_
_
_
. Como e
3
debe ser lineal-

mente independiente de

e
2
, elegimos
e
3
=
_
_
_
0
1
1
_
_
_
Y el sistema de referencia
resulta
=
_
_
_
_
_
_
_
_
1
0
0
0
_
_
_
_
_
_
,
_
_
_
0
1
0
_
_
_,
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
1
_
_
_
_
_

Demostracin. 3)
Para determinar las ecuaciones respecto a

invariantes por f conviene recordar la caracterizacin de los subespacios
anes invariantes:
U = p +

U es invariante por f si:
1.

U es subespacio invariante por

f.
2. f (p) p = v

U, donde p es un punto cualquiera.
62
Al pedir las ecuaciones respecto a
debemos trabajar con la matriz M
(f) =
J
f
.
Empezamos por calcular los subespacios invariantes por
J
f
=
_
_
_
1 0 0
1 1 0
0 0 1
_
_
_
Rectas invariantes Las rectas invariantes se obtiene al calcular los subes-
pacios ker
_
f

id
_
asociados a cada autovalor . En nuestro
caso, slo tenemos un valor propio, = 1
ker
_
f

id
_
=
_
_
_
0 0 0
1 0 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_
ker
_
f

id
_
:= (x = 0)
Por tanto, todas las rectas contenidas en el plano

:= (x = 0)
son rectas vectoriales invariantes.
Planos invariantes De momento, tenemos el plano

:= (x = 0). Como es-
tamos en dimensin 3, el nmero de hiperplanos -planos- in-
variantes coincide con el de rectas invariantes. Como tenemos
innitas rectas, tambin tenemos innitos planos invariantes.
Para calcular las ecuaciones de estos planos, utilizamos
H := (u
1
x +u
2
y +u
3
z = 0) es hiperplano invariante por

f (u
1
, u
2
, u
3
) autovector de

f
t
J
t
f
=
_
_
_
1 1 0
0 1 0
0 0 1
_
_
_
_
_
_
u
1
u
2
u
3
_
_
_ =
_
_
_
u
1
u
2
u
3
_
_
_ u
1
+u
2
= u
1
u
2
= 0
Tenemos un haz de planos invariantes de la forma
H
,
:= (x +z = 0) , R
El caso

:= (x = 0) = H
,0
El siguiente paso es obtener los subespacios anes invariantes.
Una recta afn invariante R = p +

R ser invariante por f cuando su
recta de vectores asociada

R sea invariante por

f y v = f (p) p

R. Pero
acabamos de ver que si p A
3
(R), entonces v =
_
_
_
1
a
0
_
_
_ v /

:= (x = 0),
de manera que no tenemos rectas anes invariantes.
63
Como en el caso de las rectas, vemos que v H
,
= 0, de mane-
ra que los planos anes invariantes sern los que tengan como direccin
el plano H
0,
:= (z = 0). Para cualquier punto p =
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
, se cumple que
H = p +

H es un plano afn invariante por f si
H =
_
_
_
_
_
_
1
0
0
c
_
_
_
_
_
_
+
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_
(Los planos anes invariantes son paralelos al plano z = 0)
Ejercicio 76. (Ejercicio tipo 2)
Hallar la matriz de Jordan J
f
de un endomorsmo afn f de A
3
(R) tal
que
f
(t) = (t 1)
4
, rg
_
f

id
_
= 1 y f deja invariante al menos una recta
y no tiene puntos jos.
Demostracin. Del polinomio caracterstico
f
(t) = (t 1)
4
observamos
que el endorsmo slo tiene un valor propio, = 1, con multiplicidad 4.
Adems, el endorsmo no tiene puntos jos, por lo que la forma de Jordan
ser
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0
1
1 0
0 0
2
1
_
_
_
_
_
_
con
i
=0, 1, (i = 1, 2).
Para averiguar el valor de los
i
utilizamos
rg
_
f

id
_
= 1 = rg
_
J
f

id
_
rg
_
J
f

id
_
=
_
_
_
0 0 0
1
0 0
0
2
0
_
_
_ = 1
Por lo que uno de los dos
i
= 1. Tenemos dos opciones:
J
1
=
_
_
_
1 0 0
1 1 0
0 0 1
_
_
_ J
2
=
_
_
_
1 0 0
0 1 0
0 1 1
_
_
_
64
Para determinar cul es la forma correspondiente al endomorsmo del
enunciado, utilizamos la informacin de que deja al menos una recta in-
variante.
Las rectas invariantes estn asociadas a los subespacios de los valores
propios, ker
_
f

id
_
ker
_
J
1

id
_
=
_
_
_
0 0 0
1 0 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ := (x = 0)
Es decir, que tenemos un plano de rectas invariantes.
v = f (p) p ker
_
J
1

id
_
?
Consideramos un punto cualquiera p =
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
A
3
v = f (p) p =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 1 1 0
0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
1
a
0
_
_
_ / ker
_
J
1

id
_
Es decir, que no tenemos rectas anes invariantes para el endorsmo
representado por J
1
, por lo que J
1
no puede ser la forma del endomorsmo
que buscamos.
Repetiremos el proceso para J
2
como comprobacin.
J
2
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1
_
_
_
_
_
_
ker
_
J
2

id
_
=
_
_
_
0 1 0
0 0 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ := (y = 0)
En este caso,
v = f (p) p =
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
1
0
b
_
_
_ ker
_
J
2

id
_
65
Por lo que s tenemos al menos una recta invariante; de hecho, lo son
todas las que tengan como vector direccin
v =
_
_
_
1
0
b
_
_
_ b R
Es decir, que las rectas anes invariantes sern de la forma
R
a,c
=
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
+
_
_
_
_
_
1
0
b
_
_
_
_
_
Por lo tanto, la forma de Jordan del endorsmo que buscamos es
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1
_
_
_
_
_
_
= J
2
Ejercicio 77.
Sea un sistema de referencia cartesiano de un espacio real afn A
3
(R)
de dimensin 3. Sea f el endorsmo afn de matriz respcto a
M
(f) =
_
_
_
_
_
_
1 0 0 0
1 2 0 0
0 0 2 0
0 0 1 2
_
_
_
_
_
_
Hallar los subespacios anes invariantes por f respecto a .
Demostracin. Vemos que M
(f) ya tiene forma de matriz de Jordan. Del

aspecto que tiene deducimos que f no tiene puntos jos y que tenemos un
nico valor propio = 2 con multiplicidad 3.
rg
_
ker
_
f 2

id
__
= rg
_
_
_
_
_
_
0 0 0
0 0 0
0 1 0
_
_
_
_
_
_ = 1 dim
_
ker
_
f 2

id
__
= 3 1 = 2
66
Como las columnas de M
(f) = J
f
son las imgenes de los vectores de e
i
del sistema de referencia, tenemos
f ( e
1
) = 2 e
1
e
1
ker
_
f 2

id
_
f ( e
2
) = 2 e
1
+ e
2
f ( e
3
) = 2 e
3
e
3
ker
_
f 2

id
_
Vemos que e
1
y e
3
son autovectores de valor propio = 2, por lo que
cada uno de ellos genera una recta invariante por

f. La combinacin de
estos vectores propios tambin da lugar a un plano vectorial invariante
= e
1
, e
3
. Es decir, toda recta

R

= ker
_
f 2

id
_
es invariante por

f.
Fuera del plano

no tenemos ms autovectores, por lo que no tenemos
ms rectas vectoriales invariantes.
Ahora vamos a buscar los planos vectoriales invariantes. Como esta-
mos en dimensin 3, los hiperplanos invariantes son planos, por lo que
tenemos tantos como rectas invariantes. Para calcularlos, buscamos los
vectores propios de

f
t
.
f y

f
t
tienen el mismo polinomio caracterstico, por lo que tambin tie-
nen los mismos valores propios,
t
= 2 con multiplicidad 3. Los autovecto-
res de

f
t
son vectores u =
_
_
_
_
_
_ ker
_
f
t
2

id
_
_
_
_
0 0 0
0 0 1
0 0 0
_
_
_
_
_
_
_
_
_ =
_
_
_
0
0
0
_
_
_ = 0
ker
_
f
t
2

id
_
:= ( = 0) =
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_
Es decir: no tenemos puntos jos. Tenemos todas las rectas conteni-
das en el plano ker
_
f 2

id
_
:= (y = 0) = H
0,
y el haz de planos H
,
:=
(z = 0) = (x +y = 0).
Ahora buscamos los subespacios invariantes anes.
El primer paso es comprobar si el endorsmo f tiene puntos invarian-
tes:
f (p) = p?
67
_
_
_
_
_
_
1 0 0 0
1 2 0 0
0 0 2 0
0 0 1 2
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
1 + 2a
2b
b + 2c
_
_
_
_
_
_
1 + 2a = 2 a = 1
2b = b b = 0
b + 2c = c c = 0
De manera que slo tenemos un punto jo
p =
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
Como p es un punto jo, si v = f (p) p =

0

U para todo subespacio
vectorial invariante

U por

f. Es decir, en este caso, todos los subespacios
vectoriales invariantes tambin son subespacios anes invariantes por f.
Punto jo: p =
_
_
_
_
_
_
1
1
0
0
_
_
_
_
_
_
Rectas: Todas las contenidas en el plano := (x = 0) que pasan por
p
Planos: El haz de planos que contiene la recta R = p + e
3

Sea un sistema de referencia cartesiano del espacio afn real A
3
(R) de
dimensin 3. Sa f el endomorsmo afn con matriz respecto a
M
(f) =
_
_
_
_
_
_
1 0 0 0
2 1 0 1
0 0 1 0
4 0 0 1
_
_
_
_
_
_
f
de f.
tal que M
(f) = J
f
.
3. Hallar todas las ecuaciones respecto de

invariantes por f.
Demostracin. 1)
68
Para calcular la forma de Jordan J
f
de f, primero buscamos si f tiene
puntos jos. f (p) = p?
_
_
_
_
_
_
1 0 0 0
2 1 0 1
0 0 1 0
4 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
2 a c
b
4 c
_
_
_
_
_
_
a = 2 a c a = 0
b = b
c = 4 c c = 2
Es decir, que tiene una recta de puntos de la forma
p =
_
_
_
_
_
_
1
0
b
2
_
_
_
_
_
_
b R
R =
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
+
_
_
_
_
0
1
0
_
_
_
_
Ahora calculamos la matriz de Jordan J
f
asociada a la aplicacin lineal

f.
Su polinomio caracterstico es
f
() = det
f
_

id
1 0 1
0 1 0
0 0 1
= (1 ) (1 +)
2
Tenemos dos valores propios, = 1 con multiplicidad 1 y = 1 con
multiplicidad 2.
As tenemos que
J
f
=
_
_
_
1 0 0
0 1 0
0 1
_
_
_
donde = 0, 1. Para determinar su valor, utilizamos el rango
rg
_
f +

id
_
= 2 = rg
_
J
f

id
_
= 1
69
La forma de Jordan para f es
J
f
=
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 1 1
_
_
_
_
_
_
Demostracin. 2)
Ahora buscamos
=
_
O
;

e
1
,

e
2
,

e
3
_
tal que M
(f) = J
f
.
Como p =
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
es un punto jo, lo podemos seleccionar como origen del
nuevo sistema de referencia
O
=
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
Para el resto del sistema, escribimos utilizando J
f
J
f
_
1
_
=

e
1

e
1
ker
_
f

id
_
(9.1)
J
f
_
2
_
=
2
+ e
3

e
3
=
_
f +

id
__
2
_
(9.2)
2
ker
_
f +

id
_
2
ker
_
f +

id
_
(9.3)
J
f
_
3
_
=

e
3

e
3
ker
_
f +

id
_
Empezamos calculando

e
1
a partir de 9.1
ker
_
f

id
_
=
_
_
_
2 0 1
0 0 0
0 0 2
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ x = 0, z = 0
1
=
_
_
_
0
1
0
_
_
_
70
Ahora vamos a por

e
2
a partir de 9.3
ker
_
f +

id
_
2
=
_
_
_
0 0 1
0 2 0
0 0 0
_
_
_
_
_
_
0 0 1
0 2 0
0 0 0
_
_
_
_
_
_
0 0 0
0 4 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ y = 0
ker
_
f +

id
_
=
_
_
_
0 0 1
0 2 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ z = 0, y = 0
Como

e
2
ker
_
f +

id
_
2
ker
_
f +

id
_
, por lo que
2
=
_
_
_
0
0
1
_
_
_
Y nalmente, por 9.2,
3
=
_
f +

id
__
2
_
=
_
_
_
0 0 1
0 2 0
0 0 0
_
_
_
_
_
_
0
0
1
_
_
_ =
_
_
_
1
0
0
_
_
_
El sistema
en el que M
(f) = J
f
resulta
=
_
_
_
_
_
_
_
_
1
0
0
2
_
_
_
_
_
_
,
_
_
_
0
1
0
_
_
_,
_
_
_
0
0
1
_
_
_,
_
_
_
1
0
0
_
_
_
_
_

Demostracin. 3) 9.4.c
PENDIENTE!!!
Sea un sistema de referencia cartesiano de un espacio afn real de
dimensin 3, A
3
(R). Sea f el endomorsmo afn cuya matriz respecto a
viene dada por:
M
(f) =
_
_
_
_
_
_
1 0 0 0
0 2 0 0
3 4 0 1
2 2 1 2
_
_
_
_
_
_
1. Hallar la matriz de Jordan J
f
de f.
de A
3
(R) tal que M
(f) = J
f
71
3. Hallar las ecuaciones respecto a
de los subespacios anes inva-

riantes por f.
Demostracin. 1)
Para encontrar la matriz de Jordan J
f
de un endomorsmo afn pri-
mero debemos averiguar si tiene puntos jos. Para ello, nos preguntamos
f (p) = p?, donde p A
3
es un punto cualquier p = (1, a, b, c)
f (p) =
_
_
_
_
_
_
1 0 0 0
0 2 0 0
3 4 0 1
2 2 1 2
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
2a
3 4a c
2 2a +b + 2c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
2a = a a = 0
3 c = b c = 3 b
2 +b + 2c = c c = 2 b
Como vemos, llegamos a una contradiccin, lo que signica que f no tiene
puntos jos. Esto nos indica que la forma de J
f
es
J
f
=
_
_
_
_
_
_
1 0 0 0
1
0
0
_
_
_
_
_
_
Ahora buscamos la forma cannica de

f, J
f
. Empezamos calculando el
polinomio caracterstico
f
(t) = det
f t

id
f
(t) =
2 t 0 0
4 t 1
2 1 2 t
= (2 t) t (2 +t) (2 +t) = (2 +t) [(t (2 t)) 1] =

= (2 +t)
_
2t t
2
1
_
= (2 +t) (t 1)
2
Obtenemos dos valores propios t = 2 y t = 1 (con multiplicidad 2). De
manera que la forma cannica para J
f
es de la forma:
J
f
=
_
_
_
1 0 0
1 0
0 0 2
_
_
_
72
Como rg
_
ker
_
f

id
__
= 2 tenemos que = 1, de manera que, nalmente:
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 1 1 0
0 0 0 2
_
_
_
_
_
_
Demostracin. 2)
Ahora buscamos un sistema de referencia
=
_
O
,

e
1
,

e
2
,

e
3
_
en el que
M
(f) = J
f
.
Las columnas de la matriz de Jordan J
f
son las imgenes de
por f,
de manera que podemos plantear:
f (O
) = O
+

e
1

e
1
= (f id) (O
) (9.4)
f
_
1
_
=

e
1
+

e
2

e
2
=
_
f

id
__
1
_
(9.5)
f
_
2
_
=

e
2

e
2
ker
_
f

id
_
(9.6)
f
_
3
_
= 2
3

e
3
ker
_
f + 2

id
_
(9.7)
De las ecuaciones 9.6 y 9.5 vemos que
(9.8)

e
1
ker
_
f

id
_
2
ker
_
f

id
_
Podemos obtener

e
1
a travs de la ecuacin 9.4 o de 9.8.
Empezamos buscando

e
3
ker
_
f + 2

id
_
:
ker
_
f + 2

id
_
=
_
_
_
0 0 0
4 2 1
2 1 2
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ z = 0, y = 2x
3
=
_
_
_
1
2
0
_
_
_
73
Ahora

e
1
ker
_
f

id
_
2
ker
_
f

id
_
:
ker
_
f

id
_
=
_
_
_
3 0 0
4 1 1
2 1 1
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ x = 0, y +z = 0
ker
_
f

id
_
2
=
_
_
_
9 0 0
18 0 2
4 2 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ x = 0, y = 0, z = 0
Como vemos, ker
_
f

id
_
no nos proporciona informacin sobre

e
1
. Uti-
lizaremos la segunda va de la que disponemos en este caso, a travs de
9.4:
1
=
_
f

id
_
(O
) =
_
_
_
_
_
_
1 0 0 0
0 3 0 0
3 4 1 1
2 2 1 1
_
_
_
_
_
_
_
_
_
a
b
c
_
_
_ =
_
_
_
3a
3 4a b c
2 2a +b +c
_
_
_
De manera que tenemos
Demostracin. 3)
Como tenemos que encontrar los subespacios invariantes con ecuacio-
nes respecto a
utilizamos la matriz J
f
:
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 1 1 0
0 0 0 2
_
_
_
_
_
_
Empezamos buscando las rectas vectoriales invariantes (asociadas a los
autovalores = 1 y = 2.
R
1
= ker
_
J

id
_
=
_
_
_
0 0 0
1 0 0
0 0 3
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ x = 0 = z

R
1
=
_
_
_
_
0
1
0
_
_
_
_
74
R
2
= ker
_
J + 2

id
_
=
_
_
_
3 0 0
1 3 0
0 0 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_ x = 0 = y

R
2
=
_
_
_
_
0
0
1
_
_
_
_
Ahora buscamos los planos invariantes. Como estamos en dimensin 3,
los planos son hiperplanos, y su nmero coincide con el de rectas inva-
riantes, es decir, dos.
El primer plano invariante es el que contiene las dos rectas vectoriales
invariantes que acabamos de encontrar:
1
=
_
_
_
_
0
1
0
_
_
_,
_
_
_
0
0
1
_
_
_
_
:= (x = 0)
El otro plano vectorial invariante es el que se obtiene de la caja
_
_
_
_
1 0
1 1
_
0
0 0 2
_
_
_
que corresponde a
2
:= (z = 0) =
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_
A continuacin buscamos los invariantes anes.
De la forma de J
f
de f vemos que no hay puntos jos (el 1 indicado con
echas), por lo que no los buscamos.
J
f
=
_
_
_
_
_
_
1 0 0 0
1
_

f
_
0
_
_
_
_
_
_
Sea p un punto cualquiera de A
3
, p =
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_

v = f (p) p =
_
_
_
_
_
_
1
1 +a
a +b
2c
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
1
a
3c
_
_
_ a, c R
75
Vemos que v /

R
1
,
R
2
(ya que x ,= 0 en el caso de

R
1
y z ,=0 en el caso de
R
2
).
Por el mismo motivo, v /

1
. Finalmente, vemos que v

2
c = 0,
de manera que tenemos un plano afn invariante por f
:= (z = 0) =
_
_
_
_
_
_
1
a
b
0
_
_
_
_
_
_
+
2
=
_
_
_
_
_
_
1
a
b
0
_
_
_
_
_
_
+
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
1
0
_
_
_
_

A
3
(R). Sea f el endomorsmo afn de matriz respecto a :
M
(f) =
_
_
_
_
_
_
1 0 0 0
3 4 0 4
1 6 1 3
3 1 0 0
_
_
_
_
_
_
con polinomio caracterstico
f
(t) = (1 t) (t + 2)
2
.
f
de f.
2. Si
es un sistema de referencia tal que M
(f) = J
f
, hallar las
de los subespacios anes invariantes por

f.
Demostracin. 1)
El primer paso para encontrar la forma cannica J
f
es averiguar si f
tiene puntos jos.
_
_
_
_
_
_
1 0 0 0
3 4 0 4
1 6 1 3
3 1 0 0
_
_
_
_
_
_
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
a
b
c
_
_
_
_
_
_
=
_
_
_
_
_
_
1
3 4a + 4c
1 + 6a +b 3c
3 a
_
_
_
_
_
_
9a = 9 a = 1
1 = 9a 9 a = 8/9
c = 3 a
76
Llegamos a contradiccin, lo que signica que f no tiene puntos jos y por
tanto, J
f
es de la forma
J
f
=
_
_
_
_
_
_
1 0 0 0
1 J
f

0
.
.
.
.
.
.
0
_
_
_
_
_
_
De la forma del polinomio caracterstico
f
(t) observamos que tenemos
dos valores propios, t = 1 y t = 2 (con multiplicidad 2), de manera que
J
f
=
_
_
_
1 0 0
0 2 0
0 2
_
_
_
con = 0, 1. Para determinar utilizamos que el rango es un invariante,
de manera que
rg
_
M
f
_

id
_
= rg
_
_
_
2 0 4
6 3 3
1 0 2
_
_
_ = 2 =
_
_
_
3 0 0
0 0 0
0 0
_
_
_ = 1
As que, nalmente,
J
f
=
_
_
_
_
_
_
1 0 0 0
1 1 0 0
0 0 2 0
0 0 1 2
_
_
_
_
_
_

Demostracin. 2)
Ahora buscamos las ecuaciones respecto a
de los subespacios inva-

riantes respecto a f. Como queremos las ecuaciones respecto a
, utiliza-
mos M
(f) = J
f
.
Empezamos buscando las rectas invariantes asociadas a los valores
propios de

f.
ker
_

f

id
_
: =
_
_
_
0 0 0
0 3 0
0 1 3
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_
R
1
:= (y = 0, z = 0) :=
_
_
_
_
1
0
0
_
_
_
_
77
ker
_

f + 2

id
_
: =
_
_
_
3 0 0
0 0 0
0 1 0
_
_
_
_
_
_
x
y
z
_
_
_ =
_
_
_
0
0
0
_
_
_
R
2
:= (x = 0, y = 0) :=
_
_
_
_
0
0
1
_
_
_
_
En cuanto a los planos invariantes vectoriales invariantes, como esta-
mos en dimensin tres, los planos son hiperplanos, y por tanto, su nmero
coincide con el de rectas invariantes.
El primer plano es el que contiene las rectas invariantes

R
1
y

R
2
, es
decir
1
:= (y = 0) :=
_
_
_
_
1
0
0
_
_
_,
_
_
_
0
0
1
_
_
_
_
El segundo plano lo obtenemos a partir de los autovectores de

f
t
. Si
H := (u
1
x +u
2
y +u
3
z = 0) es invariante por

f, entonces (u
1
, u
2
, u
3
) es un
autovector de

f
t
.
_
_
_
1 0 0
0 2 1
0 0 2
_
_
_
_
_
_
u
1
u
2
u
3
_
_
_ =
_
_
_
u
1
u
2
u
3
_
_
_
u
1
= u
1
2u
2
+u
3
= u
2
u
2
= 0
2u
3
= u
3
u
3
= 0
De manera que el plano invariante

2
:= (1, 0, 0) := (x = 0)
78
NDICE ALFABTICO
Aplicacin lineal, 2
Aplicacin lineal biyectiva, 3
Aplicacin lineal inyectiva, 3
Aplicacin lineal suprayectiva, 3
Autovalor, 4
Autovector, 4
Endomorsmos afnmente equivalentes,
30
Equivalencia lineal entre dos
endomorsmos lineales, 12
Homotecia, 3
Homotecia an, 47
Imagen, 2
Matrices semejantes, 3
Matriz asociada a una homotecia, 47
Matriz de Jordan de una dilatacin, 48
Matriz de Jordan de una homotecia, 48
Matriz de Jordan de una proyeccin, 7
Matriz de Jordan de una simetra, 8
Matriz de una traslacin, 29
Matriz diagonalizable, 5
multiplicidad, 4
Ncleo, 2
Polinomio caracterstico, 4, 7, 13
Polinomio mnimo, 7
Polinomio mnimo de un endorsmo
nulo, 6
Polinomio mnimo de una homotecia
vectorial, 6
Polinomio mnimo de una proyeccin, 7
Polinomio mnimo de una simetra
vectorial, 7
Procedimiento general para encontrar la
matriz de una simetra (o proyeccin)
afn, 33
Proyeccin, 3, 7
Proyeccin afn, 33
Rango, 13
Rotaciones en el plano, 4
Simetra, 3, 8
Simetra afn, 33
Subespacio afn invariante, 57
Subespacio propio, 5
Teorema de clasicacin afn de
dilataciones, 57
Teorema de clasicacin afn para
deformaciones, 57
Teorema de clasicacin afn para las
deformaciones con deslizamiento, 57
proyecciones anes, 57
simetras anes, 57
Valor propio, 4
Vector propio, 4
79

Problemas de Algebra Xavi Aznar

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Problemas de Algebra Xavi Aznar

Cargado por

Copyright:

Formatos disponibles

PROBLEMAS DE LGEBRA II - 1ER CUATRIMESTRE

es una base o sistema generador de V se tiene que

se dice que son semejantes cuando existe una matriz inver-

(). Empezamos con la proyeccin

(), utilizando las propiedades de

= (1, 0, 0) , (0, 0, 1) , (0, 1, 1).

(f) sobre una cierta base se dene como:

, por lo que podemos escribir las siguientes ecuaciones

Ejercicio 32. Sea V un espacio vectorial sobre K y una base de V .

Ejercicio 33. Sea g un endomorsmo de V

Ejercicio 34. f un endomorsmo de V

(f) ya tiene forma de Jordan para el valor

(f) ya tiene forma de Jordan, compuesta por

Ejercicio 39. Sea f un endomorsmo de V

(f) ya que tiene la forma cannica de Jordan

Parte 3. Espacio afn y Endomorsmos anes

Ejercicio 41. Sean R

Ejercicio 43. Sea un sistema de referencia cartesiano de un espacio

Ejercicio 44. Sea un sistema de referencia cartesiano del espacio afn

7. PROYECCIONES Y SIMETRAS AFINES

son afnmente equivalentes

, sistema de referencia cartesiano de X tal que

son afnmente equivalentes si existe P =

es una matriz de Jordan.

endomorsmos de un espacio afn de dimen-

son las siguientes:

no son afnmente equivalentes, ya que f

Proposicin 50. La aplicacin denida en 7.1 es un invariante en la

([) es la matriz de la simetra afn o de la

es de la forma (base de dimensin 2, direccin

. Nos falta determinar si

tal que la matriz de

Ejercicio 55. Sea un sistema de referencia cartesiano de un espacio

8. HOMOTECIAS AFINES Y DILATACIONES

Ejercicio 64. Sea A

Id podemos utilizar los vectores

U es invariante por f si verica

cuyas bases son B y B

cuyas bases son B y B

dos deformaciones anes con deslizamiento, con bases B

(f) que represen-

de los subespacios anes

de los subespacio anes

, de manera que pode-

= (1, 0, 0, 0). Ahora,

debe ser lineal-

de los subespacios anes

debemos trabajar con la matriz M

(f) ya tiene forma de matriz de Jordan. Del

Ejercicio 78. (Ejercicio Tipo 1)

de los subespacios anes

de los subespacios anes inva-

= (2 t) t (2 +t) (2 +t) = (2 +t) [(t (2 t)) 1] =

Ejercicio 80. Sea un sistema de referencia cartesiano del espacio afn

es un sistema de referencia tal que M

de los subespacios anes invariantes por

de los subespacios inva-

También podría gustarte