inverse image of measurable functions of all borel sets are measurable

[[concept]]

[!themes] Topics

Evaluation Error: SyntaxError: Unexpected token '>'


at DataviewInlineApi.eval (plugin:dataview:19027:21)

at evalInContext (plugin:dataview:19028:7)

at asyncEvalInContext (plugin:dataview:19038:32)

at DataviewJSRenderer.render (plugin:dataview:19064:19)

at DataviewJSRenderer.onload (plugin:dataview:18606:14)

at DataviewJSRenderer.load (app://obsidian.md/app.js:1:1214378)

at DataviewApi.executeJs (plugin:dataview:19607:18)

at DataviewCompiler.eval (plugin:digitalgarden:10763:23)

at Generator.next (<anonymous>)

at fulfilled (plugin:digitalgarden:77:24)
Theorem

If E is measurable and f:E→R a measurable function, then for all F∈B (the borel sigma algebra) we have f−1(F) is measurable.

Proof

If f is measurable, then for all intervals (a,b) we have

f−1((a,b))=f−1([−∞,b)∩(a,∞])=f−1([−∞,b))∩f−1((a,∞])

Both sets of RHS are measurable, and thus so is their intersection. So each open interval is measurable.

Thus f−1(U) is measurable for all open U⊂R. But then

A={F⊂R:f−1(F) is measurable}

is a sigma-algebra that contains all open sets, and thus B bust be a subset of A.

◼

Combined with the result that the inverse inverse image of infinity of measurable functions is measurable, this means that the inverse image of the borel sets of the extended reals are measurable for a measurable function!

References

References

See Also

Mentions

Mentions

File Last Modified
inverse image of infinity of measurable functions is measurable 2025-07-21
continuous functions are measurable 2025-07-14
convergent sequence of simple functions for a measurable function 2025-07-14
Functional Analysis Lecture 10 2025-07-14
Functional Analysis Lecture 9 2025-07-14
indicator functions are measurable 2025-07-14

Created 2025-07-08 Last Modified 2025-07-14