\ begin {ecuación*} \ begin {split} \ dim (\ kernel (T)) &=\ dim (V) -\ dim (\ range (T))\\ &\ ge\ dim (V) -\ dim (W) >0. \ end {split} \ end {equation*} Ya queT es inyectivo si y solo si\(\dim(\...\ begin {ecuación*} \ begin {split} \ dim (\ kernel (T)) &=\ dim (V) -\ dim (\ range (T))\\ &\ ge\ dim (V) -\ dim (W) >0. \ end {split} \ end {equation*} Ya queT es inyectivo si y solo sidim(\kernel(T))=0,T no puede ser inyectivo. Del mismo modo, \ begin {ecuation*} \ begin {split} \ dim (\ range (T)) &=\ dim (V) -\ dim (\ dim (\ kernel (T))\\ &\ le\ dim (V) <\ dim (W), \ end {split} \ end {equation*} y así\range(T) no puede ser igual a W.