There is no infinite-dimensional Lebesgue measure

There is no infinite-dimensional Lebesgue measure

In mathematics, it is a theorem that there is no analogue of Lebesgue measure on an infinite-dimensional space. This fact forces mathematicians studying measure theory on infinite-dimensional spaces to use other kinds of measures: often, the abstract Wiener space construction is used. Alternatively, one may consider Lebesgue measure on finite-dimensional subspaces of the larger space and consider so-called prevalent and shy sets.

Motivation

It can be shown that Lebesgue measure "λ""n" on Euclidean space R"n" is locally finite, strictly positive and translation-invariant. Explicitly:
* every point "x" in R"n" has an open neighbourhood "N""x" with finite measure "λ""n"("N""x") < +∞;
* every non-empty open subset "U" of R"n" has positive measure "λ""n"("U") > 0;
* if "A" is any Lebesgue-measurable subset of R"n", "T""h" : R"n" → R"n", "T""h"("x") = "x" + "h", denotes the translation map, and ("T""h")∗("λ""n") denotes the push forward, then ("T""h")∗("λ""n")("A") = "λ""n"("A").

Geometrically speaking, these three properties make Lebesgue measure very nice to work with. When we consider an infinite dimensional space such as an "Lp" space or the space of continuous paths in Euclidean space, it would be nice to have a similarly nice measure to work with. Unfortunately, this is not possible.

tatement of the theorem

Let ("X", || ||) be an infinite-dimensional, separable Banach space. Then the only locally finite and translation-invariant Borel measure "μ" on "X" is the trivial measure, with "μ"("A") = 0 for every measurable set "A". Equivalently, every translation-invariant measure that is not identically zero assigns infinite measure to all open subsets of "X".

(Many authors assume that "X" is separable. This assumption simplifies the proof considerably, since it provides a countable basis for "X", and if "X" is a Hilbert space then the basis can even be chosen to be orthonormal. However, if "X" is not separable, one is still left with the undesirable property that some open sets have zero measure, so "μ" is not strictly positive even if it is not the trivial measure.)

Proof of the theorem

Let "X" be an infinite-dimensional, separable Banach space equipped with a locally finite, translation-invariant measure "μ". Using local finiteness, suppose that, for some "δ" > 0, the open ball "B"("δ") of radius "δ" has finite "μ"-measure. Since "X" is infinite-dimensional, there is an infinite sequence of pairwise disjoint open balls "B""n"("δ"/4), "n" ∈ N, of radius "δ"/4, with all the smaller balls "B""n"("δ"/4) contained within the larger ball "B"("δ"). By translation-invariance, all of the smaller balls have the same measure; since the sum of these measures is finite, the smaller balls must all have "μ"-measure zero. Now, since "X" is a separable normed space, it is also a second-countable space and a Lindelöf space; hence, it can be covered by a countable collection of balls of radius "δ"/4; since each such ball has "μ"-measure zero, so must the whole space "X", and so "μ" is the trivial measure.

References

* cite journal
author = Hunt, Brian R. and Sauer, Tim and Yorke, James A.
title = Prevalence: a translation-invariant "almost every" on infinite-dimensional spaces
journal = Bull. Amer. Math. Soc. (N.S.)
volume = 27
year = 1992
number = 2
pages = 217–238
doi = 10.1090/S0273-0979-1992-00328-2 (See section 1: Introduction)


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Lebesgue measure — In mathematics, the Lebesgue measure, named after Henri Lebesgue, is the standard way of assigning a length, area or volume to subsets of Euclidean space. It is used throughout real analysis, in particular to define Lebesgue integration. Sets… …   Wikipedia

  • Trivial measure — In mathematics, specifically in measure theory, the trivial measure on any measurable space ( X , Σ) is the measure μ which assigns zero measure to every measurable set: μ ( A ) = 0 for all A in Σ.Properties of the trivial measureLet μ denote the …   Wikipedia

  • Measure (mathematics) — Informally, a measure has the property of being monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B. Furthermore, the measure of the empty set is required to be 0. In mathematical analysis …   Wikipedia

  • Gaussian measure — In mathematics, Gaussian measure is a Borel measure on finite dimensional Euclidean space R n , closely related to the normal distribution in statistics. There is also a generalization to infinite dimensional spaces. Gaussian measures are named… …   Wikipedia

  • Hausdorff measure — In mathematics a Hausdorff measure is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in R n or, more generally, in any metric space. The zero dimensional Hausdorff measure is the number of points in …   Wikipedia

  • Curvature of a measure — In mathematics, the curvature of a measure defined on the Euclidean plane R2 is a quantification of how much the measure s distribution of mass is curved . It is related to notions of curvature in geometry. In the form presented below, the… …   Wikipedia

  • Transverse measure — In mathematics, a measure on a real vector space is said to be transverse to a given set if it assigns measure zero to every translate of that set, while assigning finite and positive (i.e. non zero) measure to some compact set.DefinitionLet V be …   Wikipedia

  • Ornstein–Uhlenbeck operator — Not to be confused with Ornstein–Uhlenbeck process. In mathematics, the Ornstein–Uhlenbeck operator can be thought of as a generalization of the Laplace operator to an infinite dimensional setting. The Ornstein–Uhlenbeck operator plays a… …   Wikipedia

  • Abstract Wiener space — An abstract Wiener space is a mathematical object in measure theory, used to construct a decent (strictly positive and locally finite) measure on an infinite dimensional vector space. It is named after the American mathematician Norbert Wiener.… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”