Ncleo e Imagen de una Transformacin Lineal

Definicin (la imagen de una transformacin lineal). Sean V, W espacios vectoriales sobre un campo F y sea T L(V, W ). La imagen de T se dene como el conjunto de todos los valores de la aplicacin T.

Definicin (el ncleo de una transformacin lineal). Sean V, W espacios vectoriales sobre un campo F y sea T L(V, W ). El ncleo (kernel, espacio nulo) de T se dene como la preimagen completa del vector nulo:

Proposicin (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 .

Proposicin (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 w1, w2 im(T ).Por la definicin de la imagen, existen v1, v2 V tales que w1 = T (v1), w2 = T (v2). Por la linealidad de T, T (v1 + v2) = T (v1) + T (v2) = w1 + w2. Logramos encontrar un vector x = v1 + v2 tal que T (x) = w1 + w2. Por la definicin de la imagen, esto implica que w1 + w2 im(T ).

El Rango de una transformacin Sea T : V W una transformacin lineal. El rango o imagen de T es el conjunto de todas las imgenes de Ten W.

Es decir, el rango es el subconjunto de W formado por aquellos vectores que provienen de algn vector de V . Ncleo e Imagen son subespacios La propiedad fundamental del ncleo y del contradominio es que ambos son espacios vectoriales: Teorema Sea T : V W una transformacin lineal. Entonces Ker(T) es un subespacio de V . R(T) es un subespacio de W.

Demostracin El ncleo de T es subespacio Sean v1 y v2 elementos del ncleo de T y c un escalar cualquiera. As T(v1) = 0 = T(v2), y por tanto: T(c1 v1 + c2 v2) = c1 T(v1) + c2 T(v2) = c1 0 + c2 0 = 0 probando que c1 v1 + c2 v2 est tambin en el ncleo de T. Lo cual a su vez prueba que el ncleo de T es un subespacio de V . La imagen de T es subespacio Sean w1 y w2 elementos de la imagen de T y c un escalar cualquiera. As T(v1) = w1 y T(v2) = w2 para algunos v1 y v2 en V , y por tanto: T(c1 v1 + c2 v2) = c1 T(v1) + c2 T(v2) = c1 w1 + c2 w2 probando que c1 w1 + c2 w2 es imagen de c1 v1 + c2 v2 y por consiguiente c1 w1 + c2 w2 est tambin en la imagen de T. Lo cual a su vez prueba que la imagen de T es un subespacio de W . Nulidad y Rango de una Transformacin Debido al resultado anterior el ncleo y la imagen de una transformacin lineal son espacios vectoriales. Como espacios vectoriales, ellos tienen una dimensin asociada. Estas dimensiones tienen nombre especficos: Definicin: Sea T : V W una transformacin lineal.

La nulidad de T es la dimensin de Ker(T) El rango de T es la dimensin de R(T).

El siguiente resultado permite calcular fcilmente la nulidad y el rango de una transformacin matricial. Teorema Sea T : V W una transformacin lineal. Suponga que T corresponde a la transformacin matricial asociada a A. Entonces: Ker(T) = V(A) = Espacio nulo de A R(T) = C(A) = Espacio generado por las columnas de A Nulidad (T) = Nulidad(A) = Nmero de columnas sin pivote en A reducida. Rango (T) = Rango(A) = Nmero de columnas con pivote en A reducida.

Note que el resultado anterior indica que para cualquier transformacin lineal T : V W, As por ejemplo: T : R4 R3 lineal no puede ser inyectiva pues 4 = dim(Ker(T)) + dim(R(T)) dim(Ker(T)) + 3 por tanto, dim(Ker(T)) 1 probando que Ker(T)) 6= {0}. T : R4 R8 lineal no puede ser sobre pues 4 = dim(Ker(T)) + dim(R(T)) por tanto, dim(R(T)) 4 probando que R(T) 6= R8

REFERENCIA: http://www.mty.itesm.mx/etie/deptos/m/ma95-843/lecturas/l843-53.pdf
http://itsavbasicas.blogspot.mx/2012/05/52-nucleo-e-imagen-de-una.html http://esfm.egormaximenko.com/linalg/ker_image_es.pdf