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:
“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)
“I candidly confess that I have ever looked on Cuba as the most interesting addition which could ever be made to our system of States. The control which, with Florida, this island would give us over the Gulf of Mexico, and the countries and isthmus bordering on it, as well as all those whose waters flow into it, would fill up the measure of our political well-being.”
—Thomas Jefferson (1743–1826)