lebesgue integral of sum is sum of the integral

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

Let ${φ_{n}}_{n}$ and ${ψ_{n}}_{n}$ be two sequences of simple functions such that
$0 \leq φ_{1} \leq φ_{2} \leq \dots \leq f$ with $φ_{n} \to f$ and
$o \leq ψ_{1} \leq ψ_{2} \leq \dots \leq g$ with $ψ_{n} \to g$ pointwise then

0 \leq φ_{1} + ψ_{1} \leq φ_{2} + ψ_{2} \leq \dots \leq f + g

Where $φ_{n} + ψ_{n} \to f + g$ pointwise and each $φ_{i} + ψ_{i}$ are simple (since they are the sum of simple functions). So by the Monotone Convergence Theorem and linearity for simple functions we have

\begin{aligned} \int_{E} (f + g) & = lim_{n \to \infty} \int_{E} (φ_{n} + ψ_{n}) \\ (linearity) & = lim_{n \to \infty} \int_{E} φ_{n} + \int_{E} ψ_{n} \\ (MTC) & = \int_{E} f + \int_{E} g \end{aligned}

File	Last Modified
fourier partial sums are given by the Dirichlet kernel	2025-07-15
Functional Analysis Lecture 11	2025-07-15
Functional Analysis Lecture 15	2025-07-15
integral of sum of a sequence is sum of the integrals	2025-07-14
Lebesgue Integral	2025-07-14

File

Last Modified

fourier partial sums are given by the Dirichlet kernel

2025-07-15

Functional Analysis Lecture 11

2025-07-15

Functional Analysis Lecture 15

2025-07-15

integral of sum of a sequence is sum of the integrals

2025-07-14

Lebesgue Integral

2025-07-14

lebesgue integral of sum is sum of the integral

References

See Also

Mentions