measurable partition, of a measure space
A partition (cf. Decomposition) of the space into disjoint subsets (called the elements of the partition) that can be obtained as the partition into level sets of some measurable function (with numerical values) on . This definition can be restated in terms of "intrinsic" properties of the partition (see ). In accordance with the general tendency in questions of measure theory to ignore sets of measure zero, a measurable partition is often understood to be a partition measurable modulo 0, that is, equivalent modulo 0 to some measurable partition (two partitions and of a measure space are equivalent modulo 0 if there exists a set of measure 0 such that the partitions of consisting of the intersections with of the elements of and coincide).
Although the definition given makes sense for any measure space, in fact measurable partitions are almost always considered for Lebesgue spaces (cf. Lebesgue space) (and sometimes for spaces having the properties of the latter to some extent, for example, for spaces with perfect measures; see  and  and Perfect measure), since in these spaces measurable partitions have a number of "good" properties. Thus, in this case there exists a system of conditional measures (or, as used to be said in earlier times , a canonical system of measures) belonging to measurable partitions. This is a system of measures on the elements of the partition which enables one to consider integration with respect to as repeated integration: first, integration is performed over the and with respect to appropriate , and then it is necessary to integrate the result, which can be looked upon as a function on the quotient space , with respect to the natural measure on the latter space (by definition, has the elements of as points, while its measurable subsets are those with measurable pre-images under the natural projection ; the measure is defined to be ). Interpreting as a space of elementary events in probability theory, one can say that the system of conditional measures is an "improvement" of the conditional probability, closely connected with the specific Lebesgue space; for arbitrary spaces of elementary events, the conditional probability cannot, in general, be interpreted using some set of measures on the elements of some partition.
Non-measurable (and non-measurable modulo 0) partitions are by no means always "pathological" objects, like non-measurable sets or functions. For example, the partition of the phase space of an ergodic dynamical system into its trajectories can have a completely "classical" origin; it is simply that its properties are different from those of a measurable partition.
|||V.A. Rokhlin, "On mean notions of measure theory" Mat. Sb. , 25 : 1 (1949) pp. 107–150 (In Russian)|
|||B.V. Gnedenko, A.N. Kolmogorov, "Limit distributions for sums of independent random variables" , Addison-Wesley (1954) (Translated from Russian)|
|||V.V. Sazonov, "On perfect measures" Izv. Akad. Nauk. SSSR Ser. Mat. , 26 : 3 (1962) pp. 391–414 (In Russian)|
A useful result in ergodic theory concerning Lebesgue spaces and measurable partitions is the Rokhlin–Halmos theorem. In its strong form it states: Let be a finite measurable partition of a Lebesgue space and let be an automorphism of this space. Then, for any and any there exists an such that are pairwise disjoint, and , . (The weak form results by taking the trivial partition .)
|[a1]||I.P. [I.P. Kornfel'd] Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) pp. Chapt. 10, §5 (Translated from Russian)|
Measurable decomposition. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Measurable_decomposition&oldid=18413