\(T(u)=T(v)\) equivale a \(u-v\in\ker T\). Por eso \(T\) es inyectiva exactamente cuando el único vector del núcleo es el cero. Que la imagen sea todo el codominio es suprayectividad, otra propiedad.
El núcleo \(\ker T\) de una transformación lineal \(T\) es el conjunto de vectores que ella envía al cero; la imagen \(\operatorname{Im}T\) es el conjunto de todos los vectores que produce.