Translation continuity in L1 on the circle
ID: translation-continuity-in-l1-on-the-circle
For with normalized Lebesgue measure, translation on the circle group is continuous in the L1 norm: as modulo one. Approximate in the L1 norm by a continuous function, use its uniform continuity, and use translation invariance to preserve the approximation error. In particular, for every measurable .
New to topics? Read the docs here!