Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
lebesgue_outer_measure [2013/09/04 18:08] nikolaj |
lebesgue_outer_measure [2013/09/04 18:15] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#88DDEE: $p\in \mathbb N$ | | | @#88DDEE: $p\in \mathbb N$ | | ||
- | | @#FFBB00: $\eta^p:\mathcal P(\mathbb R^p)\to \bar{\mathbb R}$ | | + | | @#FFBB00: $\eta^p:\mathcal P(\mathbb R^p)\to \overline{\mathbb R}$ | |
| @#FFBB00: $\eta^p(A):=\mathrm{inf}\{\ \sum_{k=1}^\infty\lambda^p(I_k)\ |\ I\in\mathrm{Sequence}(\mathfrak J^p)\ \land\ A\subset\bigcup_{k=1}^\infty I_k\ \}$ | | | @#FFBB00: $\eta^p(A):=\mathrm{inf}\{\ \sum_{k=1}^\infty\lambda^p(I_k)\ |\ I\in\mathrm{Sequence}(\mathfrak J^p)\ \land\ A\subset\bigcup_{k=1}^\infty I_k\ \}$ | | ||
Line 9: | Line 9: | ||
The Lebesgue outer aims at measuring subspaces of $\mathcal P(\mathbb R^p)$ as approximated by cubes which themselves are measured via [[Elementary volume of ℝⁿ]]. | The Lebesgue outer aims at measuring subspaces of $\mathcal P(\mathbb R^p)$ as approximated by cubes which themselves are measured via [[Elementary volume of ℝⁿ]]. | ||
==== Context ==== | ==== Context ==== | ||
+ | === Subset of === | ||
+ | [[Partial function]] | ||
=== Requirements === | === Requirements === | ||
[[Elementary volume of ℝⁿ]], [[Poset]] | [[Elementary volume of ℝⁿ]], [[Poset]] |