summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorUlli Kehrle <ulli.kehrle@rwth-aachen.de>2017-11-10 13:48:43 +0100
committerUlli Kehrle <ulli.kehrle@rwth-aachen.de>2017-11-10 13:48:43 +0100
commit5be132a3e01c5ea88a7595940f094b9140f838f5 (patch)
tree1441e61eb3bce45b1ee0cc01e2e5bc320f34da94
parent831015e75eaed72d44fcb2a68d55150185d5c24f (diff)
downloadfunkana-5be132a3e01c5ea88a7595940f094b9140f838f5.tar.gz
funkana-5be132a3e01c5ea88a7595940f094b9140f838f5.tar.xz
blub
-rw-r--r--inhalt.tex5
-rw-r--r--pdf/funkana.pdfbin638217 -> 638208 bytes
2 files changed, 3 insertions, 2 deletions
diff --git a/inhalt.tex b/inhalt.tex
index 3f07ef6..f69a82b 100644
--- a/inhalt.tex
+++ b/inhalt.tex
@@ -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
index b73faa1..a4c8e07 100644
--- a/pdf/funkana.pdf
+++ b/pdf/funkana.pdf
Binary files differ