Monotone Mengenfolge

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 19. Oktober 2024 um 18:20 Uhr durch 2003:d8:3f20:2000:9ddd:2445:cd8c:6414 (Diskussion) (Großschreibung von "Index").
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen
Eine gesichtete Version dieser Seite, die am 20. Oktober 2024 freigegeben wurde, basiert auf dieser Version.

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.

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

  • Monoton wachsend oder monoton steigend, wenn A k A k + 1 {\displaystyle A_{k}\subseteq A_{k+1}} {\displaystyle A_{k}\subseteq A_{k+1}} gilt.
  • Monoton fallend, wenn A k A k + 1 {\displaystyle A_{k}\supseteq A_{k+1}} {\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.

  • Die Mengenfolge definiert durch
( A k ) k N = { 0 , , k } N {\displaystyle (A_{k})_{k\in \mathbb {N} }=\{0,\dots ,k\}\subset \mathbb {N} } {\displaystyle (A_{k})_{k\in \mathbb {N} }=\{0,\dots ,k\}\subset \mathbb {N} }
ist eine monoton wachsende Mengenfolge, da jede Menge A k {\displaystyle A_{k}} {\displaystyle A_{k}} alle Elemente der Menge A k 1 {\displaystyle A_{k-1}} {\displaystyle A_{k-1}} enthält.
  • Die Mengenfolge ( A k ) k N = [ 0 , 1 1 / k ] k N = ( { 0 } , [ 0 , 1 / 2 ] , [ 0 , 2 / 3 ] , ) {\displaystyle (A_{k})_{k\in \mathbb {N} }=[0,1-1/k]_{k\in \mathbb {N} }=(\{0\},[0,1/2],[0,2/3],\dotsc )} {\displaystyle (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 N = ( 1 k ) k N {\displaystyle (a_{k})_{k\in \mathbb {N} }=\left({\tfrac {1}{k}}\right)_{k\in \mathbb {N} }} {\displaystyle (a_{k})_{k\in \mathbb {N} }=\left({\tfrac {1}{k}}\right)_{k\in \mathbb {N} }}.
  • Genauso ist die Mengenfolge ( A k ) k N = [ 0 , 1 / k ] k N = ( [ 0 , 1 ] , [ 0 , 1 / 2 ] , [ 0 , 1 / 3 ] , ) {\displaystyle (A_{k})_{k\in \mathbb {N} }=[0,1/k]_{k\in \mathbb {N} }=([0,1],[0,1/2],[0,1/3],\dotsc )} {\displaystyle (A_{k})_{k\in \mathbb {N} }=[0,1/k]_{k\in \mathbb {N} }=([0,1],[0,1/2],[0,1/3],\dotsc )} monoton fallend.
  • Jede monoton wachsende Mengenfolge konvergiert, es ist dann
lim i A i = i = 1 A i := A {\displaystyle \lim _{i\to \infty }A_{i}=\bigcup _{i=1}^{\infty }A_{i}:=A} {\displaystyle \lim _{i\to \infty }A_{i}=\bigcup _{i=1}^{\infty }A_{i}:=A}.
Man schreibt dann auch A n A {\displaystyle A_{n}\uparrow A} {\displaystyle A_{n}\uparrow A}.
  • Jede monoton fallende Mengenfolge konvergiert, es ist dann
lim i A i = i = 1 A i := A {\displaystyle \lim _{i\to \infty }A_{i}=\bigcap _{i=1}^{\infty }A_{i}:=A} {\displaystyle \lim _{i\to \infty }A_{i}=\bigcap _{i=1}^{\infty }A_{i}:=A}.
Man schreibt dann auch A n A {\displaystyle A_{n}\downarrow A} {\displaystyle A_{n}\downarrow A}.

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

  • Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer, Berlin/Heidelberg/New York 2009, ISBN 978-3-540-89727-9.
Abgerufen von „https://de.wikipedia.org/w/index.php?title=Monotone_Mengenfolge&oldid=249565923"