Escolar Documentos
Profissional Documentos
Cultura Documentos
Isomorfismos o transformaciones
lineales invertibles
Introduccin
En este mdulo caracterizaremos un tipo especial de transformacin lineal llamada
isomorfismo. Esta transformacin T : V W reproduce fielmente la estructura
de V en W, ya que establece una correspondencia biyectiva entre los elementos de
V y W, y, por otra parte, T traslada sumas y productos por escalares las operaciones de espacio vectorial de los elementos de V a sumas y productos por escalares
de los correspondientes elementos de W. As pues, desde el punto de vista del
lgebra lineal, cuando entre V y W hay un isomorfismo, esto es, cuando son espacios vectoriales isomorfos, V y W son indistinguibles.
Objetivos
1. Determinar cundo una transformacin lineal es uno a uno.
2. Determinar cundo una transformacin lineal es sobreyectiva.
3. Determinar cundo una transformacin lineal es un isomorfismo.
4. Estudiar a travs de n las propiedades de otros espacios vectoriales de dimensin n.
5. Caracterizar los isomorfismos entre espacios vectoriales de dimensin finita por
medio de su matriz de transformacin.
6. Valorar la utilidad de establecer isomorfismos para trasladar una situacin dada
de un espacio a otro, con el fin de facilitar los procedimientos algebraicos y
visualizar mejor las propiedades aplicadas.
Preguntas bsicas
Sea T : V W una tranformacin lineal:
1. Cundo T es uno a uno?
2. Cundo T es sobreyectiva?
3. Cundo T es un isomorfismo?
4. Si dim V = n y dim W = m, cundo T no puede ser uno a uno? Cundo T no
puede ser sobre?
5. Si dim V = dim W = n , qu condicin ser suficiente para que T sea un isomorfismo?
197
Contenidos
14.1 Transformaciones lineales uno a uno y sobreyectivas
14.2 Isomorfismos
198
Mapa 9: mdulos 14 y 15
199
T ( v1 ) = T ( v2 ) v1 = v2 ,
o bien, en forma equivalente,
v1 v2 T (v1 ) T ( v2 ).
Figura 14.1
La figura 14.1a muestra una transformacin lineal inyectiva y la 14.1b, una transformacin lineal no inyectiva.
Definicin 2
Sea T : V W una transformacin lineal. T se llama sobre W o sobre, si para todo
w W existe al menos un v V tal que T (v) = w. En otras palabras, T es sobre si
la imagen de T es todo el espacio W.
Imagen T = W.
El teorema siguiente dice que para demostrar si una transformacin lineal es uno a
uno, slo se necesita examinar cules vectores se transforman en 0.
Teorema 1
Sea T : V W una transformacin lineal. T es uno a uno si y slo si nu T = {0} .
Demostracin
a.
200
b.
Sea T :
x 0
T = ,
y 0
x + y 0
= .
x y 0
x+ y = 0
x y =0
0
La nica solucin es x = 0 e y = 0, de modo que nu T = , y por el teorema 1,
0
T es 1 - 1.
Ejemplo 2
Sea T :
x
x 2 y
definida por T y =
.
y + z
z
0
.
1 1
0 1 1
x = 2z
201
Por lo tanto, T no es 1 - 1.
Veamos si T es sobre:
Examinando las columnas de AT, vemos que cualesquiera dos columnas son LI, de
modo que C A =
. En consecuencia, T es sobre.
Ejemplo 3
3
Sea T :
x
T y =
z
definida por:
x+ y
yz
z+ x .
y + 2x
AT =
1 0
0 0 1
1
2 1 0
0 0 0
x=0
y=0
z=0
0
nu T 0 ;
0
luego, T es 1 - 1.
En la forma escalonada reducida de AT podemos observar tres pivotes, luego las tres
columnas de AT son LI.
Entonces:
1
0
imagen T = CA = gen ,
1
2
1
1
,
0
1
0
1
,
1
0
En los ejemplos podemos observar que una transformacin lineal puede ser 1 - 1 y
202
Si T es 1 - 1, entonces T es sobre.
b.
Si T es sobre, entonces T es 1 - 1.
Si n > m, T no es 1 - 1.
b.
Si m > n, T no es sobre.
Demostracin
a.
203
14.2 Isomorfismos
Definicin 3
Sea T : V W una transformacin lineal. Entonces T es un isomorfismo si T es
1 - 1 y sobre. Se dice que los espacios vectoriales V y W son isomorfos si existe un
isomorfismo T de V sobre W. Esto se denota como V W .
Observacin
Es importante notar en la definicin anterior que la condicin para que dos espacios
vectoriales V y W sean isomorfos es que exista entre ellos una transformacin lineal
que sea isomorfismo. As, entre espacios vectoriales isomorfos podemos definir
transformaciones lineales que no sean isomorfismos.
El siguiente teorema nos muestra la similitud existente entre dos espacios vectoriales
isomorfos. La palabra isomorfismo viene del griego isomorphos, que significa
de igual forma.
Teorema 4
Sea T : V W un isomorfismo.
a.
b.
c.
d.
Demostracin
a.
luego:
w = c1T (v1 ) + c2T (v2 ) + ... + cnT (vn );
Vea en su multimedia de lgebra lineal el
cdigo fuente en MATLAB para ilustrar
Isomorfismos.
204
por lo tanto:
{T ( v1 ), T ( v 2 ),..., T ( v n )} genera a W.
c1 = c2 = ... = cn = 0 y, en consecuencia,
Se deduce de a y b.
d.
Se deduce de c.
v = c1v1 + c2 v2 + ... + cn vn ,
T (v) = c1T (v1 ) + c2T (v2 ) + ... + cnT (vn ),
c1w1 + c2w2 + ... + cn wn = 0.
Como {w1 , w2 ,..., wn } es base para W, c1 = c2 = ... = cn = 0 ; por lo tanto, v = 0; en
consecuencia, nu T = {0} y la transformacin es 1 - 1. Como dim V = dim W , entonces T es sobre por el teorema 2. Luego T es un isomorfismo.
lgebra lineal elemental y aplicaciones
205
T (1) = 1+ (1)' = 1+ 0 = 1
T ( x) = x + ( x)' = x +1
T ( x 2 ) = x 2 + ( x 2 )' = x 2 + 2 x
T ( x n ) = x n + ( x n )' = x n + nx n 1.
( n +1) ( n +1)
1
0
1 0
1 2
0 1
0
0
0
, det A = 1 0.
206
a b
2
3
T
= a + bx + cx + dx .
c
d
1 0
2
.3
T
= 1 + 0x + 0x + 0 x .
0
0
0 1
2
3
T
= 0 + 1x + 0 x + 0 x .
0 0
1
0
AT =
0
0 0
2
3
T
= 0 + 0 x + 1x + 0 x .
1
0
det AT = 1
0 0 0
1 0 0
= I4
0 1 0
0 0 1
0 0
2
3
T
= 0 + 0 x + 0 x + 1x .
0
1
a
b
T2 : P3 R 4 definida por T (a + bx + cx2 + dx3 ) = .
c
d
207
1.
2.
3.
x 1 0 1 x
definida como T y = 0 1 1 y . Determine si T es un isomorfismo.
z 1 0 2 z
4.
Sea T :
5.
Para cada una de las siguientes transformaciones determine si es un isomorfismo a partir de la informacin dada.
T:
, (T ) = 4.
b.
T:
, (T ) = 2.
c.
T : P 2 P 2 , (T ) = 1.
d.
T : P3 P3 , (T ) = 4.
a.
6.
7.
8.
Demuestre que si T : V W es un isomorfismo, entonces existe un isomorfismo L : W V tal que L(T ( v)) = v. A
L se le llama transformacin inversa de T y se denota T 1 .
9.
Demuestre que si T : R n R n est definido por T ( x) = Ax y T es un isomorfismo, entonces T 1 est dado por
T 1 ( x ) = A 1x .
10.
Sea T :
x 2x + 4 y 6z
una TL dada por T y = 5 y 2 z .
9z
Sea T : M n n M nn la transformacin lineal dada por T ( A) = BA, donde B es una matriz fija de orden n. Demuestre que T es un isomorfismo si y slo si B es una matriz invertible. En tal caso, describa T 1 .
208