The functions = min(My², M|y|³/(2√n)) form a sequence of Borel functions on the real line, and for every measure on the Borel sets of the line under which y² is integrable, their integrals tend to zero.
In the setting of Measurable Functions and the Lebesgue Integral: Notation, let be a real number. For , read in (The Natural Numbers Read in ℝ: a Predicative Condition and a Function from ℕ₀ to ℝ (ii)) with square root , and for let be the minimum
Let be the set of Borel functions .
A sequence of Borel functions. For every , is a function and ; and is a sequence in .
In the remaining clauses, let be a measure on such that the function on lies in .
Integrability. for every .
Vanishing integrals. For the integrals of the elements of ((ii)),
Loading…
No relations recorded yet.