Outer measure: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
Let <math> X </math> be a nonempty set. An outer measure on <math> X </math> is a function <math> \mu^* : 2^X \to [0, \infty]</math> such that | Let <math> X </math> be a nonempty set. An outer measure on <math> X </math> is a function <math> \mu^* : 2^X \to [0, \infty]</math> such that | ||
* <math> \mu^* ( \emptyset) = 0 </math> | |||
* <math> \mu^*(A) \leq \mu^*(B)</math> if <math> A \subseteq B</math> | |||
* <math> \mu* \left(\bigcup_{j=1}^\infty A_j\right) \leq \sum_{j=1}^\infty \mu^*(A_j).</math> | |||
Revision as of 14:17, 20 October 2020
Let be a nonempty set. An outer measure on is a function such that
![{\displaystyle \mu ^{*}:2^{X}\to [0,\infty ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a514e94c721b4c864074ebea3cc863d66fa11ef2)
- if
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu* \left(\bigcup_{j=1}^\infty A_j\right) \leq \sum_{j=1}^\infty \mu^*(A_j).}
