Prevalent and shy sets

In mathematics, the notions of prevalence and shyness are notions of "almost everywhere" and "measure zero" that are well-suited to the study of infinite-dimensional spaces and make use of the translation-invariant Lebesgue measure on finite-dimensional real spaces. The term "shy" was suggested by the American mathematician John Milnor.

Definitions

Prevalence and shyness

Let V be a real topological vector space and let S be a Borel-measurable subset of V. S is said to be prevalent if there exists a finite-dimensional subspace P of V, called the probe set, such that for all v  V we have v + p  S for λP-almost all p  P, where λP denotes the dim(P)-dimensional Lebesgue measure on P. Put another way, for every v  V, Lebesgue-almost every point of the hyperplane v + P lies in S.

A non-Borel subset of V is said to be prevalent if it contains a prevalent Borel subset.

A Borel subset of V is said to be shy if its complement is prevalent; a non-Borel subset of V is said to be shy if it is contained within a shy Borel subset.

An alternative, and slightly more general, definition is to define a set S to be shy if there exists a transverse measure for S (other than the trivial measure).

Local prevalence and shyness

A subset S of V is said to be locally shy if every point v  V has a neighbourhood Nv whose intersection with S is a shy set. S is said to be locally prevalent if its complement is locally shy.

Theorems involving prevalence and shyness

In the following, "almost every" is taken to mean that the stated property holds of a prevalent subset of the space in question.

\int_{0}^{1} f(x) \, \mathrm{d} x \neq 0.
Clearly, the same property holds for the spaces of k-times differentiable functions Ck([0, 1]; R).
\sum_{n \in \mathbb{N}} a_{n}
diverges.

References

This article is issued from Wikipedia - version of the Friday, March 25, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.