Difference between revisions of "Metric transitivity"
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
(refs format) |
||
Line 5: | Line 5: | ||
[[Category:Ergodic theory]] | [[Category:Ergodic theory]] | ||
− | The property of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637203.png" /> that any measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637204.png" /> of the phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637205.png" /> which is invariant relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637206.png" /> (in the sense that it coincides with its complete inverse images <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637207.png" />) either has measure zero or coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637208.png" /> up to a set of measure zero. A formally stronger version of this property is obtained if in the definition instead of invariant sets one considers sets which are invariant modulo 0 (a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637209.png" /> differing for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372010.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372011.png" /> by a set of measure zero). These two versions are equivalent if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372012.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372013.png" />-finite measure and if the "time" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372014.png" /> runs through a locally compact group with a countable base (see the proof for flows in | + | The property of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637203.png" /> that any measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637204.png" /> of the phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637205.png" /> which is invariant relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637206.png" /> (in the sense that it coincides with its complete inverse images <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637207.png" />) either has measure zero or coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637208.png" /> up to a set of measure zero. A formally stronger version of this property is obtained if in the definition instead of invariant sets one considers sets which are invariant modulo 0 (a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m0637209.png" /> differing for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372010.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372011.png" /> by a set of measure zero). These two versions are equivalent if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372012.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372013.png" />-finite measure and if the "time" <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372014.png" /> runs through a locally compact group with a countable base (see the proof for flows in {{Cite|H}}), but for arbitrary transformation groups this is not the case (see the example, given for another reason, in {{Cite|Fo}}). |
− | Instead of metric transitivity one may also speak of metric indecomposability, or [[Ergodicity|ergodicity]]. If several (quasi-) invariant measures are considered in a given system and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372015.png" /> is one of them, then instead of speaking of metric transitivity (ergodicity) relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372016.png" /> one speaks of metric transitivity (ergodicity) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372017.png" />. Of course, decomposability of a normalized invariant measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372018.png" /> means something different, i.e. the possibility to represent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372019.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372020.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372021.png" /> are normalized invariant measures different from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372023.png" />. Indecomposability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372024.png" /> is equivalent to the second (stronger) version of metric transitivity (see | + | Instead of metric transitivity one may also speak of metric indecomposability, or [[Ergodicity|ergodicity]]. If several (quasi-) invariant measures are considered in a given system and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372015.png" /> is one of them, then instead of speaking of metric transitivity (ergodicity) relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372016.png" /> one speaks of metric transitivity (ergodicity) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372017.png" />. Of course, decomposability of a normalized invariant measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372018.png" /> means something different, i.e. the possibility to represent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372019.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372020.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372021.png" /> are normalized invariant measures different from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372023.png" />. Indecomposability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372024.png" /> is equivalent to the second (stronger) version of metric transitivity (see {{Cite|Fo}}, {{Cite|B}}). |
− | If there is a topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372025.png" />, then under natural assumptions (see the discussion for flows in | + | If there is a topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372025.png" />, then under natural assumptions (see the discussion for flows in {{Cite|H}}) metric transitivity implies that for almost-all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372026.png" /> the trajectory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372027.png" /> is everywhere dense (in this sense, metric transitivity implies [[Topological transitivity|topological transitivity]]). The converse is false. |
− | Starting with J. von Neumann , a number of results were obtained concerning the decomposition of non-ergodic systems into ergodic components. For the traditional, purely metric version (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372028.png" /> a [[Lebesgue space|Lebesgue space]] and only one (quasi-) invariant measure involved) see | + | Starting with J. von Neumann , a number of results were obtained concerning the decomposition of non-ergodic systems into ergodic components. For the traditional, purely metric version (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372028.png" /> a [[Lebesgue space|Lebesgue space]] and only one (quasi-) invariant measure involved) see {{Cite|R}}, {{Cite|R2}}, . N.M. Krylov and N.N. Bogolybov {{Cite|BK}} obtained stronger results for topological flows and cascades on a metric compactum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372029.png" />, of a twofold kind (see also {{Cite|NS}}, {{Cite|O}}): 1) a decomposition of normalized invariant measures, compatible with the topology, into ergodic measures; and 2) a "geometric" realization of all these decompositions at once by means of ergodic sets (cf. [[Ergodic set|Ergodic set]]). Regarding the generalization of these results to other transformation groups, it is known that 1) is valid under broader assumptions than 2) (see {{Cite|Fo}}, {{Cite|B}}). There are also similar results for dynamical systems (at present only cascades and flows) in appropriate measurable spaces (cf. [[Measurable space|Measurable space]]) and (or) for quasi-invariant measures (see {{Cite|O}}–{{Cite|KP}}). |
Metric transitivity of a partition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372030.png" /> of a measure space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372031.png" /> is the property that any measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372032.png" /> consisting entirely of elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372033.png" /> either has measure zero or coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372034.png" /> up to a set of measure zero. Instead of metric transitivity one also speaks of absolute non-measurability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372035.png" />. Metric transitivity of a dynamical system generated by a group of transformations, whose trajectories form a partition of the phase space, coincides with metric transitivity of this partition. If the transformations forming the dynamical system are not invertible, then their metric transitivity also reduces to that of some partition; however, its description is more complicated: the element containing some point consists of all images of the point and all inverse images of these images. | Metric transitivity of a partition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372030.png" /> of a measure space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372031.png" /> is the property that any measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372032.png" /> consisting entirely of elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372033.png" /> either has measure zero or coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372034.png" /> up to a set of measure zero. Instead of metric transitivity one also speaks of absolute non-measurability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372035.png" />. Metric transitivity of a dynamical system generated by a group of transformations, whose trajectories form a partition of the phase space, coincides with metric transitivity of this partition. If the transformations forming the dynamical system are not invertible, then their metric transitivity also reduces to that of some partition; however, its description is more complicated: the element containing some point consists of all images of the point and all inverse images of these images. | ||
====References==== | ====References==== | ||
− | + | {| | |
− | + | |valign="top"|{{Ref|H}}|| E. Hopf, "Ergodentheorie" , Springer (1937) {{MR|0024581}} {{ZBL|0017.28301}} {{ZBL|63.0786.07}} | |
− | + | |- | |
+ | |valign="top"|{{Ref|Fo}}|| S.V. Fomin, "On measures invariant under certain groups of transformations" ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''14''' : 3 (1950) pp. 261–274 (In Russian) {{MR|0035925}} {{ZBL|}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|B}}|| N.N. Bogolyubov, "On some ergodic properties of continuous transformation groups" , ''Selected Works'' , '''1''' , Kiev (1969) pp. 561–569 (In Russian) | ||
+ | |- | ||
+ | |valign="top"|{{Ref|N}}|| J. von Neumann, "Zur Operatorenmethode in der klassischen Mechanik" ''Ann. of Math.'' , '''33''' : 3 (1932) pp. 587–642 {{MR|}} {{ZBL|0005.31504}} {{ZBL|0005.12203}} {{ZBL|58.1270.04}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|N2}}|| J. von Neumann, "Zusätze zur Arbeit "Zur Operatorenmethode in der klassischen Mechanik" " ''Ann. of Math.'' , '''33''' : 4 (1933) pp. 789–792 {{MR|}} {{ZBL|0005.31504}} {{ZBL|58.1271.01}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|R}}|| V.A. Rokhlin, "Selected topics from the metric theory of dynamical systems" ''Transl. Amer. Math. Soc. Ser. 2'' , '''49''' (1966) pp. 171–240 ''Uspekhi Mat. Nauk'' , '''4''' : 2 (1949) pp. 57–128 {{MR|}} {{ZBL|0185.21802}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|R2}}|| V.A. Rokhlin, "On the decomposition of a dynamical system into transitive components" ''Mat. Sb.'' , '''25''' : 2 (1949) pp. 235–249 (In Russian) | ||
+ | |- | ||
+ | |valign="top"|{{Ref|BK}}|| N.N. Bogolyubov, N.M. Krylov, "La theorie générale de la mesure dans son application à l'étude des systèmes dynamiques de la mécanique non-linéaire" ''Ann. of Math. (2)'' , '''38''' (1937) pp. 65–113 {{MR|1503326}} {{ZBL|}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|NS}}|| V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian) {{MR|0121520}} {{ZBL|0089.29502}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|O}}|| J. Oxtoby, "Ergodic sets" ''Bull. Amer. Math. Soc.'' , '''58''' (1952) pp. 116–136 {{MR|0047262}} {{ZBL|0046.11504}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|KP}}|| Yu.I. Kifer, S.A. Pirogov, "The decomposition of quasi-ergodic measures into ergodic components" ''Uspekhi Mat. Nauk'' , '''27''' : 5 (1972) pp. 239–240 (In Russian) | ||
+ | |} | ||
====Comments==== | ====Comments==== | ||
− | The term "ergodic" is mostly used for the first version of metric transitivity; for the second (stranger) version sometimes the term "irreducible" is used; see e.g. | + | The term "ergodic" is mostly used for the first version of metric transitivity; for the second (stranger) version sometimes the term "irreducible" is used; see e.g. {{Cite|M}}. The two notions coincide if for every measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372036.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372037.png" /> which is invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372038.png" /> there exists an invariant measurable subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372039.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372040.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372041.png" />. For conditions such that this holds, see also (the proof of) Lemma 1 in Chapt. 1, § 2 of {{Cite|CFS}}, and e.g. Lemma 3.3 in {{Cite|V}}. A simple example where the two notions do not coincide is in {{Cite|P}}, p. 84. |
− | What is called above "indecomposability" is usually expressed by saying that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372042.png" /> is an extreme point of the (convex) set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372043.png" /> of all invariant probability measures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372044.png" /> (a [[Probability measure|probability measure]] is a normalized measure). Proofs of the fact that an invariant probability measure is indecomposable (i.e., is an extreme point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372045.png" />) if and only if it is irreducible (according to the above definition), under various conditions for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372046.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372047.png" />, can also be found in | + | What is called above "indecomposability" is usually expressed by saying that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372042.png" /> is an extreme point of the (convex) set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372043.png" /> of all invariant probability measures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372044.png" /> (a [[Probability measure|probability measure]] is a normalized measure). Proofs of the fact that an invariant probability measure is indecomposable (i.e., is an extreme point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372045.png" />) if and only if it is irreducible (according to the above definition), under various conditions for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372046.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372047.png" />, can also be found in {{Cite|BH}} and in {{Cite|V}}; also the proof of theorem 6.10(iii) in {{Cite|W}} can easily be adapted to the case of a general semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372048.png" /> and arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372049.png" />. |
− | As to the decomposition of the phase space into ergodic components, see also | + | As to the decomposition of the phase space into ergodic components, see also {{Cite|V}} and {{Cite|Fa}}. Such decompositions lead to representations of invariant measures as integrals of ergodic measures; if the phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063720/m06372050.png" /> is compact, this is an easy consequence of Choquet theory: see {{Cite|P}}, p. 82. For such a representation in the context of random transformations, see Appendix A.1 in {{Cite|K}}. |
====References==== | ====References==== | ||
− | + | {| | |
+ | |valign="top"|{{Ref|BH}}|| J.R. Blum, D.L. Hanson, "On invariant probability measures I" ''Pacific J. Math.'' , '''10''' (1960) pp. 1125–1129 {{MR|0133426}} {{ZBL|0104.11006}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|Fa}}|| R.H. Farrell, "Representation of invariant measures" ''Illinois J. Math.'' , '''6''' (1962) pp. 447–467 {{MR|0150264}} {{ZBL|0108.14203}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|K}}|| Y. Kifer, "Ergodic theory of random transformations" , Birkhäuser (1986) {{MR|0884892}} {{ZBL|0604.28014}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|M}}|| G.W. Mackey, "Point realizations of transformation groups" ''Illinois J. Math.'' , '''6''' (1962) pp. 327–335 {{MR|0143874}} {{ZBL|0178.17203}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|P}}|| R.R. Phelps, "Lectures on Choquet's theorem" , v. Nostrand (1966) {{MR|193470}} {{ZBL|}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|V}}|| V.S. Varadarajan, "Groups of automorphisms of Borel spaces" ''Trans. Amer. Math. Soc.'' , '''109''' (1963) pp. 191–220 {{MR|0159923}} {{ZBL|0192.14203}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|W}}|| P. Walters, "An introduction to ergodic theory" , Springer (1982) {{MR|0648108}} {{ZBL|0475.28009}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|CFS}}|| I.P. Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) (Translated from Russian) {{MR|832433}} {{ZBL|}} | ||
+ | |} |
Revision as of 06:01, 15 May 2012
of a dynamical system with a (quasi-) invariant measure
2020 Mathematics Subject Classification: Primary: 37Axx [MSN][ZBL]
The property of that any measurable subset
of the phase space
which is invariant relative to
(in the sense that it coincides with its complete inverse images
) either has measure zero or coincides with
up to a set of measure zero. A formally stronger version of this property is obtained if in the definition instead of invariant sets one considers sets which are invariant modulo 0 (a set
differing for each
from
by a set of measure zero). These two versions are equivalent if
is a
-finite measure and if the "time"
runs through a locally compact group with a countable base (see the proof for flows in [H]), but for arbitrary transformation groups this is not the case (see the example, given for another reason, in [Fo]).
Instead of metric transitivity one may also speak of metric indecomposability, or ergodicity. If several (quasi-) invariant measures are considered in a given system and is one of them, then instead of speaking of metric transitivity (ergodicity) relative to
one speaks of metric transitivity (ergodicity) of
. Of course, decomposability of a normalized invariant measure
means something different, i.e. the possibility to represent
as
, where
are normalized invariant measures different from
and
. Indecomposability of
is equivalent to the second (stronger) version of metric transitivity (see [Fo], [B]).
If there is a topology on , then under natural assumptions (see the discussion for flows in [H]) metric transitivity implies that for almost-all
the trajectory of
is everywhere dense (in this sense, metric transitivity implies topological transitivity). The converse is false.
Starting with J. von Neumann , a number of results were obtained concerning the decomposition of non-ergodic systems into ergodic components. For the traditional, purely metric version ( a Lebesgue space and only one (quasi-) invariant measure involved) see [R], [R2], . N.M. Krylov and N.N. Bogolybov [BK] obtained stronger results for topological flows and cascades on a metric compactum
, of a twofold kind (see also [NS], [O]): 1) a decomposition of normalized invariant measures, compatible with the topology, into ergodic measures; and 2) a "geometric" realization of all these decompositions at once by means of ergodic sets (cf. Ergodic set). Regarding the generalization of these results to other transformation groups, it is known that 1) is valid under broader assumptions than 2) (see [Fo], [B]). There are also similar results for dynamical systems (at present only cascades and flows) in appropriate measurable spaces (cf. Measurable space) and (or) for quasi-invariant measures (see [O]–[KP]).
Metric transitivity of a partition of a measure space
is the property that any measurable subset
consisting entirely of elements of
either has measure zero or coincides with
up to a set of measure zero. Instead of metric transitivity one also speaks of absolute non-measurability of
. Metric transitivity of a dynamical system generated by a group of transformations, whose trajectories form a partition of the phase space, coincides with metric transitivity of this partition. If the transformations forming the dynamical system are not invertible, then their metric transitivity also reduces to that of some partition; however, its description is more complicated: the element containing some point consists of all images of the point and all inverse images of these images.
References
[H] | E. Hopf, "Ergodentheorie" , Springer (1937) MR0024581 Zbl 0017.28301 Zbl 63.0786.07 |
[Fo] | S.V. Fomin, "On measures invariant under certain groups of transformations" Izv. Akad. Nauk SSSR Ser. Mat. , 14 : 3 (1950) pp. 261–274 (In Russian) MR0035925 |
[B] | N.N. Bogolyubov, "On some ergodic properties of continuous transformation groups" , Selected Works , 1 , Kiev (1969) pp. 561–569 (In Russian) |
[N] | J. von Neumann, "Zur Operatorenmethode in der klassischen Mechanik" Ann. of Math. , 33 : 3 (1932) pp. 587–642 Zbl 0005.31504 Zbl 0005.12203 Zbl 58.1270.04 |
[N2] | J. von Neumann, "Zusätze zur Arbeit "Zur Operatorenmethode in der klassischen Mechanik" " Ann. of Math. , 33 : 4 (1933) pp. 789–792 Zbl 0005.31504 Zbl 58.1271.01 |
[R] | V.A. Rokhlin, "Selected topics from the metric theory of dynamical systems" Transl. Amer. Math. Soc. Ser. 2 , 49 (1966) pp. 171–240 Uspekhi Mat. Nauk , 4 : 2 (1949) pp. 57–128 Zbl 0185.21802 |
[R2] | V.A. Rokhlin, "On the decomposition of a dynamical system into transitive components" Mat. Sb. , 25 : 2 (1949) pp. 235–249 (In Russian) |
[BK] | N.N. Bogolyubov, N.M. Krylov, "La theorie générale de la mesure dans son application à l'étude des systèmes dynamiques de la mécanique non-linéaire" Ann. of Math. (2) , 38 (1937) pp. 65–113 MR1503326 |
[NS] | V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian) MR0121520 Zbl 0089.29502 |
[O] | J. Oxtoby, "Ergodic sets" Bull. Amer. Math. Soc. , 58 (1952) pp. 116–136 MR0047262 Zbl 0046.11504 |
[KP] | Yu.I. Kifer, S.A. Pirogov, "The decomposition of quasi-ergodic measures into ergodic components" Uspekhi Mat. Nauk , 27 : 5 (1972) pp. 239–240 (In Russian) |
Comments
The term "ergodic" is mostly used for the first version of metric transitivity; for the second (stranger) version sometimes the term "irreducible" is used; see e.g. [M]. The two notions coincide if for every measurable subset of
which is invariant
there exists an invariant measurable subset
of
such that
. For conditions such that this holds, see also (the proof of) Lemma 1 in Chapt. 1, § 2 of [CFS], and e.g. Lemma 3.3 in [V]. A simple example where the two notions do not coincide is in [P], p. 84.
What is called above "indecomposability" is usually expressed by saying that is an extreme point of the (convex) set
of all invariant probability measures on
(a probability measure is a normalized measure). Proofs of the fact that an invariant probability measure is indecomposable (i.e., is an extreme point of
) if and only if it is irreducible (according to the above definition), under various conditions for
or
, can also be found in [BH] and in [V]; also the proof of theorem 6.10(iii) in [W] can easily be adapted to the case of a general semi-group
and arbitrary
.
As to the decomposition of the phase space into ergodic components, see also [V] and [Fa]. Such decompositions lead to representations of invariant measures as integrals of ergodic measures; if the phase space is compact, this is an easy consequence of Choquet theory: see [P], p. 82. For such a representation in the context of random transformations, see Appendix A.1 in [K].
References
[BH] | J.R. Blum, D.L. Hanson, "On invariant probability measures I" Pacific J. Math. , 10 (1960) pp. 1125–1129 MR0133426 Zbl 0104.11006 |
[Fa] | R.H. Farrell, "Representation of invariant measures" Illinois J. Math. , 6 (1962) pp. 447–467 MR0150264 Zbl 0108.14203 |
[K] | Y. Kifer, "Ergodic theory of random transformations" , Birkhäuser (1986) MR0884892 Zbl 0604.28014 |
[M] | G.W. Mackey, "Point realizations of transformation groups" Illinois J. Math. , 6 (1962) pp. 327–335 MR0143874 Zbl 0178.17203 |
[P] | R.R. Phelps, "Lectures on Choquet's theorem" , v. Nostrand (1966) MR193470 |
[V] | V.S. Varadarajan, "Groups of automorphisms of Borel spaces" Trans. Amer. Math. Soc. , 109 (1963) pp. 191–220 MR0159923 Zbl 0192.14203 |
[W] | P. Walters, "An introduction to ergodic theory" , Springer (1982) MR0648108 Zbl 0475.28009 |
[CFS] | I.P. Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) (Translated from Russian) MR832433 |
Metric transitivity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Metric_transitivity&oldid=26629