Ergodic Theory
Borel's Theorem states that for a given measure-preserving transformation on a probability space, if the transformation is ergodic, then every invariant set under this transformation either has measure zero or one. This theorem highlights the rigid behavior of dynamical systems, illustrating how almost all trajectories exhibit uniform properties in the long run, which connects deeply to rigidity phenomena in ergodic theory.
congrats on reading the definition of Borel's Theorem. now let's actually learn it.