= Outer Measure =

An '''outer measure''' is a [[Analysis/Functions|map]] that provides a concept of size to [[Analysis/Sets|sets]].

<<TableOfContents>>

----



== Description ==

For a given set ''X'', an outer measure is a [[Analysis/Functions|map]] ''μ* : P(X) -> [0,∞]'' (i.e., a map from [[Analysis/PowerSet|all subsets]] of the given set to non-negative real numbers). Note that ''[0,∞]'' is shorthand for the more formally correct ''[0,∞) ∪ {∞}''.

The concept follows from covers, i.e. a [[Analysis/Cardinality|countable]] union of open sets defined as covering some other reference set. If these covers can be [[Analysis/OrderedSets|ordered]] then there is an infimum cover; the size of this is the size of the set. The ordering is achieved with a monotonic, non-negative function ''p'' that maps a set to a real number, and always maps the empty set (Ø) to zero. For example, a function that maps the empty set (Ø) to zero and all other sets to 1.

More generically, an outer measure must satisfy three conditions:
 * ''μ*(Ø) = 0''
 * if ''A ⊂ B ⊂ X'' then ''μ*(A) ≤ μ*(B)''
 * '''σ sub-additivity''': sub-additivity for finite and [[Analysis/Cardinality|countably]] infinite elements, but not infinite elements
   * {{attachment:subadd.svg}}
   * There is no requirement for disjoint sets because clearly the union of two intersecting sets is smaller than the sum of those sets considered separately.



=== Lebesgue Outer Measure ===

One example is the '''Lebesgue outer measure''', sometimes specially denoted as ''λ*''.

In ''R'', the conventional measure ''μ'' for length of an interval ''(a,b)'' (or equivalently ''[a,b]'') is ''b - a''. Let intervals be notated ''I = (a, b)'', or ''I,,i,, = (a,,i,,``, b,,i,,)'' when there are many such intervals. The outer measure of ''A'' in ''R'' is defined by the intervals ''I,,i,,'' that cover it. More specifically, it is defined by the infimum of all possible such intervals.

{{attachment:lebesgue.svg}}

In higher dimensions, i.e. ''R^n^'', the conventional measure is expressed as a Cartesian product of intervals: ''I,,1,, x I,,2,, x ... x I,,n,, = (a,,1,,``, b,,1,,) x (a,,2,,``, b,,2,,) x ... x (a,,n,,``, b,,n,,)''. Denote this Cartesian product as ''C'', or ''C,,i,,'' when there are many. The conventional measure ''μ'' is calculated as ''μ(C) = (b,,1,, - a,,1,,) x (b,,2,, - a,,2,,) x ... x (b,,n,, - a,,n,,)''. The Lebesgue outer measure for ''R^n^'' follows in the same way from here.



----
CategoryRicottone