Integrals of Functions Vanishing or Agreeing off a Null Set on a Compact Interval
lemmaAnalysislem:integral-null-set-interval-2026aLet be real numbers with and adopt the notation and of the restricted Lebesgue measure space on a compact interval, so that is a measure space by claim 1 there. Measurability of a real-valued function on means measurability with respect to and the Borel -algebra of the real line, and integrability and the integral are those of this measure space.
Call a set null if .
Then the following hold.
1. (Vanishing off a null set.) Let be null and let be measurable with for every . Then is integrable and
2. (Agreeing off a null set.) Let be null and let be integrable with for every . Then
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.