Totale/partielle Ordnung

Neue Frage »

Hasini Auf diesen Beitrag antworten »
Totale/partielle Ordnung
Meine Frage:
Man hat die Relation (a,b) (c,d) ?? (a c?b d) gegeben und man soll zeigen dass dies eine partielle Ordnung ist

Meine Ideen:
Wie zeigt man das ? Ich weiß schonmal dass dies keine totale Ordnung ist . Bitte um hilfe
Elvis Auf diesen Beitrag antworten »
RE: Totale Ordnung ?
Zitat:
Original von Hasini
Man hat die Relation (a,b) (c,d) ?? (a c?b d) gegeben ...

Welche Relation ? Auf welcher Menge ?
Hasini Auf diesen Beitrag antworten »
RE: Totale Ordnung ?
Bild hinzugefügt
Elvis Auf diesen Beitrag antworten »

Eine Relation heißt Ordnungsrelation, wenn sie 3 bestimmte Eigenschaften hat. Diese darfst du für die nunmehr definierte Relation nachweisen.
Hasini Auf diesen Beitrag antworten »

Die Ordnungsrelafionenn sind ja reflexiv transitiv und antisymmetrisch oder ? Und wie weise ich das nach ?
sibelius84 Auf diesen Beitrag antworten »

Zum Beispiel reflexiv. Es gilt ja

.

Also ist deine Behauptung richtig, falls für ganze Zahlen a, b immer gilt, dass .

Aber gilt das denn? Gilt für ganze Zahlen a, b immer, dass ?
 
 
Hasini Auf diesen Beitrag antworten »

Jaa oder ? Wie zeige ich eigentlich Die anderen axiome
sibelius84 Auf diesen Beitrag antworten »

Es wäre sehr hilfreich, wenn du im Einzelnen und verständlich erläutern würdest, wo du bei deiner Lösung der Aufgabe momentan stehst. Etwa für die Symmetrie, fangen wir mal mit der wichtigsten Frage an - ist dir klar, was zu zeigen ist?

edit: Da du ja (zumindest bis jetzt) LaTeX-resistent zu sein scheinst, mal hier noch der Tipp: ein 'kleinergleich' kannst du mit "<=" darstellen, ein 'größergleich' mit ">=" ("so wie man's spricht" - machen die Informatiker auch teilweise so). Bei "<=" musst du nur aufpassen, wenn gleichzeitig Folgerungen im Spiel sind, dass das nicht verwechselt wird.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »