Ing Mathematik: Folgen

Folgen stellen das Rückgrat der modernen Analysis und somit auch der Differential- und Intgeralrechnung dar. Auf Ihnen fußt die heute gängige Definition der reellen Zahlen und durch den Begriff der Konvergenz konnte die Infinitessimalrechnung auf ein mathematisch sauberes Gerüst gestellt werden. Wir werden uns in diesem Kapitel mit ihnen beschäftigen, verstehen was Konvergenz bedeutet und uns einige ihrer Eigenschaften anschauen.

Definition

Definition Folge

Eine Folge ist eine Funktion, die den Werten $n \in ℕ$ im Definitionsbereich eine Zahl $a_{n}$ im Wertebereich zuordnet. Ist $(a_{n}) \subset ℝ$ so heisst die Folge reelle Folge. Ist $(a_{n}) \subset ℂ$ so heisst die Folge komplexe Folge.

Zur Notation: Spricht man von der Folge an sich, so schreibt normalerweise Klammern: $(a_{n}), (a_{n})_{n}, (a_{n})_{n \in ℕ}, ...$ . Mit einer solchen Notation ist die Menge der Folgenglieder gemeint; schreibt man nur $a_{n}$ , so meint man tatsächlich das n-te Folgenglied.

Beispiele:

a_{n} = n (a_{n}) = {1, 2, 3, 4, \dots}

a_{n} = \frac{1}{n} (a_{n}) = {1, \frac{1}{2}, \frac{1}{3}, \frac{1}{4}, \dots}

a_{n} = (- 1)^{n} (a_{n}) = {- 1, 1, - 1, 1, \dots}

Beschränktheit und Monotonie

Diese Eigentschaften sind recht intuitiv. Sei $(a_{n})_{n \in ℕ}$ eine reelle Folge. Dann gelten folgende Definitionen.

Definition Beschränktheit

Eine Folge ist nach oben beschränkt gdw.

\exists S : a_{n} \leq S \forall n \in ℕ

gilt, also wenn es eine obere Schranke gibt.

Eine Folge ist nach unten beschränkt gdw.

\exists S : a_{n} \geq S \forall n \in ℕ

Eine Folge ist beschränkt gdw.

(\exists S_{1}) \land (\exists S_{2}) : (a_{n} \geq S_{1}) \land (a_{n} \leq S_{2}) \forall n \in ℕ

oder alternativ

\exists S : | a_{n} | \leq S \forall n \in ℕ

Bemerkung: Jede Zahl, für die die genannten Aussagen gelten, ist eine Schranke. Es handelt sich nicht zwangsläufig um die kleinste obere, bzw. größte untere Schranke!

Beispiele: Die Folge $a_{n} = (- 1)^{n}$ ist beschränkt mit der unteren Schranke $S_{1} = - 1$ und der oberen Schranke $S_{2} = 1$ .

Definition Monotonie

Eine Folge heißt monoton wachsend oder steigend gdw.

a_{n} \leq a_{n + 1} \forall n \in ℕ

also wenn jedes nachfolgende Folgenglied größer oder gleich dem vorherigen (und somit auch größer oder gleich allen vorherigen) ist.

Eine Folge heißt demnach monoton fallend gdw.

a_{n} \geq a_{n + 1} \forall n \in ℕ

Eine Folge heißt streng monoton wachsend (fallend) gdw. jedes Folgenglied echt größer (echt kleiner) als das vorangehende ist.

Beispiele:

a_{n} = n

ist monoton wachsend, sogar streng monoton.

a_{n} = \frac{1}{n}

ist streng monoton fallend

Konvergenzbegriff

Betrachten wir nun einige Folgen, um sie näher zu untersuchen.

Beispiel 1: Sei $a_{n} = n$ . Diese Folge steigt mit größer werdendem $n$ , sie ist wie wir festgestellt haben unbeschränkt. Lassen wir $n$ gegen Unendlich laufen, so geht auch $a_{n}$ gegen Unendlich.
Beispiel 2: Sei $a_{n} = (- 1)^{n}$ . Was passiert nun, wenn $n$ steigt? Die Folge ist zwar beschränkt, springt aberzwischen 1 und -1 hin und her, sie alterniert.
Beispiel 3: Sei $a_{n} = \frac{1}{n}$ . Wir wissen bereits, dass $a_{n}$ mit zunehmenden $n$ fällt. Die Folge wird jedoch nicht kleiner als 0, denn sie ist nach unten beschränkt. Tatsächlich wird der Abstand des $n$ -ten Folgenglieds zur Achse mit immer größer werdenem $n$ geringer, kein Folgenglied wird jedoch genau 0. Man sagt: Für $n$ gegen Unendlich geht $a_{n}$ gegen 0 oder $a_{n}$ konvergiert gegen 0.

Doch was heißt Konvergenz genau? Erst seit etwa hundert Jahren hat man eine logisch konsistente Theorie, mit der man die Konvergenz erfasst; davor war es - wie sich der werte Leser momentan wahrscheinlich auch denkt - ein schwammige Intuition im Sinne von „es nähert sich irgendwie beliebig an“. Wir wollen nun die Definition verstehen.

Definition Nullfolge, Konvergenz

Sei $(a_{n})$ eine beliebige Folge. $(a_{n})$ ist eine Nullfolge gdw. wenn es zu jedem $ε > 0$ eine Zahl $N_{ε} \in ℕ$ gibt, sodaß $| a_{n} | < ε$ für alle $n \geq N_{ε}$ . Man schreibt

$lim_{n \to \infty} a_{n} := a$ oder
$a_{n} \to a$ für $n \to \infty$

und spricht

$(a_{n})$ konvergiert gegen 0 oder
$a_{n}$ strebt gegen $0$ für $n$ gegen Unendlich.

Definition Grenzwert

$(a_{n})$ konvergiert gegen einen sog. Grenzwert $a$ gdw. die Folge $((a_{n}) - a)$ eine Nullfolge ist, also wenn es zu jedem $ε > 0$ eine Zahl $N_{ε} \in ℕ$ gibt, sodaß $| a_{n} - a | < ε$ für alle $n \geq N_{ε}$ . Der Grenzwert einer Folge ist eindeutig.

Definition Divergenz

Existiert keine Zahl $a$ , gegen die $(a_{n})$ konvergiert, d.h. hat $(a_{n})$ keinen Grenzwert, so divergiert $(a_{n})$ . Eine Folge divergiert also gdw. wenn sie nicht konvergiert. Hinweis: Unenedlich ist keine Zahl (zumindest in der Standardanalysis)

Veranschaulichen wir uns diese Definition. Sie besagt im Grunde Folgendes: Man bekommt eine beliebige positive Zahl ( $ε$ ) vorgegeben und legt sich um den Grenzwert einen sog. Epsilonschlauch. Existiert eine natürliche Zahl $N_{ε}$ derart, dass alle Folgenglieder, die nach dem $N_{ε}$ -ten folgen, innerhalb dieses Schlauches liegen, dann konvergiert die Folge. Genial, oder? Dies muss allerdings für tatsächlich jedes noch so kleine $ε$ gelten!

Wir betrachten nochmal unsere Beispiele und einige weitere.

$a_{n} = n$ divergiert. Geht die Folge gegen Unendlich spricht man auch von der sog. bestimmten Divergenz gegen Unendlich.
$a_{n} = (- 1)^{n}$ divergiert.
$a_{n} = \frac{1}{n}$ konvergiert mit Grenzwert 0.

Beispiel 4: Sei $a_{n} = 3$ . Diese Folge konvergiert nach unserer Definition, denn egal wie klein das $ε$ gewählt wird, die Folgenglieder liegen nicht nur beliebig nah um 3 herum, sondern ab dem ersten Glied sogar auf der 3. Selbiges gilt für jede konstante Folge.
Beispiel 5: Die Folge $a_{n} = \frac{(- 1)^{n}}{2 n}$ ist eine Nullfolge.

Teilfolgen und Häufungspunkte

Aus der Menge der Bildpunkte einer Folge, kann man Teilmengen bilden. Zu dieser Teilmenge kann man nun eine Folge definieren (wenn auch nicht immer mit einer schönen „elementaren“ Formel), welche auf diese Punkte abbildet.

Definition Teilfolge

Eine Folge $a_{k}$ mit $k \in K$ heisst Teilfolge von $a_{n}$ gdw. $K$ eine unendliche Teilmenge von $ℕ$ ist.

Beispiel 1: Sei $a_{n} = n$ . Dann ist $b_{k} = a_{2 k} = (2, 4, 8, 12, 14, \dots)$ eine Teilfolge von $a_{n}$
Beispiel 2: Sei $a_{n} = n$ . Dann ist $b_{k} = a_{2 k - 1} = (1, 3, 5, 7, 9, \dots)$ eine Teilfolge von $a_{n}$
Beispiel 3: Sei $a_{n} = (- 1)^{n}$ . Dann ist $b_{k} = a_{2 k} = (1, 1, 1, 1, \dots) = 1$ eine Teilfolge von $a_{n}$

Beispiel 3 zeigt uns, dass Teilfolgen von divergenten Folgen durchaus konvergieren können.

Definition Häufungspunkt

Sei $(b_{n})$ eine Teilfolge einer beliebigen (konvergenten oder divergenten) Folge $(a_{n})$ . Konvergiert $(b_{n})$ gegen $b$ , so heißt $b$ Häufungspunkt von $(a_{n})$ .

Satz '

Sei $(a_{n})$ eine beliebige Folge. $(a_{n})$ konvergiert gegen $a$ gdw. $a$ der einzige Häufungspunkt von $(a_{n})$ ist. Jede Teilfolge von $(a_{n})$ konvergiert somit auch gegen $a$ .

Die Folge aus Beispiel 3 hat also genau zwei Häufungspunkte 1 und -1. Dem größten und kleinsten Häufungspunkt gibt man spezielle Namen.

Definition Limes Superior, Limes Inferior

Sei $(a_{n})$ eine beliebige Folge. Besitzt $(a_{n})$ mehrere Häufungspunkte, so heisst der größte Häufungspunkt Limes Superior $\overline{l i m} (a_{n})$ und der kleinste Häufungspunkt Limes Inferior $\underline{l i m} (a_{n})$ .

Kommen wir zu der Frage, die Ihnen nun sicherlich auf der Zunge brennt (oder auch nicht): Kann ich immer eine konvergente Teilfolge finden? Die Antwort liefert der folgende Satz:

Satz von Bolzano-Weierstraß

Jede beschränkte Folge (egal ob konvergent oder divergent) enthält mindestens eine konvergente Teilfolge.

Rechenregeln

Als Ingenieur sollte man rechnen, und zum rechnen gibt es Regeln. Die Wichtigsten betrachten wir nun.

Satz Addition

Konvergieren $a_{n}$ und $b_{n}$ , so konvergiert auch $(a_{n} \pm b_{n})$ und es gilt $lim_{n \to \infty} (a_{n} \pm b_{n}) = lim_{n \to \infty} a_{n} \pm lim_{n \to \infty} b_{n}$ .

Satz Multiplikation

Konvergieren $a_{n}$ und $b_{n}$ , so konvergiert auch $(a_{n} \cdot b_{n})$ und es gilt $lim_{n \to \infty} (a_{n} \cdot b_{n}) = lim_{n \to \infty} a_{n} \cdot lim_{n \to \infty} b_{n}$ .

Satz Division

Konvergieren $a_{n}$ und $b_{n}$ und gilt $\forall n : b_{n} \neq 0, l i m_{n \to \infty} b_{n} \neq 0$ so konvergiert auch $(\frac{a_{n}}{b_{n}})$ und es gilt $lim_{n \to \infty} (\frac{a_{n}}{b_{n}}) = \frac{lim_{n \to \infty} a_{n}}{lim_{n \to \infty} b_{n}}$ .

Übungen

Zurück zu Tensoren |

Hoch zu Gesamtinhaltsverzeichnis |

Vor zu Reihen