If a real function is nondecreasing on a Borel subset of the real line and vanishes off that subset, then it is Borel measurable.
In the setting of The Real Numbers: Standing Notation and Background, let be the Borel -algebra of the real line, and let measurable mean measurable with respect to and .
Let and let .
1. (Borel measurability) Suppose that for all with , and that for every . Then is measurable.
Loading…
No relations recorded yet.