Monotone Mengenfolge

Eine monotone Mengenfolge ist eine spezielle Mengenfolge, bei der spezielle Inklusionsbeziehungen gelten. Ist eine Menge mit kleinerem Index immer in einer Menge mit größerem index enthalten, so nennt man die Folge eine monoton wachsende Mengenfolge. Enthält eine Menge mit kleinerem Index immer in einer Menge mit größerem index, so nennt man die Folge eine monoton fallende Mengenfolge. Monotone Mengenfolgen lassen sich als Spezialfall einer monotonen Abbildung auffassen.

Definition

Eine Mengenfolge $(A_{i})_{i\in \mathbb {N} }$ heißt

• Monoton wachsend oder monoton steigend, wenn $A_{k}\subseteq A_{k+1}$ gilt.
• Monoton fallend, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_k \supseteq A_{k+1} } gilt.
• Monoton, wenn sie entweder monoton wachsend oder monoton fallend ist.

Teilweise findet sich auch die Bezeichnung einer monoton aufsteigenden Mengenfolge oder einer monoton absteigenden Mengenfolge.

Beispiele

• Die Mengenfolge definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A_k)_{k \in \mathbb{N}}=\{0, \dots, k\} \subset \N }

ist eine monoton wachsende Mengenfolge, da jede Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_k } alle Elemente der Menge $A_{k-1}$ enthält.

• Die Mengenfolge $(A_{k})_{k\in \mathbb {N} }=[0,1-1/k]_{k\in \mathbb {N} }=(\{0\},[0,1/2],[0,2/3],\dotsc )$ ist monoton wachsend. Dies folgt direkt aus der Monotonie der reellen Folge $(a_{k})_{k\in \mathbb {N} }=\left({\tfrac {1}{k}}\right)_{k\in \mathbb {N} }$.
• Genauso ist die Mengenfolge $(A_{k})_{k\in \mathbb {N} }=[0,1/k]_{k\in \mathbb {N} }=([0,1],[0,1/2],[0,1/3],\dotsc )$ monoton fallend.

Eigenschaften

• Jede monoton wachsende Mengenfolge konvergiert, es ist dann

$\lim _{i\to \infty }A_{i}=\bigcup _{i=1}^{\infty }A_{i}:=A$.

Man schreibt dann auch $A_{n}\uparrow A$.

• Jede monoton fallende Mengenfolge konvergiert, es ist dann

$\lim _{i\to \infty }A_{i}=\bigcap _{i=1}^{\infty }A_{i}:=A$.

Man schreibt dann auch Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A_{n}\downarrow A} .

Verwendung

Monotone Mengenfolgen werden beispielsweise in der Maßtheorie verwendet, um Mengensysteme wie monotone Klassen zu definieren.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer, Berlin/Heidelberg/New York 2009, ISBN 978-3-540-89727-9.