ThmDex – An index of mathematical definitions, results, and conjectures.
Result R1165 on D1744: Lebesgue measure space
Reflection invariance of Lebesgue measure
Formulation 0
Let $M = (\mathbb{R}^n, \mathcal{L}, \mu)$ be a D1744: Lebesgue measure space.
Then
(1) $\forall \, E \in \mathcal{L} : - E \in \mathcal{L}$
(2) $\forall \, E \in \mathcal{L} : \mu(-E) = \mu(E)$
Proofs
Proof 0
Let $M = (\mathbb{R}^n, \mathcal{L}, \mu)$ be a D1744: Lebesgue measure space.