Ma è ovvio che sia così. Le soluzioni di un sistema costituiscono l'immagine di un'applicazione.
Continuo a non capire di cosa tu ti stia sbalordendo. Quindi partendo dall'applicazione $Ax$ NON puoi trovare un'immagine che non abbia una controimmagine.
Completando invece lo spazio di arrivo puoi derivare tutti i vettori che non appartengono all'immagine (e ti ho messo un link ad un video che non hai evidentemente guardato).
In Italia ti fanno studiare solo il kernel e l'immagine di un'applicazione, Strang invece da una visione geometrica dei 4 spazi fondamentali con cui interpretare rapidamente qualsiasi applicazione lineare.
E con questo direi che usciamo dal loop.