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

Ordnungsrelation

Universität / Fachhochschule

Tags: Beweis, logik, Relation.

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
sebstud

sebstud aktiv_icon

00:22 Uhr, 03.05.2011

Antworten
Hallo :-)

1. kann mir jemand den begriff "wohlordnung" erklären? ich weiss mit der definiton einfach nichts anzufangen.

2. ich soll folgende aufgabe lösen:

Sei M eine Menge und σ=(M,M,R) eine Ordnungsrelation auf M.
Beweisen Sie, dass gilt:
Ist σ eine Wohlordnung, dann ist σ auch eine totale Ordnung.

ich weiss zwar beide definitionen, jedoch hab ich keine ahnung wie ich das beweisen soll. gedanklich weiss ich ja, dass wenn eine relation wohlordnung ist muss sie auch eine totale ordnung sein aber WIE soll ich das schreiben??? ich finde allgemein das beweisen sehr schwer.

ich hoffe ihr könnt mir da weiterhelfen.

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

Sina86

17:57 Uhr, 04.05.2011

Antworten
Hi,

bitte schreibe doch mal deine Definition einer Wohlordnung auf. In meiner Definition ist eine Wohlordnung nämlich eine totale Ordnung, bei der jede nichtleere Teilmenge ein kleinstes Element enthält. Allerdings macht dies deine zweite Frage überflüssig, da dort nichts zu beweisen ist.

Und die erste kann ich dir dann auch nicht beantworten, da meine Erklärung quasi aus meiner Definition hervorgeht :-)

Lieben Gruß
Sina
sebstud

sebstud aktiv_icon

19:09 Uhr, 04.05.2011

Antworten

danke erstmal für deine antwort :-)

definiton einer wohlordnung: eine relation R heißt wohlordnung auf A, wenn R totale ordnung auf A ist und BAxByBxRy.

kannst du mir vllt mal ein beispiel dazu sagen? ich komm mit der definiton einfach nicht klar^^
und in der aufgabe muss ich das trotzdem irgendwie zeigen das wenn x eine wohlordnung ist, das es dann automatisch eine totale ordnung ist. gerade weil es aus der definiton hervorgeht versteh ich nicht was man da beweisen soll.
Antwort
Sina86

Sina86

19:26 Uhr, 04.05.2011

Antworten
Ja, dann hast du dieselbe Definition wie ich. Leider kann ich dir beim Beweis nicht helfen. Denn der wäre dann eigentlich:
σ ist Wohlordnung, demnach nach Definition eine totale Ordnung. Beweis Ende. Da wirst du den für diese Aufgabe Verantwortlichen fragen müssen.

Das einfachste Beispiel einer Wohlordnung sind die natürlichen Zahlen mit der natürlichen Ordnung. Da ich jede natürliche Zahl mit einer anderen vergleichen kann, also ab oder ba gilt, und jede Teilmenge ein kleinstes Element besitzt. Das allerdings zu begründen/beweisen ist nicht trivial.

Ein Beispiel für eine totale Ordnung, die keine Wohlordnung ist, sind z.B. die rationalen Zahlen mit der natürlichen Ordnung. Ich kann zwar immer ab oder ba aussagen, allerdings bestitzt die Teilmenge kein kleinstes Element und somit ist es keine Wohlordnung.

Jetzt kann man vielleicht denken, dass die Wohlordnung davon abhängt, ob die Gesamtmenge ein kleinstes Element enthält oder nicht. Dem ist aber nicht so. Betrachte dafür M:=[0,). Das kleinste Element von M ist die 0. Jedoch gilt für die Teilmenge I:=(0,1)M, dass I nur ein Infimum, also eine größte untere Schranke besitzt, nämlich die 0, diese 0 gehört aber nicht zu I. Damit hat I kein kleinstes Element und M mit der natürlichen Ordnung ist keine Wohlordnung.
Frage beantwortet
sebstud

sebstud aktiv_icon

20:07 Uhr, 04.05.2011

Antworten
dankeeeeeeeeeeeeee sina :-)

das hat mir jetzt echt geholfen. ich brauch zwar ein bischen um das richtig nachzuvollziehen aber das klappt schon. hast du echt gut erklärt. jetzt weiss ich endlich was das ist :-D) danke nochmal