nLab measurable subset

Redirected from "relatively measurable subset".

Measurable subsets

Idea

The measurable subsets of a measure space (X,μ)(X,\mu) are those subsets AA of the underlying set XX for which the measure μ(A)\mu(A) is defined (at all, even possibly as infinite). Intuitively, one might expect every subset of XX to be measurable, and this is the case in some examples, but in the standard example of Lebesgue measure on the real line, this is incompatible with the axiom of choice. (On the other hand, in dream mathematics, where the full axiom of choice fails, every subset of the real line is Lebesgue measurable.) Regardless, every subset AA of XX has both an outer measure? μ *(A)\mu^*(A) and an inner measure? μ *(A)\mu_*(A).

The concept actually makes sense in any measurable space as well as in related contexts such as Cheng spaces and measurable locales.

Definitions

Typically, the notion of measurable subset of XX is given axiomatically by a structure on the set XX, usually a σ\sigma-algebra \mathcal{M}. The a subset of XX is measurable if it belongs to \mathcal{M}.

Sometimes \mathcal{M} is a weaker structure, such as a δ\delta-ring; see other variants at sigma-algebra. Then we require some subsidiary notions: SS is relatively measurable if STS \cap T belongs to \mathcal{M} whenever TT does, and SS is σ\sigma-measurable if it is a union of a countable family of elements of \mathcal{M}.

(The terms ‘relatively measurable’ and ‘σ\sigma-measurable’ are my own; I cannot find them in the literature. In the case of σ\sigma-measurable sets, the terminology follows a standard pattern. Halmos uses relatively measurable sets, but he doesn't seem to give them a name.)

Modulo null sets

Besides the σ\sigma-algebra of measurable subsets, we may place another structure on XX, a σ\sigma-ideal 𝒩\mathcal{N} in \mathcal{M}. (This structure also exists, for example, for any measure space, and already for a Cheng space or a localisable measurable space.) Then a null set is any subset of XX (measurable or not) contained in an element of 𝒩\mathcal{N}. The null sets form a σ\sigma-ideal 𝒩¯\bar{\mathcal{N}} of the power set 𝒫X\mathcal{P}X, and we may equivalently begin with the σ\sigma-ideal of null sets as long as every null set is contained in a measurable null set.

This allows two complementary modifications to the notion of measurable set:

  1. We may accept the union of any measurable set and any null set as measurable. Since this changes the meaning of ‘measurable’, we may speak of \mathcal{M}-measurable and (,𝒩)(\mathcal{M},\mathcal{N})-measurable sets. The collection of such sets may be denoted 𝒩¯\mathcal{M} \cup \bar{\mathcal{N}} (applying \cup pointwise).

  2. We may regard two measurable sets as equivalent if their symmetric difference is a null set (and hence an element of 𝒩\mathcal{N}). This defines an equivalence relation on \mathcal{M}; the collection of equivalence classes is denoted /𝒩\mathcal{M}/\mathcal{N}.

Note that (𝒩¯)/𝒩/𝒩(\mathcal{M} \cup \bar{\mathcal{N}})/\mathcal{N} \cong \mathcal{M}/\mathcal{N}; indeed, this diagram commutes:

𝒩¯ /𝒩 (𝒩¯)/𝒩 \array { \mathcal{M} & \hookrightarrow & \mathcal{M} \cup \bar{\mathcal{N}} \\ \downarrow & & \downarrow \\ \mathcal{M}/\mathcal{N} & \cong & (\mathcal{M} \cup \bar{\mathcal{N}})/\mathcal{N} }

Accordingly, one may skip the former modification if one intends to also perform the latter. Nevertheless, even when using /𝒩\mathcal{M}/\mathcal{N} as the lattice of measurable ‘sets’, if one considers a subset AA of XX and asks whether AA is ‘measurable’, one usually means whether A𝒩¯A \in \mathcal{M} \cup \bar{\mathcal{N}}.

One could equally well begin with a δ\delta-filter \mathcal{F}, although a σ\sigma-ideal is more traditional. Then a full set is any subset of XX that contains in an element of \mathcal{F}. (If we start with the δ\delta-filter ¯\bar{\mathcal{F}} in 𝒫X\mathcal{P}X, then every full set must contain a measurable full set.) In constructive mathematics, full sets are more fundamental for such examples as Lebesgue measure. In any case, the modifications are as follows:

  1. We may accept the intersection of any measurable set and any full set as measurable; the collection of such sets may be denoted ¯\mathcal{M} \cap \bar{\mathcal{F}}.

  2. We may regard two measurable sets as equivalent if their biconditional is a full set; the collection of equivalence classes is denoted /\mathcal{M}/\mathcal{F}.

Then we have this commuting diagram:

¯ / (¯)/ \array { \mathcal{M} & \hookrightarrow & \mathcal{M} \cap \bar{\mathcal{F}} \\ \downarrow & & \downarrow \\ \mathcal{M}/\mathcal{F} & \cong & (\mathcal{M} \cap \bar{\mathcal{F}})/\mathcal{F} }

Abstract measurable sets

Already we have seen that we may be more interested in equivalence classes of measurable sets than in the sets themselves. We may well start with any appropriate algebra in the place of /\mathcal{M}/\mathcal{F} above and regard its elements are ‘measurable sets’. This may be done in the theory of measurable locales and other ‘pointless’ approaches to measure theory.

Last revised on January 22, 2012 at 08:42:50. See the history of this page for a list of all contributions to it.