|
|
Line 1: |
Line 1: |
− | ''in a measure space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631901.png" />'' | + | {{TEX|done}} |
| + | ''in a measure space $(M,\mu)$'' |
| | | |
| {{MSC|37A10}} | | {{MSC|37A10}} |
Line 5: |
Line 6: |
| [[Category:Ergodic theory]] | | [[Category:Ergodic theory]] |
| | | |
− | A family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631902.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631903.png" /> runs over the set of real numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631904.png" />) of automorphisms of the space such that: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631905.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631906.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631907.png" />; and 2) the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631908.png" /> taking <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m0631909.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319010.png" /> is measurable (a measure is introduced on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319011.png" /> as the direct product of the measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319012.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319013.png" /> and the Lebesgue measure in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319014.png" />). "Automorphisms" here are to be understood in the strict sense of the word (and not modulo 0), that is, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319015.png" /> must be bijections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063190/m06319016.png" /> carrying measurable sets to measurable sets of the same measure. In using automorphisms modulo 0, it turns out to be expedient to replace condition 2) by a condition of a different character, which leads to the concept of a [[Continuous flow|continuous flow]]. Measurable flows are used in [[Ergodic theory|ergodic theory]]. | + | A family $\{T^t\}$ ($t$ runs over the set of real numbers $\mathbf R$) of automorphisms of the space such that: 1) $T^t(T^s(x))=T^{t+s}(x)$ for all $t,s\in\mathbf R$, $x\in M$; and 2) the mapping $M\times\mathbf R\to M$ taking $(x,t)$ to $T^tx$ is measurable (a measure is introduced on $M\times\mathbf R$ as the direct product of the measure $\mu$ in $M$ and the Lebesgue measure in $\mathbf R$). "Automorphisms" here are to be understood in the strict sense of the word (and not modulo 0), that is, the $T^t$ must be bijections $M\to M$ carrying measurable sets to measurable sets of the same measure. In using automorphisms modulo 0, it turns out to be expedient to replace condition 2) by a condition of a different character, which leads to the concept of a [[Continuous flow|continuous flow]]. Measurable flows are used in [[Ergodic theory|ergodic theory]]. |
Latest revision as of 16:21, 19 August 2014
in a measure space $(M,\mu)$
2020 Mathematics Subject Classification: Primary: 37A10 [MSN][ZBL]
A family $\{T^t\}$ ($t$ runs over the set of real numbers $\mathbf R$) of automorphisms of the space such that: 1) $T^t(T^s(x))=T^{t+s}(x)$ for all $t,s\in\mathbf R$, $x\in M$; and 2) the mapping $M\times\mathbf R\to M$ taking $(x,t)$ to $T^tx$ is measurable (a measure is introduced on $M\times\mathbf R$ as the direct product of the measure $\mu$ in $M$ and the Lebesgue measure in $\mathbf R$). "Automorphisms" here are to be understood in the strict sense of the word (and not modulo 0), that is, the $T^t$ must be bijections $M\to M$ carrying measurable sets to measurable sets of the same measure. In using automorphisms modulo 0, it turns out to be expedient to replace condition 2) by a condition of a different character, which leads to the concept of a continuous flow. Measurable flows are used in ergodic theory.
How to Cite This Entry:
Measurable flow. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Measurable_flow&oldid=33028
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098.
See original article