Kurs:Funktionentheorie/Folgen und Reihen

Einführung

Als Folge oder Sequenz wird in der Mathematik eine Auflistung (Familie) von endlich oder unendlich vielen fortlaufend nummerierten Objekten (beispielsweise Zahlen) bezeichnet. Dasselbe Objekt kann in einer Folge auch mehrfach auftreten. Das Objekt mit dem Index $n$ wird $n$ -tes Glied oder $n$ -te Komponente der Folge genannt. Endliche wie unendliche Folgen finden sich in allen Bereichen der Mathematik. Mit unendlichen Folgen, deren Glieder reelle Zahlen sind, beschäftigt sich vor allem die Analysis.

Folgen als Abbildungen

Betrachtet man eine Indexmenge $I$ und einen Grundraum $G$ , aus dem die Komponenten gewählt werden, dann kann man eine Folge $a$ als Abbildung verstehen, die jedem Index $n \in I$ ein Element $a_{n} \in G$ aus dem Grundraum $G$ zuordnet. Folgen notiert man in der Regel $(a_{n})_{n \in I} \in G^{I}$ (z.B. $I = ℕ)$

Beispiele für Folgen

$(a_{1}, a_{2}, a_{3}) \in ℝ^{3}$ endliche reelle Zahlenfolge bzw. $n$ -Tupel
$(a_{n})_{n \in ℕ} = {(\frac{1}{n})}_{n \in ℕ} \in ℝ^{ℕ}$ ist eine reelle Zahlenfolge.
$(a_{n})_{n \in ℕ} = {(\frac{5 + n}{n} + \frac{5 + 3 n^{2}}{4 n^{2}} i)}_{n \in ℕ} \in ℂ^{ℕ}$ ist eine komplexe Zahlenfolge.

Im Folgenden betrachten wir unendliche Folgen mit der Indexmenge $I = ℕ$ in den komplexen Zahlen.

Konvergenz von Folgen

Wenn auf einem Grundraum Abstände mit einer Metrik oder Längen von Vektoren mit einer Norm messen kann, kann man die Folgenkonvergenz definieren. Bei konvergenten Folgen $(a_{n})_{n \in ℕ}$ gegen eine Grenzwert $a_{0} \in G$ läuft der Abstand der Folgenglieder zum Grenzwert gegen 0.

Notation

Für den Grenzwert $a_{0} \in ℂ$ einer Folge $(a_{n})_{n \in ℕ} \in ℂ^{ℕ}$ gibt es ein eigenes Symbol, man schreibt:

lim_{n \to \infty} a_{n} = a_{0}

mit

n \in ℕ

.

Definition Folgenkonvergenz

Sei $(a_{n})_{n \in ℕ} \in ℂ^{ℕ}$ eine komplexe Zahlenfolge und $a_{0} \in ℂ$ . Die Konvergenz von $(a_{n})_{n \in ℕ}$ gegen $a_{0}$ wird dann wie folgt definiert:

lim_{n \to \infty} a_{n} = a_{0} : ⟺ \forall ε > 0 \exists n_{ε} \in ℕ \forall n \geq n_{ε} : | a_{n} - a_{0} | < ε

.

Notation - Schreibweise

Neben dieser Notation ist auch die Schreibweise

$a_{n} \to a_{0}$ für $n \to \infty$ (gelesen als $a_{n}$ konvergiert gegen $a_{0} \in ℂ$ für $n$ gegen unendlich) oder
kurz $a_{n} \to a_{0} \in ℂ$ bzw. $a_{n}_{\overset{⟶}{n \to \infty}} a_{0} \in ℂ$ üblich.

Visualisierung der Konvergenz

Für alle $ε > 0$ gibt es eine Indexschranke $n_{ε}$ , ab der alle $a_{n}$ mit $n \geq n_{ε}$ in der $ε$ -Umgebung liegen.

Semantik

Die Bedeutung der Definition kann man wie folgt versprachlichen:

lim_{n \to \infty} a_{n} = a_{0} : \Leftrightarrow \forall ε > 0 \exists n_{ε} \in ℕ \forall n \geq n_{ε} : | a_{n} - a_{0} | < ε

.

Man kann ein beliebig kleines $ε > 0$ wählen und dennoch kann man zu diesem $ε$ immer eine Indexschranke $n_{ε} \in ℕ$ finden, sodass alle Folgenglieder $a_{n}$ mit größerem (oder gleichem) Index nicht weiter als $ε$ von dem Grenzwert $a_{0}$ entfernt sind ( $| a_{n} - a_{0} | < ε$ )

Reihen

Eine Reihe $\sum_{k = 1}^{\infty} a_{k}$ ist eine spezielle Folgen $(s_{n})_{n \in ℕ}$ , die aus einer gegebenen Folge $(a_{n})_{n \in ℕ}$ durch die Folge der Partialsummen ${(\sum_{k = 1}^{n} a_{k})}_{n \in ℕ}$ mit $s_{n} := \sum_{k = 1}^{n} a_{k}$ für alle $n \in ℕ$ entsteht.

Konvergenz von Reihen

Wenn auf einem Grundraum Abstände mit einer Metrik oder Längen von Vektoren mit einer Norm messen kann, kann man die Reihenkonvergenz analog zur Folgenkonvergenz definieren. Eine Reihe $\sum_{k = 1}^{\infty} a_{k}$ konvergiert, wenn die zugehörige Folge der Partialsummen $(s_{n})_{n \in ℕ} := {(\sum_{k = 1}^{n} a_{k})}_{n \in ℕ}$ konvergiert.

Absolute Konvergenz

Eine Reihe $\sum_{k = 1}^{\infty} a_{k}$ heißt absolut konvergent, wenn die Reihe $\sum_{k = 1}^{\infty} | a_{k} |$ konvergiert, d.h., dass die Folge der Partialsummen $(s_{n})_{n \in ℕ} := {(\sum_{k = 1}^{n} | a_{k} |)}_{n \in ℕ}$ konvergiert.

Aufgabe

Zeigen Sie, dass die komplexwertige Reihe $\sum_{k = 1}^{\infty} (- 1)^{k} \cdot \frac{1}{k} \cdot i$ konvergiert, aber nicht absolut konvergiert. Nutzen Sie dazu Sätze und Kenntnisse aus der reellen Analysis.
Überprüfen Sie die folgende Reihe $\sum_{k = 1}^{\infty} (i)^{k} \cdot 2^{- k + 2}$ auf Konvergenz. Berechnen Sie die ersten Folgenglieder und tragen Sie diese in der Gaußschen Zahlenebene ein. Erläutern Sie, warum die Folge der Partialsummen diese geometrische Eigenschaften besitzt. Berechnen Sie ggf. den Grenzwert der Reihe, wenn dieser existiert.

Reihe als mathematisches Objekt

Die Notation einer Reihe $\sum_{k = 1}^{\infty} a_{k}$ bezeichnet algebraisch keine Folge $(s_{n})_{n \in ℕ}$ , sondern im Falle einer Konvergenz eine komplexe Zahl als Grenzwert der Folge der Partialsummen $s_{0} := lim_{n \to \infty} \sum_{k = 1}^{n} a_{k}$ .

\sum_{k = 1}^{\infty} a_{k} = s_{0} := lim_{n \to \infty} s_{n}

mit

s_{n} := \sum_{k = 1}^{n} a_{k} .

Notation

Für den Grenzwert $s_{0} \in ℂ$ einer Reihe $\sum_{n = 1}^{\infty} a_{n}$ mit $(a_{n})_{n \in ℕ} \in ℂ^{ℕ}$ schreibt man:

\sum_{n = 1}^{\infty} a_{n} = s_{0}

Reihenkonvergenz

Sei $(a_{n})_{n \in ℕ} \in ℂ^{ℕ}$ eine komplexe Zahlenfolge und $s_{0} \in ℂ$ . Die Konvergenz der Reihe bezeichnet die Konvergenz der Partialsummen $s_{n} = \sum_{k = 1}^{n} a_{k}$ gegen $s_{0}$ , d.h:

\sum_{n = 1}^{\infty} a_{n} = s_{0} : \Leftrightarrow \forall ε > 0 \exists n_{ε} \in ℕ \forall n \geq n_{ε} : | s_{n} - s_{0} | < ε .

Dabei gilt $| s_{n} - s_{0} | = | \sum_{k = 1}^{n} a_{k} - s_{0} | < ε$ .

Konvergenz von Reihen mit Koeffizienten aus einer Algebra

Die Betrachtung von Reihenkonvergenz ist eine Spezialfall der Reihenkonvergenz in einem topologischen Vektorraum bzw. auf einer topologischen Algebra.

Topologischer Vektorraum

Dabei liefert der topologische Vektorraum $V$

eine additive Verknüpfung, um Vektoren für die Partialsummen $s_{n} := \sum_{k = 1}^{n} a_{n}$ berechnen und
eine Topologie, um auf Konvergenz der Folge von Partialsummen $(s_{n})_{n \in ℕ}$ untersuchen zu können.

Aufgabe - Reihenkonverenz in einem topologischen Vektorraum

Sei $a_{n} := (\begin{matrix} 2^{- n} \\ 3^{- n} \\ 4^{- n} \end{matrix}) \in ℝ^{3}$ . Berechnen Sie den Grenzwert der Reihe $g := \sum_{k = 0}^{\infty} a_{n} \in ℝ^{3}$ als einführendes Beispiel mit den Werkzeugen der Analysis! Erläutern Sie die Gemeinsamkeiten und Unterschiede der Reihenkonvergenz in topologischen Vektorräume und dem Spezialfall $ℂ$ . Übertragen Sie den Begriff der Konvergenz bzw. absoluten Konvergenz auf topologische Vektorräume, wenn der $(V, ‖ \cdot ‖)$ wie im Fall $V = ℝ^{3}$ ein normierte topologischer Vektorraum ist.

Topologische Algebra - Potenzreihen

Mit einer topologischen Algebra $A$ kann die Potenzreihenalgebra $\overline{A [t]}$

topologisiert werden und der topologische Abschluss der Polynomalgebra $A [t]$ betrachtet werden
eine Topologie wird dabei über Summation der gewichteten Vektorlängen von Kooeffizienten erzeugt, um dann die Vervollständigung des Raumes betrachten zu können,
additive und multiplikative Verknüpfung liefert über das Cauchy-Produkt auch eine Multiplikation auf der Polynomalgebra $A [t]$ und die Potenzreihenalgebra $\overline{A [t]}$ .

Beispiel - Polynomalgebra und Konvexkombinationen

Betrachtet man Konvexkombinationen der Ordnung $n \in ℕ$ in dem Vektorraum $ℝ^{3}$ , so stellen diese Polynome der Ordnung $n \in ℕ$ mit Koeffizienten in $ℝ^{3}$ dar.

Mit CAS4Wiki kann die Spur der dreidimensionalen Konvexkombination der Ordnung 3 geplottet werden.

CAS4Wiki Commands

Literatur

Bourbaki: Éléments de mathématique. Theorie des Ensembles II/ III, Paris 1970
Harro Heuser: Lehrbuch der Analysis, Teil 1, Teubner Verlag, Stuttgart

Weblinks

Siehe auch

Seiten-Information

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Grundlagen' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

Wiki2Reveal

Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Kurs:Funktionentheorie/Folgen
siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.

Wikipedia2Wikiversity

Diese Seite wurde auf Basis der folgenden Wikipedia-Quelle erstellt: