Ich habe hier den Beweis für die Eindeutigkeit des Supremums - ich kann zwar alle Schritte nachvollziehen, verstehe aber nicht, inwiefern der Beweis die EINDEUTIGKEIT beweist.
Das ist der Beweis: Sei und nach oben beschränkt
Sei die Menge der oberen Schranken von ie ist obere Schranke für
Also gilt: Für alle
Mit dem Vollständigkeitsaxiom folgt: Es gibt ein mit für alle
ist sowohl eine obere Schranke für A wie auch die kleinste (offensichtlich da ja jede andere obere Schranke grösser ist), also ist das Supremum von A. Damit sei eindeutig bestimmt. Das sieht für mich wie ein Beweis aus, dass aus dem Vollständigkeitsaxiom für beschränkte, nicht-leere Mengen die Existenz eines Supremums gezeigt wird. Inwiefern hier auch gezeigt wird, dass dieses eindeutig ist, ist mir unklar.
Danke
|
Hallo,
also ist das eindeutige Infimum für (nach Vollständigkeitsaxiom). Ist nun , dann ist nach Definition eine obere Schranke für und somit . Dann gilt für alle . Dann sind und obere Schranken für (also insbesondere ), aber nach der Definition vom Supremum folgt, dass ist. Somit haben wir , also .
Gruß Sina
|