diff options
author | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-10-20 18:28:16 +0200 |
---|---|---|
committer | Ulli Kehrle <ulli.kehrle@rwth-aachen.de> | 2017-10-20 18:28:16 +0200 |
commit | 6b95204c23b2b138e8a10602e09f068a92794f08 (patch) | |
tree | 2ac6913bd448b034f7ecd03600b38833727f45de | |
parent | 4abcb7d1ea7c491ede10485ccaaa8ea03b8557b3 (diff) | |
download | funkana-6b95204c23b2b138e8a10602e09f068a92794f08.tar.gz funkana-6b95204c23b2b138e8a10602e09f068a92794f08.tar.xz |
Umgebungen umbenannt, da das mit dem \= irgendwie nicht so funktioniert.
-rw-r--r-- | funkana.tex | 2 | ||||
-rw-r--r-- | inhalt.tex | 11 | ||||
-rw-r--r-- | pdf/funkana.pdf | bin | 129757 -> 130092 bytes |
3 files changed, 7 insertions, 6 deletions
diff --git a/funkana.tex b/funkana.tex index 9d3aab0..1ebf524 100644 --- a/funkana.tex +++ b/funkana.tex @@ -10,7 +10,7 @@ \def\K{\mathbb{K}} \def\N{\mathbb{N}} \def\L{\mathcal{L}} -\def\T{\mathcal T} +\def\T{\mathcal{T}\!} \def\U{\mathcal{U}} \def\eps{\varepsilon} \def\iff{\Leftrightarrow} @@ -398,11 +398,11 @@ Um Allerdings von Stetigkeit reden zu können, müssen wir zunächst \emph{Topol Ist $(X,\T)$ jedoch ein Hausdorff-Raum, so ist jeder Grenzwert eindeutig. \end{bemerkung} \begin{beweis} - Seien $x_{0} \neq \={x_{0}}$ Grenzwerte von $\{x_{n}\}_{n \in \N} \subset X$. - Dann existieren disjunkte Umgebung $U \in x_{0}, \={U} \in \={x_{0}}$. - Weiterhin gibt es ein $n_{0} \in \N$, sodass $x_{n} \in U$ für alle $n \geq n_{0}$ - und $\={n_{0}} \in \N$, sodass $x_{n} \in \={U}$ für alle $n \geq \={n_{0}}$. - Also gilt $x_{max\{n_{0},\={n_{0}}\}} \in U cap \={U}$ + Seien $x_{0} \neq x'_{0}$ Grenzwerte von $(x_{n})_{n \in \N} \subset X$. + Dann existieren disjunkte Umgebungen $U,U' ∈ \U_{x_0}$. + Weiterhin gibt es ein $n_{0} \in \N$, so dass $x_{n} \in U$ für alle $n \geq n_{0}$ + und $n_0' \in \N$, so dass $x_{n} \in U'$ für alle $n \geq n_0'$. + Also gilt $x_{\max\{n_{0},\={n_{0}}\}} \in U \cap U'$ Das ist ein Widerspruch zur Disjunktheit der Umgebungen. \end{beweis} @@ -773,6 +773,7 @@ Erklärtes Ziel dieses Kapitels wird sein, die beiden Strukturen aus den vorheri Stetigkeit der Vektorraumoperationen sollte als minimales Kompatibilitätskriterium der beiden Strukturen gefordert werden. Tatsächlich ist es im Allgemeinen gar nicht erfüllt. Erst im normierten Raum bekommt man diese Stetigkeit geschenkt. \end{bemerkung-nn} + %%% Local Variables: %%% mode: latex %%% TeX-master: "funkana" diff --git a/pdf/funkana.pdf b/pdf/funkana.pdf Binary files differindex 627058f..a504181 100644 --- a/pdf/funkana.pdf +++ b/pdf/funkana.pdf |