Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
measure-preserving transformations
|
| gptkbp:field |
ergodic theory
|
| gptkbp:introducedIn |
1948
|
| gptkbp:namedAfter |
gptkb:Vladimir_Rokhlin
|
| gptkbp:state |
For any measure-preserving transformation and any ε > 0, there exists a measurable set whose iterates are almost disjoint and cover almost all the space.
|
| gptkbp:usedIn |
ergodic decomposition
proofs in ergodic theory |
| gptkbp:bfsParent |
gptkb:Vladimir_Rokhlin
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Rokhlin lemma
|