Beispiel: wahr / falsch Aufgabe beantworten

Liste

Sei die Aussage

  • jedes Gleichungssystem mit 20260111-beispiel_wahr_falsch_aufgabe_beantworten_d9ed79ee6c2476ecc269ad6bc18ac6581c36b34a.svg Gleichung und 20260111-beispiel_wahr_falsch_aufgabe_beantworten_517d2cf54fa2d8ac20f2a7d9472efd79c600eafe.svg Variablen (20260111-beispiel_wahr_falsch_aufgabe_beantworten_9715e286807b732f55fcdd2b6c3eb6d102002290.svg) hat eine Lösung

gegeben.
Man könnte folgendermaßen beginnen.

möglichst "dummes" Gegenbeispiel

Mit einfach/"dumm" meine ich so etwas wie Grenzfälle:
Hier bietet es sich an (nach Übersetzung des Problems in Matrizen), an die Nullmatrix

20260111-beispiel_wahr_falsch_aufgabe_beantworten_ee3dbf327be830ada0b6a27f7756af98298f1f0c.svg

zu denken und zu bemerken, dass dann das Gleichungssystem

20260111-beispiel_wahr_falsch_aufgabe_beantworten_f5369c3c306604062c3f5d018379f4c3115a74a7.svg

keine Lösung besitzt.

systematischere Überlegung

Alternativ kann man folgendes Überlegen:
Ein solches lineares Gleichungssystem ist äquivalent zu einer Matrix 20260111-beispiel_wahr_falsch_aufgabe_beantworten_1de6b871e17d685d33b17d5126d2c6a79950e1f9.svg oder einem VR-Homomorphismus 20260111-beispiel_wahr_falsch_aufgabe_beantworten_df949f107f873c2e8ec8c80f21442781995005c4.svg.
Das Gleichungssystem hat immer eine Lösung, wenn 20260111-beispiel_wahr_falsch_aufgabe_beantworten_94fca49c5ae97678e07a79c290f47022a7c2da30.svg surjektiv ist bzw. äquivalent 20260111-beispiel_wahr_falsch_aufgabe_beantworten_3ef7e4046e07fad35a73c4678cdc459b3c7683a8.svg.
Der Rangsatz zeigt, 20260111-beispiel_wahr_falsch_aufgabe_beantworten_9e143d02ee8b7d2cd9f67680d4882dac1f105110.svg, d.h. 20260111-beispiel_wahr_falsch_aufgabe_beantworten_db855f417decc4d45eb317e61dc2918b169ee7ce.svg gdw. 20260111-beispiel_wahr_falsch_aufgabe_beantworten_90f71fb4affba8408be29987a85360f1eee3329f.svg.
Also um ein Gegenbeispiel zu finden, muss zwingend 20260111-beispiel_wahr_falsch_aufgabe_beantworten_4ad03dbf39ce0342361672da437d7cdfb8dffed2.svg gelten.
Dann erfüllt die Nullmatrix das.

Date: nil

Author: Anton Zakrewski

Created: 2026-01-11 So 13:35