Timeline for Fundamental domains of measure preserving actions
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 7, 2010 at 5:26 | vote | accept | Mike Hartglass | ||
| Mar 6, 2010 at 5:59 | comment | added | Konstantin Slutsky | I use separability of $X$. There is a theorem, usually attributed to von Neumann, that every measure preserving automorphisms of a separable measure algebra has a unique point realization on a standard Lebesgue space. From this existence of $B_0$ follows. By $g(B_0) \ne B_0$ I mean $\mu(g(B_0) \setminus B_0) \ne 0$, so $B_1$ has positive measure. | |
| Mar 6, 2010 at 5:04 | comment | added | Douglas Zare | The second paragraph has some gaps. What properties of $X$ are you using to construct $B_0$, since such a set doesn't have to exist for a more general probability space? You also want $B_1$ to have positive measure. How do you ensure that? | |
| Mar 6, 2010 at 2:27 | history | answered | Konstantin Slutsky | CC BY-SA 2.5 |