A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points (Q418118): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1593512589 / rank | |||
Normal rank |
Revision as of 01:58, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points |
scientific article |
Statements
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points (English)
0 references
24 May 2012
0 references
The authors prove a constructive version of Birkhoff's ergodic theorem for Martin-Löf random reals and effectively open sets. From the proof one can extract a new simple proof of the effective ergodic theorem. The main result was independently obtained by \textit{J. N. Y Franklin}, \textit{N. Greenberg}, \textit{J. S. Miller} and \textit{K. M. Ng} in [``Martin-Löf random points satisfy Birkhoff's ergodic theorem for effectively closed sets'', Proc. Am. Math. Soc. 140, No. 10, 3623--3628 (2012; \url{doi:10.1090/S0002-9939-2012-11179-7})].
0 references
Martin-Löf random real
0 references
Birkhoff's ergodic theorem
0 references
Poincaré recurrence
0 references