ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Function
▼ Measure
▼ Real measure
▼ Euclidean real measure
▼ Complex measure
▼ Basic measure
▼ Unsigned basic measure
▼ Outer measure
▼ Lebesgue outer measure
▼ Lebesgue set
▼ Lebesgue sigma-algebra
▼ Lebesgue measurable space
▼ Lebesgue measure
Definition D1744
Lebesgue measure space
Results
▶ R1166: Lebesgue measure under scaling
▶ R1165: Reflection invariance of Lebesgue measure
▶ R4368: Set of euclidean integers has Lebesgue measure zero
▶ R4370: Set of euclidean natural numbers has Lebesgue measure zero
▶ R4369: Set of euclidean rational numbers has Lebesgue measure zero
▶ R1164: Translation invariance of Lebesgue measure