measure satisfies countable additivity

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

Suppose that ${E_{n}}$ is a countable collection of disjoint, measurable sets. Then

m (⋃_{n} E_{n}) = \sum_{n} m (E_{n})

Note

We already showed countable subadditivity of measure, but now we are showing equality for our nice sets.

Proof

We know that the set $\cup_{n} E_{n}$ is measurable since measurable sets form a sigma algebra and are therefore closed under countable unions. So we already have (from countable subadditivity of measure) that

m (⋃_{n} E_{n}) = m^{*} (⋃_{n} E_{n}) \leq \sum_{n} m^{*} (E_{n}) = \sum_{n} m (E_{n})

So we just need to show the other way. For any $N \in N$ , since measure of finite disjoint measurable sets is the sum of the measures, we have

\begin{aligned} m (⋃_{n = 1}^{N} E_{n}) & = m^{*} (R \cap ⋃_{n = 1}^{N} E_{n}) \\ = \sum_{n = 1}^{N} m^{*} (R \cap E_{n}) \\ = \sum_{n = 1}^{N} m^{*} (E_{n}) \\ = \sum_{n = 1}^{N} m (E_{n}) \\ (*) & = m (⋃_{n = 1}^{N} E_{n}) \\ \leq m (⋃_{n = 1}^{\infty} E_{n}) \end{aligned}

Where $(*)$ is because of the disjointness of the $E_{n}$ . Now we have a bound over all $N$ , and taking $N \to \infty$ we get the desired result.

\begin{matrix} ◼ \end{matrix}

File	Last Modified
basic properties of lebesgue integral	2025-07-14
Functional Analysis Lecture 10	2025-07-14
Functional Analysis Lecture 8	2025-07-14

File

Last Modified

basic properties of lebesgue integral

2025-07-14

Functional Analysis Lecture 10

2025-07-14

Functional Analysis Lecture 8

2025-07-14

measure satisfies countable additivity

References

See Also

Mentions