# Satz von Minlos-Sasonow

Der Satz von Minlos-Sasonow ist ein Resultat aus der Maßtheorie auf topologischen Vektorräumen. Er liefert eine hinreichende Bedingung damit ein zylindrisches Maß auf einem lokalkonvexen Raum σ-additiv ist. Dies ist der Fall, wenn die Fourier-Transformierte bei Null stetig in der Sazonow-Topologie ist. Eine solche Topologie nennt man in der unendlichdimensionalen Analysis ausreichend. Der Satz ist nach den beiden russischen Stochastikern Robert Adolfowitsch Minlos und Wjatscheslaw Wassiljewitsch Sasonow benannt.
Der Satz von Minlos-Sasonow ist eine Verallgemeinerung einiger zentraler Resultate, darunter der Satz von Minlos von 1963 und der Satz von Sasonow von 1958. Sazonow bewies, dass ein zylindrisches Maß auf einem separablen Hilbertraum σ-additiv ist, wenn die Fourier-Transformierte stetig in einer bestimmten Topologie ist, welche heute Sazonow-Topologie genannt wird. 1963 bewies Robert Minlos, dass jede positiv definite Funktion auf einem nuklearen Raum $E$ die Fourier-Transformierte eines Radonmaßes auf dem topologischen Dualraum $E'$ ist. Andrei Kolmogorow bemerkte, dass eine Funktion die Fourier-Transformierte eines Radonmaßes ist, wenn sie stetig in der Sazonow-Topologie ist. In nuklearen Räumen stimmt die Sazonow-Topologie sogar mit der nuklearen Topologie überein. Später verallgemeinerte Albert Badrikian und danach Laurent Schwartz die Sätze dann weiter auf lokalkonvexe Räume. Der Satz wird deshalb auch manchmal als Satz von Minlos-Sasonow-Badrikian bezeichnet.

## Einführung und Herleitung der Sasonow-Topologie

Sei $(X,\tau )$ ein lokalkonvexer Vektorraum, $X^{*}$ sei der algebraische und $X'$ der topologische Dualraum. Sei $\langle ,\rangle :X\times X'\to \mathbb {R}$ die duale Paarung. Eine Topologie $\tau ^{K}$ auf $X$ heißt kompatibel bezüglich der dualen Paarung $\langle ,\rangle$, falls der Dualraum von $X$ bezüglich der Topologie $\tau ^{K}$ auch $X'$ ist und somit die duale Paarung übereinstimmt.

### Zylindrische Algebra, zylindrisches Maß und ihre Fourier-Transformierte

Sei $F\subset X^{*}$ und ${\mathcal {Zyl}}(X,F)$ sei die zylindrische Algebra, das ist die Algebra
    ${\mathcal {Zyl}}(X,F):=\bigcup \limits _{n=1}^{\infty }{\mathfrak {A}}_{f_{1},\dots ,f_{n}}$
bestehend aus den σ-Algebren ${\mathfrak {A}}_{f_{1},\dots ,f_{n}}$ der Zylindermengen erzeugt durch endliche $f_{1},\dots ,f_{n}\in F$.
Ein zylindrisches Maß $\mu$ (auch Zylindermengenfunktion genannt) ist eine projektives System von Maßen auf ${\mathcal {Zyl}}(X,F)$, das heißt $\mu$ ist eine Mengenfunktion, welche σ-additiv auf allen σ-Algebren ${\mathfrak {A}}_{f_{1},\dots ,f_{n}}$ ist.
Für ein zylindrisches Maß $\mu$ auf ${\mathcal {Zyl}}(X,F)$ definiert man die Fourier-Transformiert ${\hat {\mu }}(f):F\to \mathbb {C}$ durch
    ${\hat {\mu }}(f)=\int _{X}e^{i\langle x,f\rangle }d\mu (x),\quad f\in F.$

### Herleitung der Sazonow-Topologie

Sei $p$ eine Halbnorm auf $X$ und betrachte den Quotientenraum $X_{p}:=X/p^{-1}(0)$ mit der kanonischen Abbildung $Q_{p}:X\to X_{p}$ definiert durch $Q_{p}:x\mapsto [x]=x+p^{-1}(0)$. Nun definiert man eine Norm ${\overline {p}}$ auf $X_{p}$ durch
    ${\overline {p}}(y)=p\left(Q_{p}^{-1}(y)\right)$ für $y\in X_{p}$
und der zugehörige Banachraum ${\overline {X}}_{p}$, der durch Vervollständigung unter dieser Norm entsteht. Weiter sei $i_{p}:X_{p}\hookrightarrow {\overline {X}}_{p}$ die natürliche Einbettung in den Banachraum, dann definiere die Abbildung ${\overline {Q}}_{p}:X\to {\overline {X}}_{p}$ durch
    ${\overline {Q}}_{p}(x):=i_{p}\left(Q_{p}(x)\right),$
welches eine stetige Funktion ist.
Sei nun $q$ eine weitere Halbnorm auf $X$, so dass für alle $x\in X$ und eine Konstante $C$
    $p(x)\leq Cq(x)$
gilt. Seien nun ${\overline {Q}}_{p}:X\to {\overline {X}}_{p}$ und ${\overline {Q}}_{q}:X\to {\overline {X}}_{q}$ die oben beschriebenen Abbildungen, dann definiert man einen stetigen linearen Operator $T_{q,p}:{\overline {X}}_{q}\to {\overline {X}}_{p}$ wie folgt:
* Falls $z\in i_{q}(X_{q})\subseteq {\overline {X}}_{q}$, dann $T_{q,p}(z):={\overline {Q}}_{p}\left({\overline {Q}}_{q}^{-1}(z)\right)$. Dies ist eine wohldefinierte Abbildung wegen der Beschränktheit von $p$ durch $q$.
* Falls $z\not \in i_{q}(X_{q})$ und $z\in {\overline {X}}_{q}$, dann existiert eine Folge $(z_{n})_{n}\in i_{q}(X_{q})$ welche gegen $z$ konvergiert. Die Folge $\left(T_{q,p}(z_{n})\right)_{n}$ konvergiert auch in ${\overline {X}}_{p}$ und deshalb definiert man in diesem Fall $T_{q,p}(z):=\lim \limits _{n\to \infty }\left(T_{q,p}(z_{n})\right)_{n}.$

#### Hilbert-Halbnorm

Eine Halbnorm $p$ auf $X$ nennt man Hilbert-Halbnorm, falls eine positiv-definite Bilinearform $b\colon X\times X\to \mathbb {R}$ existiert, so dass
    $p(x)={\sqrt {b(x,x)}}$
für alle $x\in X$. Falls $p$ eine Hilbert-Halbnorm ist, dann ist ${\overline {X}}_{p}$ ein Hilbertraum.

### Sazonow-Topologie

Sei $(X,\tau )$ ein lokalkonvexer Vektorraum. Dann definiere eine Familie von stetigen Hilbert-Halbnormen ${\mathcal {P}}=(p_{j})$ wie folgt: es gilt $p\in {\mathcal {P}}$ genau dann wenn
* eine Hilbert-Halbnorm $q$ existiert, so dass $p(x)\leq Cq(x)$ für alle $x\in X$.
* $T_{q,p}$ ein Hilbert-Schmidt-Operator ist.
Die durch die Familien ${\mathcal {P}}$ erzeugte Topologie $\tau ^{S}:=\tau ^{S}(X,\tau )$ heißt Sazonow-Topologie oder S-Topologie.
Ein lokalkonvexer Vektorraum $(X,\tau )$ ist genau dann ein nuklearer Raum, falls seine Topologie mit der Sazonow-Topologie übereinstimmt $\tau =\tau ^{S}$.

#### Erläuterungen

Die Sazonow-Topologie $\tau ^{S}$ hängt von der Wahl der Topologie $\tau$ ab. Generell gilt $\tau ^{S}(X,\tau )\neq \tau ^{S}(\tau ^{S}(X,\tau ))$. Ein lokalkonvexer Raum ausgestattet mit der schwachen Topologie $(X,\sigma (X,X')$ ist ein nuklearer Raum und deshalb gilt $\tau ^{S}((X,\sigma (X,X'))=\sigma (X,X')$.

## Satz von Minlos-Sasonow

Sei $\mu$ ein zylindrisches Maß auf ${\mathcal {Zyl}}(X,X')$ und $\tau$ eine lokalkonvexe Topologie auf $X$, welche kompatibel mit der dualen Paarung ist. Sei nun $\tau ^{S}$ die Sazonow-Topologie bezüglich $\tau$. Dann ist $\mu$ σ-additiv auf ${\mathcal {Zyl}}(X,X')$, wenn die Fourier-Transformierte ${\hat {\mu }}(f):X'\to \mathbb {C}$ in Null stetig in der Sazonow-Topologie $\tau ^{S}$ ist.