Ordnungsrelation, maximales und minimales Element.

SG1

mathematikpraktikant schrieb:

Ein maximales Element bezüglich ≤' ist in meinen Augen auch ein maximales Element bezüglich ≤

Nein. ≤' und ≤ sind unterschiedliche Relationen.

bei gleichbleibender, bekannter Rangordnung der natürlichen Zahlen.

Vergiss, dass Du irgendwann mal in der Grundschule eine bestimmte Relation ≤ genannt hast. Die ist hier vollkommen irrelevant.

Habe ich erstmal ein maximales Element der Menge M, ist es doch egal wie ich die Relationen definiere(?).

Nein. Maximale Elemente sind Eigenschaften von Relationen.

SG1 schrieb:

Nein. Maximale Elemente sind Eigenschaften von Relationen.

Nagut, aber wie sieht es denn mit einem Zahlenbeispiel aus?
Ich poste noch einmal das Beispiel von "..,-":

..,- schrieb:

Bezüglich der Ordnung ≤' ist
3 ≤' 2 ≤' 1
=> für alle x in {1,2,3} ist x≤'1 => 1 ist max.element (bezüglich ≤')

Es ist ja auch x ≤' y := <=> x ≥ y.
Warum ist hier also 1 maximales Element, wenn doch 3 ≤' 2 ≤' 1 das selbe ist wie 3 ≥ 2 ≥ 1

mathematikpraktikant schrieb:

Warum ist hier also 1 maximales Element, wenn doch 3 ≤' 2 ≤' 1 das selbe ist wie 3 ≥ 2 ≥ 1

Schreib' uns doch bitte die Definition des maximalen (und minimalen) Elements auf.

Mache ich glatt:

a ist maximales Element von M : $\Leftrightarrow$ $\forall$ b $\in$ M: a ≤ b $\Rightarrow$ a = b

a ist minimales Element von M : $\Leftrightarrow$ $\forall$ b $\in$ M: b ≤ a $\Rightarrow$ a = b

mathematikpraktikant schrieb:

Mache ich glatt:

a ist maximales Element von M : $\Leftrightarrow$ $\forall$ b $\in$ M: a ≤ b $\Rightarrow$ a = b

a ist minimales Element von M : $\Leftrightarrow$ $\forall$ b $\in$ M: b ≤ a $\Rightarrow$ a = b

und jetzt noch die Voraussetzungen.

gagagagagagagagag schrieb:

und jetzt noch die Voraussetzungen.

(Z,≤) sein ein geordnetes Paar, M $\subset$ Z, a $\in$ M.

Und jetzt?

ist (Z,≥) auch ein geordnetes Paar?

Ja, ist auch ein georndetes Paar, weil die Umkehrrelation einer Ordnungsrelation auch eine Ordnungsrelation ist.

Ok, kommen wir zur entscheidenden Frage,
wieso ist 1 maximales Element bei 3 ≥ 2 ≥ 1
?

mathematikpraktikant schrieb:

Ok, kommen wir zur entscheidenden Frage,
wieso ist 1 maximales Element bei 3 ≥ 2 ≥ 1
?

weil 3 < 1 und 2 < 1 ist, sieht man doch!

1 ist maximal bezüglich <=' !!!

Sieht man doch sofort an 3 <=' 2 <=' 1

Es kommt immer darauf an bezüglich welcher Relation du es betrachtest!

meine Güte, schreibt doch "R" statt "<=" und "S" statt ">=" - von wegen "Grundlagen bekannt"

3 ≥ 2 ≥ 1

hier entscheiden die symbole > und < über größer/kleiner bezüglich der einzelnen elemente (hier: zahlen) und die richtung entscheidet über maximal/minimal.
richtung links: minimal. richtung rechts: maximal.

ich frage mich gerade, wie die richtung in der mathematik diesbezüglich definiert ist. *grübel*

richtungsweis0r schrieb:

3 ≥ 2 ≥ 1
hier entscheiden die symbole > und < über größer/kleiner bezüglich der einzelnen elemente (hier: zahlen) und die richtung entscheidet über maximal/minimal.
richtung links: minimal. richtung rechts: maximal.

Okay, wenn das so ist, das klingt einleuchtend!
Das rechts in Richtung maximales Element geht, habe ich noch in keinen Grundlagen gelesen, aber was solls.

bei Ordnungsrelationen kann man im allgemeinen vom verwendeten Symbol her gar nichts sagen, auch "Richtungen" sind überhaupt nicht einheitlich festgelegt, da ist also gar nichts einleuchtend.

Beispielweise bei der "umgekehrten lexikographischen Ordnung" von Termordnungen wird <= verwendet, wenn der linke Term lexikographisch größer(!) ist als der rechte.

< und > bei Zahlen sind wohl eher aus bildlichen Gründne gewählt (das größere Element steht dort, wo die Klammer weiter auseinander ist).

u_ser-l schrieb:

bei Ordnungsrelationen kann man im allgemeinen vom verwendeten Symbol her gar nichts sagen, auch "Richtungen" sind überhaupt nicht einheitlich festgelegt, da ist also gar nichts einleuchtend.

Beispielweise bei der "umgekehrten lexikographischen Ordnung" von Termordnungen wird <= verwendet, wenn der linke Term lexikographisch größer(!) ist als der rechte.

< und > bei Zahlen sind wohl eher aus bildlichen Gründne gewählt (das größere Element steht dort, wo die Klammer weiter auseinander ist).

das kann ja nicht sein, denn wieso ist dann bei
3 ≤' 2 ≤' 1
die 1 das maximale Element?
obiges ist doch das gleiche wie 3 ≥ 2 ≥ 1
also spielt hier die Richtung eine Rolle.

Relationen lassen sich frei benennen, wie auch immer man will. Du kannst auch definieren

$ := {(1,1), (1,2), (1,3), ..., (2,2), (2,3), ... }
>> := <=
o-:<Blabla>:-o := >=

dann gilt 2>>3, 2$4 und 9o-:<Blabla>:-o7, da gibt es weder Richtungen noch sonst etwas.

M := {1,2,3}

Ordnung bezüglich ≤: 1 ≤ 2 ≤ 3
Maximales Element: 3

Ordnung bezüglich ≥: 3 ≥ 2 ≥ 1
Maximales Element: 1

Was spielt hier im Hinblick auf das maximale Element eine Rolle, wenn nicht die Richtung (bzw. Ordinalzal, Zählrichtung von links nach rechts) ?

Daß man bei "a<b" das Element b "größer als a" nennt, ist rein willkürlich - diese Vereinbarung wird optisch dadurch gestützt, daß das Zeichen "<" rechts größer als links ist. Es ist halt praktisch, einen Begriff dafür zu haben - sonst müßte man umständlich sagen "(a,b) ist in der Relation < enthalten".

Definiert man die Relation

"<=" := {(1,1), (2,1), (3,1), ..., (2,2), (3,2), (4,2), ...}

dann ist 1 maximales Element bezüglich "<=", weil "<=" eben hier so definiert ist. Reine Vereinbarungssache.