Outer Measure and Topology
Suppose (X, d) is a metric space and φ an outer measure on X. If φ has the property that
whenever
then φ is called a metric outer measure.
Theorem. If φ is a metric outer measure on X, then every Borel subset of X is φ-measurable. (The Borel sets of X are the elements of the smallest σ-algebra generated by the open sets.)
Read more about this topic: Outer Measure
Famous quotes containing the words outer and/or measure:
“Self-alienation is the source of all degradation as well as, on the contrary, the basis of all true elevation. The first step will be a look inward, an isolating contemplation of our self. Whoever remains standing here proceeds only halfway. The second step must be an active look outward, an autonomous, determined observation of the outer world.”
—Novalis [Friedrich Von Hardenberg] (1772–1801)
“One measure of a civilization, either of an age or of a single individual, is what that age or person really wishes to do. A man’s hope measures his civilization. The attainability of the hope measures, or may measure, the civilization of his nation and time.”
—Ezra Pound (1885–1972)