measure theory in topological vector spaces

In mathematics, measure theory in topological vector spaces refers to the extension of measure theory to topological vector spaces. Such spaces are often infinite-dimensional, but many results of classical measure theory are formulated for finite-dimensional spaces and cannot be directly transferred. This is already evident in the case of the Lebesgue measure, which does not exist in general infinite-dimensional spaces.

The article considers only topological vector spaces, which also possess the Hausdorff property. Vector spaces without topology are mathematically not that interesting because concepts such as convergence and continuity are not defined there.

σ-Algebras

Let $(X,\mathcal{T})$ be a topological vector space, $X^*$ the algebraic dual space and $X'$ the topological dual space. In topological vector spaces there exist three prominent σ-algebras:

the Borel σ-algebra $\mathcal{B}(X)$ : is generated by the open sets of $\mathcal{T}$ .
the cylindrical σ-algebra $\mathcal{E}(X, X')$ : is generated by the dual space $X'$ .
the Baire σ-algebra $\mathcal{B}_0(X)$ : is generated by all continuous functions $C(X,\mathbb{R})$ . The Baire σ-algebra is also notated $\mathcal{Ba}(X)$ .

The following relationship holds:

: $\mathcal{E}(X,X')\subseteq \mathcal{B}_0(X)\subseteq \mathcal{B}(X)$

where $\mathcal{E}(X,X')\subseteq \mathcal{B}_0(X)$ is obvious.

= Cylindrical σ-algebra =

Let $X$ and $Y$ be two vector spaces in duality. A set of the form

: $C_{f_1,\dots,f_n,B}:=\{x\in X\colon (\langle x,f_1\rangle,\dots,\langle x,f_n\rangle)\in B\}$

for $B\in\mathcal{B}(\mathbb{R}^n)$ and $f_1,\dots,f_n\in Y$ is called a cylinder set and if $B$ is open, then it's an open cylinder set. The set of all cylinders is $\mathfrak{A}_{f_1,\dots,f_n}$ and

: $\mathcal{E}(X,Y)=\sigma\left(\mathcal{Zyl}(X,Y)\right)=\sigma\left(\bigotimes_{n\in \mathbb{N}} \mathfrak{A}_{f_1,\dots,f_n}\right)$

is called the cylindrical σ-algebra.{{cite book |title=Topological Vector Spaces and Their Applications |first1=Vladimir Igorevich|last1=Bogachev |first2=Oleg Georgievich|last2=Smolyanov|DOI=10.1007/978-3-319-57117|lccn=87004931 |series=Springer Monographs in Mathematics| year=2017| publisher=Springer Cham |pages=327–333}} The sets of cylinders and the set of open cylinders generate the same cylindrical σ-algebra.

For the weak topology $T_s:=T_s(X,X')$ the cylindrical σ-algebra $\mathcal{E}(X,X')$ is the Baire σ-algebra of $(X,T_s)$ .{{cite book |first=David H. |last=Fremlin |publisher=Torres Fremlin |title=Measure Theory, Volume 4: Topological Measure Spaces |volume=4 |date=2003 |isbn=0-9538129-4-4 |page=479}} One uses the cylindrical σ-algebra because the Borel σ-algebra can lead to measurability problems in infinite-dimensional space. In connection with integrals of continuous functions it is difficult or even impossible to extend them to arbitrary borel sets.{{cite book |first=David H. |last=Fremlin |publisher=Torres Fremlin |title=Measure Theory, Volume 4: Topological Measure Spaces |volume=4 |date=2003 |isbn=0-9538129-4-4}} For non-separable spaces it can happen that the vector addition is no longer measurable to the product algebra of borel σ-algebras.{{cite book| last1 = Talagrand | first1 = Michel | first2 = Michel |last2 = Ledoux | title = Probability in Banach Spaces: Isoperimetry and Processes | publisher = Springer | year = 1991| isbn = 978-3-642-20211-7| series = Classics in Mathematics | doi = 10.1007/978-3-642-20212-4}}

Measures

One way to construct a measure on an infinite-dimensional space is to first define the measure on finite-dimensional spaces and then extend it to infinite-dimensional spaces as a projective system. This leads to the notion of cylindrical measure, which according to Israel Moiseevich Gelfand and Naum Yakovlevich Vilenkin, originates from Andrei Nikolayevich Kolmogorov.{{cite book |first1=Israel Moiseevich |last1=Gelfand |first2=Naum Yakovlevich |last2=Vilenkin |title=Generalized Functionsl, Volume 4: Applications of Harmonic Analysis Vol 4 Applications Of Harmonic Analysis |volume=4 |date=1964 |pages=374}}

=Cylindrical Measures=

Let $(X, \mathcal{T})$ be a topological vector space over $\mathbb{R}$ and $X^*$ its algebraic dual space. Furthermore, let $F$ be a vector space of linear functionals on $X$ , that is $F \subseteq X^*$ .

A set function

: $\nu: \mathcal{Zyl}(X, F) \to \mathbb{R}+$

is called a cylindrical measure if, for every finite subset $G := \{f_1, \dots, f_n\} \subseteq F$ with $n \in \mathbb{N}$ , the restriction

: $\nu: \mathcal{E}(X, G) \to \mathbb{R}+$

is a σ-additive function, i.e. $\nu$ is a measure.

Let $\Gamma \subset X^*$ . A cylindrical measure $\mu$ on $X$ is said to have weak order $p$ (or to be of weak type $p$ ) if the $p$ -th weak moment exists, that is,

: $\int_E |\langle f, x \rangle|^p, d\mu(f) < \infty$

for all $f \in \Gamma$ .{{cite book |last1=Vakhania |first1=N. N. |last2=Tarieladze |first2=V. I. |last3=Chobanyan |first3=S. A. |title=Probability Distributions on Banach Spaces |publisher=Springer |year=1987 |location=Dordrecht |page=414}}

= Radon measure=

Every Radon measure induces a cylindrical measure but the converse is not true.{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |pages=172–174 }} Let $E$ and $G$ be two locally convex space, then an operator $T:E\to G$ is called a $(q,p)$ -radonifying operator, if for a cylindrical measure $\mu$ of order $q$ on $E$ the image measure $T^*\mu$ is a Radon measure of order $p$ on $G$ .{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |pages=299 }}{{cite book |last1=Vakhania |first1=N. N. |last2=Tarieladze |first2=V. I. |last3=Chobanyan |first3=S. A. |title=Probability Distributions on Banach Spaces |publisher=Springer |year=1987 |location=Dordrecht |page=416}}{{cite journal |first=Laurent |last=Schwartz |title=Applications $p$-sommantes et $p$-radonifiantes |journal=Séminaire Maurey-Schwartz (1972–1973) |number=Talk nr. 3 |date= |pages=8 |url=https://www.numdam.org/item/SAF_1972-1973____A3_0/}}

= Some results=

There are many results on when a cylindrical measure can be extended to a Radon measure, such as Minlos theorem{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |page=233}} and Sazonov theorem.{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |page=215}}

Let $A$ be a balanced, convex, bounded and closed subset of a locally convex space $E$ , then $E_A$ denoted the subspace of $E$ which is generated by $A$ . A balanced, convex, bounded subset $A$ of a locally convex Hausdorff space $E$ is called a Hilbert set if the Banach space $E_A$ has a Hilbert space structure, i.e. the norm $\|\cdot\|_{E_A}$ of $E_A$ can be deduced from a scalar product and $E_A$ is complete.{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |page=230}}

== A theorem by Sazonov-Badrikian ==

Let $E$ be a quasi-complete locally convex Hausdorff space and $E'_c$ be its dual equipped with the topology of uniform convergence on compact subsets in $E$ . Assume that every subset of $E$ is contained in a balanced, convex, compact Hilbert set. A function of positive type $f$ on $E'_c$ is the Fourier transform of a Radon measure on $E$ if and only if the function is continuous for the Hilbert-Schmidt topology associated with the topology of $E'_c$ .{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 |page=239}}

== Minlos–Sasonov theorem ==

A slight variant of the theorem is the Minlos–Sazonov theorem which states that a cylindrical measure is σ-additive and Radon if it's Fourier transform is continuous in zero in the Sazonov topology.

Bibliography

A valid standard reference is still the book published by Laurent Schwartz in 1973.

{{cite book |first=Laurent |last=Schwartz |title=Radon Measures on Arbitrary Topological Spaces and Cylindrical Measures |series=Notes by K.R. Parthasarathy, Tata Institute of Fundamental Research Lectures on Mathematics and Physics |publisher=Oxford University Press |place=London |date=1973 }}
{{cite book |last=Smolyanov |first=Oleg |author2=Vladimir I. Bogachev |title=Topological Vector Spaces and Their Applications |publisher=Springer International Publishing |year=2017 |location=Germany }}

References

Category:Measure theory

Category:Functional analysis