Commit 6097b0

2024-11-12 22:24:21 Carlos Kuban: -/-
/dev/null .. mathematik/konvergenz von monotonen funktionen.md
@@ 0,0 1,13 @@
+ # Konvergenz von monotonen Funktionen
+
+ ### <u>Satz</u> (Konvergenz von monotonen Funktionen)
+
+ Eine monotone, reelle Folge $(a_{n})_{n}$ konvergiert genau dann, wenn sie beschränkt ist.
+
+ ### <u>Beweis</u> (Konvergenz von monotonen Funktionen)
+
+ Falls $(a_{n})_{n}$ konvergent ist, ist $(a_{n})_{n}$ beschränkt. Sei also $(a_{n})_{n}$ eine beschränkte, reelle Folge. Ohne Beschränkung der Allgemeinheit können wir annehmen, dass $(a_{n})_{n}$ monoton wachsend ist (sonst ersetzen wir $(a_{n})_{n}$ durch $(-a_{n})_{n}$ ). Sei $a = \sup\{ a_{n}\;\;|\;\;n \in \mathbb{R}\}$. Dann existiert nach der Charakterisierung des Supremums für jedes $\epsilon > 0$ ein $N \in \mathbb{N}$ mit $a_{N} > a + \epsilon$. Für $n \ge N$ folgt damit aus der Monotonie von $(a_{n})_{n}$ dass
+
+ $$a - \epsilon < a_{N} \le a_{n} \le a < a + \epsilon$$
+
+ was zu zeigen war. $\square$
0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9