universally measurable


Given a measurable spaceMathworldPlanetmathPlanetmath (Ω,), a subset SΩ is said to be universally measurable if it lies in the completionPlanetmathPlanetmath (http://planetmath.org/CompleteMeasure) of the σ-algebra with respect to every finite measureMathworldPlanetmath μ on (Ω,). That is, for every such μ, there exist A,B such that ASB and μ(BA)=0.

If, for any finite measure μ we denote the completion of by μ* then, the collectionMathworldPlanetmath of universally measurable sets is

*=μμ*

where μ ranges over the finite measures on (Ω,). Being an intersectionMathworldPlanetmathPlanetmath 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 f:AB between measurable spaces (A,𝒜) and (B,) is said to be universally measurable if it is 𝒜*/*-measurable, so that f-1(S)𝒜* for all S*. In fact, this is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath to requiring that f be 𝒜*/-measurable so, in particular, every measurable functionMathworldPlanetmath 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 spaceMathworldPlanetmath X is said to be universally measurable if it is universally measurable with respect to the Borel σ-algebra on X. It can be shown, for example, that the image of any continuous mapMathworldPlanetmath between Polish spacesMathworldPlanetmath 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 continuousMathworldPlanetmath 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 choiceMathworldPlanetmath is required to construct non-Lebesgue measurable subsets of n and, it can be shown that this statement extends to all universally measurable subsets of n. That is, the Zermelo-Fraenkel axiomsMathworldPlanetmath of set theoryMathworldPlanetmath, without the axiom of choice, are consistent with the statement that all subsets of n 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