Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
function_integral [2014/03/21 11:11] 127.0.0.1 external edit |
function_integral [2015/06/20 16:17] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $\mathbb K = \overline{\mathbb R}\lor \mathbb C$ | | | @#55CCEE: context | @#55CCEE: $\mathbb K = \overline{\mathbb R}\lor \mathbb C$ | | ||
| @#55CCEE: context | @#55CCEE: $\langle X,\Sigma,\mu\rangle\in \mathrm{MeasureSpace}(X)$ | | | @#55CCEE: context | @#55CCEE: $\langle X,\Sigma,\mu\rangle\in \mathrm{MeasureSpace}(X)$ | | ||
- | |||
| @#FFBB00: definiendum | @#FFBB00: $\int_X: (X\to \mathbb K)\to \mathbb K$ | | | @#FFBB00: definiendum | @#FFBB00: $\int_X: (X\to \mathbb K)\to \mathbb K$ | | ||
| @#FFBB00: definiendum | @#FFBB00: $\int_X\ f\ \mathrm d\mu:=\int_X\ (\mathrm{Re}f)^+\ \mathrm d\mu-\int_X\ (\mathrm{Re}f)^-\ \mathrm d\mu+i\ \left( \int_X\ (\mathrm{Im}f)^+\ \mathrm d\mu-\ \int_X\ (\mathrm{Im}f)^-\ \mathrm d\mu \right)$ | | | @#FFBB00: definiendum | @#FFBB00: $\int_X\ f\ \mathrm d\mu:=\int_X\ (\mathrm{Re}f)^+\ \mathrm d\mu-\int_X\ (\mathrm{Re}f)^-\ \mathrm d\mu+i\ \left( \int_X\ (\mathrm{Im}f)^+\ \mathrm d\mu-\ \int_X\ (\mathrm{Im}f)^-\ \mathrm d\mu \right)$ | | ||
Notice that the integral on the right hand side here is that for positive measurable numerical functions. | Notice that the integral on the right hand side here is that for positive measurable numerical functions. | ||
- | ==== Discussion ==== | + | |
- | ==== Parents ==== | + | ----- |
=== Context === | === Context === | ||
[[Positive function integral]], | [[Positive function integral]], |