OUTER MEASURE, BOREL SETS AND LEBESGUE MEASURE IN THE PLANE.
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1970
- Accession Number
- AD0711294
Entities
People
- David Millar Heming
Organizations
- Naval Postgraduate School