Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
integral_over_a_subset [2014/02/25 20:52] nikolaj |
integral_over_a_subset [2014/03/21 11:11] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Integral over a subset ===== | ===== Integral over a subset ===== | ||
==== Set ==== | ==== Set ==== | ||
- | | @#88DDEE: $\mathbb K = \overline{\mathbb R}\lor \mathbb C$ | | + | | @#55CCEE: context | @#55CCEE: $\mathbb K = \overline{\mathbb R}\lor \mathbb C$ | |
- | | @#88DDEE: $\langle X,\Sigma,\mu_X\rangle$ ... measure space | | + | | @#55CCEE: context | @#55CCEE: $\langle X,\Sigma,\mu_X\rangle$ ... measure space | |
- | | @#FFBB00: $\int_S: \mathcal P(X)\to(X\to \mathbb K)\to \mathbb K$ | | + | | @#FFBB00: definiendum | @#FFBB00: $\int_S: \mathcal P(X)\to(X\to \mathbb K)\to \mathbb K$ | |
- | | @#DDDDDD: $f: X\to \mathbb K$ | | + | | @#DDDDDD: range | @#DDDDDD: $f: X\to \mathbb K$ | |
- | | @#FFBB00: $\int_S\ f\ \mathrm d\mu_X:=\int_X\ f\cdot \chi_S\ \mathrm d\mu_X$ | | + | | @#FFBB00: definiendum | @#FFBB00: $\int_S\ f\ \mathrm d\mu_X:=\int_X\ f\cdot \chi_S\ \mathrm d\mu_X$ | |
==== Discussion ==== | ==== Discussion ==== |