Abstract:We give a classical proof of the theorem stating that the $\sigma $-ideal of meager sets is the unique $\sigma $-ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.
Keywords: Polish group; $\sigma $-ideal; meager sets
DOI: DOI 10.14712/1213-7243-015.104
AMS Subject Classification: 03E15 54H05