Buenas.
La sugerencia que te doy es la siguiente: fijate que como va de en y no es inyectiva, el teorema de las dimensiones te dice que no es todo , por lo que podes definir una transformación no nula pero que se anule en (por ejemplo, podés tomar una base de la imagen de , completarla a una base de , y definir como una transformación que manda los vectores de la base de la imagen al 0, y el resto de vectores de la base a algún vector no nulo de ). ¿Se cumple en este caso que ?
La sugerencia que te doy es la siguiente: fijate que como va de en y no es inyectiva, el teorema de las dimensiones te dice que no es todo , por lo que podes definir una transformación no nula pero que se anule en (por ejemplo, podés tomar una base de la imagen de , completarla a una base de , y definir como una transformación que manda los vectores de la base de la imagen al 0, y el resto de vectores de la base a algún vector no nulo de ). ¿Se cumple en este caso que ?