finished integrals for real numbers

This commit is contained in:
Robert 2021-03-31 16:37:59 +02:00
parent 5ac0fdf189
commit 376213d8d5
4 changed files with 302 additions and 1 deletions

View file

@ -609,7 +609,7 @@ All functions from now on will be considered measurable.
We use $\int_A g \dd\mu$ even if $g$ isn't defined outside of $A$.
Integrals are independent from the behavior on null sets, so
\[
\int_0^1 \rec{x} \dd x = 0
\int_{-1}^1 \rec{x} \dd x = 0
\]
is perfectly fine, even though the integrand is not defined for $x = 0$.
\end{rem}