Math for Non-Geeks/ Proving continuity

{{#invoke:Math for Non-Geeks/Seite|oben}}

A New Attempt with a Rough Plan

Intuition

We have an arbitrary function $f$. This article deals with the question "How does $f$ behave in the neighborhood of a point $x_0$, or near infinity?" And "Does $f$ tends to a particular value as we approach $x_0$ along the x-axis, or does it continue on to infinity?"

We will consider three example functions at the origin:

First Example

$f:ℝ\to ℝ,f(x)=\exp (x)$

• 
  Convergence of $f(x)=\exp (x)$ as $x$ approaches $0$ from the right
• 
  Convergence of $f(x)=\exp (x)$ as $x$ approaches $0$ from the left

Regardless of who we approach $x_0=0$ along the x-axis, $f(x)$ tends towards $1$.

Second Example

Template:Math Even though $f$ is not defined at $0$, the function still tends towards the value $1$ at the point $0$.

Third Example

$f:ℝ\to ℝ,f(x)=\{\begin{array}{cc}1& \text{falls }x>0\\ 0,& \text{falls }x=0\\ -1& \text{falls }x<0\end{array}$

The sign function \sgn

This case is not as easy as the previous two. From the left $f$ tends towards $-1$, from the right towards $1$. If we assign the functional value of $x_0=0$ to the value of $x_0$ itself, i.e set $f(x_0)=0$, then $f$ can jump back and forth between $-1$ and $0$ as well as between $1$ and $0$.

Application Examples

Limits at infinity:

In order to produce flash on a camera, capacitors are discharged within fractions of a second. Physically, the discharge of a capacitor can be written as

$V(t)=V_0\cdot e^{-\frac{t}{R\cdot C}}$

.

Discharging of a capacitor

For a positive initial voltage $V_0$ it doesn't matter how large or small we choose the time unit $t$. It holds $V(t)>0$ and in particular $V(t)\ne 0$. How can we mathematically express that the voltage and therefore also the charge of the capacitor approaches $0$? To this we have to investigate $\underset{t\to \mathrm{\infty }}{\lim }V(t)$, i.e. the limit of $V$ at infinity.

$x_0$ as a real number:

In introductory calculus, the area under the graph of a function on the interval $[a,b]$ is often approximated by the area of rectangles of equal width.

• 
• 

The thinner the rectangles, the more precisely they approximate the area under the curve. If we write $\mathrm{\Delta }x$ for the width of a rectangle, we know that the area of a rectangle is the width times the height. The height of the rectangle is precisely the functional value of $f$ at the edge of the rectangle. For rectangle width $\mathrm{\Delta }x$ we can calculate an approximation of the area under the curve of $f$ on the interval $[a,b]$ by the formula: $g(\mathrm{\Delta }x)=\sum _i^{}\mathrm{\Delta }x*f(a+i*\mathrm{\Delta }x)$, as long as we make sure the boundaries of summation fit the index $i$. We can also calculate and give an explicit formula for the functional values of the function $g$ at the arguments $\mathrm{\Delta }x>0$ since we don't allow rectangles to have a width $\le 0$. In essence, we have formulated the integral calculation as a problem wherein we want to find the limit of $g$ in $x_0=0$.

Transition to Mathematics

How can we as humans consider how a function "behaves" near a point? E.g. does the function increase? decrease? go to infinity? have a hole or jump discontinuity? Is the point a minimum or maximum? In typical introductory math courses, a simple method is to choose a few points near a given point $x_0$ and compute their functional values to obtain some relative idea or model of how the function looks. Now we want to formalize this procedure:

Let's consider Folgen $(x_n{)}_{n\in \mathbb{N}}$ and substitute the sequence elements $x_n$ into $f$. Since these points should approach $x_0$, let's consider functions for which $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=x_0$ holds. For example, it would be unwise to look at $f$ at the point $x_0=1$ but to use test values like $10,100,1000,...$.

By using the $x_n$'s as our arguments that we will set into the function, this yields yet another sequence $(f(x_n){)}_{n\in \mathbb{N}}$. We ask whether or not $f$ converges to a functional value in $x_0$ (remember if $f$ goes to infinity at the point $x_0$ then this sequence does not converge to a functional value). I.e. this is the same as asking whether $\underset{n\to \mathrm{\infty }}{\lim }f(x_n)$ exists.

We haven't yet discussed how many sequences we have to set into $f$. Do we get enough information if we only choose one sequence and observe how it behaves as it tends towards $x_0$?. Let's consider the following example:Template:Todo

The sign function is given by $\mathrm{sgn}:ℝ\to ℝ,\mathrm{sgn}(x)=\{\begin{array}{cc}1& x>0\\ 0& x=0\\ -1& x<0\end{array}$

• 
  Approximation with the sequence $\frac{1}{n}$ (please click)
• 
  Approximation with the sequence $-\frac{1}{n}$ (please click)

If we choose the sequence $(x_n{)}_{n\in \mathbb{N}}$ with $x_n=\frac{1}{n}$ and substitute this into $\mathrm{sgn}$, then we always get the value $\mathrm{sgn}(x_n)=1$. If we only looked at this one sequence, then we would assume that $\mathrm{sgn}$ converges to the value of 1 at the point $x_0=0$. If we choose the sequence $(x_n{)}_{n\in \mathbb{N}}$ with $x_n=-\frac{1}{n}$, then we always get the value $\mathrm{sgn}(x_n)=-1$ and now we see that the function $\mathrm{sgn}$ doesn't have a unique limit at the point $x_0=0$. So it is not sufficient to consider just one sequence. Thus, the function has to be have the same for all possible sequences, so that we can determine the existence of the limit value.

Kurzer Nachtrag zur Definition über Folgen

Als letzen Feinschliff mussten wir noch beachten, dass der Ausdruck $f(x_n)$ nur sinnvoll ist, falls $x_n$ im Definitionsbereich von $f$ liegt. Deshalb fordern wir $\mathrm{\forall }n\in \mathbb{N}:x_n\in D$. Auch sollten wir $f$ nur in Punkten $x_0$ untersuchen, an die wir uns tatsächlich annähern können. Ist $f$ z.B. nur auf $D=[0,1)$ definiert, so ist es uns nicht möglich zu erfahren, was $f$ in der Umgebung von $x_0=5$ macht. Was allerdings möglich ist, ist nach einem Streben von $f$ im Punkt $x_0=1$ zu fragen. Unsere $x_0$ müssen also in $\bar{D}$, dem Abschluss von $D$ liegen.

Spielraum bei der Definition

Dieser Abschnitt existiert, weil verschiedene Autoren und verschiedene Lehrbücher unterschiedliche Definitionen benutzen. Es kann gut sein, dass du in der Vorlesung nicht die Definition aus diesem Artikel gelernt hast, sondern eine der folgenden Variationen.

Es gibt die Möglichkeit, statt $x_0\in \bar{D}$ nur $x_0\in D$ zu erlauben.

Unabhängig von der ersten Entscheidung hat man die Möglichkeit, die betrachteten Folgen $(x_n{)}_{n\in \mathbb{N}}$ noch weiter einzuschränken. Wollen wir das Verhalten von $f$ in der Nähe von $x_0\in D$ betrachten, so können wir darüber diskutieren, ob es erlaubt ist, $x_0$ selbst als Wert "nahe an $x_0$" in $f$ einzusetzen. Manche Autoren legen deshalb fest:

Für die betrachtetetn Folgen $(x_n{)}_{n\in \mathbb{N}}$ gilt $x_n\in D\setminus \{x_0\}$ $\mathrm{\forall }n\in \mathbb{N}$ (statt $x_n\in D$)

Anmerkung: Stetigkeit und Grenzwerte von Funktionen

Vergleichen wir unsere Intuition mit dem Folgenkriterium der Stetigkeit, so stellen wir fest, dass es auch bei der Stetigkeit um das Streben von $f$ in einem Punkt $x_0$ geht. Vergleichen wir zusätzlich beide Definitionen über Folgen , so finden wir auch hier sehr große Ähnlichkeiten. Bei der Stetigkeit von $f$ im Punkt $x_0$ wird nur zusätzlich gefordert, dass $x_0\in D$ gilt, weil der Ausdruck $f(x_0)$ existieren muss. (Da $D\subset \bar{D}$, gilt insbesondere $x_0\in \bar{D}$.) In der Tat gibt es Autoren, die Stetigkeit mithilfe von Grenzwerten von Funktionen definieren. Stetigkeit von $f$ in $x_0\in D$ bedeutet nämlich nichts anderes, als dass $\underset{x\to x_0}{\lim }f(x)=f(x_0)$ gilt. Dies ist sogar unabhängig davon, welche Variante wir bei der Definition über Folgen wählen. Dies liegt bei der ersten Variationsmöglichkeit daran, dass wir die Einschränkung $x_0\in D$ für die Frage nach Stetigkeit sowieso treffen müssen. Es ist zudem egal, ob wir $x_n\in D\setminus \{x_0\}$ oder $x_n\in D$ fordern: Wenn für alle erlaubten Folgen in $D\setminus \{x_0\}$ $f(x_n)$ gegen $f(x_0)$ strebt, so gilt dies auch für alle erlaubten Folgen in $D$. Umgekehrt: Wenn für alle erlaubten Folgen in $D$ $f(x_n)$ gegen $f(x_0)$ strebt, so gilt dies auch für alle Folgen in $D\setminus \{x_0\}$.

Auch sei gesagt, dass die Definition von Stetigkeit über Grenzwerte von Funktionen ebenfalls mit der Epsilon-Delta-Definition dieses Kapitels funktioniert.

Verwendung von einseitigen Grenzwerten

"Später für Integrale: Raum der Regelfunktionen. Regelfunktion ist relativ abstrakt. Klassifizierbar als: f Regelfunktion gdw für alle $x\in D$ rechts und linksseitiger Grenzwert existieren. {{#invoke:Math for Non-Geeks/Seite|unten}}

Evtl hilfreich

Intuitive Erklärung

Wir werden nun den Grenzwerte einer Funktion $f$ in einem Punkt $x_0$ betrachten. Dabei geht es darum, zu untersuchen wie sich die Funktion $f$ in der Nähe dieses Punktes verhält. Wir gehen mit den $x$-Werten beliebig nahe an $x_0$ heran, und sehen uns dabei die Funktionswerte $f(x)$ an.

Dabei ergeben sich Fragen, wie: Streben diese Funktionswerte irgendwo hin, d.h. haben sie ein Ziel? Gibt es je nach Annäherungsart (von links, von rechts, ...) verschiedene Ziele?

Der stetige Fall

Betrachten wir zunächst den Fall, dass $f$ in $x_0$ stetig ist. Als Beispiel wählen wir $f(x)=\exp (x)$ und $x_0=0$. Wie verhält sich $\exp (x)$, falls wir $x$ gegen $0$ gehen lassen? Nun ist es klar, dass sich $\exp (x)$ dem Wert $\exp (0)=1$ annähert. Dabei ist es vollkommen egal, ob wir uns von links oder rechts annähern.

• 
  Annäherung von f(x)=exp(x) für x gegen 0 von rechts
• 
  Annäherung von f(x)=exp(x) für x gegen 0 von links

Ebenso hätte es keinen Unterschied gemacht, wenn wir uns abwechselnd von links und rechts dem Wert $x_0=0$ genähert hätten. $f(x)$ nähert sich dann genauso dem Wert $\exp (0)=1$. Mathematisch „sauber“ formuliert bedeutet dies: Für jede Folge $(x_n{)}_{n\in \mathbb{N}}$ mit $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=x_0$ gilt $\underset{n\to \mathrm{\infty }}{\lim }\exp (x_n)=\exp (0)=1$. Der Grund dafür ist, dass die Exponentialfunktion folgenstetig im Ursprung ist. Zur Erinnerung:

{{#lst:Math for Non-Geeks: Folgenkriterium der Stetigkeit: Folgenstetigkeit|Folgenkriterium der Stetigkeit an einer Stelle}}

Es liegt nun auf der Hand den „Grenzwert von $f(x)$ für $x$ gegen $x_0$“ als $\underset{x\to x_0}{\lim }f(x)=\underset{n\to \mathrm{\infty }}{\lim }f(x_n)$ zu definieren. Es folgt: Eine stetige Funktion $f:D\to ℝ$ besitzt daher in $x_0\in D$ immer den Grenzwert $\underset{x\to x_0}{\lim }f(x)=f(x_0)$.

Nun stellen sich allerdings noch weitere Fragen, wie: Lässt sich der Grenzwert auch in einem Punkt berechnen, in dem die Funktion nicht stetig ist? Lässt sich der Grenzwert auch in Punkten bestimmen, die nicht im Definitionsbereich der Funktion liegen?

Der unstetige Fall

In der Praxis bedeutet die Unstetigkeit einer Funktion $f$ in einem Punkt $x_0$, in den meisten Fällen, dass die Funktion dort einen Sprung hat. Betrachten wir dazu das Beispiel $g(x)=\{\begin{array}{cc}0& \text{für }x\ne 0,\\ 1& \text{für }x=0.\end{array}$ Diese Funktion „springt“ im Ursprung auf den Funktionswert $g(0)=1$, ist aber sonst überall konstant gleich null. Nähern wir uns nun dem Ursprung von rechts bzw. links an, so ist klar, dass $f(x)$ immer konstant gleich null bleibt:

• 
  Annäherung von g(x) für x gegen 0 von rechts
• 
  Annäherung von g(x) für x gegen 0 von links

Nun kommen wir zu einem entscheidenden Punkt: Soll $x$ den Wert null annehmen dürfen, oder nicht. In unserer Charakterisierung mit Folgen, die wir im stetigen Fall benutzt hatten, bedeutet dies: Betrachten wir nur solche Nullfolgen $(x_n{)}_{n\in \mathbb{N}}$ mit $x_n\ne 0$ für alle $n\in \mathbb{N}$, oder ist auch $x_n=0$ für beliebig viele $n$ erlaubt?

• Im ersten Fall würde für jede Nullfolge $(x_n)$ (mit $x_n\ne 0$) gelten: $\underset{n\to \mathrm{\infty }}{\lim }g(x_n)=\underset{n\to \mathrm{\infty }}{\lim }0=0$. Definieren wir $\underset{x\to 0}{\lim }g(x)=\underset{n\to \mathrm{\infty }}{\lim }g(x_n)=0$, so existiert dieser Grenzwert.
• Im zweiten Fall hingegen gilt beispielsweise für die konstante Nullfolge $x_n=0$: $\underset{n\to \mathrm{\infty }}{\lim }g(x_n)=g(0)=1$. Hingegen für die Nullfolge $x_n=\frac{1}{n}$: $\underset{n\to \mathrm{\infty }}{\lim }g(x_n)=0$. Der Grenzwert von $g(x)$ für $x\to 0$ würde nicht existieren, da er nicht eindeutig wäre.

Dieser Punkt ist in der Analysis-Literatur nicht eindeutig festgelegt. In der moderneren Literatur wird meistens wie im zweiten Fall vorgegangen. Daher wollen auch in unserer Definition des Grenzwertes solche Folgen $(x_n{)}_{n\in \mathbb{N}}$ mit $x_n=x_0$ zulassen. Unsere (vorläufige) Definition des Grenzwerts einer Funktion in einem Punkt des Definitionsbereichs lautet somit:

Motivation

Man könnte nun fragen, wofür wir Grenzwerte von Funktionen überhaupt brauchen. Im ersten Semester begegnen sie einem überwiegend bei Stetigkeit bzw. stetiger Fortsetzbarkeit, allerdings kann man mit ihnen z.B. auch uneigentliche Integrale berechnen. Das praktische an Grenzwerten von Funktionen ist, dass man am Ende ein sehr einfache Schreibweise dafür hat, dass man $f$ beliebig nahe am Punkt $x_0$ betrachtet. Man kann mit ihnen also das Verhalten einer Funktion beim Streben nach einem Punkt charakterisieren.

Vorbereitung auf das Folgenkriterium

Nun geht es darum, Grenzwerte von Funktionen mathematisch zu beschreiben.

Wir gehen bei der Betrachtung von $f$ mit unseren $x$-Werten sehr nahe an $x_0$ heran. Es bietet sich an, dies mithilfe von Folgen $(x_n)$zu beschreiben, die den Grenzwert $x_0$ haben. Da man die $x$-Werte in $f$ einsetzen möchte, sollte die Folge innerhalb des Definitionsbereiches laufen. Die $f(x)$-Werte sollten ein Ziel haben. Dies bedeutet, dass die Folge $(f(x_n))$ auch einen Grenzwert haben muss. Weiterhin war für uns wichtig, wie sehr die Funktion entschlossen ist, die $f(x)$-Werte zu lenken. Wir wollen etwas nur einen Grenzwert nennen, wenn die Funktionswerte immer gegen den gleichen Wert streben, egal auf welche Art wir uns $x_0$ nähern. Es ist also noch nicht ausreichend, wenn für jede Folge $(x_n)$ mit Grenzwert $x_0$ gilt, dass die Folge$(f(x_n))$ einen Grenzwert hat. Zusätzlich dazu müssen alle diese Funktionswertfolgen den gleichen Grenzwert haben.

Definition über das Folgenkriterium

{{#invoke:Math for Non-Geeks/Seite|unten}}