0 Daumen
539 Aufrufe

Aufgabe:

Sei (M, ≤) eine total geordnete Menge. Beweisen Sie folgende Aussage:
Ein Element ist genau dann kleinstes Element von M, wenn es minimal in M ist.


Problem/Ansatz:

zu Beweisen wäre also meiner Meinung nach folgende Aussage:

m ∈ M ist kleinstes Element ⇔ m ∈ M ist minimal


Formal würde ich es so aufschreiben:
∀x∈M : (m ≤ x) ⇔ ∀x∈M : ( ¬( x ≤ m))

zusätzlich gilt durch die totale Ordnung:
∀x,m∈M : ( x ≤ m ∨ m ≤ x)


Jetzt muss ich beide Richtungen zeigen:

"⇒"             
∀x∈M : (m ≤ x) ⇒ ∀x∈M : ( ¬( x ≤ m))

Sei x∈M beliebig und m ≤ x ,
dann ist ¬( x ≤ m)

"⇐"
∀x∈M : ( ¬( x ≤ m)) ⇒ ∀x∈M : (m ≤ x)

Sei x∈M beliebig und ¬( x ≤ m),
dann ist m ≤ x

Das wäre meine Lösung aber ich glaube es ist nicht ganz vollständig. Mir fehlt doch noch die Anwendung der Totalität. Oder muss ich noch jeweils zwei Fälle betrachten: x ≤ m oder m ≤ x

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community