La función si es inyectiva pero no sobreyectiva / exhaustiva. No sé en que nivel estás, pero si has visto algo de álgebra verás que cualquier elemento del espacio de salida va a parar al espacio de llegada (esto es, el núcleo de la aplicación es {0}) y sin embargo, con los elementos del espacio de salida no se cubre todo el espacio de llegada (|R ^3). El rango de la aplicación es 2. Sabiendo que dim Nuc f = rango de la aplicación - dim Espacio Salida y que dim Im f = rango de la aplicación lo tienes. Si tienes que demostrar esas fórmulas usa google que la demostración es un coñazo...xD
Si no has visto nada de álgebra lineal, pues vas a tener que trabajar más... Tomas un elemento genérico x, y perteneciente a |R ^2 e intentas hacer que vaya a 0. Verás como no hay ningún vector (a excepción del 0,0) que cumpla a la vez las tres condiciones:
x + 2y = 0
3x + 4y = 0
5x + 6y = 0
Para demostrar que no cubren el espacio de salida, es fácil de ver que la Imf =/= |R ^ 3. Para ello basta con dar un contraejemplo. Por ejemplo, si queremos que la aplicación nos de como resultado el vector (0,0,1) perteneciente a |R ^ 3
basta con intentar resolver el sistema:
x + 2y = 0
3x + 4y = 0
5x + 6y = 1
que no tiene solución, luego la aplicación no cubre todo el espacio de llegada.
¡Un saludo!