Another rather nice example: the group of automorphisms of $[0,1]$ endowed with the Lebesgue measure (i.e, bi-measurable maps preserving the measure, identified when they coincide outside a set of Lebesgue measure zero). In a related vein, the full group of any countable, ergodic, probability measure preserving Borel equivalence relation on $[0,1]$ is simple.
2 of 2
Added the necessary condition that the relation must be ergodic...
Julien Melleray
- 1.9k
- 15
- 12
Julien Melleray
- 1.9k
- 15
- 12