open intervals with upper bound infinity 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)

Proof

Suppose $A \subset R$ . Let $A_{1} = A \cap (a, \infty)$ and $A_{2} = A \cap (- \infty, a]$ . Now we want to show that $m^{*} (A_{1}) + m^{*} (A_{2}) \leq m^{*} (A)$ .

If $m^{*} (A)$ is infinite we are done. So suppose that $m^{*} (A) < \infty$ . Now, let ${I_{n}}$ be a collection of intervals such that

\sum_{n} ℓ (I_{n}) \leq m^{*} (A) + ε

And define

J_{n} = I_{n} \cap (a, \infty) K_{n} = I_{n} \cap (- \infty, a]

Then for each $n$ , each of $J_{n}, K_{n}$ are either an interval are empty and

$A_{1} \subset ⋃_{n} J_{n}$
$A_{2} \subset ⋃_{n} K_{n}$
$ℓ (I_{n}) = ℓ (J_{n}) + ℓ (K_{n})$
Thus we have

\begin{aligned} m^{*} (A_{1}) + m^{*} (A_{2}) & \leq \sum_{n} m^{*} (J_{n}) + m^{*} (K_{n}) \\ = \sum_{n} ℓ (J_{n}) + ℓ (K_{n}) \\ = \sum_{n} ℓ (I_{n}) \\ \leq m^{*} (A) + ε \end{aligned}

Then take $ε \to 0$ and we have the desired result.

\begin{matrix} ◼ \end{matrix}

File	Last Modified
Functional Analysis Lecture 8	2025-07-14
all borel sets are measurable	2025-07-08

File

Last Modified

Functional Analysis Lecture 8

2025-07-14

all borel sets are measurable

2025-07-08

open intervals with upper bound infinity are measurable

References

See Also

Mentions