www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen
   Einstieg
   
   Index aller Artikel
   
   Hilfe / Dokumentation
   Richtlinien
   Textgestaltung
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Konvergenz
Mach mit! und verbessere/erweitere diesen Artikel!
Artikel • Seite bearbeiten • Versionen/Autoren

Konvergenz

(Weitergeleitet von Grenzwert)

Definition Grenzwert

Eine Zahl g heißt Grenzwert der Zahlenfolge $ (a_n)_{n \in \IN} $,
wenn nach Vorgabe irgendeiner positiven (kleinen) Zahl $ \epsilon $ fast alle Folgenglieder die Ungleichung $ |a_n - g| < \epsilon $ erfüllen.

"Fast alle" bedeutet dabei, dass es nur endlich viele Ausnahmen gibt.

Analog dazu spricht man auch vom Grenzwert einer Funktion


$ \lim_{0 \not=h \to 0} f(x_0 + h) $,

dabei stellt man sich vor, dass man feststellen möchte, welchen (festen) Wert f an der Stelle $ x_0 $ annimmt, obwohl man $ f(x_0) $ nicht ausrechnen kann, weil vielleicht $ x_0 $ nicht zum Definitionsbereich der Funktion gehört.
(siehe auch Differenzenquotient, stetig )


Anders gesagt:
In jeder noch so kleinen Umgebung von g liegen "fast alle" Folgenglieder.

Man schreibt dann: $ \lim_{n \to \infty}a_n = g $ .

Wenn eine Folge einen Grenzwert besitzt, dann nennt man sie konvergent.

In mathematischen Symbolen:
Sei $ (a_n)_{n \in \IN} $ eine Zahlenfolge. Dann heißt $ (a_n)_{n \in \IN} $ konvergent, falls:

$ \exists g: $ $ \forall \varepsilon>0: $ $ \exists N=N_{\varepsilon}: $ $ \forall n > N: $ $ |a_n-g|<\varepsilon $.

Wenn sie keinen Grenzwert besitzt, nennt man sie divergent.

(Bemerkung: Die Folge $ (a_n)_{n \in \IN} $ heißt also divergent (oder nicht konvergent),
falls:
$ \forall d: $ $ \exists \varepsilon=\varepsilon_d>0: $ $ \forall N' \in \IN: $ $ \exists n' > N': $ $ |a_{n'}-d\,|\ge \varepsilon $.)


Bemerkungen.

1.) Folgen, die als Grenzwert 0 haben, nennt man Nullfolgen.

2.) Eine (reell- oder komplexwertige) Folge $ (a_n)_n $ konvergiert genau dann, wenn es ein $ g\, $ in $ \IR $ so gibt, dass $ (a_n-g)_n $ (oder $ (g-a_n)_n $) eine Nullfolge ist.

Insbesondere gilt: Genau dann gilt $ a_n \underset{n \to \infty}{\longrightarrow}g\,, $ wenn $ a_n-g \underset{n \to \infty}{\longrightarrow}0 $ (bzw. $ g-a_n \underset{n \to \infty}{\longrightarrow}0 $).

3.) Es sei (X,d) ein metrischer Raum. Dann heißt eine Folge $ (x_n)_{n \in \IN} $ in X konvergent, falls:

$ \exists x \in X: $ $ \forall \varepsilon>0: $ $ \exists N=N_{\varepsilon}: $ $ \forall n > N: $ $ d(x_n,x)<\varepsilon $.

Hierbei heißt $ x \in X $ der Grenzwert der Folge $ (x_n)_{n \in \IN} $ und ist eindeutig bestimmt, denn:

Seien $ x_1,x_2 \in X $ Grenzwerte der Folge $ (x_n)_{n \in \IN} $ in X und es sei $ \varepsilon>0 $ gegeben. Wir setzen $ \varepsilon':=\frac{\varepsilon}{2} $.

Dann existiert ein $ N'=N'_{\varepsilon'} $, so dass gilt:
$ (\star) $ $ d(x_n,x_1)<\varepsilon' $ $ \forall n>N' $.

Weiter existiert ein $ N''=N''_{\varepsilon'} $, so dass gilt:

$ (\star \star) $ $ d(x_n,x_2)<\varepsilon' $ $ \forall n>N'' $.

Also gilt für alle $ n > max\{N';N''\} $:

$ d(x_1,x_2) \le d(x_1,x_n)+d(x_n,x_2)\stackrel{(\star),(\star \star)}{<} \varepsilon'+\varepsilon'=2\cdot{}\varepsilon'=2\cdot{}\frac{\varepsilon}{2}=\varepsilon $.
Da $ \varepsilon>0 $ beliebig war, folgt:
$ d(x_1,x_2)=0 $ und damit $ x_1=x_2 $.            $ \Box $

(Ergänzung zu dem Beweis:

$ (\star \star \star) $Wenn für $ x_1,x_2 \in X $ gilt, dass für alle $ \varepsilon>0 $ die Ungleichung $ d(x_1,x_2)<\varepsilon $ erfüllt ist, dann folgt daraus, dass $ x_1=x_2 $ gilt.

Denn:

Es gelte $ (\star \star \star) $ und angenommen, es wäre $ x_1\not=x_2 $. Dann folgt:

$ d(x_1,x_2)>0 $. Wir setzen $ \varepsilon':=\frac{d(x_1,x_2)}{2}>0 $ und erhalten:

$ \varepsilon'=\frac{d(x_1,x_2)}{2}<d(x_1,x_2) $. Mit anderen Worten:

Wir haben ein $ \varepsilon'>0 $ gefunden, so dass $ d(x_1,x_2)>\varepsilon' $ gilt im Widerspruch zu $ (\star \star \star) $.    $ \Box $)

siehe auch: Grenzwertsätze

Erstellt: Fr 01.10.2004 von informix
Letzte Änderung: Mo 09.08.2010 um 07:39 von Marcel
Artikel • Seite bearbeiten • Versionen/Autoren • Titel ändern • Artikel löschen • Quelltext
^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]