Der Satz von Bolzano und Weierstra

und das
Cauchy-Kriterium fr Folgen in
Arno Fehringer , Juni 2016

Der Satz von Bolzano und Weierstra und das Cauchy-Kriterium fr Folgen in IR

Intervallschachtelungsaxiom
[IA]

Jede Intervallschachtelung

[ A n ,Bn ]n

hat genau ein Zentrum

z .

Satz von Bolzano und Weierstra

(1)

Jede beschrnkte Folge ( an )n

Hufungspunkt H* und
H* .

hat einen grten und einen kleinsten

(2)

Der Punkt H ist Hufungspunkt der Folge ( an )n

wenn es eine gegen
H konvergente Teilfolge

genau dann,
gibt .

(an )k
k

Beweis (1) :
Man zeigt zunchst die Existenz des grten Hufungspunktes
Es gelte fr alle
Sei

n : A1 an B1 . Setze

M die Mitte von

Sowohl
(an )n

[ A 1 , B1 ]

[ A 1 ,M ]

und

H* :

I1 := [ A 1 ,B1 ] .

. Es gibt nur 3 mgliche Konstellationen :

[ M,B1 ]

enthalten unendlich viele Folgenglieder von

II

Nur

[ M,B1 ]

enthlt unendlich viele Folgenglieder .

III

Nur

[ A 1 ,M ]

enthlt unendlich viele Folgenglieder .

In den Fllen I, II setze :

I2 = [ A 2, B2 ] := [M ,B1 ] .

Ansonsten setze :

I2 = [ A 2, B2 ] := [ A 1 ,M ] .

Fhrt man in dieser Weise fort, erhlt man eine Intervallschachtelung

dem Intervallschachtelungsaxiom das Zentrum H* hat .

( In )n

, die nach

Nach Konstruktion der Intervallschachtelung liegen also oberhalb jedes Intervalls

In hchstens endlich viele Folgenglieder !
Sei nun

> 0

vorgegeben. Dann gibt es ein

enthlt
und damit
In
Hufungspunkt .
0

U ( H

n0 mit

unendlich viele

an

Der Satz von Bolzano und Weierstra und das Cauchy-Kriterium fr Folgen in IR

In U ( H* )
0

Also ist

. Dann
*

ein

H*

Jetzt zeigt man noch, dass

*
H mit H < H

Sei

Setze :

ein noch grerer Hufungspunkt der Folge

H H*
2

0 :=

U ( H* ) , U (H ) disjunkt mit

In

< U ( H

lim Bn An = 0
n
*

H*

U ( H* ) < U ( H)
0

gibt es ein

In U ( H* )

mit

n0

und

< U ( H) .
0

Da nun oberhalb des Intervalls

H kein Hufungspunkt sein .
Also ist

(an )n

Dann sind die Umgebungen

Wegen

der grte Hufungspunkt ist :

In

hchstens endlich viele Folgenglieder liegen, kann

der grte Hufungspunkt der Folge

(an )n

Mit einer entsprechenden Konstruktion einer Intervallschachtelung zeigt man, die Existenz
des kleinsten Hufungspunktes H* .

Beweis (2) :
Sei

(an )k

Sei

> 0 gegeben . Dann gibt es ein

eine konvergente Teilfolge der Folge

H konvergiere .
k

|an

( an )n

nk , so dass fr alle

, welche gegen

n k > nk

gilt :

H| < .
U ( H)

Da also fast alle Teilfolgenglieder an in

der Folgen (an )k und ( an )n .
k

liegen, ist

ein Hufungspunkt

Sei nun umgekehrt

H ein Hufungspunkt der Folge ( an )n . Dann heit dies,
dass jede Umgebung U ( H) unendlich viele Folgenglieder an enthlt .
Man whle nun zu
an U 1 ( H ) mit
2

U1 ( H )
ein
an ( an )n
n2 > n1 , usw. .
1

an U1 ( H) und dann ein

1

(an )k gilt
die Folge (an )k

Fr die so konstruierte Teilfolge

k

mit

. Also konvergiert

dann

|an

gegen

H .

1
k

H| <

fr alle

q.e.d.
Der Satz von Bolzano und Weierstra und das Cauchy-Kriterium fr Folgen in IR

Satz
Jede beschrnkte monotone Folge

an

ist konvergent.

Beweis:
Sei die Folge an monoton wachsend. Nach dem Satz von Bolzano-Weierstra gibt es
eine Teilfolge an mit lim an = z .
k

Zu vorgegebenen > 0 gibt es ein

an z
k

<

fr alle

nk , so dass gilt:
0

nk > n k .
0

Wegen der Monotonie gilt dann :

an z <

fr alle n > nk .
0

q.e.d.

Cauchy-Kriterium fr Folgen in
Fr jede Folge
lim an = a

(an )n

gilt :

> 0

n0

n,m > n0 :

|an

am| <

Beweis :
Sei

lim an = a und sei

n

|an

a| <
2

Fr alle

|an

gegeben . Dann gibt es ein

> 0

n0 mit

n,m > n0

gilt dann :

am| = |an a + a am| |an a| + |a am| < + =

2
2

Umgekehrt gelte :

Dann gibt es zu
|an am| < 1 .

= 1

> 0
ein

n0

n,m > n0 :

n0 , so dass fr alle

Der Satz von Bolzano und Weierstra und das Cauchy-Kriterium fr Folgen in IR

|an

am| < .

n,m > n0
4

gilt

Speziell gilt dann fr

n0 +1 und fr alle

Anders gesagt liegen alle

am mit

Also ist die Folge

(an )n

am| < 1

U1 ( an +1 ) .

m > n0 in der Umgebung

nach oben und unten beschrnkt :

min {a 0 , ... , an , an +1 1}
0

|an +1

m > n0 :

max {a 0 , ... , an , an +1 +1 }

( an )n

Nach dem Satz von Bolzano und Weierstra gibt es eine konvergente Teilfolge

(an )k
k

mit

lim an = a
k

Man zeigt nun, dass auch

gilt :

lim an = a
n

Sei also

|an

> 0

am| <
2

gegeben . Dann gibt es ein

fr alle

Es existiert auerdem ein

|an

a| <
2

Dann folgt fr alle

|an

fr alle

n,m > N

nK > N

N mit

mit

n k > nK > N

n > N :

a| = |an an + an a| |an an | + |an a| < + =

2
2
k

q.e.d.
Der Satz von Bolzano und Weierstra und das Cauchy-Kriterium fr Folgen in IR