Week 8 Tutorial

Put X=[0,1)2. Define T:XX by T(x,y)=(2x+ymod1,x+ymod1) for all x,y[0,1).

  1. What is the orbit of (12,12)?
  2. What is the orbit of (13,23)?
  3. What is the connection between T and the matrix A=[2111]?
  4. Fix a rectangle RR2. What is the area of the polygon A1(R)?

Take for granted that there is a measure λ on X on the σ-algebra B generated by the rectangles in [0,1)2 that assigns each rectangle S[0,1)2 its Euclidean area.

  1. Prove that with respect to λ the map T is measure-preserving.
  2. Using 1. or 2. write down another measure on (X,B) with respect to which T is measure-preserving.
  1. What are the eigenvalues and eigenvectors of A?
  2. Let V be any subspace of R2 spanned by an eigenvector of A. Is {(xmod1,ymod1):(x,y)V} dense in [0,1)2?
  3. Is there a point in V whose T orbit is dense in [0,1)?