Konzentrierte Folge

Konzentrierte Folge

Als Cauchy-Folge wird in der Mathematik eine Folge mit einer speziellen Eigenschaft bezeichnet, die eng mit dem Begriff der Konvergenz zusammenhängt. Diese Folgen sind nach dem französischen Mathematiker Augustin Louis Cauchy benannt und von grundlegender Bedeutung für den Aufbau der Analysis.

Cauchy-Folgen werden zuweilen auch als Fundamentalfolgen, konzentrierte Folgen oder in sich konvergente Folgen bezeichnet.

Inhaltsverzeichnis

Definition

Eine Folge (a_i)_{i\in \mathbb{N}} heißt Cauchyfolge, wenn es zu jedem \varepsilon>0 einen Index N gibt, so dass ab diesem Index alle Folgenglieder weniger als \varepsilon voneinander entfernt sind.

Für rationale oder reelle Zahlenfolgen kann man auch sagen, dass es zu jeder noch so kleinen positiven Zahl \varepsilon ein Intervall der Länge 2\varepsilon gibt, in dem fast alle Folgenglieder liegen.

In Formeln lautet die oben genannte Definition:

 (a_i)_{i\in \mathbb{N}} \;\text{ ist Cauchyfolge }\quad \iff \quad \forall \varepsilon>0 \; \exists N\in\mathbb{N} \; \forall m,n \ge N: \;\left|a_m-a_n \right|<\varepsilon

Dies entspricht weitgehend der Definition für konvergente Folgen, jedoch kommt der Grenzwert selbst (also das a in der Definition der Konvergenz) hier nicht vor.

Motivation am Beispiel der rationalen Zahlen

In der Tat gibt es in der Menge \mathbb{Q} der rationalen Zahlen auch Folgen, deren Folgenglieder sich in der beschriebenen Weise „häufen“, ohne einen (rationalen!) Grenzwert zu haben.

Ein Beispiel hierfür ist die Folge, die sich mit der folgenden Bildungsvorschrift ergibt:

a_1:=1,\quad a_{i+1}:=\frac{a_i}{2} + \frac{1}{a_i}

Diese Folge (a_i)_{i\in \mathbb{N}} rationaler Zahlen hat als Grenzwert \sqrt{2}, aber da diese Zahl irrational ist, konvergiert die Folge nicht in \mathbb{Q}. Dennoch lässt sich nachweisen, dass die Folge die Cauchy-Eigenschaft besitzt.

Die Problematik, dass in der Menge \mathbb{Q} der rationalen Zahlen viele Grenzwerte von Cauchy-Folgen nicht enthalten sind, führte zu der Idee der Vervollständigung des Zahlenbereichs auf die Menge \mathbb{R} der reellen Zahlen.

Siehe Hauptartikel Vervollständigung

In einem vollständigen Raum konvergiert jede Cauchyfolge, das heißt, in einem solchen Raum besitzt jede Cauchy-Folge einen Grenzwert, der Element des Raumes ist.

Der Begriff der Konvergenz fällt in solchen Räumen mit dem Begriff der Cauchy-Folge zusammen.

Cauchy-Folgen in metrischen Räumen

In der Regel definiert man den Begriff der Cauchy-Folge für eine beliebige Menge X, auf der eine Metrik d gegeben ist. Das Paar (X,d) nennt man dann einen metrischen Raum. Ein Beispiel hierfür ist etwa die Menge der rationalen Zahlen oder der reellen Zahlen mit dem gewöhnlichen Abstand d(x,y) = | xy | (vgl. oben).

Definition

Sei (X,d) ein metrischer Raum. Eine Folge (x_i) _{i\in \mathbb{N}} in X heißt Cauchy-Folge, wenn gilt:

\forall \varepsilon>0 \ \exists N\in\N\ \forall m,n\in\N:\  m>N, n>N\implies d(x_m, x_n) < \varepsilon

Das bedeutet: Zu jedem reellen \varepsilon > 0 gibt es eine natürliche Zahl N (Index), so dass für alle natürlichen Zahlen m,n > N gilt: d(x_m, x_n) < \varepsilon. Geometrisch verständlicher ist die (äquivalente, aber nicht identische) Formulierung:

Für jeden Radius \varepsilon > 0, und sei er noch so klein, gibt es ein Folgenglied xN (welches einen sehr großen Index N aufweisen kann), so dass alle nachfolgenden Folgenglieder xn in der offenen Kugel B(x_N, \varepsilon) um den Punkt xN mit Radius \varepsilon liegen.

Beispiele

Soweit nicht anders erwähnt, beziehen sich die Beispiele auf die reellen Zahlen mit dem gewöhnlichen Abstand.

  • Die Folge (x_i)_{i\in \mathbb{N}} = \left(\tfrac{1}{i}\right)_{i\in \mathbb{N}} ist eine Cauchy-Folge:
Sei \varepsilon>0 beliebig vorgegeben. Wähle N so, dass N>\frac{1}{\varepsilon} erfüllt ist. Seien n\geq m>N beliebig, dann gilt:
d(x_m, x_n) = \left|\frac{1}{m} - \frac{1}{n}\right| = \left|\frac{n-m}{mn}\right| \leq \frac{n}{mn} = \frac{1}{m} < \frac{1}{N} < \varepsilon
  • Die Folge (x_i)_{i\in \mathbb{N}} = (i)_{i\in \mathbb{N}} ist keine Cauchy-Folge:
Sei \varepsilon=\tfrac12 gewählt, und N eine beliebige natürliche Zahl. Dann wähle m = N + 1 und n = m + 1. Es ist dann
d\left(x_n, x_m\right) = |n-m| = 1 > \varepsilon,
die Bedingung einer Cauchy-Folge ist also nicht erfüllt.

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Cauchy-Folge — Als Cauchy Folge wird in der Mathematik eine Folge mit einer speziellen Eigenschaft bezeichnet, die eng mit dem Begriff der Konvergenz zusammenhängt. Diese Folgen sind nach dem französischen Mathematiker Augustin Louis Cauchy benannt und von… …   Deutsch Wikipedia

  • Fundamentale Folge — Als Cauchy Folge wird in der Mathematik eine Folge mit einer speziellen Eigenschaft bezeichnet, die eng mit dem Begriff der Konvergenz zusammenhängt. Diese Folgen sind nach dem französischen Mathematiker Augustin Louis Cauchy benannt und von… …   Deutsch Wikipedia

  • In sich konvergente Folge — Als Cauchy Folge wird in der Mathematik eine Folge mit einer speziellen Eigenschaft bezeichnet, die eng mit dem Begriff der Konvergenz zusammenhängt. Diese Folgen sind nach dem französischen Mathematiker Augustin Louis Cauchy benannt und von… …   Deutsch Wikipedia

  • Das Ende (Lost) — Folge der Serie Lost Titel Das Ende Originaltitel The End …   Deutsch Wikipedia

  • Großer Nordischer Krieg — Gemäldezusammenschnitt dem Uhrzeigersinn nach: Schlacht von Polta …   Deutsch Wikipedia

  • 2. Weltkrieg — Zweiter Weltkrieg – Weltweite Bündnisse 1939–1945 Kriegsverlauf in Europa (Animation) hochauflösende Version …   Deutsch Wikipedia

  • II. Weltkrieg — Zweiter Weltkrieg – Weltweite Bündnisse 1939–1945 Kriegsverlauf in Europa (Animation) hochauflösende Version …   Deutsch Wikipedia

  • WW2 — Zweiter Weltkrieg – Weltweite Bündnisse 1939–1945 Kriegsverlauf in Europa (Animation) hochauflösende Version …   Deutsch Wikipedia

  • Wk2 — Zweiter Weltkrieg – Weltweite Bündnisse 1939–1945 Kriegsverlauf in Europa (Animation) hochauflösende Version …   Deutsch Wikipedia

  • Scuderia-Ferrari — Ferrari Name Scuderia Ferrari Marlboro Unternehmen Ferrari SpA Unternehmenssitz Maranello (I) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”