Kategorie

A B C D E
F G H I J
K L M N O
P Q R S T
U V W X Y
Z 0      

supremum

sa sb sc sd se sf sg sh si sj sk sl sm
sn so sp sq sr ss st su sv sw sx sy sz

Supremum

In der Mathematik treten die Begriffe Supremum, Infimum, obere / untere Schranke, nach oben / unten beschränkt bei der Betrachtung von Teilmengen der reellen Zahlen auf.

Table of contents
1 Definitionen
2 Eigenschaften
3 Existenz des Supremums
4 Verallgemeinerung
5 Weblink

Definitionen

Sei T eine Menge reeller Zahlen.

Eigenschaften

Ist b eine obere Schranke von T und c > b, dann ist auch c eine obere Schranke von T. Ist umgekehrt c keine obere Schranke von T und b < c, dann ist auch b keine obere Schranke von T. Analoges gilt für untere Schranken.

Die Menge T ist genau dann beschränkt, wenn es eine reelle Zahl R gibt, so dass |x| < R für alle x aus T gilt. Man sagt dann, T liegt in der offenen Kugel um 0 mit Radius R. Eine ähnliche Definition der Beschränktheit einer Menge gibt es in einem metrischen Raum.

Existenz des Supremums

Man konstruiert eine Intervallschachtelung, die das Supremum einschließt. Dazu konstruiert man zwei Folgen, von denen die erste (an) monoton wachsend ist und nicht aus oberen Schranken von M besteht, die zweite (bn) monoton fallend ist und aus oberen Schranken von M besteht, so dass noch gilt, dass die Abstände entsprechender Folgeglieder gegen 0 gehen (indem man jeweils die Intervallmitte betrachtet und entscheidet, ob sie eine obere Schranke ist oder nicht). Damit erhält man den gemeinsamen Grenzwert sup(M) der beiden Folgen als kleinste obere Schranke von M, denn:
Jedes Element von M ist kleinergleich jedem Element bn der oberen Folge, also kleinergleich sup(M), deshalb ist sup(M) eine obere Schranke. Jede reelle Zahl, die kleiner ist als sup(M), ist kleiner als ein Element an0 der unteren Folge, also keine obere Schranke.

Verallgemeinerung

Man kann die hier beschriebenen Begriffe für eine beliebige total geordnete Menge definieren. Ein wesentlicher Unterschied ist dann aber, dass nicht jede nach oben beschränkte Menge ein Supremum haben muss. Betrachte z.B. die Menge der rationalen Zahlen: Die Menge {x in Q | x2 < 2} ist beschränkt, hat jedoch in Q weder Supremum noch Infimum.

Weblink

http://mo.mathematik.uni-stuttgart.de/

Impressum

Datenschutzerklärung