Aufgabe:
In dieser Übungen nehmen wir an, dass es eine partielle Ordnung ≼ gibt. Das bedeutet, dass es
nicht immer gilt, dass ≼ oder ≼ , sondern nur wenn und vergleichbar sind.
Beweisen Sie die folgende Eigenschaft durch vollständige Induktion für alle ∈ N:
"Für alle Menge von Größe ≥ 1, gibt es ein kleinstes Element."
Problem/Ansatz:
\(\textbf{Behauptung}:\)
\(\text{Für alle Mengen von Größe} n \geq 1, \text{ gibt es ein kleinstes Element.}\)
\(\textbf{Induktionsanfang}:\)
\(\text{Beweis der Behauptung für } n = 2 \text{. Unter Annahme einer partiellen Ordnung und der Vergleichbarkeit der Mengenelemente gilt für } n = 2:\)
\(M = \{a_{1}, a_{2}\}\)
Nun weiß ich nicht mehr weiter. Meiner Meinung nach kann ich ja nicht sagen, dass M eine Teilmenge der natürlichen Zahlen ist oder?
Habe dann Folgendes probiert:
Folglich entweder: \(a_{1} < a_{2}\)
oder: \(a_{1} > a_{2}\)
Würde mich freuen, wenn mir jemand helfen könnte diese vollständige Induktion zu lösen!
Freundliche Grüße
Jsmileman