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 vacío.
b.- Que es cerrado para la suma.
c.- Que es cerrado para el producto por un escalar.
a.- Im (T) no es vacío ya que una de las propiedades de las transformaciones lineales, tal cual
señaláramos cuando tratamos este tema con Nu (T), es que si una aplicación 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 expresión 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 número 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 expresión (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 transformación lineal es un subespacio vectorial del
codominio.
4.- Teorema fundamental de las transformaciones lineales
Sea T: V → W una transformación lineal.
Supongamos que conocemos una base B del dominio, tal que B = {v1, v2,…, vn}
Además, conocemos las imágenes de los vectores de esa base, es decir, T(v1), T(v2) … T(vn) son
también datos del problema.
Bajo esas hipótesis, es posible conocer la imagen de cualquier vector v ε V y dicha imagen es
única. Por tal motivo, también se conoce a este teorema como el de unicidad de las
transformaciones lineales (siempre y cuando sean conocidos los elementos más arriba indicados)