Transformaciones lineales

Vamos ahora a trabajar con dos funciones definidas entre dos espacios vectoriales, esto
es, funciones para los cuales los conjuntos alcance y rango son espacios vectoriales.Por ejemplo, consideremos la funcin: T: R3 R2 / T (x1 ; x2 ; x3 ) = ( x1 +x2 ; x2 x3 )
Tenemos una funcin que a cada elemento de R3 (una terna ordenada) le hace
corresponder un elemento de R2 (un par ordenado) y que se determinan de la siguiente forma:
La primera componente del par es la suma de la primera y segunda componente de la
terna y la segunda componente del par es la diferencia entre la segunda y tercera componente
de la terna.Ejemplo:
T( 0 ; 1 ; 2 ) = ( 0 + 1 ; 1 2 ) = ( 1 ; -1 )^T( 2 ; 1 ; 0 ) = ( 2 + 1 ; 1 0 ) = ( 3 ; 1 )
Nos interesan aquellas funciones que conservan las dos operaciones bsicas
(Suma vectorial = ley Interna; y producto de un vector por un escalar = ley externa).
Si seguimos trabajando con el ejemplo se observa:
= ( 0 ; 1 ; 2 ) T ( ) = ( 1 ; -1 )^ = ( 2 ; 1 ; 0 ) T ( ) = ( 3 ; 1 )
Si hallamos la suma de las imgenes estamos sumando dos elementos del segundo
espacio:
T ( ) + T ( ) = ( 1 ; -1 ) + ( 3 ; 1 ) = ( 4 ; 0 )
En cambio, si sumamos los elementos del primer espacio y luego hallamos la imagen de
su suma tenemos:
+
T(

= (0;1;2) + (2;1;0) = (2;2;2)

+ )=T(2;2;2) = (2+2;22) = (4;0)

Por lo que concluimos la siguiente propiedad:

La imagen de la suma es igual a la suma de las imgeneses decir:T(

Algo parecido sucede con el producto de un escalar por la imagen de

o de

(cualquiera de los dos).Ejemplo: sea k = 2

2. T ( ) = 2 .T( 0 ; 1 ; 2 ) = 2 . (1 ; -1 ) = ( 2 ; -2 )
Ahora si calculamos primero el producto del escalar por el vector x en el primer espacio
vectorial y luego hallamos su imagen tenemos:
2.

= 2 .( 0 ; 1 ; 2 ) = ( 0 ; 2 ; 4 )

T (2. ) = T[2.( 0 ; 1 ; 2 ) = T ( 0 ; 2 ; 4 ) = ( 0 + 2 ; 2 4 ) = ( 2 ;-2)

Por lo tanto concluimos la siguiente propiedad:
La imagen del producto de un escalar por un vector es igual al producto del
escalar por la imagen del vectores decir:

T (2

) = 2. T (

No con todas las funciones pasa lo mismo, sea por ejemplo:

T: R R2 /T (x1 ; x2 ; x3 ) = ( x1 +x2 + 1 ; x2 x3)
Calculamos con los mismos puntos y tenemos:
3

T(

) =T( 2 ; 2 ; 2 ) = ( 5 ; 0 ) la imagen de la suma

T(

) + T ( ) = T ( 0 ; 1 ; 2 ) + T ( 2 ; 1 ; 0 ) = ( 2 ; -1 ) + ( 4 ; 1 ) = ( 6 ; 0 ) la

suma de las imgenes.En consecuencia, la suma de las imgenes es distinta a la imagen de la suma.La imagen del producto de un escalar por un vector sera:

T(2

) = T [ 2 ( 0 ; 1 ; 2 ) ] = T ( 0 ; 2 ; 4 ) = ( 3 ; -2 )

y , el producto del escalar por la imagen del vector sera:

2[T(

) ] = 2 [ T ( 0 ; 1 ; 2 ) ] = 2 ( 2 ; -1 ) = ( 4 ; -2 )

En consecuencia la imagen del producto de un vector por un escalar es distinto al

producto del escalar por la imagen del vector.Es decir; T en este caso, no conserva la suma de vectores, ni el producto de un escalar
por un vector, por lo tanto, a las funciones que s conservan estas dos operaciones se llaman
transformaciones lineales u homomorfismo.-

Definicin de Transformaciones Lineales:

Dados dos espacios vectoriales (V;+;K;.) y (W;+;K;.) definidos ambos sobre el cuerpo K
de los nmeros reales, se llama transformacin lineal a toda funcin T : V W verifica las
siguientes propiedades:
a) Distributividad: respecto de la suma de vectores: T (
b) Homogeneidad: Si k K^ V: T ( k .

) = k.T(

) =T (

) + T ( );

; V

Las dos propiedades se reducen en una sola expresin, diciendo que f : VW es una
transformacin lineal si y solo si: T (k.

+ k. ) =k .T (

) + k .T (

T
x

T (x)
y
x+y
T ( . X )

. x

T(y)
T(x+y)

Clasificacin:
Si adems:
T es inyectiva

Se dice que T es un monomorfismo

T es sobreyectiva

Se dice que T es un epimorfismo

T es biyectiva

Se dice que T es un isomorfismo

Si V = W

Se dice que T es un endomorfismo

Si V = W y T es biyectiva

Se dice que T es un automorfismo

Ncleo e Imagen de una transformacin lineal

Definicin: El ncleo de T (kernel, kern, ker) es el conjunto de elementos de V cuya imagen por
T es el vector nulo en W sobre un mismo cuerpo K.V

N (f )

0W

W
El smbolo N ( T ) se lee ncleo
de T o Kernel

N ( T ) = { x V / T ( x ) =

0W }

Un vector perteneciente a

es un elemento del ncleo, si y solo si, su imagen es el vector

nulo, es decir,

x N ( T ) T ( x ) = 0W

Ejemplo: De nuestro ejemplo tenemos:

N ( T ) = { (x1 ; x2 ; x3 )
se tiene: (x1 ; x2 ; x3 )

R / T (x ; x ; x ) = ( x +x ; x x ) = ( 0 ; 0 )}
N ( T ) T (x ; x ; x ) = ( 0 ; 0 ) ( x +x ; x
3

x3 ) = ( 0 ; 0 )

x1 +x2 = 0 x2 x3 = 0 x1 = x2 x2 = x3 , C. S. =

es decir,

aquellos vectores que cumplan esta condicin van a pertenecer al N ( T )

Ejemplo:

Sea x = ( 2; -2; -2) T ( x ) = [ 2 + (-2) ; ( -2 ) (-2 )] = ( 0 ; 0 ) = 0 W

Definicin: La imagen de una transformacin lineal T :

es el conjunto imagen e

la totalidad de las imgenes de los vectores del primer espacio vectorial.

Imagen de T = I ( T ) = { T (x) / x V }

0V

0W

Adems I ( T )
I (f)

Otra definicin de imagen ( T ) = { y

Sabemos que T ( 0 V ) = 0 W . En consecuencia 0 W

I ( T ), lo que significa que I ( T ) .

/ x

W.-

y =T(x)}

Ejemplo: De nuestro ejemplo tenemos:

Im ( T ) = { (x1 ; x2 ; x3 ) R3 / T (x1 ; x2 ; x3 ) = ( x1 +x2 ; x2 x3 ) = ( a ; b )}
se tiene: (x1 ; x2 ; x3 )
Im ( T ) T (x1 ; x2 ; x3 ) = ( a ; b ) ( x1 +x2 ; x2 x3 ) = ( a ; b )

x1 +x2 = a x2 x3 = b x1 = x2 x2 = x3 , C. S. =

es

decir, aquellos pares ordenados que cumplan esta condicin van a pertenecer ala Im ( T )
Propiedades:
Demostraremos a continuacin TRES propiedades que caracterizan a todas las
transformaciones lineales:
Sea T : V W una transformacin lineal.

Denotaremos mediante 0 V y 0 W a los vectores nulos en V y en W respectivamente.I)

La imagen del vector nulo del primer espacio vectorial por toda transformacin

lineal es el vector nulo del segundo espacio vectorial T ( 0 V ) = 0 W .Demostracin:

Sea 0 V el vector nulo de V como el producto de cualquier vector por el escalar 0 es

el vector nulo, tenemos: T ( 0 V ) = T( 0 . v ) , v V.

Pero como T es lineal: T( 0 . v ) = 0 .T ( v ) = 0 W ; porque W es tambin un espacio

vectorial y la imagen de cualquier vector por el escalar 0 es el vector nulo.

T ( 0V ) = T( 0 . v ) = 0 .T ( v ) = 0W

Otra forma:

Sumando a ambos miembros el opuesto de

[

y asociando convenientemente

T ( 0V ) =

0W

Aclaracin:
Si se cumple esta propiedad no podemos afirmar que T es transformacin lineal, sin embargo,
si no cumple esta propiedad, podemos afirmar que T NO ES TRANSFORMACION LINEAL.
Ejemplo: T ( x ; y ) = ( x2 , y )

T ( 0 ; 0 ) = ( 0 ; 0 ), pero T NO ES TRANSFORMACION LINEAL,

Pero si esta propiedad no cumple, si se puede afirmar que no es transformacin lineal.

Ejemplo: en T : R3

R2 / T (x1 ; x2 ; x3 ) = ( x1 +x2 + 1 ; x2 x3 )

T ( 0 ; 0 ; 0 ) = (1 ; 0 ) distinto

del vector nulo en R 2 , y con esto podemos afirmar que T (x1 ; x2 ; x3 ) = ( x1 +x2 + 1 ; x2 x3 )
NO ES TRANSFORMACION LINEAL
II) La imagen del opuesto de cualquier vector del primer espacio, es igual al opuesto
de la imagen de ese vector en el segundo espacio, es decir:

T( - x ) = - T ( x ) ; x V recordar que = ( -1) .

f ( - x ) = [ f ( -1) . x ] = ( - 1 ) . f ( x ) = - f ( x )

Consecuencia:

por ser f
lineal

Como

Por Prop. II
Def. de T. L.

T es
T.L.

III) La imagen de una combinacin lineal es igual a la combinacin lineal de las

imgenes. Se demuestra para dos vectores y dos escalares

T es T.L. Por
I

T es T.L.
Por II

Proposicin: El ncleo de cualquier transformacin lineal es un subespacio de V y la

imagen un subespacio de W.Demostracin: Dada cualquier transformacin lineal f, observemos primero que es:
N ( T ) e Im ( T ) (distinto de vaco), dado que ya se ha probado para toda

transformacin lineal que f ( 0 V ) = 0 W (Luego, el vector nulo del primer espacio vectorial
pertenece al N ( T ) y el vector nulo del segundo espacio pertenece a la Im( T ).Por lo tanto, solo es necesario probar las otras dos condiciones que caracterizan a los
subespacios (espacio vectorial dentro o incluido en otro espacio vectorial); lo hacemos para
cada uno de ellos:
I) Para N ( T ):

1) Tesis: x N ( T ) ; y N ( T ) ( x + y ) N ( T )
Demostracin:

Sean x , y N ( T ) cuyas imgenes cumpla la condicin de que T ( x ) = T ( y ) = 0 W ; por

definicin de N ( T )

T ( x + y ) = T ( x ) + T ( y ) = 0 W + 0 W = 0 W x + y N ( T ).-

2) Tesis: x N ( T ) ;

Demostracin:

Sea x N ( T ) T

( .x)

(x )

N ( T ).

= 0W

adems dado

se cumple por definicin de

homogeneidad que:

T ( . x ) = . T ( x ) = . 0W = 0W ( . x )

N ( T ). N ( T ) es un subespacio de V dado que N ( T ) V .II) ParaIm ( T ):

1) Tesis: x , y Im ( T ) ( x + y ) Im ( T )
Demostracin:

Sean x , y Im( T ) por definicin de imagen x ' e y ' / T ( x ' ) = x y T ( y ' ) = y

T ( x ' + y ' ) = T ( x ' ) + T ( y ' ) = x + y y como ( x ' + y ' ) V ( x + y ) Im ( T )

por definicin de la transformacin lineal.-

2) Tesis: x Im( T ),

K (

.x)

Im( T )

Demostracin:

Sea x Im( T ) por definicin de imagen x ' V / T ( x ' ) = x

Sea K: T ( . x ' ) = . T ( x ' ) = . x ; y como

. x ' V . x Im( T ) por definicin de
transformacin lineal. Luego, Im ( T ) es subespacio de W, es decir, Im ( T ) W.Teorema: Vamos a aceptar sin demostrar el enunciado del siguiente teorema: Si V es un
espacio vectorial de dimensin finita y f : V W una aplicacin lineal, entonces se verifica
quedim [ Im ( T ) ] + dim [ N ( T ) ] = dim ( V )
Siendo dim = dimensin.Definicin:
Los subespacios de dimensin 1 se llaman recta
Los subespacios de dimensin 2 se llaman planos
Los subespacios de dimensin 3 se llaman espacio de 3 o llamado de 3 planos
Y los de dimensin n, se llaman planos.Por ejemplo:
Sea la funcin T : R3 R3 y la transformacin lineal dada por f ( x, y, z) = ( x, y, 0)

Sea un vector v R3 cualquiera con coordenadas ( a, b, c ) R3, la imagen de este

elemento por T ser:

T ( v ) = ( a, b, 0); lo que significa que la imagen de la funcin [ Im ( T ) ] es el plano xy

Im ( T ) = { ( x, y, z ) R3 / z = 0}
Por lo tanto estamos en presencia de un plano la dimensin es igual a dos dim [ Im
(T)]=2
Para hallar la dimensin del ncleo, debemos buscar los elementos de R 3 cuya imagen es

el vector nulo, es decir, tomo un elemento h R3 / T ( h ) = 0 w .

Sea h = ( x; y; z ) R3 T ( h ) = T ( x; y; z ) = ( 0; 0; 0 ) ( x; y; 0) = ( 0; 0; 0 )
x=0ey=0

N ( T ) es el eje Z N ( T ) = { ( x; y; z) R3 / x = y = 0} x = y = 0 ^ z 0
de una recta ( eje Z ) y por ser una recta la dimensin es 1 dim [ N ( T ) ] = 1 .-

Como queramos demostrar en el

ejemplo

se trata

 dim ( V ) = dim ( R

)=3

y
dim [ Im ( T ) ] + dim [ N ( T ) ] = 2 + 1 = 3
Ejemplos que verifican que son Transformaciones Lineales y clculo del Ncleo y de la imagen:
T: 3 2 definida por T ( x ; y ; z ) = ( y; x )

x : ( x1; y1; z1 )

y : ( x2; y2; z2 )

a) T ( x + y ) = T ( x ) + T ( y )

T ( x + y ) = T [ (x1; y1; z1) + (x2; y2; z2) ] =T( x1 + x2; x2 + y2; z1 + z2 ) =

( x2 + y2 ; x1 + y1 ) = ( y1; x1 ) + ( y2 ; x2) = T ( x1; y1; z1 ) + T ( x2; y2; z2 ) =T ( x ) + T ( y

) Verifica la primera condicin

T( x ) T ( y )

b)T( . x ) = .T ( x )

T ( . x ) = T [ .(x; y; z) ] = T ( . x; . y; . z) =( . y; . x) =

(y; x) = . T ( x ; y ; z ) = . T ( x

)Verifica la segunda condicin

T( x )

T: 3 2
c)

definida por T ( x ; y ; z ) = ( y; x ) es una transformacin lineal

Clculo del ncleo:

N (T) = { x V / T( x ) = 0W } N (T) = { x 3 / T ( x ) = 0 }
2

T ( x ; y ; z ) = ( y; x ) = ( 0; 0)
y = 0
N ( T ) = { ( 0 ; 0 ; z ) } pertenece al primer espacio
x=0
vectorial
d) Clculo de la imagen:
T ( x ; y ; z ) = ( y; x ) = ( a; b )

y = a

Im ( T ) = { ( b ; a ; z );
x=b
segundo espacio vectorial

pertenece al

T: 3 2 definida por T ( x ; y ; z ) = ( x + y; x + z; x )

x : ( x1; y1; z1 )

y : ( x2; y2; z2 )

a) T ( x + y ) = T ( x ) + T ( y )

T: ( x + y ) = T [ (x1; y1; z1 ) + (x2; y2; z2) ] = T ( x1 + x2; y1 + y2; z1 + z2 ) = ( x1 + x2+ y1+

y2 ;x1 + x2 + z1 +z2; x1 + x2 ) =

( x1 + y1 ; x1 +z1 ; x1 ) + ( x2 + y2 ; x2 + z2 ; x2) = T( x1; y1; z1) + T ( x2; y2; z2 ) =T ( x ) + T ( y

) Verifica la primera condicin

T(x )
T( y)

b) T ( . x ) = .T( x )

T ( . x ) = T [ .(x ; y ; z ) ] = T ( . x; . y ;
x+z);

. z ) =( . x + . y ; . x + . z ; . x) = [ ( x + y ) ;

x]=

. ( x1 + x2 ; x1 + x3 ; x1 )=

. T ( x ; y ; z ) = . T ( x ) Verifica la segunda condicin


T(x )

T:

3 2 definida por T ( x ; y ; z ) = ( x + y; x + z; x ) es una transformacin lineal

c)

Clculo del ncleo:

N ( T ) = { x V / T ( x ) = 0W } N ( T) = { x 3 / T ( x ) = 0 }
3

T ( x ; y ; z ) = ( x + y; x + z; x ) = ( 0; 0; 0)

x y 0

xz 0
x0

x=0
x + z = 0 z =
0 N ( T) = { ( 0; 0; 0) } pertenece al primer espacio
N ( ) = { ( 0; 0; 0) } pertenece al primer
x + y = 0 y = 0 vectorial
espacio vectorial
d)
Clculo de la imagen:
T ( x ; y ; z ) = ( x + y; x + z; x ) = ( a; b; c )

x y a

xz b
xc

x=c
x + z = b z = b
c
Im (T) = { (c ;a c;b c);
x + y = a y = a c
espacio vectorial

} pertenece al segundo

T: 2 2 definida por T ( x ; y ) = ( - x ; -y )

x : ( x 1; y1 )

y : ( x2; y2 )

a) T ( x + y ) = T ( x ) + T ( y )

T: ( x + y ) = T [ ( x1; y1 ) + ( x 2 ; y2 ) ] = T ( x1 +x2 ; y1+ y2 ) = [ -( x1 + x2 ) ; -( y1 + y2 )] = ( x1- x2 ; - y1- y2 ) =

= ( - x1 ; - y1) + ( -x2 ; - y2 ) = T ( x1; y1 ) + T ( x2; y2 ) = T ( x ) + T ( y )Verifica la primera

condicin

b) T [ .( x ) ] = .T( x )

T ( . x ) = T[ .(x ; y )] = T ( .x; .y) = ( - .x ; - .y ) = .( -x ; - y) =

.T ( x ; y ) =

.T( x )

Verifica la segunda condicin

T( x )

T: 2 2

definida por T ( x ; y ) = ( - x ; - y ) es una transformacin lineal

c) Clculo del ncleo:

N ( T) = { x V / T ( x ) = 0W }

T ( x ; y ) = ( - x ; - y ) = ( 0; 0 )
- x= 0 x = 0 N ( T) = { ( 0; 0 ) }
- y = 0 y =vectorial
0
d)
Clculo de la imagen:
T(x; y)=(-x;-y)=(a;b)
- x = a x = -a
Im (T) = { ( -a ; -b );
- y = b y = -b
espacio vectorial
T:

N ( T) = { x 2 / T ( x ) =

0 2 }

pertenece al primer espacio

} pertenece al segundo

2 x 2 definida por T ( x; y ) =

x : ( x 1; y1 )

y : ( x2; y2 )


a) T ( x +
T: ( +
x

y) = T(x ) +T(y)

y1 ) + (x2 ;
y ) = [ ( x 1;

y2 ) ] = T ( x1 + x2; y1 + y2 ) =

= T ( x ) + T ( y ) Verifica la primera condicin

T( x ) T ( y )

b) T [ .( x ) ] =

.T ( x )

T [ .( x ) ] = T[ .( x; y)] = T ( . x; . y) =

= . T ( x ; y ) = . T ( x ) Verifica la segunda condicin

T( x )

T: 2 2 x 2

x1 x 2

definida por T ( x1; x2 ) =

x 2 x1

c) Clculo del ncleo:

N ( T) = { x V / T ( x ) = 0W }
T(x;y)=

d)

es una transformacin lineal

N ( T) = { x 2 / T ( x ) =

0 2 x 2 }

por igualdad de matrices

x1 x 2

N ( ) = { ( 0; 0 ) } pertenece al primer

espacio vectorial
x=y=0

Clculo de la imagen:

T(x;y)=

por igualdad de matrices

bi

-1

-1

-2

b-a

c+a

Sistema Equivalente

 Im (T) = {

} pertenece al segundo espacio vectorial

T: 2 2 definida por T ( x ; y ) = ( x ; 0 )

x : ( x 1; y1 )

y : ( x2; y2 )

a) T ( x + y ) = T ( x ) + T ( y )

T( x + y ) = T[(x1; y1) + (x2; y2)] = T( x1 +x2; y1 + y2 ) = [(x1 + x2) ; 0] = ( x1 ; 0) + ( x2; 0) = T( x )

+ T( y )Verifica la primera condicin

T( x ) T( y )

b) T [ .( x ) ] = .T ( x )

T [ .( x ) ] = T[ .( x; y)] = T ( . x; . y ) = ( . x ; 0 ) = . ( x ; 0 ) =

= . T( x ) Verifica

la segunda condicin

T( x )

T: 2 2

definida por T ( x ; y ) = ( x ; 0 ) es una transformacin lineal

c)

Clculo del ncleo:

N ( T) = { x V / T ( x ) = 0W }

N ( T) = { x 2 / T ( x ) =
T( x; y) = ( x; 0) = ( 0; 0 ) por igualdad de pares x= 0

0 2 }

0 =0
N ( T ) = { ( 0; 0 ) } pertenece al primer espacio vectorial
d)
Clculo de la imagen:
T( x ; y) = ( x ; 0) = ( a; b) por igualdad de pares x = a
0=b

Im (T) = { ( a ; 0 );

} pertenece al segundo espacio

vectorial
Ejemplos que verifican que no son Transformaciones Lineales:
T: 2 3 definida por T ( x; y ) = ( x + 1 ; y + 3 ; y )

x : ( x 1; y1 )

y : ( x2; y2 )

a) T ( x + y ) = T ( x ) + T ( y )

T ( x + y ) = T [ (x1; y1) + (x2; y2) ] = T( x1 +x2; y1+ y2 ) = ( x1 + x2 + 1 ; y1+ y2 + 3 ; y1 + y2)

=
= (x1 +1;y1 +3; y1 )+ ( x2; y2 ; y2 ) No se verifica la primera condicin NO ES
TRANSFORMACIN LINEAL

T( x )
T( y )
T: 2 3 definida por T ( x ; y ) = ( x - 1 ; y ; 0 )

x : ( x 1; y1 )

y : ( x2; y2 )

a) T ( x + y ) = T ( x ) + T ( y )

T ( x + y ) = T [(x1; y1) + (x2; y2) ] = T ( x1 + x2; y1+ y2 ) = ( x1 +x2- 1 ; y1+ y2 ; 0 ) = ( x1 - 1

; y1 ; 0 ) + (x2; y2 ; 0)

T( x )
T( y )
T ( x + y ) T ( x ) + T ( y ) No se verifica la primera condicin NO ES
TRANSFORMACIN LINEAL
T: 3 2 definida por ( x; y ; z ) = ( x + y + 1 ; y - z )

x : ( x 1 ; y1 ; z 1 )

y : ( x2; y2 ; z1)

a) T ( x + y ) = T ( x ) + T ( y )

T ( x + y ) = T (x1; y1 ; z1) + (x2; y2 ; z2) ] = T ( x1 + x2;y1 + y2;z1 +z2) = ( x1 + y1 + x 2 + y2 +

1 ; y1 + y2 z 1 z 2 ) =

= ( x1 + y1 + 1 ; y1 z1 ) + ( x2 + y2 ; y2 - z2) No se verifica la primera condicin

NO ES

TRANSFORMACIN LINEAL

T( x )

T(

y)

10