.

- La Imagen de una transformacin lineal es un subespacio vectorial del codominio

Sea T: V W una transformacin lineal.

Vamos a demostrar que la Imagen de la transformacin lineal [Im (T)] es un subespacio
vectorial del codominio W.
Recordemos que la Im (T) es el conjunto formado por todos los elementos del codominio que
tienen su correspondiente preimagen.

Para probar que Im (T) es un subespacio vectorial, debemos demostrar:

a.- Que Im (T) no es un conjunto vaco.
b.- Que es cerrado para la suma.
c.- Que es cerrado para el producto por un escalar.

a.- Im (T) no es vaco ya que una de las propiedades de las transformaciones lineales, tal cual
sealramos cuando tratamos este tema con Nu (T), es que si una aplicacin T es lineal,
entonces el vector nulo del dominio tiene como imagen el vector nulo del codominio.
Es decir T(0V) = 0W
En consecuencia, siempre Im (T) tiene al menos un elemento, que es el vector nulo del
codominio, cuya preimagen es el vector nulo del dominio V.

b.- Consideremos que u Im (T) y que v Im (T)

Debe probarse que u + v Im (T)
Si u Im (T), entonces existe al menos un vector x de V tal que T(x) = u (1)
Si v Im (T), entonces existe al menos un vector y de V tal que T(y) = v (2)
Si sumamos miembro a miembro las expresiones (1) y (2), resulta:
T(x) + T(y) = u + v (3)
Como T es lineal, T(x) + T(y) = T(x + y), por lo tanto, reemplazando esta expresin en (3),
resulta:
T(x + y) = u + v
lo que significa que u + v tiene como preimagen en V a los vectores x + y, por lo tanto, u +
v Im (t)

c.- Consideremos que u Im (T) y que es un nmero real.

Debe probarse que u Im (T)
Si u Im (T), entonces existe al menos un vector x en V tal que T(x) = u (4)
Multiplicando la expresin (4) miembro a miembro por el escalar resulta:
T(x) = u (5)
Como T es lineal, T(x) = T(x) (6)
Reemplazando (6) en (5) queda:
T(x) = u
lo que significa que u tiene como preimagen en V al vector x, por lo que entonces u Im
(T) y en consecuencia la Imagen de una transformacin lineal es un subespacio vectorial del
codominio.