5.2. Ncleo e imagen de una transformacin lineal.

A una transformacin lineal f: VW podemos asociarle un subespacio V, llamado ncleo, que de

alguna manera mide el tamao de la pre-imagen por f de un elemento de su imagen. En particular,
conocer este subespacio nos permitir determinar si f es inyectiva.
Una propiedad importante de las transformaciones lineales es que enva subespacios en
subespacios.
Segn las definiciones de algunos autores, la imagen se define como:
sean V,W espacios vectoriales sobre un campo F y sea T L(V,W). La imagen de T se define
como el conjunto de todos los valores de la aplicacin de T:
im(T) := {x V: T(x) =0w }.

sean x,y U y F. Entonces: T(x)+T(y)=T(x+y) T(U) y T(x)=T(x) T(U). En particular, si T

L(V,W), entonces T(V), llamado la imagen de T y denotado im(T), es un subespacio de W.
Juan Rada, Profesor del departamento de matemticas de la facultad de ciencias de los andes.

Segn las definiciones de algunos autores, el ncleo se define como:

Sea T L(V,W). El ncleo de T, denotado por ker(T), es el subconjunto de V.
Ker(T)={v V: T(v)=0}.
Observamos que ker(T) es no vaco porque T(0)=0
Juan Rada, Profesor del departamento de matemticas de la facultad de ciencias de los andes.

sean V,W espacios vectoriales cobre un campo F y sea T L(V,W). El ncleo (kernel, espacio
nulo) de T se define como la pre-imagen completa del vector nulo:
Ker(T):={x V: T(x)=0w }.

Existen algunas proposiciones acerca del ncleo y de la imagen de una transformacin lineal, las
cuales son:
El ncleo de una transformacin lineal es un subespacio vectorial del dominio. Sean V,W espacios
vectoriales sobre un campo F y sea T L(V,W). Entonces ker(T) es un subespacio de V.
La imagen de una transformacin lineal es un subespacio vectorial del codominio. Sean V,W
espacios vectoriales sobre un campo F y sea T L(V,W). Entonces im(T) es un subespacio de W.

Parte de demostracin. Se aplica el criterio de subespacio. Se demuestra que el conjunto im(T) es

cerrado bajo la adicin y bajo la multiplicacin por escalares, adems contiene al vector cero.
Mostremos que el conjunto im(T) es cerrado bajo la adicin. Sean w 1,w2 im(T). Por la definicin
de la imagen, existen v1,v2 V tales que w1=T(v1), T(v2). Por la linealidad de T.
T(v1 + v2)= T(v1)+T(v2)= w1+w2.
Logramos encontrar un vector x= v 1 + v2 tal que T(x)= w1+w2.Por la definicin de la imagen, esto
implica que w1+w2 im(T).
Ejemplos: Hallar el ncleo y la imagen de la siguiente transformacin lineal:
T:R3R3/T(x,y,z)=(x+3y+4z,3x+4y+7z,-2x+2y)

Ncleo: ker(T)=

1 3 4
3 4 7
2 2 0

] [] []
x
y
z

-Se busca resolver el sistema de ecuaciones:

0
0
0

R 13 R 2
R 1+2 R 3

-Nos damos cuenta que la fila 3 es dependiente de la 2

: R2x

1 3
4
0 5 5
0 8
8

8
=R 3
5

-Se comprueba si existe dependencia entre la fila 1 y la 3, creando una matriz de orden 2 y
comprobando su determinante:

1 3
0 5

= -50

-Con lo que sabemos que los dos primeros vectores son linealmente independientes y que el
tercero depende de alguna manera de los otros dos.

-Dividimos R2 entre -5:

1 3 4
0 1 1

-Creamos una matriz de orden 2 y resolvemos el sistema de ecuaciones:

[ ]
4
1

xZ

-Queda el sistema como: x+3y=-4z; y=-z. Le asignamos a z un valor z=1.

[ ]
1 3
0 1

[]
x
y

-Nos damos cuenta que y=-1, con lo que al resolver x, nos da: x=-4+3=-1.
-Ahora tenemos los tres valores: x=-1, y=-1, z=1.

Respuesta: Ker(T)= L

[( )]
1
1
1

el cual es el ncleo y es una recta.

Imagen: Para calcular la imagen se toma una matriz de orden 2 del sistema de ecuaciones:

1 3 4
3 4 7
2 2 0

[ ]
1 3
3 4

= -50. Y dado que no son dependientes la columna 1 con la 2, podemos decir que

esta generan la imagen.

Im(T)=L
plano.

[ ]
1 3
3 4
2 2

es la imagen y geomtricamente podemos decir que la imagen genera un