Professional Documents
Culture Documents
Teoria Ergodica: 1 N N 1 2 N 1/n
Teoria Ergodica: 1 N N 1 2 N 1/n
Exercise 1 (5 points). Prove that for Lebesgue-a.e. x ∈ [0, 1], the geometric mean
of the integer numbers a1 , . . . , an , . . . in the continued fraction expansion of x con-
verges to a real number: in other words, there exists b ∈ R such that limn→∞ (a1 ·
a2 · · · an )1/n = b. Determine the value of b. (Exercise 3.2.4 in Viana & Oliveira
Foundations of Ergodic Theory)
• ∅ ∈ S,
• if A, B ∈ S, then A ∩ B ∈ S,
• if A ∈ S, then there
U exist a finite number of pairwise disjoint sets B1 , . . . , Bn ∈ S
such that Ac = ni=1 Bi .
Exercise 5 (Bonus question: 5 bonus points). We look at the sequence {7n }n∈N ,
i.e. 7, 49, 343, 2401, . . . presented in the base 10-expansion. We let an be the second
digit of 7n+1 in base 10-expansion (we start with the first number which has a second
digit). The first entries P of this sequence are given by a1 = 9, a2 = 4, a3 = 4, . . ..
Does the limit limn→∞ nj=1 δ{aj =k} /n exist for k ∈ {0, . . . , 9} and if so what is its
value?