User:Markov Odometer

• Markov odometer
• Projection (measure theory)
• To do: Wiener's ergodic theorem [1] or maybe more general: ergodic theorem for group action [2]