Put . Define by
for all .
- What is the orbit of ?
- What is the orbit of ?
- What is the connection between and the matrix ?
- Fix a rectangle . What is the area of the polygon ?
Take for granted that there is a measure on on the σ-algebra generated by the rectangles in that assigns each rectangle its Euclidean area.
- Prove that with respect to the map is measure-preserving.
- Using 1. or 2. write down another measure on with respect to which is measure-preserving.