diff options
author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-11-10 13:48:43 +0100 |
---|---|---|
committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-11-10 13:48:43 +0100 |
commit | 5be132a3e01c5ea88a7595940f094b9140f838f5 (patch) | |
tree | 1441e61eb3bce45b1ee0cc01e2e5bc320f34da94 | |
parent | 831015e75eaed72d44fcb2a68d55150185d5c24f (diff) | |
download | funkana-5be132a3e01c5ea88a7595940f094b9140f838f5.tar.gz funkana-5be132a3e01c5ea88a7595940f094b9140f838f5.tar.xz |
blub
-rw-r--r-- | inhalt.tex | 5 | ||||
-rw-r--r-- | pdf/funkana.pdf | bin | 638217 -> 638208 bytes |
2 files changed, 3 insertions, 2 deletions
@@ -1845,11 +1845,12 @@ Nun wollen wir so ein Konzept für Beschränktheit auch in allgemeinen metrische \begin{proof} $(a) \iff (b)$ wurde bereits gezeigt. Wir zeigen nur $(b) ⇒ (c)$: Sei $(x_n)_{n ∈ ℕ} ⊂ A$ eine Cauchy-Folge. Nach (b) besitzt $(x_n)_{n ∈ ℕ}$ einen Häufungspunkt $x^*$. - Da $(x_n)_{n ∈ ℕ}$ Cauchy-Folge ist, konvergiert $(x_n)_{n ∈ ℕ}$ schon gegen $x^*$. Damit ist $A$ vollständig, - Da $A$ nach + Da $(x_n)_{n ∈ ℕ}$ Cauchy-Folge ist, konvergiert $(x_n)_{n ∈ ℕ}$ schon gegen $x^*$. Damit ist $A$ vollständig. + Angenommen, $A$ wäre nicht präkompakt. Dann gibt es $ε > 0$, so dass $A$ keine endliche Überdeckung mit $ε$-Kugeln besitzt. Dadurch kann man eine Folge $(x_k)_{k ∈ K}$ definieren, mit $d(x_k,x_j) > ε$ für $k \ne j$. Dann besitzt $(x_k)_{k ∈ K}$ offensichtlich keine Cauchy-Teilfolge, also auch keinen Häufungspunkt. + Also $A$ präkompakt. \end{proof} \end{document} diff --git a/pdf/funkana.pdf b/pdf/funkana.pdf Binary files differindex b73faa1..a4c8e07 100644 --- a/pdf/funkana.pdf +++ b/pdf/funkana.pdf |