Abzählbar normierter Raum
# Abzählbar normierter Raum

Ein abzählbar normierter Raum (englisch countably normed space) ist in der Funktionalanalysis ein lokalkonvexer Raum, dessen Topologie durch eine abzählbare Menge von kompatiblen Normen erzeugt wird, das heißt, sie besitzen dieselben Cauchy-Folgen. Der Begriff wurde von Israel Moissejewitsch Gelfand und Georgi Jewgenjewitsch Schilow eingeführt.

## Abzählbar normierter Raum

Seien $\|\cdot \|_{1}$ und $\|\cdot \|_{2}$ zwei Normen auf einem linearen Raum $V$. Man nennt $\|\cdot \|_{1}$ und $\|\cdot \|_{2}$ kompatibel oder konsistent, falls eine Cauchy-Folge $(x_{n})_{n\in \mathbb {N} }\in V$, welche in einer der beiden Normen gegen $x'\in V$ konvergiert, auch in der anderen Norm gegen $x'$ konvergiert.

Ein lokalkonvexer Raum $X$ heißt abzählbar normierter Raum, falls die Topologie durch eine abzählbare Menge kompatibler Normen $\{\|\cdot \|_{n}\}_{n\in \mathbb {N} }$ erzeugt wurde.

## Eigenschaften

Man kann ohne Beschränkung der Allgemeinheit annehmen, dass die Normen von der Form $\|\cdot \|_{p}\leq \|\cdot \|_{q}$ für $q>p$ sind, ansonsten definiert man die Normen $\|\cdot \|_{1,k}=\max(\|\cdot \|_{1},\|\cdot \|_{2},\dots ,\|\cdot \|_{k})$, welche die gleiche Topologie erzeugen.

Sei $X_{n}$ der Banachraum, der durch die Vervollständig bezüglich der $\|\cdot \|_{n}$-Norm entstanden ist. Dann existiert eine Inklusion

    $X_{1}\supset X_{2}\supset \cdots \supset X_{n}\supset \cdots$

und $X$ ist ein Fréchet-Raum und der projektive Limes

    $X=\bigcap _{n\in \mathbb {N} }X_{n}.$

$X$ ist metrisierbar und eine Metrik ist durch

       $d(x,y)=\sum \limits _{n=1}^{\infty }{\frac {1}{2^{n}}}{\frac {\|x-y\|_{n}}{1-\|x-y\|_{n}}}$

gegeben. Eine Folge in $X$ ist dann und nur dann eine Cauchy-Folge bezüglich dieser Metrik, wenn sie eine Cauchy-Folge bezüglich jeder Norm ist.

## Beispiele

* Sei $X=C^{\infty }[a,b]$ der Raum der glatten Funktionen auf $[a,b]$, dann wird der Raum durch die Normen

       $\|f\|_{n}=\sup \limits _{\begin{array}{c}a\leq t\leq b\\0\leq k\leq n\end{array}}|f^{(k)}(t)|$
    zu einem abzählbar normierten Raum.
