This is an old revision of the document!


Lebesgue outer measure

Definition

$p\in \mathbb N$
$\eta^p:\mathcal P(\mathbb R^p)\to \overline{\mathbb R}$
$\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\ \}$

Discussion

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 ℝⁿ.

Reference

Wikipedia: Lebesgue measure

Context

Subset of

Requirements

Link to graph
Log In
Improvements of the human condition