# universally measurable

Given a measurable space^{} $(\mathrm{\Omega},\mathcal{F})$, a subset $S\subseteq \mathrm{\Omega}$ is said to be *universally measurable* if it lies in the completion^{} (http://planetmath.org/CompleteMeasure) of the $\sigma $-algebra $\mathcal{F}$ with respect to every finite measure^{} $\mu $ on $(\mathrm{\Omega},\mathcal{F})$.
That is, for every such $\mu $, there exist $A,B\in \mathcal{F}$ such that $A\subseteq S\subseteq B$ and $\mu (B\setminus A)=0$.

If, for any finite measure $\mu $ we denote the completion of $\mathcal{F}$ by ${\mathcal{F}}_{\mu}^{*}$ then, the collection^{} of universally measurable sets is

$${\mathcal{F}}^{*}=\bigcap _{\mu}{\mathcal{F}}_{\mu}^{*}$$ |

where $\mu $ ranges over the finite measures on $(\mathrm{\Omega},\mathcal{F})$.
Being an intersection^{} of $\sigma $-algebras, the collection ${\mathcal{F}}^{*}$ of universally measurable sets is itself a $\sigma $-algebra, and is called the *universal completion* of $\mathcal{F}$.
The $\sigma $-algebra $\mathcal{F}$ is called *universally complete* if it contains every set which is universally measurable with respect to $\mathcal{F}$. That is, if ${\mathcal{F}}^{*}=\mathcal{F}$. The universal completion of a $\sigma $-algebra is itself universally complete.

A function $f:A\to B$ between measurable spaces $(A,\mathcal{A})$ and $(B,\mathcal{B})$ is said to be universally measurable if it is ${\mathcal{A}}^{*}/{\mathcal{B}}^{*}$-measurable, so that ${f}^{-1}(S)\in {\mathcal{A}}^{*}$ for all $S\in {\mathcal{B}}^{*}$. In fact, this is equivalent^{} to requiring that $f$ be ${\mathcal{A}}^{*}/\mathcal{B}$-measurable so, in particular, every measurable function^{} is universally measurable.

As any $\sigma $-finite measure is equivalent to a probability measure (http://planetmath.org/AnySigmaFiniteMeasureIsEquivalentToAProbabilityMeasure), the term “finite measure” may be replaced by “$\sigma $-finite measure” in the definitions above. In particular, every $\sigma $-finite measure $\mu $ on $(\mathrm{\Omega},\mathcal{F})$ can be uniquely extended to the universal completion of $\mathcal{F}$.

A subset of a topological space^{} $X$ is said to be universally measurable if it is universally measurable with respect to the Borel $\sigma $-algebra on $X$. 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 ${\mathbb{R}}^{n}$ and, it can be shown that this statement extends to all universally measurable subsets of ${\mathbb{R}}^{n}$. That is, the Zermelo-Fraenkel axioms^{} of set theory^{}, without the axiom of choice, are consistent with the statement that all subsets of ${\mathbb{R}}^{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 |