UNIDAD 4: HOMOMORFISMOS EN LOS ESPACIOS VECTORIALES

Transformacin lineal: Sean V y V ' dos - espacios vectoriales, una funcin : T V V' se dice una
transformacin lineal o aplicacin lineal, si para todo , a b V , se tiene:
(i) , ) , ) , ) T a b T a T b =
(ii) , ) , ) T a T a =
Nota: Las condiciones (i) y (ii) acopladas en una sola nos dan la siguiente definicin:
: T V V' es una transformacin lineal, s y solo si, , ) , ) , ) T a b T a T b =
Para ver que T no es una combinacin lineal, bastar un ejemplo en el que no se verifique la condicin (i) o (ii).
Consecuencias 6:
(1) Para toda transformacin lineal : T V V' , la imagen del vector nulo de V , es el vector nulo de V ' . Es
decir, , ) 0 T a ' = con 0 V ' ' .
Sea a V , luego , ) , ) , ) , ) 0 0 T a T a T a T = = ,es decir, , ) , ) , ) , ) 0 0 0 T a T a T T ' = = = .
(2) Para toda transformacin lineal : T V V' , la imagen del opuesto de un vector de V , es igual al opuesto de
la imagen de dicho vector. Es decir, , ) , ) T a T a = .
Sea a V , luego , ) , ) , ) , ) , ) 1 1 T a T a T a T a = = = .
(3) Para toda transformacin lineal : T V V' la imagen de una combinacin lineal de vectores de V , es una
combinacin lineal de vectores de V ' . Es decir,
, )
1 1
n n
i i i i
i i
T a T a
= =
\

( )
_ _
.
Se demuestra aplicando sucesivamente (i) y (ii) de la definicin.
(4) Para toda transformacin lineal : T V V' , la imagen de un sistema linealmente dependiente de V , es un
sistema linealmente dependiente de V ' .
Sea F V _ ,
1 2
, ,...,
p
F a a a = linealmente dependiente, luego existe alguna combinacin lineal de sus
vectores con resultado el vector nulo con algn coeficiente no nulo, esto es
1
0
n
i i
i
a
=
=
_
con algn 0
i
= , por
la unicidad de la funcin T .
, )
1
0
n
i i
i
T a T
=
\

( )
_
con algn 0
i
= , s y solo si, , )
1
0
n
i i
i
T a
=
' =
_
con algn 0
i
= .
Por lo tanto , ) , ) , ) , )
1 2
, ,...,
p
T F T a T a T a = es linealmente dependiente.
(5) Para toda transformacin lineal : T V V' , si la imagen de F V _ es linealmente independiente, entonces
F es linealmente independiente. Es decir, si , ) T F es linealmente independiente, entonces F es linealmente
independiente.
Supongamos que F es linealmente dependiente, por (4), , ) T F sera linealmente dependiente lo que
contradice la hipostasis. Luego F es linealmente independiente.
Observacin 11:
(1) La consecuencia (1) y (3) y la definicin de transformacin lineal, nos dice que las transformaciones lineales
son los homomorfismos de los espacios vectoriales.
(2) Todas las transformaciones lineales conservan la dependencia lineal, pero no todas conservan la independencia
lineal. En sntesis:
Si F es ligado entonces , ) T F es ligado.
Si F es libre entonces , ) T F puede ser libre o ligado.
Si , ) T F es libre entonces F es libre.
Si , ) T F es ligado entonces F puede ser libre o ligado.
Teorema de existencia y unicidad de las transformaciones lineales: Sean V y V ' dos - espacios vectoriales
y
1 2
, ,...,
n
b b b = una base de V . Si
1 2
, ,...,
n
b b b
' ' '
son n vectores cualesquiera de V ' , entonces existe una nica
transformacin lineal : T V V' tal que , )
i i
T b b
'
= para todo 1,..., i n = .
Demostracin:
Sea x un vector cualquiera de V , luego
1
n
i i
i
x b
=
=
_
en forma nica.
Definimos: : T V V' tal que , )
1
n
i i
i
T x b
'
=
=
_
.
De la definicin queda claro que , )
i i
T b b
'
= , pues
, ) , )
1 2 1 1
1 2 1 1
0 0 ... 0 1 0 ... 0
0 0 ... 0 1 0 ... 0 1
i i i i n
i i i i n i i
b b b b b b b
T b T b b b b b b b b

'

=
' = = =
Veamos que T es una transformacin lineal.
(i) Sean , x y V , luego
1
n
i i
i
x x b
=
=
_
e
1
n
i i
i
y y b
=
=
_
y ser , )
1
n
i i i
i
x y x y b
=
=
_
, ) , )
, )
, ) , )
1
1
7
1 1
[unicidad de ]
[def. de ]
[ def. E.V.]
n
i i i
i
n
i i i
i
n n
i i i i
i i
T x y T x y b T
x y b T
x b y b V
T x T y
=
=
= =
\

=

( )
'
=
' '
=
=
_
_
_ _
(ii) Sea ,
1
n
i i
i
x b V
=
=
_
, luego
1 1
n n
i i i i
i i
x b b
= =
= =
_ _
de donde
, )
, )
1
1
8
1
[unicidad de ]
[Def. de ]
[ def. E.V.]
n
i i
i
n
i i
i
n
i i
iT
T x T b T
b T
b V
T x

=
'
=
'
=
\

=

( )
=
=
=
_
_
_
Por lo tanto T es una transformacin lineal, lo que prueba la existencia de T .
Probemos, ahora la unicidad de T , para ello vamos a suponer que existe otra transformacin lineal : L V V ' tal
que , )
i i
L b b
'
= para todo 1, 2,..., i n = .
Sea x V luego
1
n
i i
i
x x b
=
=
_
, )
, )
, )
1
1
1
[unicidad de ]
[ es T. lineal]
[def. de ]
[def. de ]
n
i i
i
n
i i
i
n
i i
i
L x L x b L
x L b L
x b L
T x T
=
=
'
=
\

=

( )
=
=
=
_
_
_
Por lo tanto T L = . Esto es, T es nica.
Imagen de una transformacin lineal: Sea : T V V' una transformacin lineal, se llama imagen de T al
conjunto: , ) , ) , ) Im : existe y T T V x V x V T x x ' ' = = = .
Teorema: Para toda transformacin lineal : T V V' la imagen de un subespacio de V es un subespacio de V ' .
Demostracin:
Sea : T V V ' una transformacin lineal.
Sea S un subespacio de V e indiquemos con
, )
T S a la imagen de S por T .
Esto es,
, ) , )
: existe y T S x V x S T x x ' ' = =
Debemos probar que
, )
T S es un subespacio de V' .
, )
T S V ' _ por definicin de
, )
T S .
Como 0 S y
, )
0 T S ' = , entonces
, )
0 T S ' , luego
, )
T S = 2.
(i) Sean
, )
, x y T S ' ' , entonces existen , x y S tales que
, )
T x x ' = ,
, )
T y y' = .
Como , x y S ' ' y S es subespacio de V , entonces x y S , luego
, ) , ) , )
T x y T x T y x y ' ' = =
Existe x y S tal que
, )
T x y x y ' ' =
Por definicin de
, )
T S :
, )
x y T S ' '
(ii) Sea y
, )
x T S ' , luego existe
, )
: x S T x x ' = .
Como y x S , entonces x S por ser S subespacio.
, ) , )
T x T x x ' = =
Tenemos que existe x S tal que
, )
T x x ' = , por lo tanto
, )
x T S ' .
De (i) y (ii)
, )
T S es un subespacio de V' .
Imagen recproca de un subespacio de V por medio de una transformacin lineal: Sea : T V V' una
trasformacin lineal y sea S' un subespacio de V ' , llamaremos imagen recproca de S' y lo denotaremos con
, )
1
T S

'
a:
, ) , )
1
: T S x V T x S

' ' =
Teorema 29: La imagen recproca de un subespacio S' de V ' es un subespacio de V .
Demostracin:
Sea : T V V ' una transformacin lineal, S' un subespacio de V' , debemos probar que
, ) , )
1
: T S x V T x S

= ' ' es un subespacio de V .

, )
1
T S V

' _ por definicin de , )

1
T S

' .
Como 0 S ' ' y
, )
0 0 T ' = , entonces , )
1
0 T S

' , luego , )
1
T S

' = 2 .
(i) Sean , )
1
, x y T S

' , debemos probar que , )

1
x y T S

' .
Como , )
1
, x y T S

' , entonces , ) , ) , T x T y S' .

Por ser S' subespacio de V' , , ) , ) T x T y S' .
Adems, , ) , ) , ) T x T y T x y = , luego , ) T x y S' , por lo tanto , )
1
x y T S

' .
(ii) Sea y , )
1
x T S

' , luego , ) T x S' .

Como y , ) T x S' , entonces , ) T x S ' por ser S' subespacio de V' .
, ) , ) T x T x = por ser T transformacin lineal, luego , ) T x S ' , por lo tanto , )
1
x T S

' .
De (i) y (ii), , )
1
T S

' es subespacio de V .
Ncleo de una transformacin lineal: Sea : T V V' una trasformacin lineal, llamaremos ncleo de T y lo
simbolizaremos , ) Nuc T a: , ) , ) : 0 Nuc T x V T x ' = =
Es decir: , ) , ) 0 x Nuc T T x ' = =
Teorema 30: Sea : T V V' una transformacin lineal, entonces , ) Nuc T es un subespacio de V .
Demostracin: Es consecuencia inmediata de , ) , )
1
0 Nuc T T

' = y el teorema anterior.

Teorema 31: Sea S un subespacio del - espacio vectorial V de dimensin finita, luego existe una transformacin
lineal : T V V tal que , ) Nuc T S = .
Demostracin:
Sea
1 1 2
, ,...,
p
b b b = una base de S , luego
1
es un sistema linealmente independiente de V y por lo tanto podemos
extenderla hasta formar una base de V .
Sea
1 2 1
, ,..., , ,...,
p p n
b b b b b

= tal base.
Definimos
, )
, )
0 si 1, 2,...,
: :
si 1,...,
i
i i
T b i p
T V V
T b b i p n
' = = 1
1

'
= = 1
1+
Por el teorema de existencia y unicidad de las transformaciones lineales, T est bien definida.
Probemos que , ) Nuc T S = .
a) , ) Nuc T S _ .
Sea , ) x Nuc T , entonces , ) 0 T x = (1)
Como , ) Nuc T V _ , x V , luego
2
1 1 1
[ def. E.V.]
p
n n
i i i i i i
i i i p
x b b b V
= = =
= =
_ _ _
Por la unicidad de la funcin T
, )
, ) , )
, )
, )
1 1
1 1
1
1
[ es lineal]
0 [def de ]
(2)
p
n
i i i i
i i p
p
n
i i i i
i i p
n
i i
i p
n
i i
i p
T x T b b
T b T b T
T b T
T b

= =
= =
=
=
\


=

( )
=
=
=
_ _
_ _
_
_
De (1) y (2) , )
1
0
n
i i
i p
T b
=
=
_
, una combinacin lineal de vectores de
1
,...,
p n
b b

igualada al vector nulo.

Como este conjunto es linealmente independiente, pues es subconjunto de un sistema libre, entonces
1
... 0
p n

= = = .
Luego
1
p
i i
i
x b
=
=
_
, entonces x S .
De donde , ) Nuc T S _ .
b) , ) S Nuc T _ .
Sea y S , entonces
1
p
i i
i
y b
=
=
_
Por la unicidad de T
, )
, )
1
1
0
p
i i
i
p
i i
i
T y T b
T b

=
=
\


=

( )
= =
_
_
luego , ) y Nuc T .
Por lo tanto , ) S Nuc T _ .
Por lo tanto , ) S Nuc T _ .
De a) y b), , ) Nuc T S = .
Rango de una transformacin lineal: Se da el nombre de rango de una transformacin lineal : T V V' , a la
dimensin de la imagen de la transformacin.
Esto es, , ) , ) , ) dimIm dim Rang T T T V = =
Teorema de la dimensin: Sean V y V ' dos espacios vectoriales, dimV n = , : T V V' una transformacin
lineal, luego se verifica: , ) , ) , ) dim dim dim dimIm V Dom T Nuc T T = =
Demostracin:
Sean dimV n = y
1 1 2
, ,...,
p
b b b = una base del , ) Nuc T , como
1
es un sistema libre de V , podemos extenderlo
hasta formar una base del espacio.
Sea
1 2 1
, ,..., , ,...,
p p n
b b b b b

= tal base.
Dado , ) Im x T ' , existe x V tal que , ) T x x ' = .
Como x V , entonces
1
n
i i
i
x b
=
=
_
,
, )
, )
, ) , )
1
1
1
[unicidad de ]
[ es T. lineal]
pues 0 para todo 1,..., .
n
i i
i
n
i i
i
n
i i i
i p
T x T b T
T b T
T b T b i p

=
=
=
\

=

( )
=
= = =
_
_
_
Esto es, , ) , ) , )
1 2
, ,...,
p p n
T b T b T b

es un sistema generador de la , ) Im T .
Veamos ahora si este sistema es linealmente independiente.
Sea la combinacin lineal , ) , ) , )
1 1 2 2
... 0
p p p p n n
T b T b T b

' = ,
como T es lineal tendremos
1
0
n
i i
i p
T b
=
\

' =

( )
_
,
luego , )
1
n
i i
i p
b Nuc T
=

_
y se podr expresar como combinacin lineal de los vectores de
1
.
1 1
p
n
i i i i
i p i
b b
= =
=
_ _
1 1
0
p
n
i i i i
i p i
b b
= =
' =
_ _
y como
1 2 1
, ,..., , ,...,
p p n
b b b b b

es base, es libre y sern los escalares nulos

1 2 1 2
... ... 0
p p p n


= = = = = = = =
por lo tanto , ) , ) , )
1 2
, ,...,
p p n
T b T b T b

es libre y base de la , ) Im T .
De donde, , ) dimNuc T p = y , ) dimIm T n p = .
Por la propiedad uniforme de la suma,
, ) , ) , ) dim dimIm
dim
Nuc T T p n p
n
V
=
=
=

Clasificacin de las transformaciones lineales:

(a) Atendiendo a la , ) Im T :
(1) Si , ) Im T V ' , entonces : T V V' es una transformacin homomrfica de en V V ' .
(2) Si , ) Im T V ' = entonces se dice que T es una transformacin de V sobre V ' , tambin se dice que T es
un epimorfismo o que T es una transformacin suprayectiva o sobreyectiva o simplemente sobre.
(b) Atendiendo al , ) Nuc T :
(1) Si , ) 0 Nuc T = , se dice que T es una transformacin lineal inyectiva o que T es un
monomorfismo.
(2) Si , ) 0 Nuc T = , se dice que T es una transformacin no inyectiva.
(c) Atendiendo a la , ) Im T y al , ) Nuc T :
(1) Si , ) Im T V ' = y , ) 0 Nuc T = , entonces T es una transformacin lineal biyectiva, tambin se dice
que T es un isomorfismo, o que T es regular o no singular.
(2) Cuando no se cumple alguna de las dos condiciones anteriores, e decir, cuando , ) Im T V ' = o
, ) 0 Nuc T = , se dice que T es singular o no biyectiva.
Cuando V V ' = o sea : T V V , el homomorfismo se llama endomorfismo. Si adems T es biyectiva,
entonces T se llama automorfismo.
Caracterizacin de un epimorfismo
Teorema 34: Para que una transformacin lineal : T V V' sea un epimorfismo es necesario y suficiente, que los
transformados de los vectores de una base de V , constituyan un sistema de generadores de V ' .
Demostracin:
Sea : T V V ' una transformacin lineal,
1 2
, ,...,
n
b b b = una base de V y , ) , ) , ) , )
1 2
, ,...,
n
T T b T b T b = los
transformados de los vectores de .
Debemos demostrar que:
(i) Condicin necesaria: Si T es un epimorfismo, entonces , ) T genera a V ' .
(ii) Condicin suficiente: Si , ) T genera a V ' , entonces T es un epimorfismo.
(i) Sea x V ' ' , probemos que x es combinacin lineal de los vectores de , ) T .
Como x V ' y T es epimorfismo existe x V tal que , ) T x x ' =
x V entonces
1
n
i i
i
x b
=
=
_
por la unicidad de T .
, )
1
n
i i
i
x T x
T b
=
' =
\

=

( )
_
, )
1
[ es lineal]
n
i i
i
T b T
=
=
_
Esto es, , ) , ) , )
1 2
, ,...,
n
T b T b T b es un sistema generador de V '
(ii) Sea x V ' ' , probemos que existe x V tal que , ) T x x ' =
Como x V ' ' y , ) T genera a V ' , entonces , )
1
n
i i
i
x T b
=
' =
_
Como T es lineal , )
1
n
i i
i
x T b T x
=
\

' = =

( )
_
.
Esto es, existe
1
n
i i
i
x b V
=
=
_
tal que , ) T x x ' = .
Por lo tanto T es epimorfismo.
Caracterizacin de una trasformacin inyectiva
Teorema 36: Una aplicacin lineal : T V V' es inyectiva si y slo si transforma sistemas libres de V en sistemas
libres de V ' .
Demostracin:
, ) = Sean : T V V ' inyectiva y
1 2
, ,...,
p
F v v v = un sistema libre de V , probemos que , ) T F es un sistema libre
de V ' .
Supongamos que , ) T F es ligado, luego existe , )
1
0
p
i i
i
T v
=
' =
_
, con algn 0
i
= para 1, 2,..., i p = .
Como T es una transformacin lineal
1
0
p
i i
i
T v
=
\

' =

( )
_
con algn 0
i
= para 1, 2,..., i p = .
Entonces , )
1
0
p
i i
i
v Nuc T
=
=
_
con algn 0
i
= para 1, 2,..., i p = .
Luego
1
0
p
i i
i
v
=
=
_
,con algn 0
i
= para 1, 2,..., i p = , de donde
1 2
, ,...,
p
F v v v = es linealmente dependiente.
Esto contradice la hiptesis y esta contradiccin provino de suponer que , ) T F es ligado, luego , ) T F es libre.
, ) = Sea : T V V ' una transformacin lineal tal que si F es un sistema libre de V , entonces , ) T F es un sistema
libre de V ' .
Probemos que T es inyectiva.
Sean
1 2
, ,...,
n
b b b = base de V y , ) x Nuc T .
Como , ) Nuc T V _ , entonces
1
n
i i
i
x b
=
=
_
, )
, )
, )
1
1
0 (1)
[unicidad de ]
(2) [ es lineal]
n
i i
i
n
i i
i
T x
T x T b T
T b T

=
=
' =
\

=

( )
=
_
_
De (1) y (2) y propiedad transitiva de la igualdad , )
1
0
n
i i
i
T b
=
' =
_
Como , ) T es libre, entonces 0
i
= para todo 1, 2,..., i n = .
Por lo tanto 0 x = , esto es , ) 0 Nuc T = .
T es inyectiva.
Caracterizacin de una transformacin biyectiva
Sabemos que : T V V' es biyectiva si y slo si
, )
, )
Im
0
T V
Nuc T
' ' = 1
1
'
1 =
1
+
Luego:
(1) En toda transformacin lineal biyectiva : T V V' , la dim dim V V' = .
Teorema 37: Una condicin necesaria y suficiente para que una transformacin lineal entre dos espacios vectoriales de
dimensin finita, sea biyectiva es que transforme una base del dominio en una base del codominio.
Demostracin:
Se demuestra aplicando los resultados de los teoremas anteriores (T34 y T36).
Conjunto de transformaciones lineales
Sean y V V ' dos - espacios vectoriales, a partir de ellos podemos formar el conjunto , ) , L V V ' formado por todas las
aplicaciones lineales de en V V ' y definir en este conjunto ciertas leyes que le confieran estructura de espacio
vectorial.
, ) , : : es transformacin lineal L V V T V V T ' ' = . O bien
, ) , : : es un homomorfismo L V V T V V T ' ' =
Igualdad de transformaciones lineales: Sean , )
1 2
, , T T L V V ' , diremos que
1 2
T T = s y solo si , ) , )
1 2
T x T x =
para todo x V .
Operaciones de transformaciones lineales
Suma de transformaciones lineales: Sean , )
1 2
, , T T L V V ' , se llama suma de la transformacin lineal
1
T ms la
transformacin lineal
2
T , a la aplicacin que se indicar
1 2
: T T V V ' tal que , ) , ) , ) , )
1 2 1
T T x T x T x = para
todo x V .
Lema 2: La suma de dos transformaciones lineales , )
1 2
, , T T L V V ' es otra transformacin lineal de , ) , L V V ' .
Demostracin:
Sean , )
1 2
, , T T L V V ' , probemos que , )
1 2
, T T L V V ' .
Sean , x y V , , , como V es espacio vectorial, entonces x y V .
, ) , ) , ) , )
, ) , ) , ) , ) , ) , )
, ) , ) , ) , ) , ) , )
, ) , ) , ) , ) , ) , )
, ) , ) , ) , )
1 2 1 2
1 1 2 2 1 2
1 2 1 2 2 5
1 2 1 2 8
1 2 1 2
[def . + de funciones]
[ y son T.L.]
[ y de E.V]
[ de E.V.]
[def. de defunciones]
T T x y T x y T x y
T x T y T x T y T T
T x T x T y T y V V
T x T x T y T y V
T T x T T y





=
=
=
=
=
Por lo tanto
1 2
T T es una transformacin lineal, luego , )
1 2
, T T L V V ' .
Producto de un escalar de por una transformacin lineal: Sean , ) , T L V V ' y , se llama por T a
la transformacin se indicar , ) : T V V ' tal que , ) , ) , ) T x T x = para todo x V .
Lema 3: El producto de un escalar por una transformacin lineal , ) , T L V V ' , es otra transformacin lineal
perteneciente a , ) , L V V ' .
Demostracin:
Sean , ) , T L V V ' y , probemos que , ) , ) , T L V V ' .
Sean , x y V , , , como V es espacio vectorial, entonces x y V .
, ) , ) , )
, ) , ) , )
[def. de producto de scalar por funcin]
[ es T.L]
T x y T x y
T x T y T


=
=
, ) , ) , ) , )
, ) , ) , ) , )
, ) , ) , ) , )
8
9
[ de E.V.]
[ de E.V., asoc y com prod de escalares]
[def. de prod de escalar por funcin]
T x T y V
T x T y V
T x T x



=
=
=
Por lo tanto , ) T es una transformacin lineal, luego , ) , ) , T L V V ' .
Propiedades:
(1) El producto es distributivo con respecto a la suma de escalares: , )T T T =
(2) El producto es distributivo con respecto a la suma de transformaciones: , ) T L T L =
(3) Asociativa para el producto de escalares: , ) , ) T T =
(4) La unidad del cuerpo es el neutro para la multiplicacin: 1T T = siendo 1 la unidad de .
Teorema 38: La cuaterna , ) , ) , , , , L V V ' es un espacio vectorial sobre , siendo el cuerpo base de V y de V '
.
Composicin de transformaciones lineales: Sean
1 2 3
, y V V V tres espacios vectoriales sobre . Sean
1 1 2
: T V V
y
2 2 3
: T V V dos transformaciones lineales. Se llama composicin o producto
2 1 1 3
: T T V V a la transformacin
que resulta de la aplicacin sucesiva de
1 2
y T T .
Esto es: , ) , ) , ) , )
2 1 2 1
T T x T T x = para todo
1
x V .
Teorema 39: La composicin o producto de dos transformaciones lineales es otra transformacin lineal.
Demostracin:
Sean
1 1 2
: T V V y
2 2 3
: T V V dos transformaciones lineales. , ) , ) , ) , )
2 1 2 1
T T x T T x = para todo
1
x V .
Sean
1
, x y V , , , como
1
V es espacio vectorial entonces
1
x y V .
, ) , ) , ) , )
, ) , ) , )
, ) , ) , ) , )
, ) , ) , ) , )
2 1 2 1
2 1 1 1
2 1 2 1 2
2 1 2 1
[def . ]
[ es T.L.]
[ es T.L.]
[def. ]
T T x y T T x y
T T x T y T
T T x T T y T
T T x T T y




=
=
=
=


Luego
2 1
T T es transformacin lineal.
Transformacin identidad: Es la transformacin : I V V definida por , ) I x x = para todo x V .
Inversa de una transformacin lineal: Dada una transformacin lineal : T V V' , llamaremos transformacin
inversa de T y la designaremos
1
T

a aquella transformacin que hace corresponder a cada x V ' ' el vector x V ,

siendo , ) T x x ' = .
Es decir: Si : T V V' es tal que , ) T x x ' = , entonces
1
: T V V

' ser tal que , ) , )

1
T x T x

' =
Observacin 13: No siempre existe la inversa de una transformacin lineal. Para que exista la inversa de una
transformacin lineal es necesario y suficiente que sea biyectiva.
Lema 5: Sea : T V W una transformacin lineal biyectiva y sea
1
: T W V

su inversa entonces se verifica:

(i)
1
V
T T I

=
(ii)
1
W
T T I

=
Teorema 40: La inversa de una transformacin lineal biyectiva es una transformacin lineal biyectiva.
Lema 6: Si :
V
I V V es la identidad de V , entonces para toda : T V W y : L W V se tiene que:
(i)
V
T I T =
(ii)
V
I L L =
Lema 7: La composicin de transformaciones lineales es asociativa.
Teorema 41: Si : T V W tiene inversa, entonces es nica.
Demostracin:
Sean
1
: T W V y
2
: T W V inversas de T , luego
1.
1 W
T T I = y
2 W
T T I =
2.
1 V
T T I = y
2 V
T T I =
, )
, )
1 1
2 1
2 1
2
2
[ es neutro para ]
[2.]
[ es asociativa]
[1.]
[ es neutro para ]
V
W
T I T I
T T T
T T T
T I
T I
=
=
=
=
=

Caracterizacin de la suma directa de subespacios vectoriales

Definicin 49: Sean V un - espacio vectorial y T un endomorfismo, diremos que T es idempotente si y slo si
2
T T = .
Definicin 50: Sean V un - espacio vectorial,
i
T y
j
T dos endomorfismos, diremos que son ortogonales si y slo si
0 i j
T T T = con i j = .
Definicin 51: Sean V un - espacio vectorial y
i
T con 1,..., i q = una familia de endomorfismos de V , diremos
que son suplementarios si y slo si
1
q
i
i
T I
=
=
_
.
Endomorfismos sobre un Espacio Eucldeo
Transformacin traspuesta: Sea E un espacio eucldeo y : A E E un endomorfismo. Llamaremos traspuesta de
A a la aplicacin :
T
A E E que verifica la siguiente condicin:
, )
T
A y z = si y slo si , ) , , x z A x y = para todo x E .
Teorema 46: Sea E un espacio eucldeo y : A E E un endomorfismo. Entonces
, ) , ) , ,
T
x A y A x y = para
todo , x y E .
Transformacin simtrica: Sean E un espacio eucldeo y : A E E un endomorfismo. Decimos que A es una
transformacin simtrica si y slo si
T
A A = .
Teorema 50: Sean E un espacio eucldeo y : A E E un endomorfismo. Entonces A es una transformacin
simtrica si y slo si,
, ) , ) , , x A y A x y = para todo , x y E .
Transformacin antisimtrica: Sean E un espacio eucldeo y : A E E un endomorfismo. Decimos que A es una
transformacin antisimtrica si y slo si
T
A A = .
Teorema 51: Sean E un espacio eucldeo y : A E E un endomorfismo. Entonces A es una transformacin
antisimtrica si y slo si, , ) , ) , , 0 x A y A x y = para todo , x y E .
Transformacin ortogonal: Sean E un espacio eucldeo y : R E E un endomorfismo. Decimos que R es una
transformacin ortogonal o una isometra si y slo si, , ) , ) , , x y R x R y = para todo , x y E .
Se dice que:
las transformaciones ortogonales son las transformaciones propias del espacio eucldeo.
las transformaciones ortogonales conservan el producto interior.
Caracterizacin de las transformaciones ortogonales
Teorema 54: Sean E un espacio eucldeo y : R E E un endomorfismo. Entonces R es una trasformacin
ortogonal si y slo si , ) x R x = para todo x E .
Las transformaciones ortogonales conservan la norma
Demostracin:
Sean E un espacio eucldeo y : R E E un endomorfismo.
, ) = R es una transformacin ortogonal, entonces , ) , ) , , x y R x R y = para todo , x y E .
A partir de esta condicin y de la definicin de norma de un vector tenemos que,
, ) , ) , ) , , x x x R x R x R x = = = para todo x E .
, ) = Admitamos que , ) x R x = , para todo x E . (1)
De acuerdo a (1) y a la linealidad de R , obtenemos
, ) , ) , ) x y R x y R x R y = = para todo , x y E ,
Por la definicin de norma de un vector, resulta
, ) , ) , ) , ) , ) , )
2 2
, , x y x y x y R x R y R x R y R x R y = = = (2)
Por otra parte, aplicando la linealidad del producto interior en ambos miembros de esta igualdad y la definicin de
norma, sigue que
2 2
, , 2 , , 2 , x y x y x x x y y y x x y y = = (3)
, ) , ) , ) , ) , ) , ) , ) , ) , ) , ) , ) , ) , ) , )
2 2
, , 2 , , 2 , R x R y R x R y R x R x R x R y R y R y R x R x R y R y = = (4)
De (2), (3) y (4), resulta
, ) , ) , ) , )
, ) , )
2 2 2 2
2 , 2 ,
, , [de (1)]
x x y y R x R x R y R y
x y R x R y
=
=
As, R es ortogonal.
Efectos geomtricos de algunas transformaciones lineales.
Son de cuatro tipos:
Rotacin
, ) , ) , ) , , cos sen , sen cos R x y x y x y x y ' ' = =
Simetras Axiales y Centrales
, ) , ) , ) , , , R x y x y x y ' ' = =
Traslacin
Homotecia
Proyecciones Ortogonales