Formal Definitions
An outer measure on a set X is a function
defined on all subsets of X, that satisfies the following conditions:
- Null empty set: The empty set has zero outer measure (see also: measure zero).
- Monotonicity: For any two subsets A and B of X,
- Countable subadditivity: For any sequence {Aj} of subsets of X (pairwise disjoint or not),
This allows us to define the concept of measurability as follows: a subset E of X is φ-measurable (or Carathéodory-measurable by φ) iff for every subset A of X
Theorem. The φ-measurable sets form a σ-algebra and φ restricted to the measurable sets is a countably additive complete measure.
For a proof of this theorem see the Halmos reference, section 11.
This method is known as the Carathéodory construction and is one way of arriving at the concept of Lebesgue measure that is so important for measure theory and the theory of integrals.
Read more about this topic: Outer Measure
Famous quotes containing the words formal and/or definitions:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)