Does there exist a Lebesgue measure in the infinite-dimensional space? (Q2377591)

From MaRDI portal
Revision as of 19:26, 3 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Does there exist a Lebesgue measure in the infinite-dimensional space?
scientific article

    Statements

    Does there exist a Lebesgue measure in the infinite-dimensional space? (English)
    0 references
    0 references
    19 January 2009
    0 references
    The article is devoted to Lebesgue measure analogs in infinite-dimensional spaces. For this purpose suitable properties of characteristic functionals of measures are used. A measure space \(X\) isomorphic with (\([0,1], m\)) is considered, where \([0,1]\) is the real segment and \(m\) is the Lebesgue measure on it. Weak convergence of a sequence of \(\sigma \)-finite Borel measures \(\mu _n\) on the cone \(K\) of all finite positive discrete measures on \(X\) is used. By the definition this means that the limit \(\lim_n {\hat \mu }_n(f)\) converges, where \({\hat \mu }_n(f)\) is the Laplace transform of \(\mu _n\) and \(f\) is a positive function on \(X\). The Laplace transform is defined as \(\int_K \exp \{ - \int_X f(x) d\xi (x) \} d\mu (\xi ) = {\hat \mu }(f)< \infty .\) Then \(\sigma \)-finite, \(\sigma \)-additive and finite on compact sets measures are considered. The article contains also a review of many works in this area. The theorem of A. Weil, stating that an existence of a positive quasi-invariant Borel measure on a topological group relative to all (left) shifts \(L_h\), \(h\in G\), implies that \(G\) is locally compact, is mentioned. This construction of measures is applied to infinite dimensional generalized Lie groups. In particular, \(\sigma \)-finite measures in the space of vector-valued distributions on \(X\) with the characteristic functional \(\Psi (f) = \exp \{ - \theta \int_X \ln \| f(x) \| dx \},\) \(\theta >0\), are studied. The collection of such measures constitutes a one-parameter semigroup relative to \(\theta \). In the case of scalar distributions and \(\theta =1\), this measure was called in the paper as the infinite-dimensional Lebesgue measure. This measure is also closely related with the Poisson-Dirichlet measures well known in combinatorics and probability theory. Possibly the only known example of analogous asymptotic behaviour of the uniform measure on the homogeneous manifold is the classical Maxwell-Poincaré lemma, which states, that the weak limit of uniform measures on the Euclidean spheres of appropriate radii, as dimension tends to the infinity, is the standard infinite-dimensional Gaussian measure. Ideas for subsequent studies and applications of these activities, for example, on homogeneous spaces of Lie groups are discussed.
    0 references
    \(\sigma \)-finite measures
    0 references
    characteristic functionals
    0 references
    Lebesgue measure
    0 references
    weak convergence
    0 references

    Identifiers