universally measurable
Given a measurable space , a subset is said to be universally measurable if it lies in the completion (http://planetmath.org/CompleteMeasure) of the -algebra with respect to every finite measure on . That is, for every such , there exist such that and .
If, for any finite measure we denote the completion of by then, the collection of universally measurable sets is
where ranges over the finite measures on . Being an intersection of -algebras, the collection of universally measurable sets is itself a -algebra, and is called the universal completion of . The -algebra is called universally complete if it contains every set which is universally measurable with respect to . That is, if . The universal completion of a -algebra is itself universally complete.
A function between measurable spaces and is said to be universally measurable if it is -measurable, so that for all . In fact, this is equivalent to requiring that be -measurable so, in particular, every measurable function is universally measurable.
As any -finite measure is equivalent to a probability measure (http://planetmath.org/AnySigmaFiniteMeasureIsEquivalentToAProbabilityMeasure), the term “finite measure” may be replaced by “-finite measure” in the definitions above. In particular, every -finite measure on can be uniquely extended to the universal completion of .
A subset of a topological space is said to be universally measurable if it is universally measurable with respect to the Borel -algebra on . It can be shown, for example, that the image of any continuous map between Polish spaces is universally measurable.
An important example of the use of universally measurable functions comes from the theory of continuous-time stochastic processes. The first time that a continuous process hits a given value is a universally measurable time, as stated by the début theorem. However, it is not always measurable.
It is well known that the axiom of choice is required to construct non-Lebesgue measurable subsets of and, it can be shown that this statement extends to all universally measurable subsets of . That is, the Zermelo-Fraenkel axioms of set theory, without the axiom of choice, are consistent with the statement that all subsets of are universally measurable. This remains true even if we allow a weaker version of the AOC, in the form of the axiom of dependent choice.
As every universally measurable subset of the real numbers is Lebesgue measurable, the proof of Vitali’s Theorem gives an example of the use of the axiom of choice to construct a non-universally measurable set. It is also possible to construct universally but non-Borel measurable sets (http://planetmath.org/ALebesgueMeasurableButNonBorelSet) without using the axiom of choice.
Title | universally measurable |
---|---|
Canonical name | UniversallyMeasurable |
Date of creation | 2013-03-22 18:36:58 |
Last modified on | 2013-03-22 18:36:58 |
Owner | gel (22282) |
Last modified by | gel (22282) |
Numerical id | 8 |
Author | gel (22282) |
Entry type | Definition |
Classification | msc 28A20 |
Classification | msc 28A05 |
Related topic | CompleteMeasure |
Related topic | AnalyticSet2 |
Defines | universal completion |
Defines | universally complete |