Metrische Räume/Abbildung/Grenzwert/Einführung/Textabschnitt

Definition

Es sei ${}(M,d)$ ein metrischer Raum, sei ${}T\subseteq M$ eine Teilmenge und sei ${}a\in M$ ein Berührpunkt von ${}T$. Es sei

$f\colon T\longrightarrow L$

eine Abbildung in einen weiteren metrischen Raum ${}L$. Dann heißt ${}b\in L$ der Grenzwert (oder Limes) von ${}f$ in ${}a$, wenn es für jedes ${}\epsilon >0$ ein ${}\delta >0$ gibt mit der folgenden Eigenschaft: Für jedes ${}x\in B\left(a,\delta \right)\cap T$ ist ${}f(x)\in B\left(b,\epsilon \right)$. In diesem Fall schreibt man

${}\operatorname {lim} _{x\rightarrow a}\,f(x)=b\,.$

Wenn der Grenzwert existiert, so ist er eindeutig bestimmt. Wenn ${}a$ kein Berührpunkt von ${}T$ ist, so ist die obige Definition grundsätzlich auch formulierbar, doch dann ist jedes ${}b$ ein Grenzwert.

Notation

In der Situation von Definition wird der Grenzwert, falls er existiert, mit

$\operatorname {lim} _{x\in T,\,x\rightarrow a}\,f(x){\text{ bzw. mit }}\operatorname {lim} _{x\rightarrow a}\,f(x)$

bezeichnet.

Beispiel

Es sei

${}M={\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\cup \{0\}\,,$

(mit der von ${}\mathbb {R}$ induzierten Metrik),

${}T={\left\{{\frac {1}{n}}\mid n\in \mathbb {N} _{+}\right\}}\,$

und ${}a=0$, der ein Berührpunkt von ${}T$ ist. Eine Abbildung

$f\colon T\longrightarrow L$

in einen metrischen Raum ${}L$ ist dasselbe wie eine Folge in ${}L$, da ja einfach jedem ${}n\in \mathbb {N} _{+}$ ein Element ${}x_{n}=f({\frac {1}{n}})\in L$ zugeordnet wird. Sei ${}b\in L$. Dann besitzt die Abbildung ${}f$ in ${}0$ den Grenzwert ${}b$ genau dann, wenn die Folge gegen ${}b$ konvergiert.

Lemma

Es sei ${}(M,d)$ ein metrischer Raum, sei ${}T\subseteq M$ eine Teilmenge und sei ${}a\in M$ ein Berührpunkt von ${}T$. Es sei

$f\colon T\longrightarrow L$

eine Abbildung in einen weiteren metrischen Raum ${}L$ und sei ${}b\in L$. Dann sind folgende Aussagen äquivalent.

1. Die Abbildung ${}f$ besitzt in ${}a$ den Grenzwert ${}b$.
2. Zu jeder offenen Menge ${}V\subseteq L$ mit ${}b\in V$ gibt es eine offene Menge ${}U\subseteq M$ mit ${}a\in U$ und mit ${}f(U\cap T)\subseteq V$.
3. Für jede Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ in ${}T$, die gegen ${}a$ konvergiert, konvergiert die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ gegen ${}b$.

Beweis

${}(1)\Rightarrow (2)$. Da ${}V$ offen ist gibt es ein ${}\epsilon >0$ mit ${}U{\left(b,\epsilon \right)}\subseteq V$. Aufgrund von (1) gibt es ein ${}\delta >0$ mit

${}f(T\cap U{\left(a,\delta \right)})\subseteq U{\left(b,\epsilon \right)}\,$

und wir können ${}U=T\cap U{\left(a,\delta \right)}$ nehmen.
${}(2)\Rightarrow (3)$. Es sei eine gegen ${}a$ konvergente Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }\in T$ und ein ${}\epsilon >0$ gegeben. Für die offene Menge ${}V=U{\left(b,\epsilon \right)}$ gibt es nach (2) eine offene Menge ${}U\subseteq M$ mit ${}a\in U$ und ${}f(U\cap T)\subseteq V$. Wegen der Offenheit von ${}U$ gibt es auch ein ${}\delta >0$ mit ${}U{\left(a,\delta \right)}\cap T\subseteq U\cap T$. Da die Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ gegen ${}a$ konvergiert, gibt es ein ${}N\in \mathbb {N}$ mit ${}x_{n}\in U{\left(a,\delta \right)}$ für alle ${}n\geq N$. Für diese ${}n$ ist dann ${}f(x_{n})\in U{\left(b,\epsilon \right)}$, d.h. die Bildfolge konvergiert gegen ${}b$.
${}(3)\Rightarrow (1)$.  Nehmen wir an, dass ${}b$ nicht der Grenzwert ist. Dann gibt es ein ${}\epsilon >0$ derart, dass es für alle ${}\delta >0$ ein ${}x\in T$ gibt mit ${}x\in U{\left(a,\delta \right)}$ und mit ${}f(x)\notin U{\left(b,\epsilon \right)}$. Wir wenden diese Eigenschaft auf die Stammbrüche ${}\delta =1/n$ , ${}n\in \mathbb {N}$, an und erhalten eine Folge

$x_{n}\in U{\left(a,1/n\right)}{\text{ und }}f(x_{n})\not \in U{\left(b,\epsilon \right)}.$

Die Folge ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ konvergiert dann gegen ${}a$, die Bildfolge ${}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }$ aber nicht gegen ${}b$,  im Widerspruch zu (3).

$\Box$

Lemma

Es sei ${}(M,d)$ ein metrischer Raum, sei ${}T\subseteq M$ eine Teilmenge und sei ${}a\in M$ ein Berührpunkt von ${}T$. Es seien ${}f\colon T\rightarrow {\mathbb {K} }$ und ${}g\colon T\rightarrow {\mathbb {K} }$ Funktionen derart, dass die Grenzwerte ${}\operatorname {lim} _{x\rightarrow a}\,f(x)$ und ${}\operatorname {lim} _{x\rightarrow a}\,g(x)$ existieren.

Dann gelten folgende Beziehungen.

1. Die Summe ${}f+g$ besitzt einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,(f(x)+g(x))=\operatorname {lim} _{x\rightarrow a}\,f(x)+\operatorname {lim} _{x\rightarrow a}\,g(x)\,.$

2. Das Produkt ${}f\cdot g$ besitzt einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,(f(x)\cdot g(x))=\operatorname {lim} _{x\rightarrow a}\,f(x)\cdot \operatorname {lim} _{x\rightarrow a}\,g(x)\,.$

3. Es sei ${}g(x)\neq 0$ für alle ${}x\in T$ und ${}\operatorname {lim} _{x\rightarrow a}\,g(x)\neq 0$. Dann besitzt der Quotient ${}f/g$ einen Grenzwert in ${}a$, und zwar ist

   ${}\operatorname {lim} _{x\rightarrow a}\,{\frac {f(x)}{g(x)}}={\frac {\operatorname {lim} _{x\rightarrow a}\,f(x)}{\operatorname {lim} _{x\rightarrow a}\,g(x)}}\,.$

Beweis

Siehe Aufgabe.

$\Box$