Du musst also zeigen: Es gibt einen Vektor v ∈ K^n und
einen Unterraum U des ∈ K^n mit
Y = v + U , d.h. für alle
y∈Y gibt es ein u∈U mit y = v+u.
Da das Gl.System lösbar ist, gibt es ein z∈K^n mit
A*z=b .
1. Fall: Das Gl.system ist eindeutig lösbar, also
ist Y = {z} = z + 0 wobei 0 der Nullraum, also der
Unterraum von K^n ist, der nur aus der 0 besteht.
Der ist 0-dimensional und bei eindeutiger Lösbarkeit
ist ja r=Rang(A)=n, also n-r = 0. Das passt.
2. Fall: mehrere Lösungen:. Sei also w eine
weitere Lösung des Gl.system . Dann gilt also
A*z=b und A*w=b
==> A*(z-w) = 0
Also ist z-w ein Element des homogenen Gleichungssystems
A*x =0 und das ist bekanntlich ein Unterraum von K^n mit
der dim = n - Rang(A) . q.e.d.