In mathematics, in particular in measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. A general theory of outer measures was first introduced by Carathéodory to provide a basis for the theory of measurable sets and countably additive measures. Carathéodory's work on outer measures found many applications in measure-theoretic set theory (outer measures are for example used in the proof of the fundamental Carathéodory's extension theorem), and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension.
Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in R or balls in R3. One might expect to define a generalized measuring function φ on R that fulfils the following requirements:
- Any interval of reals has measure b − a
- The measuring function φ is a non-negative extended real-valued function defined for all subsets of R.
- Translation invariance: For any set A and any real x, the sets A and A+x have the same measure (where )
- Countable additivity: for any sequence (Aj) of pairwise disjoint subsets of X
It turns out that these requirements are incompatible conditions; see non-measurable set. The purpose of constructing an outer measure on all subsets of X is to pick out a class of subsets (to be called measurable) in such a way as to satisfy the countable additivity property.
Read more about Outer Measure: Formal Definitions, Outer Measure and Topology, Construction of Outer Measures
Famous quotes containing the words outer and/or measure:
“The outer world, from which we cower into our houses, seemed after all a gentle habitable place; and night after night a man’s bed, it seemed, was laid and waiting for him in the fields, where God keeps an open house.”
—Robert Louis Stevenson (1850–1894)
“One might imagine that a movement which is so preoccupied with the fulfillment of human potential would have a measure of respect for those who nourish its source. But politics make strange bedfellows, and liberated women have elected to become part of a long tradition of hostility to mothers.”
—Elaine Heffner (20th century)