Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Ordnungsrelation zeigen

Ordnungsrelation zeigen

Universität / Fachhochschule

Relationen

Tags: Anschauungsebene, Relation.

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Verstehnix

Verstehnix aktiv_icon

20:27 Uhr, 05.12.2011

Antworten
Hallo Ihr, ich stehe vor ner großen Mauer und bräuchte Jemanden der mir ne Leiter gibt

in folgender Relation ≤:= {(abcd)R2 × R2:a<c(a=cbd)} auf der Menge ℝ² soll ich zeigen dass ≤ eine Ordnungsrelation auf ℝ² ist

Ich hab leider kein Plan wie ich an eine solche Aufgabe rangehen kann, kann mir da jemand vllt ein Tipp geben ?


Vielen Dank ich Vorraus

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
hagman

hagman aktiv_icon

20:37 Uhr, 05.12.2011

Antworten
Zeige die entscheidenden Eigenschaften:
1. Für a,b gilt (a,b)(a,b)
2. Falls a,b,c,d so gilt mindestens eine der Relationan (a,b)(c,d) oder (c,d)(a,b)
3. Falls a,b,c,d mit soowhl (a,b)(c,d) als auch (c,d)(a,b), so gilt (a,b)=(c,d),d.h. a=c und b=d.
4. Falls a,b,c,d,e,f mit (a,b)<0(c,d) und (c,d)(e,f), so folgt auch (a,b)(e,f)
Verwende jeweils die angegebene Definition von .

Biepsilesweise ist bei a. zu zeigen:
a<a(a=abb)
Da dies für alle a,b stimmt, ist (a,b)<0(a,b) wie gewünscht
Verstehnix

Verstehnix aktiv_icon

12:11 Uhr, 08.12.2011

Antworten
Vielen Dank für deine Antwort

im
1. gilt das weil (a,b)=(a,b) immer gilt .. lasse ich (a,b)<(a,b) außer acht?
2. kann ich die antisymmetrie nicht auch so beweisen : a,b,c,d,e,f∈ℝ und (a,b)≠(c,d) mit (a,b)≤(c,d)dann (c,d)>(a,b) und anhand eines zahlenbeispieles belegen?

und transitiv müsste doch lauten :
(a,b)≤(c,d) und (c,d)≤ (e,f)dann (a,b)≤(e,f) und das wieder mit zahlenbespiel belegen oder einfach sagen wenn (a,b)(c,d) dann (a,b) erstrecht ≤ als (e,f) ??

Und da es eine Halbrelation sein soll muss ich doch auch noch die totalrelation beweisen oder?
Antwort
hagman

hagman aktiv_icon

16:49 Uhr, 08.12.2011

Antworten
1. (a,b)=(a,b) gilt in der Tat immer.
Aber das bedeutet noch lange nicht, dass jede dahergelaufene Relation auf × reflexiv ist.
Per Definition ist
(a,b)(c,d):a<c(a=cbd)
Demnach
(a,b)(a,b):a<a(a=abb)
Zeige, dass rechts eine für alle a,b wahre Aussage steht

2. Eni Zahlenbeospiel belegt überhaupt nichts.
Allenfalls könnte ein Zahlen.Gegenbeispiel etwas widerlegen.

3. Wiede hilft kein Zahlenbeispiel und "einfach sagen" auch nicht.
Setzte voraus, dass
a<c(a=cbd)
und
c<e(c=edf)
gelten, und leite daraus her, dass
a<e(a=ebf)
gilt.

Und richtig, Totalität muss auch noch gezeigt werden, also
(a<c(a=cbd))(c<a(c=adb))
Verstehnix

Verstehnix aktiv_icon

14:36 Uhr, 09.12.2011

Antworten
Jetzt bin ich verwirrt ;(

1. Seh ich das richtig das der Beweis für (a,b)∈ℝ gilt (a,b)≤(a,b) da (a,b),(a,b)∈ℝ nicht ausreicht für die Reflexivität?

Antwort
hagman

hagman aktiv_icon

16:50 Uhr, 09.12.2011

Antworten
Das stimmt, das reicht nitcht aus, weil du gar nicht die spezielle Definition von verwendet hast.
Verstehnix

Verstehnix aktiv_icon

18:55 Uhr, 10.12.2011

Antworten
vllt stell ich mich grade doof an aber,

(a,b)≤(a,b):⇔a<a∨(a=a∧b≤b)
Zeige, dass rechts eine für alle a,b∈ℤ wahre Aussage steht

wie zeigt man das ohne Zahlenbeispiele ? Bin wirklich unerfahren in Beweisführungen.
Antwort
hagman

hagman aktiv_icon

20:10 Uhr, 10.12.2011

Antworten
a=a gilt für alle Zahlen
bb gilt ebenfalls für alle Zahlen
Dagegen ist a<a für alle Zahlen falsch.
Somit steht rechts
falsch ( wahr wahr)
Da wahr wahr wieder wahr ist und falsch wahr ebenfalls wahr ist, steht rechts tatsächlch eine für alle (a,b)× wahre Aussage
Frage beantwortet
Verstehnix

Verstehnix aktiv_icon

21:13 Uhr, 10.12.2011

Antworten
ohje da hab ich mich wirklich doof angestellt aber dank dir weiß ich jetzt bescheid vielen lieben dank