Hallo liebe Forenmitglieder, nun ist es wieder so weit und ich bin fleißig am Üben. Jedoch bin ich mir mit meiner Bearbeitung wieder einmal nicht so sicher.
Aufgabe:
Betrachtet wird auf die Relation definiert durch ac.
Zeige, dass eine Äquivalenzrelation auf ist. Beweise die Aussage: VV . Widerlege die Aussage: VV VV .
Mein Lösungsvorschlag
Zeige, dass eine Äquivalenzrelation auf ist.
Damit eine Relation eine Äquivalenzrelation ist, muss sie reflexiv, symmetrisch und transitiv sein.
Reflexivität (Jedes Element steht zu sich selbst in Relation). Ich muss also zeigen, dass für alle gilt. Wenn gilt, muss ein existieren, sodass gilt Für gilt: also (wahre Ausssage) Damit ist die Bedingung erfüllt. Folglich gilt für alle . Die Relation ist somit reflexiv.
Symmetrie Symmetrie bedeutet, dass wenn gilt, auch gelten muss. ( für alle . Ich muss zeigen, dass wenn es ein gibt, sodass gilt, auch ein existiert, sodass gilt. Hierzu löse ich nach a auf: Mit da und damit auch gilt) folgt:
Ich bin mir nicht sicher, ob hier noch eine Überprüfung notwendig ist, dass gilt. Falls ja, hätte ich noch ergänzt: Für und gilt: Die Relation ist somit symmetrisch.
Transitivität Transitivität bedeutet, dass falls und gilt, dann muss folgen (anders geschrieben: für alle . wenn gilt, dann bedeutet das, dass ein existiert, sodass gilt. Wenn gilt, dann bedeutet das, dass ein existiert, sodass gilt. Hierzu setze ich ein. Daraus folgt: Weil und muss auch das Produkt gelten. Somit folgt: muss gelten.
Die Relation ist transitiv. Es handelt sich bei der Relation um eine Äquivalenzrelation, da die Relation reflexiv, symmetrisch und transitiv ist.
Beweise die Aussage: VV .
Hier muss ich zeigen, dass für jedes ein existiert, sodass gilt. Hier würde ich mit einer Fallunterscheidung arbeiten:
Fall: Wenn muss wegen gelten: Wenn gilt, muss ein existieren, sodass gilt. Für und für (wobei da das Negative einer negativen Zahl wieder positiv ist) folgt: (wahre Aussage) Daher gilt für den 1. Fall die Relation
Fall: Hierbei gilt: Um zu zeigen, dass gilt, muss wieder überprüft werden, ob ein exisitiert, sodass gilt
Für ist erfüllt) und gilt: (wahre Aussage) Somit gilt die Relation auch für den 2. Fall.
Fall: Hier soll gelten: Wenn ist erfüllt, weil gilt) und dann folgt für (wahre Aussage)
Die Relation gilt auch für den 3. Fall.
Da die Relation für alle Fälle gilt, ist die Aussage bewiesen.
(c)Widerlege die Aussage: VV VV . Hier würde ich die Aussage mit einem Gegenbeispiel widerlegen.
Damit gilt, muss es ein geben, sodass gilt. Für und folgt: (falsche Aussage) Somit existiert kein für das die Relation für mit und erfüllt ist.
Die Aussage VV VV ist somit widerlegt.
Ich danke euch vielmals für eure Hilfe!
Liebe Grüße Sophia
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
Hallo,
im Wesentlichen in Ordnung (habe es gegen Ende nur noch überflogen). Der Nachweis scheint mir nicht (Mehr) nötig.
Ich nehme für (b) und (c) an, dass "VV" für "" (d.h. "für alle") stehen soll?!
(c) lässt sich leicht widerlegen, dein Gegenbeispiel ist geeignet.
(b) ginge wohl einfacher, indem du kurz nachrechnest, dass nur für gilt. Nachdem man das abgehakt hat kann man hernehmen, woraus folgt. Es gilt dann
Falls du die "Vorzeichenfunktion" (signum: lat. für (Vor-)Zeichen) schon kennen solltest, genau so ist sie definiert:
Mfg Michael
|