Es sei
:
.
sei ein Häufungspunkt des Definitionsbereiches
.
sei Grenzwert von
. Unser Ziel ist es zu klären, was
mathematisch bedeutet (Grenzwert von
bei Annäherung
).
: Zu jedem
gibt es ein
, so daß aus
folgt:
.
: Zu jedem
gibt es eine Umgebung
von
, so daß aus
(
folgt:
.
|
|
|
|
|
|
Anwendung: |
|
|

Zu jedem
gibt es ein
derart, daß aus
und
folgt:

Es sei
stetig für jedes
:
:
:
stetig für jedes
:

ist stetig für jedes
.

ist stetig für jedes
:


:
ist stetig für alle
.
Stetig bei
:
sei gewählt.

|
|
Sei
|





Dies gilt für
.
ist stetig und
ist stetig. Dann ist auch
stetig.
Aus der Stetigkeit von
folgt die Stetigkeit von
.
sei stetig auf
für
.
Aus der Stetigkeit von
und
ergibt sich die Stetigkeit von
.
stetig ist, folgt auch die Stetigkeit von
und damit
auch die Stetigkeit von
.
,
seien stetig auf
. Dann gilt:




|
|
|
Konstruiere eine Intervallschachtelung
:
,
,
,
. Induktiv setzen wir
,
(Anfang). Für
seien
,
,
,
schon konstruiert. Das Problem
ist die Definition von
. Bilde
und berechne
:
mit
, wähle:
, wähle:





|
|
|
Wende für
den vorherigen Satz an.
Es sei
und
.
hat genau eine positive Lösung
.



Daraus folgt, daß in
die Funktion
eine Nullstelle
mit
besitzt.

|
|
|
|
|
|
Ist
streng monoton wachsend, so ist
bijektiv.
Stetigkeit in
bedeutet:

|
|


Die Funktion ist in
unstetig!
|
Es sei |
|
|
|
. Angenommen, der Satz ist falsch: Zu jeder Zahl
gibt es ein
:

ist beschränkte Folge, die somit einen Häufungspunkt
besitzt. Es gibt eine Teilfolge
mit
.
für
ist beschränkt,
Es gibt ein
. Ziel: Es gibt ein
mit
. Für jedes
gibt es damit ein
mit
,
. Angenommen, es ist

, dann
folgt, daß
in
stetig ist.
ist beschränkte Funktion:
Aus
ergibt sich, daß es zu jedem
ein
gibt mit
. Dabei handelt es sich um einen Widerspruch. Damit ist der Satz
bewiesen.