# 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.

### 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)}.$
${\left(x_{n}\right)}_{n\in \mathbb {N} }$
$a$
${\left(f(x_{n})\right)}_{n\in \mathbb {N} }$
$b$
$\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.

### Beweis

$\Box$