Normtopologie
# Normtopologie

Eine Normtopologie ist in der Mathematik eine Topologie auf einem normierten Vektorraum, die durch die Norm des Vektorraums induziert wurde.

## Definition

Ist $(V,\|\cdot \|)$ ein normierter Vektorraum, so induziert die Norm des Raums durch Differenzenbildung zweier Vektoren $x,y\in V$ eine Metrik

    $d(x,y):=\|x-y\|$.

auf $V$. Mit dieser Metrik wird der Vektorraum zu einem metrischen Raum $(V,d)$. Eine Metrik kann nun verwendet werden, um eine ε-Umgebung um einen Vektor $x\in V$ durch

    $U_{\varepsilon }(x):=\{\,y\in V,\,d\,(x,y)<\varepsilon \,\}$

zu definieren. Damit heißt dann eine Teilmenge $M\subset V$ offen, falls

    $\forall \ {x\in M}\;{\exists \ \varepsilon }>0:U_{\varepsilon }(x)\subset M$

gilt. Über diese offenen Mengen induziert die Metrik nun auf $V$ eine Topologie

    ${\mathcal {T}}:=\{M\subset V,\,M\,{\text{offen}}\}$.

Mit dieser Topologie wird der Vektorraum zu einem topologischen Vektorraum $(V,{\mathcal {T}})$ und diese letztendlich von der Norm induzierte Topologie heißt Normtopologie.

## Topologie-Axiome

Die Normtopologie ist tatsächlich eine Topologie, wie sich durch eine Überprüfung der drei Topologie-Axiome, die in der folgenden Form für alle metrischen Räume gültig ist, nachweisen lässt.

* Die leere Menge und die Grundmenge sind offen: Die leere Menge ist offen, da es kein $x$ gibt, für das eine geeignete ε-Umgebung gefunden werden müsste. Die Grundmenge $V$ ist offen, da sie eine ε-Umgebung aller ihrer Elemente ist.
* Der Durchschnitt endlich vieler offener Mengen ist offen: Seien die Mengen $M_{1},\ldots ,M_{n}$ mit $n\in \mathbb {N}$ offen. Dann existieren Schranken $\varepsilon _{1},\ldots ,\varepsilon _{n}$ und ein $x$ aus dem Schnitt dieser Mengen, sodass $U_{\varepsilon _{i}}(x)\subset M_{i}$ für $i=1,\ldots ,n$ gilt. Wählt man nun $\varepsilon =\min\{\varepsilon _{1},\ldots ,\varepsilon _{n}\}$, dann ist $U_{\varepsilon }(x)\subset M_{1}\cap \ldots \cap M_{n}$ und somit ist der Durchschnitt dieser Mengen offen.
* Die Vereinigung beliebig vieler offener Mengen ist offen: Sei $I$ nun eine beliebige Indexmenge und seien die Mengen $M_{i}$ für $i\in I$ offen. Liegt $x$ in der Vereinigung dieser Mengen, dann gibt es einen Index $i\in I$ mit $x\in M_{i}$ und eine Schranke $\varepsilon$, sodass $U_{\varepsilon }(x)\subset M_{i}$ gilt. Daraus folgt dann $U_{\varepsilon }(x)\subset \bigcup _{i\in I}M_{i}$ und somit ist die Vereinigung dieser Mengen offen.

## Eigenschaften

* Die Normtopologie ist eine spezielle starke Topologie. Sie ist von der schwachen Topologie und der schwach-*-Topologie zu unterscheiden.
* Ein mit einer Normtopologie versehener topologischer Raum ist immer hausdorffsch, da zwei Vektoren $x,y\in V$ mit $x\neq y$ durch Umgebungen $U_{\varepsilon }(x)$ und $U_{\varepsilon }(y)$ mit $\textstyle \varepsilon ={\tfrac {1}{2}}d(x,y)$ voneinander getrennt werden.
* Nach dem Normierbarkeitskriterium von Kolmogoroff wird die Topologie eines hausdorffschen topologischen Vektorraums genau dann durch eine Norm erzeugt, wenn er eine beschränkte und konvexe Nullumgebung besitzt.
