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 Dada object reflected an ironic posture before the consecrated forms of art. The surrealist object differs significantly in this respect. It stands for a mysterious relationship with the outer world established by man’s sensibility in a way that involves concrete forms in projecting the artist’s inner model.”
—J.H. Matthews. “Object Lessons,” The Imagery of Surrealism, Syracuse University Press (1977)
“What cannot stand must fall; and the measure of our sincerity and therefore of the respect of men, is the amount of health and wealth we will hazard in the defence of our right. An old farmer, my neighbor across the fence, when I ask him if he is not going to town-meeting, says: “No, ‘t is no use balloting, for it will not stay; but what you do with the gun will stay so.””
—Ralph Waldo Emerson (1803–1882)