OUTER MEASURE, BOREL SETS AND LEBESGUE MEASURE IN THE PLANE.
NAVAL POSTGRADUATE SCHOOL MONTEREY CALIF
Pagination or Media Count:
The essential properties of general Lebesgue outer measure are discussed. The complete measure space, consisting of the general Lebesgue outer measure restricted to the measurable sets, is developed and this measure is shown to be unique. Two characterizations of measurable sets are discussed. The Borel sets are investigated in the plane and more generally, in n-space, and it is shown that the sigma-algebra of Borel sets is equal to the product sigma-algebra of Borel sets on the line. Finally, the interrelationships between Lebesgue measure in the plane and the product measure of Lebesgue measures on the line are investigated. It is shown that the sigma-algebra of Lebesgue measurable sets properly contains the product sigma-algebra and that these two measures agree on the product sigma-algebra. It is also proven that the sigma-algebra of Lebesgue measurable sets is the completion of the product sigma-algebra. Examples are provided to illustrate that the product measure spaces discussed are not complete as well as an example of a subset of the plane which is not Lebesgue measurable. Author
- Theoretical Mathematics