imported>Zooloo: kongruenz

2024-07-29T13:26:09Z

kongruenz

Neue Seite

[[Datei:Beschränktheit1.png|mini|Die Bildmenge der abgebildeten Funktion ist beschränkt, damit ist auch die Funktion beschränkt.]]

In der [[Mathematik]] treten die Begriffe '''Supremum''' und '''Infimum''' sowie '''kleinste obere Schranke''' bzw. '''größte untere Schranke''' bei der Untersuchung [[Halbordnung|halbgeordneter Mengen]] auf. Anschaulich ist das Supremum eine obere [[Beschränktheit|Schranke]], die kleiner als alle anderen oberen Schranken ist. Entsprechend ist das Infimum eine untere Schranke, die größer als alle anderen unteren Schranken ist. Wenn ein Supremum oder Infimum existiert, ist es eindeutig bestimmt. Das Konzept wird in unterschiedlichen Abwandlungen in fast allen [[Teilgebiete der Mathematik|mathematischen Teilgebieten]] verwendet.

== Definitionen ==
=== Suprema (und Infima) von Mengen ===
==== Anschauung ====
[[Datei:Veranschaulichung zum Begriff Supremum.svg|mini|Das Supremum ist die kleinste obere Schranke einer Menge]]
Das Supremum (auf Deutsch „Oberstes“) einer [[Menge (Mathematik)|Menge]] ist verwandt mit dem [[Größtes Element|Maximum]] einer Menge und ist – anschaulich gesprochen – ein Element, welches „über“ allen oder „jenseits“ (oberhalb) aller anderen Elemente liegt. Der Ausdruck „''über'' den anderen“ soll andeuten, dass das Supremum nicht das größte Element „''unter'' den anderen“ sein muss, sondern durchaus auch außerhalb (''„jenseits“'') der Menge liegen kann. Und weil es mehrere Elemente geben kann, die dieser Anschauung entsprechen, wird aus Eindeutigkeitsgründen das [[Kleinstes Element|kleinste Element]] gewählt, welches diese Eigenschaft hat; sozusagen das Element, das am „nächsten“ oder „unmittelbar“ über allen anderen liegt – das Supremum bezeichnet also ein „unmittelbar Darüberliegendes“. Elemente, die zwar über allen Elementen einer Menge liegen, aber nicht zwingend in unmittelbarer Weise, heißen ''obere [[Beschränktheit|Schranken]]''. Damit ergibt sich dann die Definition des Supremums als ''kleinste obere Schranke'' einer Menge.

Das Infimum (deutsch „untere Grenze“) einer Menge ist analog definiert, als „unmittelbar Darunterliegendes“ bzw. ''größte untere Schranke''.

==== Im Reellen ====
Diese Anschauung lässt sich leicht auf Mengen von [[Reelle Zahlen|reellen Zahlen]] (als [[Untermenge]]n der reellen Zahlen) übertragen: Sei
:<math>X := \{ x\in \mathbb R : x < 2 \} \subseteq \mathbb R</math>
die Menge der reellen Zahlen kleiner als 2. Dann ist 2 das Supremum von <math>X</math> (in <math>\mathbb R</math>). Denn 2 ist eine obere Schranke von <math>X</math>, da sie größer oder gleich (tatsächlich sogar echt größer) als jedes Element von <math>X</math> ist – also „darüberliegt“. Aber im Gegensatz etwa zu der Zahl 4, die auch eine obere Schranke ist, gibt es keine Zahl kleiner als 2, die auch obere Schranke von <math>X</math> ist. Daher ist 2 kleinste obere Schranke von <math>X</math>, mithin Supremum.

Durch eine kleine Abänderung wird sodann die Verwandtschaft von Supremum und Maximum deutlich. Das Maximum ist nämlich das größte Element „''unter'' allen Elementen“ einer Menge:

Offenbar hat <math>X</math> kein Maximum, da es zu jeder reellen Zahl <math>a<2</math> wieder eine reelle Zahl <math>b<2</math> gibt, die größer als <math>a</math> ist, z. B. mit der Wahl <math>b=\tfrac{a+2}2</math>. Die Zahl 2 ist als Supremum zwar größer als alle Elemente von <math>X</math>, liegt aber nicht in <math>X</math>, da sie nicht ''echt kleiner'' als sie selbst ist. Betrachten wir nun die Menge
:<math>X' := \{ x\in \mathbb R : x \le 2 \} \subseteq \mathbb R</math>,
so ist 2 Maximum von <math>X^\prime</math>, da sie ''kleiner-gleich'' als sie selbst ist und es auch keine größere Zahl als 2 gibt, die kleiner-gleich 2 ist. Gleichfalls ist 2 aber auch Supremum von <math>X^\prime</math> wie schon von <math>X</math>, da dieselben Bedingungen wie dort erfüllt sind.

''Tatsächlich ist jedes Maximum immer auch Supremum.'' Daher ist es auch üblich, den Begriff Maximum gar nicht elementar zu definieren, sondern ihn als Sonderfall des Supremums zu benennen, wenn dieses selbst Element der Menge ist, deren Supremum es darstellt. – Analog gilt das für das Minimum.

==== Im Allgemeinen ====
Obere und untere Schranken sowie Suprema und Infima können jedoch nicht nur auf den reellen Zahlen, sondern allgemein auf [[Ordnungsrelation #Halbordnung|halbgeordneten Mengen]] betrachtet werden. Die formalen Definitionen lauten wie folgt:

Ist <math>M</math> eine halbgeordnete Menge mit Halbordnung <math>\leq</math> und <math>T</math> eine Teilmenge von <math>M</math> so gilt:

;Obere Schranke
:Ein Element <math>b \in M</math> heißt ''obere [[Beschränktheit|Schranke]]'' von <math>T</math>, wenn <math>x \leq b</math> für alle <math>x \in T</math> gilt.
;Untere Schranke
:Analog heißt <math>b</math> ''untere Schranke'' von <math>T</math>, wenn <math>b \leq x</math> für alle <math>x \in T</math> gilt.
;nach oben bzw. unten beschränkte Menge
:Existiert eine obere (untere) Schranke von <math>T</math>, so heißt <math>T</math> ''nach oben (unten) beschränkt''.
;nach oben bzw. unten unbeschränkte Menge
:Ist <math>T</math> ''nicht'' nach oben (unten) beschränkt, so heißt <math>T</math> ''nach oben (unten) unbeschränkt''.
;beschränkte Menge
:<math>T</math> heißt ''beschränkt'', falls <math>T</math> nach oben ''und'' unten beschränkt ist, andernfalls ''unbeschränkt'' oder ''nicht-beschränkt''. Das heißt: <math>T</math> ist ''unbeschränkt'' (oder ''nicht-beschränkt''), wenn <math>T</math> entweder nach ''oben'' oder nach ''unten'' oder nach ''oben und unten'' unbeschränkt ist. Soll ausgedrückt werden, dass eine Menge sowohl nach oben als auch nach unten unbeschränkt ist, so muss die Menge ausdrücklich als ''nach oben und unten unbeschränkt'' beschrieben werden.
;Supremum
:Ein Element <math>b\in M</math> heißt ''Supremum'' von <math>T</math>, wenn <math>b</math> eine kleinste obere Schranke von <math>T</math> ist.
;Infimum
:Es heißt ''Infimum'' von <math>T</math>, wenn es eine größte untere Schranke von <math>T</math> ist.

Ist <math>M</math> die Menge der [[Reelle Zahlen|reellen Zahlen]], so gilt:

* Ist <math>T</math> nach oben beschränkt und nicht leer, dann besitzt <math>T</math> eine kleinste obere Schranke (Beweisidee unten) und man nennt sie '''obere Grenze''' oder ''Supremum'' von <math>T</math> – in Zeichen <math>\sup(T)</math>.
* Ist <math>T</math> nach unten beschränkt und nicht leer, dann besitzt <math>T</math> eine größte untere Schranke (Beweis analog) und man nennt sie '''untere Grenze''' oder ''Infimum'' von <math>T</math> – in Zeichen <math>\inf(T)</math>.
* Falls <math>T</math> nach oben beschränkt und das Supremum von <math>T</math> in <math>T</math> enthalten ist, bezeichnet man das Supremum auch als '''[[Größtes Element|Maximum]]''' von <math>T</math>, in Zeichen <math>\max(T)</math>.
* Falls <math>T</math> nach unten beschränkt und das Infimum von <math>T</math> in <math>T</math> enthalten ist, bezeichnet man das Infimum auch als '''[[Kleinstes Element|Minimum]]''' von <math>T</math>, in Zeichen <math>\min(T)</math>.
* Ist <math>T</math> nach oben unbeschränkt, schreibt man: <math>\sup T = +\infty</math> (siehe [[Unendlichkeit]]).<br /> ''Das Symbol +∞ ist dabei aber keine reelle Zahl und auch nicht das Supremum von <math>T</math> im hier definierten Sinne: <math>\infty</math> als Supremumswert ist gerade die formale Schreibweise dafür, dass kein Supremum vorhanden ist, siehe auch bei [[erweiterte reelle Zahl]]en. Gelegentlich wird in diesem Zusammenhang <math>+\infty</math> auch als „uneigentliches Supremum“ bezeichnet.''
* Ist <math>T</math> nach unten unbeschränkt, schreibt man analog: <math>\inf T = -\infty</math>.

=== Suprema (und Infima) von Abbildungen ===
==== Abbildungen allgemein ====
Der Begriff des Supremums auf Mengen wird sinngemäß auch auf [[Funktion (Mathematik)|Abbildungen]] (Funktionen) angewendet. Denn das Bild einer Abbildung ist ja immer auch eine [[Menge (Mathematik)|Menge]]. Nämlich für eine Abbildung
:<math>f\colon X \rightarrow Y</math>
die Menge
:<math>
f(X) :
= \{f(x): x \in X\}
= \{y \in Y : y = f(x) \text{ für ein } x \in X\}
</math>
der sogenannten '''Elementbilder''', d. h. der Bilder der einzelnen Elemente von <math>X</math> unter der Abbildung <math>f</math>.

<math>f(X)</math> wird auch [[Bild (Mathematik)|Bild]] der Funktion <math>f</math> genannt.

Ist <math>Y</math> eine halbgeordnete Menge, so definiert man das '''Supremum von <math>f</math> auf <math>X</math>''' – sofern es in <math>Y</math> existiert – durch

:<math> \sup f := \sup_{x \in X} f(x) := \sup f(X) = \sup \{f(x): x \in X\}</math>.

Das Supremum einer Funktion <math>f</math> ist also definiert als das Supremum der Bildmenge von <math>f</math>. Analog wird das '''Infimum von <math>f</math> auf <math>X</math>''' definiert.

Die definierende Eigenschaft des Supremums kann als monotone [[Galoisverbindung]] <math>\sup\dashv \Delta</math> zwischen <math>\sup \colon Y^X \to Y</math> und <math>\Delta \colon Y \to Y^X</math> formuliert werden: für alle <math>y \in Y</math> und <math>f \in Y^X</math> gilt
: <math>\sup f \leq_Y y \Longleftrightarrow f \leq_{Y^X} \Delta(y)</math>.
Hierbei ist <math>Y^X</math> mit der punktweisen Ordnung ausgestattet und <math>\Delta(y)(x) := y</math>.

Analog gilt <math>\Delta \dashv \inf</math>.

==== Folgen als Abbildungen ====
Fasst man eine [[Folge (Mathematik)|Folge]] <math>a_1, a_2, a_3, \dotsc</math> von Elementen aus <math>Y</math> als Abbildung
:<math>f\colon \mathbb N \rightarrow Y</math>
auf – also gemäß
:<math>a_1 := f(1),\ a_2 := f(2),\ a_3 := f(3),\ \dotsc </math>
– so ergibt sich aus der Definition des Supremums (Infimums) von Abbildungen sofort die Definition des Supremums (Infimums) einer Folge <math>(a_n)</math> – sofern es in <math>Y</math> existiert.

== Eigenschaften ==
=== Eindeutigkeit und Existenz ===
Ist <math>b</math> eine obere Schranke von <math>T</math> und <math>c>b</math>, so ist auch <math>c</math> eine obere Schranke von <math>T</math>. Ist umgekehrt <math>c</math> keine obere Schranke von <math>T</math> und <math>b<c</math>, so ist auch <math>b</math> keine obere Schranke von <math>T</math>. Analoges gilt für untere Schranken.

Das Supremum von <math>T</math> ist (im Falle seiner Existenz) eindeutig bestimmt. Dasselbe gilt für das Infimum von <math>T</math>.

Es ist möglich, dass eine Teilmenge <math>T</math> einer halbgeordneten Menge <math>M</math> mehrere [[Minimales Element|''minimale'']] obere Schranken hat, d. h. obere Schranken, so dass jedes kleinere Element keine obere Schranke ist. Sobald <math>T</math> jedoch mehr als eine minimale obere Schranke hat, gibt es keine [[Kleinstes Element|''kleinste'']] obere Schranke, d. h. kein Supremum, von <math>T</math>. Ein Beispiel ist die Menge <math>M = \{a,\ b,\ c,\ d\}</math> mit der Halbordnung <math>\{a<c,\ b<c,\ a<d,\ b<d\}</math>. Hier hat <math>T = \{a,\ b\}</math> die beiden minimalen oberen Schranken <math>c</math> und <math>d</math>.

=== Eigenschaften in Bezug auf eine Epsilon-Umgebung ===
Sei <math>X</math> eine nichtleere Teilmenge der reellen Zahlen, dann gilt außerdem für das
* Supremum von <math>X</math>:
:# Wenn <math>\sup X<+\infty</math>, so existiert für alle <math>\epsilon > 0</math> ein <math>x\in X</math>, so dass <math>(\sup X)-\epsilon<x</math> ist.
:# Wenn <math>\sup X= +\infty</math>, so existiert für alle <math>k>0</math> ein <math>x\in X</math>, so dass <math>k<x</math>.

* Infimum von <math>X</math>:
:# Wenn <math>\inf X>-\infty</math>, so existiert für alle <math>\epsilon > 0</math> ein <math>x\in X</math>, so dass <math>x<(\inf X)+\epsilon</math> ist.
:# Wenn <math>\inf X= -\infty</math>, so existiert für alle <math>k>0</math> ein <math>x\in X</math>, so dass <math>x<-k</math>.

=== Erstellung konvergenter Folgen ===
* Sei <math>X</math> eine nichtleere Teilmenge der reellen Zahlen mit einem Supremum <math>\sup X<+\infty</math>. Dann lässt sich aus geeignet gewählten Elementen von <math>X</math> eine [[Folge (Mathematik)|Folge]] <math>(x_n)</math> erstellen, die gegen <math>\sup X</math> [[Grenzwert (Folge)|konvergiert]].

: '''Beweis:''' <math>(\epsilon_n>0)</math> sei eine [[Nullfolge]], <math>(b_n=\sup X)</math> ist eine konstante Folge. Mit den [[Grenzwert (Folge)#Rechenregeln|Rechenregeln für Grenzwerte]] konvergiert die Folge <math>(a_n = (\sup X) -\epsilon_n)</math> „von unten“ gegen <math>\sup X</math>. Wegen der im vorhergehenden Abschnitt genannten „Eigenschaft des Supremums in Bezug auf eine Epsilon-[[Umgebung (Mathematik)|Umgebung]]“ existieren die Glieder <math>x_n</math> einer Folge <math>(x_n),</math> die mit <math>a_n = (\sup X) -\epsilon_n< x_n \leq \sup X = b_n</math> zwischen <math>(a_n)</math> und <math>(b_n)</math> [[Einschnürungssatz#Einschließungsregel für Folgen|eingeschlossen]] ist. Also konvergiert <math>(x_n)</math> wie die einschließenden Folgen gegen <math>\sup X</math>.

* Sei <math>X</math> eine nichtleere Teilmenge der reellen Zahlen mit einem Infimum <math>\inf X>-\infty</math>. Dann lässt sich aus geeignet gewählten Elementen von <math>X</math> eine [[Folge (Mathematik)|Folge]] <math>(x_n)</math> erstellen, die gegen <math>\inf X</math> [[Grenzwert (Folge)|konvergiert]].

: '''Beweis:''' <math>(a_n=\inf X)</math> ist eine konstante Folge, <math>(\epsilon_n>0)</math> sei eine [[Nullfolge]]. Mit den [[Grenzwert (Folge)#Rechenregeln|Rechenregeln für Grenzwerte]] konvergiert die Folge <math>(b_n = (\inf X) +\epsilon_n)</math> „von oben“ gegen <math>\inf X</math>. Wegen der im vorhergehenden Abschnitt genannten „Eigenschaft des Infimums in Bezug auf eine Epsilon-Umgebung“ existieren die Glieder <math>x_n</math> einer Folge <math>(x_n)</math>, die mit <math>a_n =\inf X \leq x_n < (\inf X) +\epsilon_n =b_n</math> zwischen <math>(a_n)</math> und <math>(b_n)</math> [[Einschnürungssatz#Einschließungsregel für Folgen|eingeschlossen]] ist. Also konvergiert <math>(x_n)</math> wie die einschließenden Folgen gegen <math>\inf X</math>.

Bemerkungen:

* Weder <math>(\epsilon_n)</math> noch <math>(x_n)</math> müssen [[Monotone Zahlenfolge|monoton]] sein.

* Ist <math>X</math> von endlicher [[Mächtigkeit (Mathematik)|Mächtigkeit]], so ist das Supremum ein Maximum (bzw. das Infimum ein Minimum), und [[fast alle]] <math>x_n</math> sind dem Supremum (bzw. Infimum) gleich.

== Existenz des Supremums für beschränkte Teilmengen der reellen Zahlen ==
Die Existenz des Supremums für eine beschränkte Teilmenge <math>M</math> der reellen Zahlen kann auf mehrere Arten gezeigt werden:

A. Zum einen kann man die Existenz von Supremum und Infimum für beschränkte Teilmengen der reellen Zahlen einfach als [[Axiom]] festlegen. Diese Forderung wird oft ''Supremumsaxiom'' oder ''Vollständigkeitsaxiom'' genannt.

B. Geht man von dem Axiom aus, dass jede [[Intervallschachtelung]] genau eine reelle Zahl definiert, kann zum Nachweis der Existenz des Supremums <math>\sup M</math> von <math>M</math> eine Intervallschachtelung <math>([a_k,\,b_k]),\; k \in \N</math> dienen, für die kein <math>a_k</math> obere Schranke von <math>M</math> ist, aber jedes <math>b_k</math> eine solche.<math>\mathbf{(i)}</math>

Eine solche Intervallschachtelung definiert eine Zahl <math>\sigma</math>, und die Folgen <math>(a_k)</math> und <math>(b_k)</math> konvergieren gegen <math>\sigma</math>.<ref>[[Intervallschachtelung#Konvergenz der Grenzfolgen einer Intervallschachtelung]]</ref> Ein beliebiges <math>b>\sigma</math> ist wegen <math>\lim_{k \to \infty}b_k = \sigma</math> größer als [[fast alle]] <math>b_k</math>. Da jedes <math>b_k</math> obere Schranke von <math>M</math> ist, ist <math>b \notin M</math>. Also ist <math>\sigma</math> eine obere Schranke von <math>M</math>. Zu überlegen bleibt, ob nicht auch ein <math>\sigma'<\sigma</math> obere Schranke von <math>M</math> sein kann. Wegen <math>\lim_{k \to \infty}a_k = \sigma</math> sind fast alle <math>a_k</math> größer als <math>\sigma'</math>. Da kein <math>a_k</math> obere Schranke von <math>M</math> ist, ist auch <math>\sigma'</math> keine solche. Also ist <math>\sigma</math> das behauptete Supremum von <math>M</math>. - Zu zeigen bleibt, dass eine Intervallschachtelung <math>([a_k,\,b_k])</math> existiert, die der Bedingung (i) genügt.

Hierzu sei eine Intervallfolge <math>([a_k,\,b_k])</math> [[Rekursion#Rekursion in der Mathematik|rekursiv]] definiert. Für das erste Intervall sei <math>a_1</math> eine beliebige Zahl, die kleiner als ein beliebiges Element von <math>M</math> ist, <math>b_1</math> eine beliebige obere Schranke von <math>M</math>. <math>c_k=\frac{a_k + b_k}{2}</math> ist der [[Intervall (Mathematik)|Mittelpunkt]] des <math>k</math>-ten Intervalls der Folge. Die Grenzen des jeweils folgenden Intervalls <math>[a_{k+1},\,b_{k+1}]</math> seien,

* falls <math>c_k</math> keine obere Schranke von <math>M</math> ist: <math>a_{k+1} = c_k, b_{k+1} = b_k</math>;
* falls <math>c_k</math> eine obere Schranke von <math>M</math> ist: <math>a_{k+1} = a_k, b_{k+1} = c_k</math>.

Für eine solche Intervallfolge gilt: <math>b_1</math> ist eine obere Schranke von <math>M</math>, <math>a_1</math> nicht. Beim Übergang von <math>[a_k,b_k]</math> zu <math>[a_{k+1},b_{k+1}]</math> ersetzt <math>c_k</math> genau dann eine Intervallgrenze, die obere Schranke von <math>M</math> ist, wenn <math>c_k</math> selbst obere Schranke von <math>M</math> ist; wenn aber <math>c_k</math> keine obere Schranke von <math>M</math> ist, ersetzt <math>c_k</math> eine Intervallgrenze, die auch keine solche ist. Also<ref>Der Gedankengang ist eine [[vollständige Induktion]].</ref> ist ''jedes'' <math>b_k</math>, aber ''kein'' <math>a_k</math> obere Schranke von <math>M</math>, und die Intervallfolge <math>([a_k,\,b_k])</math> erfüllt die Bedingung (i). - Zu zeigen bleibt, dass <math>([a_k,\,b_k])</math> eine Intervallschachtelung ist.

''Behauptung'': <math>(a_k)</math> ist [[Monotone Zahlenfolge|monoton]] steigend <math>\Leftrightarrow \forall k: a_{k+1} \geq a_k. \mathbf{(1)}</math>.
:''Beweis'': Für <math>a_{k+1} = a_k</math> ist nichts zu beweisen. Für <math>a_{k+1} = c_k</math> folgt aus <math>b_k>a_k</math>: <math>a_{k+1} = \frac{a_k + b_k}{2} > \frac{a_k + a_k}{2} = a_k</math>.

''Behauptung'': <math>(b_k)</math> ist monoton fallend <math>\Leftrightarrow \forall k: b_{k+1} \leq b_k. \mathbf{(2)}</math>.
:''Beweis'': Für <math>b_{k+1} = b_k</math> ist nichts zu beweisen. Für <math>b_{k+1} = c_k</math> folgt aus <math>a_k<b_k</math>: <math>b_{k+1} = \frac{a_k + b_k}{2} < \frac{b_k + b_k}{2} = b_k </math>.

''Behauptung'': <math>(d_k)</math>, <math>d_k= b_k -a_k</math> ist eine Nullfollge. <math>\mathbf{(3)}</math>. - ''Beweis'':

* Falls <math>c_k</math> keine obere Schranke von <math>M</math> ist, ist <math>d_{k+1} = b_{k+1}-a_{k+1} = b_k -c_k = \frac{2b_k}{2} -\frac{a_k +b_k}{2} = \frac{b_k -a_k}{2} = \frac{d_k}{2}</math>;
* falls <math>c_k</math> eine obere Schranke von <math>M</math> ist, ist <math>d_{k+1} = b_{k+1}-a_{k+1} = c_k -a_k =\frac{a_k +b_k}{2} -\frac{2a_k}{2} = \frac{b_k -a_k}{2} = \frac{d_k}{2}</math>.
Also können alle <math>d_k</math> auch <math>d_k = d_1 \cdot \,\left(\tfrac{1}{2}\right)^{k-1}</math> geschrieben werden, und <math>(d_k)</math> ist wegen <math>\left| \tfrac{1}{2} \right| < 1 </math> eine (geometrische) Nullfolge.<ref>Weiteres zur Konvergenz bestimmter geometrischer Folgen [[Geometrische Folge#Konvergenz geometrischer Folgen|hier]].</ref>

Mit (1), (2) und (3) ist <math>([a_k,\,b_k])</math> eine Intervallschachtelung, q. e. d.

C. Eine äquivalente Formulierung zur Existenz des Supremums ist das Schnittaxiom, nachdem jeder [[Dedekindscher Schnitt|Dedekindsche Schnitt]] von einer reellen Zahl erzeugt wird.

== Beispiele ==
=== Reelle Zahlen ===
Folgende Beispiele beziehen sich auf Teilmengen der reellen Zahlen.
* <math>\sup \{1,2,3\} = 3</math>
* <math>\sup \{ x\in \mathbb R : 0 < x < 1 \} = \sup \{ x\in \mathbb R : 0 \leq x \leq 1 \} = 1</math>
* <math>\sup \{ x\in \mathbb Q : x^2 < 2 \} = \sqrt{2} \notin \mathbb Q</math>
* <math>\sup \{ (-1)^n - \tfrac{1}{n} : n \in \mathbb N \} = 1</math>
* <math>\sup \mathbb Z = +\infty</math>
* <math>\sup \{a\} = \inf \{a\} = \max \{a\} = \min \{a\} = a\quad \forall \, a \in \mathbb R</math>
* <math>\sup \{ a+b : a\in A \land b\in B\} = \sup A + \sup B</math>
* <math>\sup -A = -\inf A</math> bzw. <math>-\sup A = \inf -A</math>, wobei <math>-A := \{-x \in \mathbb R : x \in A\}</math>

=== Andere halbgeordnete Mengen ===
Auf <math>\mathbb{R}</math> hat jede nicht-leere nach oben bzw. unten beschränkte Teilmenge ein Supremum bzw. Infimum.
Betrachtet man andere Mengen, auf denen Ordnungsrelationen definiert sind, so ist dies nicht zwingend:
* Die Menge <math>\mathbb{Q}</math> der [[Rationale Zahlen|rationalen Zahlen]] ist bezüglich der natürlichen Ordnung [[Ordnungsrelation|total geordnet]]. Die Menge <math>\{x\in\mathbb{Q}:x^2<2\}\subset\mathbb{Q}</math> ist beispielsweise durch die Zahl <math>1{,}42\in\mathbb{Q}</math> nach oben beschränkt, hat aber kein Supremum in <math>\mathbb{Q}</math>.
* In beliebigen halbgeordneten Mengen <math>(A,\leq)</math> ist jedes Element sowohl untere als auch obere Schranke der leeren Menge <math>\emptyset</math>. Daher ist <math>\inf\emptyset</math> das [[größtes und kleinstes Element|größte Element]] von <math>A</math> und <math>\sup\emptyset</math> das kleinste. Größte und kleinste Elemente müssen jedoch nicht existieren: In der Menge <math>\mathbb N = \{1, 2, 3, \dotsc\}</math> der [[Natürliche Zahl|natürlichen Zahlen]] mit der üblichen Ordnung hat <math>\emptyset</math> kein Infimum, und es ist <math>\sup\emptyset = 1</math>.
* In der bezüglich [[Teilmenge|Inklusion]] partiell geordneten Menge <math>\mathcal{X}:=\{\{1\},\{2\},\{1,2,3\},\{1,2,4\}\}</math> ist die Menge <math>M:=\{\{1\},\{2\}\}\subset\mathcal{X}</math> sowohl durch das Element <math>\{1,2,3\}\in\mathcal{X}</math> als auch durch <math>\{1,2,4\}\in\mathcal{X}</math> nach oben beschränkt. Ein Supremum, also eine kleinste obere Schranke von <math>M</math>, existiert in <math>\mathcal{X}</math> jedoch nicht.

== Siehe auch ==
* Aus dem Begriff Supremum wird in der [[Maßtheorie]] der Begriff des [[Wesentliches Supremum|''wesentlichen Supremums'']] abgeleitet, der zum Beispiel in der Theorie der [[Lp-Raum|<math>L^p</math>-Räume]] eine wichtige Rolle spielt.
* Die Untersuchung von partiell geordneten Mengen, in denen zu jeder zweielementigen Teilmenge ein Supremum und ein Infimum existiert, ist Gegenstand der [[Verbandstheorie]].

== Literatur ==
* [[Stefan Hildebrandt]]: ''Analysis 1.'' Springer 2005, ISBN 3-540-25368-8.

== Weblinks ==
{{Wikibooks|Mathe für Nicht-Freaks: Supremum und Infimum}}
{{Wikibooks|Mathe für Nicht-Freaks: Supremum und Infimum bestimmen und beweisen}}
{{Commonscat|Infimum and supremum}}

== Einzelnachweise ==
<references />

[[Kategorie:Analysis]]
[[Kategorie:Ordnungstheorie]]

Infimum und Supremum - Versionsgeschichte

imported>Zooloo: kongruenz