If is measurable, then for , , and for , . Thus the given superlevel criterion proves measurable. Part 2 makes measurable, and the same argument applied to proves measurable.
Conversely . If both parts are measurable, part 2 and the permitted closure under addition prove measurable. Therefore is measurable exactly when its positive and negative parts are measurable.

Articles by others on the same topic (0)

There are currently no matching articles.