Re: motivation for definition of Lebesgue-measurable set
- From: hrubin@xxxxxxxxxxxxxxxxxxxx (Herman Rubin)
- Date: 19 Jan 2007 12:37:39 -0500
In article <180120071227275336%edgar@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
G. A. Edgar <edgar@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
In article <1169135672.883740.275080@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
hagman <google@xxxxxxxxxxxxx> wrote:
This method seems to go back to Carathodory.
I prefer Lebesgue-measurable to mean lying between two Borel sets of
equal measure.
Unfortunately, that is no good for sets of infinite measure.
Caratheodory used his definition to extend the notions to
non-sigma-finite situations, like "arc length" in the plane.
For non-sigma-finite situations, this gives different results
than other extensions, and I find this one both non-intuitive
and giving the wrong results. In the case of sigma finite,
it is equivalent to, for every epsilon > 0, the set differing
from a countable union of elements of the field by less than
a countable union of elements of the field, the sum of whose
measures is less than epsilon. This latter works in all
sigma-finite cases, gives the extension, and can be easily
modified to handle the "good" non-sigma-finite cases. It is
also easy to prove the theorems.
--
This address is for information only. I do not claim that these views
are those of the Statistics Department or of Purdue University.
Herman Rubin, Department of Statistics, Purdue University
hrubin@xxxxxxxxxxxxxxx Phone: (765)494-6054 FAX: (765)494-0558
.
- References:
- motivation for definition of Lebesgue-measurable set
- From: HopfZ
- Re: motivation for definition of Lebesgue-measurable set
- From: hagman
- Re: motivation for definition of Lebesgue-measurable set
- From: G. A. Edgar
- motivation for definition of Lebesgue-measurable set
- Prev by Date: Re: Countable basis implies separability?
- Next by Date: Re: Countable basis implies separability?
- Previous by thread: Re: motivation for definition of Lebesgue-measurable set
- Next by thread: Re: motivation for definition of Lebesgue-measurable set
- Index(es):
Relevant Pages
|