In unserem Vorlesungsskript steht, dass wenn in einer partiellen Ordnung Suprema generell existieren, dass dann auch Infima generell existieren und es somit ein vollständiger Verband ist. Allerdings hat doch der Verband der natürlichen Zahlen geordnet mit der Realtion kleiner gleich, für jede Teilmenge ein Supremum . für da diese kleiner gleich alle Elemente der Teilmenge ist und für die unendliche Teilmenge 0 da 0 kleiner gleich alle natürlichen Zahlen ist, somit existiert für jede Teilmenge ein Supremum und laut Skript müsste dann auch für alle ein Infimum existieren, aber die unendliche Teilmenge hat ja kein Infimum, da es keine Zahl gibt von der alle anderen Zahlen kleiner gleich sind. Was verstehe ich falsch?
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich benötige bitte nur das Ergebnis und keinen längeren Lösungsweg." |
Denke daran, dass wenn Suprema generell existieren sollen, auch und die gesamte Verbandsmenge jeweils ein Supremum besitzen müssen. Vor allem die leere Menge wird gerne einmal vergessen.
\\\\
Erst einmal scheinst du Supremum und Infimum vertauscht zu haben. (Oder du solltest die Umkehrrelation von "kleiner gleich", also "größer gleich", verwenden.)
Infimum: Größtes Element, das kleiner oder gleich allen Elemtenten der Teilmenge ist. Supremum: Kleinstes Element, das größer oder gleich allen Elementen der Teilmenge ist.
Bei wäre (bzgl. das Infimum und 3 das Supremum. Bei wäre (bzgl. das Supremum und 3 das Infimum.
Bei (bzgl. hat kein Supremum, da es keine Element gibt, das größer oder gleich allen Elementen von ist. Bei (bzgl. hat kein Infimum. Denn jedes Element aus ist kleiner als jedes Element aus . (siehe: Aber in gibt es kein größtes Element. Daher gibt es also kein größtes Element, das kleiner ist als jedes Element aus .
Analog hat bei bzgl. die Teilmenge kein Supremum und die Teilmenge kein Infimum.
\\\\
Bei wurde verwendet, dass für jede Aussageform die Aussage wahr ist.
Daher ist die Aussage wahr.
|