Lebesgue Measure When to Use Use this skill when working on lebesgue-measure problems in measure theory. Decision Tree 1. Outer measure construction - m (A) = inf{sum |I n| : A subset union(I n)} - 2. Caratheodory criterion - E is measurable if: m (A) = m (A & E) + m (A & E^c) for all A - 3. Lebesgue measure properties - Translation invariant: m(E + x) = m(E) - sigma-additive on measurable sets - m([a,b]) = b - a 4. Regularity theorems - Inner regularity: m(E) = sup{m(K) : K compact, K subset E} - Outer regularity: m(E) = inf{m(U) : U open, E subset U} Tool Commands Sympy Outer Measure Z3 Car…