This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
This introductory section's tone or style may not reflect the encyclopedic tone used on Wikipedia. Relevant discussion may be found on the talk page. See Wikipedia's guide to writing better articles for suggestions. (August 2023) (Learn how and when to remove this message)
This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (October 2023) (Learn how and when to remove this message)
(Learn how and when to remove this message)

An **infinite-dimensional Lebesgue measure** (or Lebesgue-like measure) is a measure defined on an infinite-dimensional Banach space, which shares certain properties with the Lebesgue measure defined on finite-dimensional spaces.

The usual Lebesgue measure does not generalize to all infinite-dimensional spaces, because any translation-invariant Borel measure on an infinite-dimensional separable Banach space is either infinite on all sets, or zero on all sets. However, there are examples of Lebesgue-like measures when either the space is not separable (such as the Hilbert cube), or when one of the characteristic properties of the Lebesgue measure is relaxed.

The Lebesgue measure on the Euclidean space is locally finite, strictly positive, and translation-invariant. That is:

- every point in has an open neighborhood with finite measure:
- every non-empty open subset of has positive measure: and
- if is any Lebesgue-measurable subset of and is a vector in then all translates of have the same measure:

Motivated by their geometrical signifance, constructing measures satisfying the above set properties, for infinite-dimensional spaces such as the spaces or path spaces is still an open and active area of research.

On a non locally compact Polish group , there cannot exist a σ-finite, left-invariant Borel measure.^{[1]}

Let be an infinite-dimensional, separable Banach space. Then the only locally finite and translation invariant Borel measure on is the trivial measure. Equivalently, there is no locally-finite, strictly positive, translation invariant measure on .

Let be an infinite-dimensional, separable Banach space equipped with a locally finite translation-invariant measurement To prove that is the trivial measure, it is sufficient and necessary to show that

Like every separable metric space, is a Lindelöf space, which means that every open cover of has a countable subcover. It is therefore enough to show that there exists some open cover of by null sets, because by choosing a countable subcover, the σ-subadditivity of implies that

Using local finiteness, suppose that for some the open ball of radius has a finite -measure. Since is infinite-dimensional, by Riesz's lemma there is an infinite sequence of pairwise disjoint open balls , of radius with all the smaller balls contained within By translation invariance, all the smaller balls have the same measure, and since the sum of these measurements is finite, the smaller balls must all have -measure zero.

Since was arbitrary, every open ball in has zero measure, and taking a cover of which is the set of all open balls completes the proof.

The following are examples where a notion of an infinite-dimensional Lebesgue measure exists, once the conditions of the above theorem are loosened.

There are other kinds of measures that support entirely separable Banach spaces such as the abstract Wiener space construction, which gives the analog of products of Gaussian measures. Alternatively, one may consider a Lebesgue measurement of finite-dimensional subspaces on the larger space and consider the so-called prevalent and shy sets.^{[2]}

The Hilbert cube carries the product Lebesgue measure^{[3]} and the compact topological group given by the Tychonoff product of an infinite number of copies of the circle group which is infinite-dimensional and carries a Haar measure that is translation-invariant. These two spaces can be mapped onto each other in a measure-preserving way by unwrapping the circles into intervals. The infinite product of the additive real numbers has the analogous product Haar measure, which is precisely the infinite-dimensional analog of the Lebesgue measure.^{[citation needed]}