Como \(\dim\operatorname{Im}T\le2\), la nulidad \(3-\dim\operatorname{Im}T\) es al menos \(1\), y un núcleo no trivial impide la inyectividad. Que el núcleo contenga al cero no basta para descartarla: inyectiva significa que contiene solo al cero.
Para una transformación lineal \(T\) con dominio \(V\) de dimensión finita, la dimensión del núcleo más la de la imagen es igual a la dimensión de \(V\).