Queremos ver que

y para eso me construyo una base de

de la forma

y entonces así es claro que estará en la imagen.Para que

sea una base de

,se debe tener

.
Esa es la idea del razonamiento.
Vos sabes que sigo sin entenderlo... me cuesta bastante este. ¿Por que al final planteaste una resta de subespacios?
Yo lo que entiendo es que si tenes una base del kernel de la forma que has puesto entonces contiene a la imagen porque tomaste vectores de la imagen, pero no entiendo por qué planteas la suma y luego la suma directa para construirla. Ahí es donde no puedo entrar..
Gracias