Week 5 Coursework Test

  1. Fix αQ. Define T:[0,1)[0,1) by T(x)=x+α mod 1. Describe orb(0,T) in terms of α.
  2. Fix α irrational and define T(x)=x+αmod1 on [0,1). Let μ be a Borel measure on [0,1) with μ([0,1))=1 and the property that fdμ=fTdμ for all continuous functions f:[0,1)C. Recall that ψk(x)=exp(2πikx) for all kZ.
    1. Verify that ψkdμ=1Nn=0N1ψkTndμ for all kZ and all NN.
    2. Apply the dominated convergence theorem to prove that ψkdμ=0 for all k0.