Translation Invariance of Lebesgue Measure and the Lebesgue Integral
lemmaAnalysisProbabilitylem:lebesgue-translation-invariance-2026aFor a subset of the real line and a real number , write . Let be the Lebesgue outer measure, Lebesgue measure, and the Borel -algebra. Then for every real :
1. (Sets) For every , . For every Borel set , the translate is Borel and .
2. (Integrals) For every measurable function (with respect to ) with , the function is measurable and, with the integral of nonnegative measurable functions,
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.