Es seien A∈ℚmxn und b∈ℚm, sodass L(A,b)≠∅.
Zeigen Sie, dass dann auch L(A,b) ∩ ℚm≠ ∅ gilt.
Aha, und L(A,b) ist eine Teilmenge von IR^n ?
In Worten wäre das ja dann wohl so:
wenn es eine Lösung mit reellen Komponenten
gibt, dann auch eine mit rationalen.
Wenn A nur rationale Elemente enthält und die
"rechte Seite b des LGS auch nur aus rationalen Zahlen
besteht, bleiben beim Umformung auf die Stufenform die
Elemente auch alle rational,
da ja nur elementare Zeilenumformungen mit rationalen
Faktoren zu machen sind.
Also wird auch die spezielle Lösung, die man dabei
abliest rational sein.
Wenn es aber überhaubt eine Lösung gibt, wird auch eine durch
Ablesen aus der Stufenform zu gewinnen sein und die ist
rational. Also enthält L(A,b) mindestens eine rat. Lösung
und damit ist L(A,b) ∩ ℚ
m nicht leer.