User:Markov Odometer
- Markov odometer
- Projection (measure theory)
- To do: Wiener's ergodic theorem [https://www.jstor.org/stable/pdf/2243536.pdf?refreqid=excelsior%3A3476ca66139cda6515220074b414135a] or maybe more general: ergodic theorem for group action [http://www.ams.org/journals/era/1999-05-12/S1079-6762-99-00065-7/S1079-6762-99-00065-7.pdf]