Processing math: 18%
 

5.5. Eigenschaften konvergenter Folgen


Wir untersuchen zunächst, ob die Konvergenz einer Folge Aussagen über ihre Monotonie bzw. ihre Beschränktheit zuläßt.

Da es unter den konvergenten Folgen sowohl monotone wie auch nicht-monotone gibt, und unter den divergenten ebenfalls, besteht zwischen der Monotonie und der Konvergenz kein Zusammenhang.

Ein wenig besser verhält sich dagegen die Beschränktheit zur Konvergenz: Zwar gibt es divergente Folgen, die beschränkt sind, wie etwa  ((1)n), aber aus der Konvergenz folgt stets die Beschränktheit.

Bemerkung:  

Jede konvergente Folge ist beschränkt.

[5.5.1]

Beweis:  Ist etwa ang, so gibt es gemäß [5.4.2] insbesondere zu 1 ein  n0, so dass

g1<an<g+1  für alle  nn0.

Damit hat man aber für alle  n:
 

min{g1,a1,,an01}anmax{g+1,a1,,an01}.

Als eine Folgerung ergibt sich ein neues Kriterium für die Divergenz einer Folge:

Unbeschränkte Folgen sind stets divergent.

Die Divergenz von (n) etwa, läßt sich also auch durch ihre Unbeschränktheit erklären.

Zwei weitere Eigenschaften beleuchten das Zusammenspiel zwischen der Lage der Folgenglieder und der des Grenzwerts:

Bemerkung:  Es sei ang. Dann gilt für jedes c:

g>can>c   für alle n ab einem geeignetem n0

g<can<c   für alle n ab einem geeignetem n0

[5.5.2]
 

anc  für alle ngc

anc  für alle ngc

[5.5.3]

Beweis:  Wir zeigen jeweils nur die erste Variante.
1.  

Sei g>c, also r. Da a n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3AD1@ , liegen in der speziellen ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyTdugaaa@3790@ -Umgebung ]gr,g+r[ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiyxaiaadEgacqGHsislcqaH1oqzcaGGSaGaam4zaiabgUcaRiabew7aLjaacUfaaaa@3F51@ ab einem n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIWaaabeaaaaa@37C2@ alle Folgenglieder. D.h. insbesondere

a n >gr=g(gc)=c   für alle n n 0 . MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabg6da+iaadEgacqGHsislcaWGYbGaeyypa0Jaam4zaiabgkHiTiaacIcacaWGNbGaeyOeI0Iaam4yaiaacMcacqGH9aqpcaWGJbGaaeOzaiaabYpacaqGYbGaaeiiaiaabggacaqGSbGaaeiBaiaabwgacaWGUbGaeyyzImRaamOBamaaBaaaleaacaaIWaaabeaaaaa@50F3@

2.  

Wir gehen indirekt vor und nehmen an: g<c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgYda8iaadogaaaa@3841@ . Nach 1. ist dann aber a n <c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgYda8iaadogaaaa@3964@ für fast alle n im Widerspruch zu a n c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgwMiZkaadogaaaa@3A26@ für alle n.

Beachte:

  • 1. benutzt man oft, und zwar insbesondere für c=0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yaiabg2da9iaaicdaaaa@3811@ , in der folgenden Form:
     

    gc a n c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgcMi5kaadogacqGHshI3caWGHbWaaSbaaSqaaiaad6gaaeqaaOGaeyiyIKRaam4yaaaa@401F@    für alle n ab einem geeigneten n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIWaaabeaaaaa@3742@

    [5.5.4]

  • Wie das Beispiel 0< 1 n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgYda8maalaaabaGaaGymaaqaaiaad6gaaaGaeyOKH4QaaGimaaaa@3B8C@ zeigt, läßt sich 2. nicht verschärfen indem man etwa MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyyzImlaaa@372F@ durch > MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOpa4daaa@3671@ ersetzt.

  • Wegen  a n g a n+k g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgacqGHuhY2caWGHbWaaSbaaSqaaiaad6gacqGHRaWkcaWGRbaabeaakiabgkziUkaadEgaaaa@4367@   darf man allerdings in 2. die Voraussetzung durch die Formulierung "für fast alle n" abschwächen.

  • Die beiden Aussagen in 2. kann man offensichtlich kombinieren zu:
     

    a n [a,b]  für fast alle  ng[a,b] MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgIGiolaacUfacaWGHbGaaiilaiaadkgacaGGDbGaaeOzaiaabYpacaqGYbGaaeiiaiaabAgacaqGHbGaae4CaiaabshacaqGGaGaaeyyaiaabYgacaqGSbGaaeyzaiaad6gacqGHshI3caWGNbGaeyicI4Saai4waiaadggacaGGSaGaamOyaiaac2faaaa@533D@

    [5.5.5]

     

Bei Konvergenzuntersuchungen von Nullfolgen darf man sich auf positive Folgen beschränken. Das ist oftmals eine angenehme technische Erleichterung:

Bemerkung:  Es sei ( a n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadggadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3951@ irgendeine Folge. Dann gilt:

a n 0| a n |0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaaicdacqGHuhY2caGG8bGaamyyamaaBaaaleaacaWGUbaabeaakiaacYhacqGHsgIRcaaIWaaaaa@4331@
[5.5.6]

Beweis:  Aus der Gleichheit | a n 0|=| a n |=|| a n |0| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHsislcaaIWaGaaiiFaiabg2da9iaacYhacaWGHbWaaSbaaSqaaiaad6gaaeqaaOGaaiiFaiabg2da9iaacYhacaGG8bGaamyyamaaBaaaleaacaWGUbaabeaakiaacYhacqGHsislcaaIWaGaaiiFaaaa@48F0@ erhält man für jedes ε>0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyTduMaeyOpa4JaaGimaaaa@38D2@ :

| a n 0|<ε|| a n |0|<ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHsislcaaIWaGaaiiFaiabgYda8iabew7aLjabgsDiBlaacYhacaGG8bGaamyyamaaBaaaleaacaWGUbaabeaakiaacYhacqGHsislcaaIWaGaaiiFaiabgYda8iabew7aLbaa@4A87@

und daraus unmittelbar die Behauptung.

Als Beispiel untersuchen wir die Folge ( (1) n n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikamaalaaabaGaaiikaiabgkHiTiaaigdacaGGPaWaaWbaaSqabeaacaWGUbaaaaGcbaGaamOBaaaacaGGPaaaaa@3C70@ . Da | (1) n n |= 1 n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaalaaabaGaaiikaiabgkHiTiaaigdacaGGPaWaaWbaaSqabeaacaWGUbaaaaGcbaGaamOBaaaacaGG8bGaeyypa0ZaaSaaaeaacaaIXaaabaGaamOBaaaacqGHsgIRcaaIWaaaaa@4282@   folgt:

(1) n n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSaaaeaacaGGOaGaeyOeI0IaaGymaiaacMcadaahaaWcbeqaaiaad6gaaaaakeaacaWGUbaaaiabgkziUkaaicdaaaa@3DBE@

 

Die Glieder einer konvergenten Folge kommen dem Grenzwert beliebig nah. Das hat Konsequenzen auf die Beziehung der Folgenglieder untereinander: Auch sie müssen beliebig nah aneinander rücken. Die in der folgenden Bemerkung genannte Eigenschaft nennt man auch die Cauchy-Bedingung.

Bemerkung:  Ist a n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A51@ , so gibt es zu jedem ε>0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyTduMaeyOpa4JaaGimaaaa@38D2@ ein  n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIWaaabeaakiabgIGiolablwriLoaaCaaaleqabaGaey4fIOcaaaaa@3B58@ , so dass

| a n a m |<ε  für alle  n,m n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHsislcaWGHbWaaSbaaSqaaiaad2gaaeqaaOGaaiiFaiabgYda8iabew7aLjaabAgacaqG8dGaaeOCaiaabccacaqGHbGaaeiBaiaabYgacaqGLbGaamOBaiaacYcacaWGTbGaeyyzImRaamOBamaaBaaaleaacaaIWaaabeaaaaa@4CFC@
[5.5.7]

Beweis:  Zunächst findet man auf Grund der Konvergenz ein  n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIWaaabeaakiabgIGiolablwriLoaaCaaaleqabaGaey4fIOcaaaaa@3B58@ , so dass

| a n g|< ε 2   für alle  n n 0 . MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHsislcaWGNbGaaiiFaiabgYda8maalaaabaGaeqyTdugabaGaaGOmaaaacaqGMbGaaei=aiaabkhacaqGGaGaaeyyaiaabYgacaqGSbGaaeyzaiaad6gacqGHLjYScaWGUbWaaSbaaSqaaiaaicdaaeqaaaaa@4B04@

Für n,m n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiaacYcacaWGTbGaeyyzImRaamOBamaaBaaaleaacaaIWaaabeaaaaa@3B9D@ hat man daher nach Dreiecksungleichung die folgende Abschätzung:

| a n a m |=| a n g+g a m || a n g|+| a m g|< ε 2 + ε 2 =ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHsislcaWGHbWaaSbaaSqaaiaad2gaaeqaaOGaaiiFaiabg2da9iaacYhacaWGHbWaaSbaaSqaaiaad6gaaeqaaOGaeyOeI0Iaam4zaiabgUcaRiaadEgacqGHsislcaWGHbWaaSbaaSqaaiaad2gaaeqaaOGaaiiFaiabgsMiJkaacYhacaWGHbWaaSbaaSqaaiaad6gaaeqaaOGaeyOeI0Iaam4zaiaacYhacqGHRaWkcaGG8bGaamyyamaaBaaaleaacaWGTbaabeaakiabgkHiTiaadEgacaGG8bGaeyipaWZaaSaaaeaacqaH1oqzaeaacaaIYaaaaiabgUcaRmaalaaabaGaeqyTdugabaGaaGOmaaaacqGH9aqpcqaH1oqzaaa@6009@

Ein interessante Frage ist, ob die Cauchy-Bedingung die Konvergenz bereits erzwingt. Im Allgemeinen ist dies falsch. So gibt es in MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeSOgHqkaaa@36D9@ divergente Folgen, die die Cauchy-Bedingung erfüllen! In MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeSyhHekaaa@36D9@ jedoch liegen besondere Verhältnisse vor; und hier sind tatsächlich Cauchy-Folgen auch bereits konvergent wie wir im Abschnitt 8 sehen werden.
 

Wir beschließen diesen Abschnitt mit dem Schachtelsatz, einem Konvergenzkriterium, das bei manchen "schwierigen" Folgen gut eingesetzt werden kann.

Bemerkung (Schachtelsatz):   ( a n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadggadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3951@ , ( b n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadkgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3952@ und ( c n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadogadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3953@ seien drei Folgen, so dass

a n b n c n   für alle  n MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgsMiJkaadkgadaWgaaWcbaGaamOBaaqabaGccqGHKjYOcaWGJbWaaSbaaSqaaiaad6gaaeqaaOGaaeOzaiaabYpacaqGYbGaaeiiaiaabggacaqGSbGaaeiBaiaabwgacaWGUbGaeyicI4SaeSyfHu6aaWbaaSqabeaacqGHxiIkaaaaaa@4BAC@ .

Sind ( a n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadggadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3951@ und ( c n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadogadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3953@ konvergent gegen denselben Grenzwert g, also a n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A51@ und c n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A53@ , so konvergiert ( b n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadkgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3952@ ebenfalls gegen g:

b n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A52@
[5.5.8]

Beweis:  Wir arbeiten mit dem Konvergenzkriterium [5.4.2]. Sei ε>0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyTduMaeyOpa4JaaGimaaaa@38D2@ vorgegeben. Da a n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A51@ , gibt es ein  n 1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIXaaabeaakiabgIGiolablwriLoaaCaaaleqabaGaey4fIOcaaaaa@3B59@ , so dass

gε< a n <g+ε  für alle  n n 1 . MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgkHiTiabew7aLjabgYda8iaadggadaWgaaWcbaGaamOBaaqabaGccqGH8aapcaWGNbGaey4kaSIaeqyTduMaaeOzaiaabYpacaqGYbGaaeiiaiaabggacaqGSbGaaeiBaiaabwgacaWGUbGaeyyzImRaamOBamaaBaaaleaacaaIXaaabeaaaaa@4CB2@

Ebenso findet man ein  n 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIYaaabeaakiabgIGiolablwriLoaaCaaaleqabaGaey4fIOcaaaaa@3B5A@ , derart dass

gε< c n <g+ε  für alle  n n 2 . MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgkHiTiabew7aLjabgYda8iaadogadaWgaaWcbaGaamOBaaqabaGccqGH8aapcaWGNbGaey4kaSIaeqyTduMaaeOzaiaabYpacaqGYbGaaeiiaiaabggacaqGSbGaaeiBaiaabwgacaWGUbGaeyyzImRaamOBamaaBaaaleaacaaIYaaabeaaaaa@4CB5@

Für alle n n 0 max{ n 1 , n 2 } MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabgwMiZkaad6gadaWgaaWcbaGaaGimaaqabaGccqGH9aqpciGGTbGaaiyyaiaacIhacaGG7bGaamOBamaaBaaaleaacaaIXaaabeaakiaacYcacaWGUbWaaSbaaSqaaiaaikdaaeqaaOGaaiyFaaaa@4458@ gilt daher der Reihe nach:

gε< a n b n c n <g+ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgkHiTiabew7aLjabgYda8iaadggadaWgaaWcbaGaamOBaaqabaGccqGHKjYOcaWGIbWaaSbaaSqaaiaad6gaaeqaaOGaeyizImQaam4yamaaBaaaleaacaWGUbaabeaakiabgYda8iaadEgacqGHRaWkcqaH1oqzaaa@4800@
 
gε< b n <g+ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgkHiTiabew7aLjabgYda8iaadkgadaWgaaWcbaGaamOBaaqabaGccqGH8aapcaWGNbGaey4kaSIaeqyTdugaaa@4076@

Also ist die Konvergenz b n g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOyamaaBaaaleaacaWGUbaabeaakiabgkziUkaadEgaaaa@3A52@ sicher gestellt.

Beachte:

  • "Wie üblich" darf man die Voraussetzung abschwächen zu:  a n b n c n MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgsMiJkaadkgadaWgaaWcbaGaamOBaaqabaGccqGHKjYOcaWGJbWaaSbaaSqaaiaad6gaaeqaaaaa@3EF9@   für fast alle n.


     

Beispiel:  

sinn n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSaaaeaaciGGZbGaaiyAaiaac6gacaWGUbaabaGaamOBaaaacqGHsgIRcaaIWaaaaa@3CDE@
[5.5.9]

Beweis:  Da alle Sinuswerte zwischen −1 und 1 liegen, hat man für alle n die folgende Abschätzung; mit den angegebenen Konvergenzen folgt dann die Behauptung aus dem Schachtelsatz.

1 n sinn n 1 n 0 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeqabiWaaaqaamaaxababaGaeyOeI0YaaSaaaeaacaaIXaaabaGaamOBaaaaaSqaaiabgoziVcqabaaakeaacqGHKjYOdaWcaaqaaiGacohacaGGPbGaaiOBaiaad6gaaeaacaWGUbaaaiabgsMiJcqaamaaxababaWaaSaaaeaacaaIXaaabaGaamOBaaaaaSqaaiabgoziVcqabaaakeaacaaIWaaabaaabaGaaGimaaaaaaa@47F5@

Dieses Beispiel läßt sich leicht verallgemeinern, denn von (sinn) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiGacohacaGGPbGaaiOBaiaad6gacaGGPaaaaa@3A8D@ wurde im Prinzip nur die Beschränktheit und von ( 1 n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikamaalaaabaGaaGymaaqaaiaad6gaaaGaaiykaaaa@3880@ nur die Konvergenz gegen 0 ausgenutzt.

Bemerkung:  Ist ( a n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadggadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3951@ beschränkt und ( b n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadkgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3952@ eine Nullfolge, so gilt:

a n b n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyamaaBaaaleaacaWGUbaabeaakiabgwSixlaadkgadaWgaaWcbaGaamOBaaqabaGccqGHsgIRcaaIWaaaaa@3E79@
[5.5.10]

Beweis:  Nach [5.5.6] reicht es zu zeigen: | a n b n |0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccqGHflY1caWGIbWaaSbaaSqaaiaad6gaaeqaaOGaaiiFaiabgkziUkaaicdaaaa@4079@ .  Da ( a n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadggadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3951@ beschränkt ist, gibt es ein s >0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CaiabgIGiolabl2riHoaaCaaaleqabaGaeyOpa4JaaGimaaaaaaa@3B44@ , so dass | a n |s MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadggadaWgaaWcbaGaamOBaaqabaGccaGG8bGaeyizImQaam4Caaaa@3C25@ für alle n. Also hat man:

0| a n b n |=| a n || b n |s| b n | MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=qqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgsMiJkaacYhacaWGHbWaaSbaaSqaaiaad6gaaeqaaOGaeyyXICTaamOyamaaBaaaleaacaWGUbaabeaakiaacYhacqGH9aqpcaGG8bGaamyyamaaBaaaleaacaWGUbaabeaakiaacYhacqGHflY1caGG8bGaamOyamaaBaaaleaacaWGUbaabeaakiaacYhacqGHKjYOcaWGZbGaeyyXICTaaiiFaiaadkgadaWgaaWcbaGaamOBaaqabaGccaGG8baaaa@54B7@

Mit ( b n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadkgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3952@ ist gemäß [5.5.6] auch (| b n |) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaacYhacaWGIbWaaSbaaSqaaiaad6gaaeqaaOGaaiiFaiaacMcaaaa@3B52@ eine Nullfolge. Nach [5.6.5] hat man daher: s| b n |0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4CaiabgwSixlaacYhacaWGIbWaaSbaaSqaaiaad6gaaeqaaOGaaiiFaiabgkziUkaaicdaaaa@3FE2@ . Da außerdem 00 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgkziUkaaicdaaaa@394A@ , folgt nun die Behauptung aus dem Schachtelsatz.


5.4. 5.6.