The approximation of one-one measurable transformations by measure preserving homeomorphisms
HTML articles powered by AMS MathViewer
- by H. E. White PDF
- Proc. Amer. Math. Soc. 44 (1974), 391-394 Request permission
Abstract:
This paper contains two results related to the material in [2]. Suppose $f$ is a one-one transformation of the open unit interval ${I^n}$ (where $n \geqq 2$) onto ${I^n}$. 1. If $f$ is absolutely measureable and $\varepsilon > 0$, then there is an absolutely measurable homeomorphism ${\varphi _\varepsilon }$ of ${I^n}$ onto ${I^n}$ such that $m(\{ x:f(x) \ne {\varphi _\varepsilon }(x)$ or ${f^{ - 1}}(x) \ne \varphi _\varepsilon ^{ - 1}(x)\} ) < \varepsilon$, where $m$ denotes $n$-dimensional Lebesgue measure. 2. Suppose $\mu$ is either (1) a nonatomic, finite Borel measure on ${I^n}$ such that $\mu (G) > 0$ for every nonempty open subset $G$ of ${I^n}$, or (2) the completion of a measure of type (1). If $f$ is $\mu$-measure preserving and $\varepsilon > 0$, then there is a $\mu$-measure preserving homeomorphism ${\varphi _\varepsilon }$ of ${I^n}$ onto ${I^n}$ such that $\mu (\{ x:f(x) \ne {\varphi _\varepsilon }(x)\} ) < \varepsilon$.References
-
L. C. Glaser, Geometrical combinatorial topology. Vol. I, Van Nostrand-Reinhold, New York, 1970.
- Casper Goffman, One-one measurable transformations, Acta Math. 89 (1953), 261–278. MR 57308, DOI 10.1007/BF02393010
- J. C. Oxtoby and S. M. Ulam, Measure-preserving homeomorphisms and metrical transitivity, Ann. of Math. (2) 42 (1941), 874–920. MR 5803, DOI 10.2307/1968772
Additional Information
- © Copyright 1974 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 44 (1974), 391-394
- MSC: Primary 28A65
- DOI: https://doi.org/10.1090/S0002-9939-1974-0367159-0
- MathSciNet review: 0367159