Revision #782 → #1191 · back to history
addedPoincaré recurrence theorem0e02bb2777bb
addedErgodic transformationccb4154c804f
addedEssentially invariant set15dd05b7efc9
addedIrrational rotation of the circle is ergodicd0d3b8a863df
addedErgodicity of group automorphisms of compact abelian groupsd0d5c9eddefc
addedBernoulli shift is ergodic5dac5f69e381
addedNon-ergodicity of systems with non-constant first integral7a8aa1527720
addedPointwise (Birkhoff) ergodic theoremd348a554c3b0
addedKingman's subadditive ergodic theorema3a1f0531398
addedBirkhoff–Khinchin theorema8157b3155cd
addedPointwise Ergodic Theorem (corollary)7f0e4c92207c
addedVon Neumann's mean ergodic theorem810e07285b96
addedMean ergodic theorem for one-parameter unitary groups677a447ec16d
addedConvergence of ergodic means in Lpda23a4e6d868
addedWiener–Yoshida–Kakutani ergodic dominated convergence theoremef531a15dd9c
addedSojourn time3941a1d9a7bf
addedRelative measure equals mean sojourn timef80a718cd143
addedOccurrence times and recurrence times56505bccae09
addedAverage recurrence time inversely proportional to measureb7afe0d40117
addedHopf's ergodicity of geodesic flow on negatively curved manifoldsa39bfe8ef43f
addedMautner's ergodicity on symmetric spaces8bdac7c36288
addedAnosov–Sinai ergodicity theorem52d2aed47afc
addedMoore's ergodicity criterion for homogeneous flows065d8bebdf81
addedHedlund's horocycle flow theorem07d16a3dd14e
addedFurstenberg's unique ergodicity of horocycle flow5215dc5b01cf
addedRatner's theorems5d5209ea3b29
addedLindenstrauss measure rigidity resultb0ddc301a130