Minlos–Sazonov theorem

The Minlos–Sasonov theorem is a result from measure theory in topological vector spaces. It provides a sufficient condition for a cylindrical measure to be σ-additive on a locally convex space. This is the case when its Fourier transform is continuous at zero in the Sazonov topology and such a topology is called sufficient. The theorem is named after the two Russian mathematicians Robert Adol'fovich Minlos and Vyacheslav Vasilievich Sazonov.

The theorem generalizes two classical theorem: the Minlos theorem (1963) and the Sazonov theorem (1958). It was then later generalized in the 1970s by the mathematicians Albert Badrikian and Laurent Schwartz to locally convex spaces. Therefore, the theorem is sometimes also called Minlos-Sasonov-Badrikian theorem.

Minlos–Sasonov theorem

Let $(X,\tau )$ be a locally convex space, $X^{\ast }$ and $X^{\prime }$ are the corresponding algebraic and topological dual spaces, and $⟨,⟩:X\times X^{\prime }\to ℝ$ is the dual pair. A topology ${\tau }^K$ on $X$ is called compatible with the dual pair $⟨,⟩$ if the corresponding topological dual space induced by ${\tau }^K$ is again $X^{\prime }$. A seminorm $p$ on $X$ is called Hilbertian or a Hilbert seminorm if there exists a positive definite bilinear form $b:X\times X\to ℝ$ such that $p(x)=\sqrt{b(x,x)}$ for all $x\in X$.

Let $𝔄:=𝔄(X,X^{\prime }):=\underset{n=1}{\overset{\mathrm{\infty }}{⨂}}{𝔄}_{f_1,\dots ,f_n}$ denote the cylindrical algebra.

Deriving the Sazonov topology

Let $p$ be a seminorm on $X$ and $X_p$ be the factor space $X_p:=X/p^{-1}(0)$ with canonical mapping $Q_p:X\to X_p$ defined as $Q_p:x\mapsto [x]$. Let $\bar{p}$ be the norm

$\bar{p}(y)=p(Q_p^{-1}(y))$

on $X_p$, denote the corresponding Banach space as ${\bar{X}}_p$ and let $i_p:X_p\hookrightarrow {\bar{X}}_p$ be the natural embedding, then define the continuous map

${\bar{Q}}_p(x):=i_p(Q_p(x))$

which is a map ${\bar{Q}}_p:X\to {\bar{X}}_p$. Let $q$ be a seminorm such that for all $x\in X$

$p(x)\le Cq(x),$

then define a continuous linear operator $T_{q,p}:{\bar{X}}_q\to {\bar{X}}_p$ as follows:

• If $z\in i_q(X_q)\subseteq {\bar{X}}_q$ then $T_{q,p}(z):={\bar{Q}}_p({\bar{Q}}_q^{-1}(z))$, which is well-defined.
• If $z\in ̸i_q(X_q)$ and $z\in {\bar{X}}_q$, then there exists a sequence $(z_n{)}_n\in i_q(X_q)$ which converges against $z$ and the sequence ${(T_{q,p}(z_n))}_n$ converges in ${\bar{X}}_p$ therefore $T_{q,p}(z):=\underset{n\to \mathrm{\infty }}{lim}{(T_{q,p}(z_n))}_n.$

If $p$ it Hilbertian then ${\bar{X}}_p$ is a Hilbert space.

Sazonov topology

Let $𝒫$ be a family of continuous Hilbert seminorms defined as follows: $p\in 𝒫$ if and only if there exists a Hilbert seminorm $q$ such that for all $x\in X$

$p(x)\le Cq(x)$

for some constant $C\in ℝ$ and if $T_{q,p}$ is a Hilbert-Schmidt operator. Then the topology ${\tau }^S:={\tau }^S(X,\tau )$ induced by the family $𝒫$ is called the Sazonov topology or S-topology. Clearly it depends on the underlying topology $\tau$. If $(X,\tau )$ is a nuclear then ${\tau }^S=\tau$.

Statement of the theorem

Let $\mu$ be a cylindrical measure on $𝔄$ and $\tau$ a locally convex topology that is compatible with the dual pair and let ${\tau }^S:={\tau }^S(X,\tau )$ be the Sazonov topology. Then $\mu$ is σ-additive on $𝔄$ if the Fourier transform $\hat{\mu }(f):X^{\prime }\to ℂ$ is continuous in zero in ${\tau }^S$.

Bibliography

• Template:Cite book
• Template:Cite book