Mixing
Is the Carathéodory definition of Measurable set the most general?
$begingroup$
Does the Carathéodory definition of measurable set encompass the most sets possible?
By this I mean, are all the sets that are well behaved enough with pre-measure that they have all the properties that we want completely given by the Carathéodory criterion of measurability?
It's reasonable to require that measurable sets cut up measurable sets into components that sum up to the measure of the original set but it's not obvious why all sets need to be cut up in this way or why this is the most general definition of measurable set.
Why couldn't lebesgue measurable sets be some proper subset of an even less restrictive definition?
real-analysis measure-theory lebesgue-measure
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
$endgroup$
add a comment |
$begingroup$
Does the Carathéodory definition of measurable set encompass the most sets possible?
By this I mean, are all the sets that are well behaved enough with pre-measure that they have all the properties that we want completely given by the Carathéodory criterion of measurability?
It's reasonable to require that measurable sets cut up measurable sets into components that sum up to the measure of the original set but it's not obvious why all sets need to be cut up in this way or why this is the most general definition of measurable set.
Why couldn't lebesgue measurable sets be some proper subset of an even less restrictive definition?
real-analysis measure-theory lebesgue-measure
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
$endgroup$
1
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
1
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29
add a comment |
$begingroup$
Does the Carathéodory definition of measurable set encompass the most sets possible?
By this I mean, are all the sets that are well behaved enough with pre-measure that they have all the properties that we want completely given by the Carathéodory criterion of measurability?
It's reasonable to require that measurable sets cut up measurable sets into components that sum up to the measure of the original set but it's not obvious why all sets need to be cut up in this way or why this is the most general definition of measurable set.
Why couldn't lebesgue measurable sets be some proper subset of an even less restrictive definition?
real-analysis measure-theory lebesgue-measure
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
$endgroup$
Does the Carathéodory definition of measurable set encompass the most sets possible?
By this I mean, are all the sets that are well behaved enough with pre-measure that they have all the properties that we want completely given by the Carathéodory criterion of measurability?
It's reasonable to require that measurable sets cut up measurable sets into components that sum up to the measure of the original set but it's not obvious why all sets need to be cut up in this way or why this is the most general definition of measurable set.
Why couldn't lebesgue measurable sets be some proper subset of an even less restrictive definition?
real-analysis measure-theory lebesgue-measure
real-analysis measure-theory lebesgue-measure
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
edited Jul 19 '17 at 14:28
Trevor Gunn
14.5k32046
14.5k32046
asked Mar 12 '15 at 3:42
MichaelMichael
112
asked Mar 12 '15 at 3:42
MichaelMichael
112
asked Mar 12 '15 at 3:42
MichaelMichael
112
112
1
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
1
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29
add a comment |
1
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
1
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29
1
1
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
1
1
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In some sense, you are asking the wrong question. We don't want the $sigma$-algebra of Lebesgue measurable sets to encompass too many sets - in fact, we prefer as few sets as reasonably permissible to be Lebesgue measurable. The Lebesgue measurability criterion is designed to exclude bad sets. The real question should be, "Does the definition of Lebesgue measurability exclude enough bad sets to be useful?"
The most important properties that we want out of Lebesgue measurability are the following:
A product of bounded intervals should be measurable. Makes sense, since it's obvious how to define the volume of a $n$-dimensional box.
There should be a reasonable definition of measure so that if we translate a measurable set, it shouldn't change the measure.
The Lebesgue measurable sets encompass all products of intervals but not too many more (they form a minimal good $sigma$-algebra containing products of intervals in some sense), and Lebesgue measure is a complete translation-invariant measure on the Lebesgue measurable sets. In fact, even better: one can prove it is the unique such measure. And as it turns out, it has several nice intuitive properties in addition: see http://en.wikipedia.org/wiki/Lebesgue_measure#Properties. This is what I would consider a positive answer to the question I raised in the first paragraph.
In principle, one could easily come up with a less restrictive definition of measurable set. Take any non-measurable set, and use it and the Lebesgue $sigma$-algebra to generate a new $sigma$-algebra. But then, of course, the Carathéodory criterion no longer holds by fiat, and that's something we'd really like.
The best reason I see to assume the Carathéodory criterion is that the subsets in a measurable space that satisfy the criterion automatically form a $sigma$-algebra, so it actually makes sense to use it to define a $sigma$-algebra. (In particular, you use it to obtain countable additivity.) There are probably measure spaces that don't use the Carathéodory criterion to define measurability, but at least for Euclidean space the Carathéodory criterion makes too much sense to replace it with a weaker criterion for measurability.
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
$endgroup$
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
add a comment |
$begingroup$
The obvious reason is that "divide, measure each parts, and add up" is so essential to make a measure useful.
Intuitively, if you cut an apple into two pieces with a knife, you would expect the volumes of each parts adding up to the volume of that apple as a whole. It would be very weird if it does not.
Gyu Eun Lee is correct on this one: the point is not including as many sets as possible, the point is excluding as many sets as possible while keeping its (the idea of measures) usefulness. As Einstein once said: everything should be made as simple as possible, but not simpler.
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1186305%2fis-the-carath%25c3%25a9odory-definition-of-measurable-set-the-most-general%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In some sense, you are asking the wrong question. We don't want the $sigma$-algebra of Lebesgue measurable sets to encompass too many sets - in fact, we prefer as few sets as reasonably permissible to be Lebesgue measurable. The Lebesgue measurability criterion is designed to exclude bad sets. The real question should be, "Does the definition of Lebesgue measurability exclude enough bad sets to be useful?"
The most important properties that we want out of Lebesgue measurability are the following:
A product of bounded intervals should be measurable. Makes sense, since it's obvious how to define the volume of a $n$-dimensional box.
There should be a reasonable definition of measure so that if we translate a measurable set, it shouldn't change the measure.
The Lebesgue measurable sets encompass all products of intervals but not too many more (they form a minimal good $sigma$-algebra containing products of intervals in some sense), and Lebesgue measure is a complete translation-invariant measure on the Lebesgue measurable sets. In fact, even better: one can prove it is the unique such measure. And as it turns out, it has several nice intuitive properties in addition: see http://en.wikipedia.org/wiki/Lebesgue_measure#Properties. This is what I would consider a positive answer to the question I raised in the first paragraph.
In principle, one could easily come up with a less restrictive definition of measurable set. Take any non-measurable set, and use it and the Lebesgue $sigma$-algebra to generate a new $sigma$-algebra. But then, of course, the Carathéodory criterion no longer holds by fiat, and that's something we'd really like.
The best reason I see to assume the Carathéodory criterion is that the subsets in a measurable space that satisfy the criterion automatically form a $sigma$-algebra, so it actually makes sense to use it to define a $sigma$-algebra. (In particular, you use it to obtain countable additivity.) There are probably measure spaces that don't use the Carathéodory criterion to define measurability, but at least for Euclidean space the Carathéodory criterion makes too much sense to replace it with a weaker criterion for measurability.
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
$endgroup$
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
add a comment |
$begingroup$
In some sense, you are asking the wrong question. We don't want the $sigma$-algebra of Lebesgue measurable sets to encompass too many sets - in fact, we prefer as few sets as reasonably permissible to be Lebesgue measurable. The Lebesgue measurability criterion is designed to exclude bad sets. The real question should be, "Does the definition of Lebesgue measurability exclude enough bad sets to be useful?"
The most important properties that we want out of Lebesgue measurability are the following:
A product of bounded intervals should be measurable. Makes sense, since it's obvious how to define the volume of a $n$-dimensional box.
There should be a reasonable definition of measure so that if we translate a measurable set, it shouldn't change the measure.
The Lebesgue measurable sets encompass all products of intervals but not too many more (they form a minimal good $sigma$-algebra containing products of intervals in some sense), and Lebesgue measure is a complete translation-invariant measure on the Lebesgue measurable sets. In fact, even better: one can prove it is the unique such measure. And as it turns out, it has several nice intuitive properties in addition: see http://en.wikipedia.org/wiki/Lebesgue_measure#Properties. This is what I would consider a positive answer to the question I raised in the first paragraph.
In principle, one could easily come up with a less restrictive definition of measurable set. Take any non-measurable set, and use it and the Lebesgue $sigma$-algebra to generate a new $sigma$-algebra. But then, of course, the Carathéodory criterion no longer holds by fiat, and that's something we'd really like.
The best reason I see to assume the Carathéodory criterion is that the subsets in a measurable space that satisfy the criterion automatically form a $sigma$-algebra, so it actually makes sense to use it to define a $sigma$-algebra. (In particular, you use it to obtain countable additivity.) There are probably measure spaces that don't use the Carathéodory criterion to define measurability, but at least for Euclidean space the Carathéodory criterion makes too much sense to replace it with a weaker criterion for measurability.
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
$endgroup$
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
add a comment |
$begingroup$
In some sense, you are asking the wrong question. We don't want the $sigma$-algebra of Lebesgue measurable sets to encompass too many sets - in fact, we prefer as few sets as reasonably permissible to be Lebesgue measurable. The Lebesgue measurability criterion is designed to exclude bad sets. The real question should be, "Does the definition of Lebesgue measurability exclude enough bad sets to be useful?"
The most important properties that we want out of Lebesgue measurability are the following:
A product of bounded intervals should be measurable. Makes sense, since it's obvious how to define the volume of a $n$-dimensional box.
There should be a reasonable definition of measure so that if we translate a measurable set, it shouldn't change the measure.
The Lebesgue measurable sets encompass all products of intervals but not too many more (they form a minimal good $sigma$-algebra containing products of intervals in some sense), and Lebesgue measure is a complete translation-invariant measure on the Lebesgue measurable sets. In fact, even better: one can prove it is the unique such measure. And as it turns out, it has several nice intuitive properties in addition: see http://en.wikipedia.org/wiki/Lebesgue_measure#Properties. This is what I would consider a positive answer to the question I raised in the first paragraph.
In principle, one could easily come up with a less restrictive definition of measurable set. Take any non-measurable set, and use it and the Lebesgue $sigma$-algebra to generate a new $sigma$-algebra. But then, of course, the Carathéodory criterion no longer holds by fiat, and that's something we'd really like.
The best reason I see to assume the Carathéodory criterion is that the subsets in a measurable space that satisfy the criterion automatically form a $sigma$-algebra, so it actually makes sense to use it to define a $sigma$-algebra. (In particular, you use it to obtain countable additivity.) There are probably measure spaces that don't use the Carathéodory criterion to define measurability, but at least for Euclidean space the Carathéodory criterion makes too much sense to replace it with a weaker criterion for measurability.
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
$endgroup$
In some sense, you are asking the wrong question. We don't want the $sigma$-algebra of Lebesgue measurable sets to encompass too many sets - in fact, we prefer as few sets as reasonably permissible to be Lebesgue measurable. The Lebesgue measurability criterion is designed to exclude bad sets. The real question should be, "Does the definition of Lebesgue measurability exclude enough bad sets to be useful?"
The most important properties that we want out of Lebesgue measurability are the following:
A product of bounded intervals should be measurable. Makes sense, since it's obvious how to define the volume of a $n$-dimensional box.
There should be a reasonable definition of measure so that if we translate a measurable set, it shouldn't change the measure.
The Lebesgue measurable sets encompass all products of intervals but not too many more (they form a minimal good $sigma$-algebra containing products of intervals in some sense), and Lebesgue measure is a complete translation-invariant measure on the Lebesgue measurable sets. In fact, even better: one can prove it is the unique such measure. And as it turns out, it has several nice intuitive properties in addition: see http://en.wikipedia.org/wiki/Lebesgue_measure#Properties. This is what I would consider a positive answer to the question I raised in the first paragraph.
In principle, one could easily come up with a less restrictive definition of measurable set. Take any non-measurable set, and use it and the Lebesgue $sigma$-algebra to generate a new $sigma$-algebra. But then, of course, the Carathéodory criterion no longer holds by fiat, and that's something we'd really like.
The best reason I see to assume the Carathéodory criterion is that the subsets in a measurable space that satisfy the criterion automatically form a $sigma$-algebra, so it actually makes sense to use it to define a $sigma$-algebra. (In particular, you use it to obtain countable additivity.) There are probably measure spaces that don't use the Carathéodory criterion to define measurability, but at least for Euclidean space the Carathéodory criterion makes too much sense to replace it with a weaker criterion for measurability.
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
answered Mar 13 '15 at 7:03
Gyu Eun LeeGyu Eun Lee
13.2k2353
13.2k2353
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
add a comment |
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
1
1
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
$begingroup$
I can't help but disagree with the assertion that we don't want as many sets as measurable as possible. Isn't it the goal of measure theory to measure as many sets as possible?
$endgroup$
– Michael
Mar 14 '15 at 3:20
1
1
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
$begingroup$
No, the exact opposite. The whole issue with our naive notion of measure was that in general, subsets of Euclidean space can be (and usually are) quite pathological to the point of violating all of our intuition about volume (e.g. Vitali set). To put this another way, including more sets in our class of measurable sets makes it harder for our measure to have nice properties like translation invariance. If our goal is a measure we can work with we should only include as many sets as we need, to avoid screwing up the measure.
$endgroup$
– Gyu Eun Lee
Mar 14 '15 at 8:25
1
1
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
I'm not sure I agree on your philosophy here: we know that we can't get a measure with the right properties on the entire power set of $mathbb{R}$, but why shouldn't it be a fortunate state of affairs if we could? (As it happens, pathological examples convince us this is impossible, but why wouldn't we want to measure pathological sets if the universe were different and the axioms, therefore, said we could?)
$endgroup$
– fourierwho
Jul 19 '17 at 17:53
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
$begingroup$
Incidentally, in your fourth paragraph, it's not clear that we could extend Lebesgue measure to this new $sigma$-algebra.
$endgroup$
– fourierwho
Jul 19 '17 at 17:56
add a comment |
$begingroup$
The obvious reason is that "divide, measure each parts, and add up" is so essential to make a measure useful.
Intuitively, if you cut an apple into two pieces with a knife, you would expect the volumes of each parts adding up to the volume of that apple as a whole. It would be very weird if it does not.
Gyu Eun Lee is correct on this one: the point is not including as many sets as possible, the point is excluding as many sets as possible while keeping its (the idea of measures) usefulness. As Einstein once said: everything should be made as simple as possible, but not simpler.
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
$endgroup$
add a comment |
$begingroup$
The obvious reason is that "divide, measure each parts, and add up" is so essential to make a measure useful.
Intuitively, if you cut an apple into two pieces with a knife, you would expect the volumes of each parts adding up to the volume of that apple as a whole. It would be very weird if it does not.
Gyu Eun Lee is correct on this one: the point is not including as many sets as possible, the point is excluding as many sets as possible while keeping its (the idea of measures) usefulness. As Einstein once said: everything should be made as simple as possible, but not simpler.
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
$endgroup$
add a comment |
$begingroup$
The obvious reason is that "divide, measure each parts, and add up" is so essential to make a measure useful.
Intuitively, if you cut an apple into two pieces with a knife, you would expect the volumes of each parts adding up to the volume of that apple as a whole. It would be very weird if it does not.
Gyu Eun Lee is correct on this one: the point is not including as many sets as possible, the point is excluding as many sets as possible while keeping its (the idea of measures) usefulness. As Einstein once said: everything should be made as simple as possible, but not simpler.
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
$endgroup$
The obvious reason is that "divide, measure each parts, and add up" is so essential to make a measure useful.
Intuitively, if you cut an apple into two pieces with a knife, you would expect the volumes of each parts adding up to the volume of that apple as a whole. It would be very weird if it does not.
Gyu Eun Lee is correct on this one: the point is not including as many sets as possible, the point is excluding as many sets as possible while keeping its (the idea of measures) usefulness. As Einstein once said: everything should be made as simple as possible, but not simpler.
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
answered Jan 10 at 7:17
John Z. LiJohn Z. Li
194
194
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1186305%2fis-the-carath%25c3%25a9odory-definition-of-measurable-set-the-most-general%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Yeah where did you get Cathedory from?
$endgroup$
– Matt Samuel
Mar 12 '15 at 4:05
1
$begingroup$
Teacher always said it as Cathedory, it's kind of irrelevant nitpicking since the question is clear.
$endgroup$
– Michael
Mar 12 '15 at 4:29