all borel sets are measurable

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

Every open subset of $R$ is measurable (ie $B \subset M$ - the borel sigma algebra is contained in the collection of all measurable sets)

Proof

Since intervals of the form $(a, \infty)$ are measurable for all $a \in R$ (open intervals with upper bound infinity are measurable), so is

(- \infty, b) = ⋃_{n = 1}^{\infty} (- \infty, b - \frac{1}{n}] = ⋃_{n = 1}^{\infty} {(b - \frac{1}{n}, \infty)}^{c}

This is because the measurable sets form a sigma algebra and they are therefore closed under complements, countable unions, and finite intersections. Thus any finite open interval is also measurable since

(a, b) = (- \infty, b) \cap (a, \infty)

Finally, every open subset of $R$ is a countable union of open intervals. Thus all open intervals are measurable.

\begin{matrix} ◼ \end{matrix}

References

all borel sets are measurable

References

See Also

Mentions