Mixing
Understanding the Lebesgue criterion for Riemann-integrability
$begingroup$
The Lebesgue criterion for Riemann-integrability of a function $f colon mathcal{D} subseteq mathbb{R} longrightarrow mathbb{R}$ states that a function is Riemann-integrable in a compact $mathcal{D}$ when the set of discontinuities of $f$ in $mathcal{D}$ has Lebesgue measure $0$.
I'm not sure I fully understand this, maybe because I haven't yet seen a rigorous prove of it, and here's why: the Dirichlet function
$$1_mathbb{Q}(x) = left{array{1 & xinmathbb{Q} \ 0 & x notinmathbb{Q}}right.$$
is continuous nowhere, but it would be continuous if a $0$-Lebesgue measure changed (if the function evaluated at the rationals was also $0$). This function is not Riemann-integrable in any compact subset of $mathcal{D}$, though, so... why?
Maybe it's because this function is continuous nowhere, and not continuous "everywhere but in a $0$-measure set", but is it even possible to have a function continuous at the irrationals and not continuous at the rationals?, and would such a function be Riemann-integrable?
lebesgue-measure riemann-integration
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
$endgroup$
add a comment |
$begingroup$
The Lebesgue criterion for Riemann-integrability of a function $f colon mathcal{D} subseteq mathbb{R} longrightarrow mathbb{R}$ states that a function is Riemann-integrable in a compact $mathcal{D}$ when the set of discontinuities of $f$ in $mathcal{D}$ has Lebesgue measure $0$.
I'm not sure I fully understand this, maybe because I haven't yet seen a rigorous prove of it, and here's why: the Dirichlet function
$$1_mathbb{Q}(x) = left{array{1 & xinmathbb{Q} \ 0 & x notinmathbb{Q}}right.$$
is continuous nowhere, but it would be continuous if a $0$-Lebesgue measure changed (if the function evaluated at the rationals was also $0$). This function is not Riemann-integrable in any compact subset of $mathcal{D}$, though, so... why?
Maybe it's because this function is continuous nowhere, and not continuous "everywhere but in a $0$-measure set", but is it even possible to have a function continuous at the irrationals and not continuous at the rationals?, and would such a function be Riemann-integrable?
lebesgue-measure riemann-integration
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
$endgroup$
add a comment |
$begingroup$
The Lebesgue criterion for Riemann-integrability of a function $f colon mathcal{D} subseteq mathbb{R} longrightarrow mathbb{R}$ states that a function is Riemann-integrable in a compact $mathcal{D}$ when the set of discontinuities of $f$ in $mathcal{D}$ has Lebesgue measure $0$.
I'm not sure I fully understand this, maybe because I haven't yet seen a rigorous prove of it, and here's why: the Dirichlet function
$$1_mathbb{Q}(x) = left{array{1 & xinmathbb{Q} \ 0 & x notinmathbb{Q}}right.$$
is continuous nowhere, but it would be continuous if a $0$-Lebesgue measure changed (if the function evaluated at the rationals was also $0$). This function is not Riemann-integrable in any compact subset of $mathcal{D}$, though, so... why?
Maybe it's because this function is continuous nowhere, and not continuous "everywhere but in a $0$-measure set", but is it even possible to have a function continuous at the irrationals and not continuous at the rationals?, and would such a function be Riemann-integrable?
lebesgue-measure riemann-integration
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
$endgroup$
The Lebesgue criterion for Riemann-integrability of a function $f colon mathcal{D} subseteq mathbb{R} longrightarrow mathbb{R}$ states that a function is Riemann-integrable in a compact $mathcal{D}$ when the set of discontinuities of $f$ in $mathcal{D}$ has Lebesgue measure $0$.
I'm not sure I fully understand this, maybe because I haven't yet seen a rigorous prove of it, and here's why: the Dirichlet function
$$1_mathbb{Q}(x) = left{array{1 & xinmathbb{Q} \ 0 & x notinmathbb{Q}}right.$$
is continuous nowhere, but it would be continuous if a $0$-Lebesgue measure changed (if the function evaluated at the rationals was also $0$). This function is not Riemann-integrable in any compact subset of $mathcal{D}$, though, so... why?
Maybe it's because this function is continuous nowhere, and not continuous "everywhere but in a $0$-measure set", but is it even possible to have a function continuous at the irrationals and not continuous at the rationals?, and would such a function be Riemann-integrable?
lebesgue-measure riemann-integration
lebesgue-measure riemann-integration
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
asked Jan 26 at 20:10
TeicDaunTeicDaun
31116
31116
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Since the function is continuous nowhere, the Lebesgue measure of the discontinuous points say on $[0,1]$ is 1, and since this Lebesgue measure is nonzero, and noting also that the theorem is an i.f.f., we know that the function is not Riemann integrable on $[0,1]$.
A different function, named Thomae's function, which is continuous at all irrationals and discontinous at at rationals, and hence discontinuous on a set of measure 0, is in fact integrable (see link).
The fact that you can change a 0-Lebesgue measure is not relevant to the use of the Lebesgue criterion, because it changes the function fundamentally. In fact something like Lusin's Theorem shows that it can be always done in an $epsilon$ set. (Although I am sweeping quite a lot of details under the rug, like relative topology, etc.) See https://en.wikipedia.org/wiki/Lusin%27s_theorem for details.
answered Jan 26 at 20:35
twnlytwnly
1,1911214
$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%2f3088699%2funderstanding-the-lebesgue-criterion-for-riemann-integrability%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Since the function is continuous nowhere, the Lebesgue measure of the discontinuous points say on $[0,1]$ is 1, and since this Lebesgue measure is nonzero, and noting also that the theorem is an i.f.f., we know that the function is not Riemann integrable on $[0,1]$.
A different function, named Thomae's function, which is continuous at all irrationals and discontinous at at rationals, and hence discontinuous on a set of measure 0, is in fact integrable (see link).
The fact that you can change a 0-Lebesgue measure is not relevant to the use of the Lebesgue criterion, because it changes the function fundamentally. In fact something like Lusin's Theorem shows that it can be always done in an $epsilon$ set. (Although I am sweeping quite a lot of details under the rug, like relative topology, etc.) See https://en.wikipedia.org/wiki/Lusin%27s_theorem for details.
answered Jan 26 at 20:35
twnlytwnly
1,1911214
$endgroup$
add a comment |
$begingroup$
Since the function is continuous nowhere, the Lebesgue measure of the discontinuous points say on $[0,1]$ is 1, and since this Lebesgue measure is nonzero, and noting also that the theorem is an i.f.f., we know that the function is not Riemann integrable on $[0,1]$.
A different function, named Thomae's function, which is continuous at all irrationals and discontinous at at rationals, and hence discontinuous on a set of measure 0, is in fact integrable (see link).
The fact that you can change a 0-Lebesgue measure is not relevant to the use of the Lebesgue criterion, because it changes the function fundamentally. In fact something like Lusin's Theorem shows that it can be always done in an $epsilon$ set. (Although I am sweeping quite a lot of details under the rug, like relative topology, etc.) See https://en.wikipedia.org/wiki/Lusin%27s_theorem for details.
answered Jan 26 at 20:35
twnlytwnly
1,1911214
$endgroup$
add a comment |
$begingroup$
Since the function is continuous nowhere, the Lebesgue measure of the discontinuous points say on $[0,1]$ is 1, and since this Lebesgue measure is nonzero, and noting also that the theorem is an i.f.f., we know that the function is not Riemann integrable on $[0,1]$.
A different function, named Thomae's function, which is continuous at all irrationals and discontinous at at rationals, and hence discontinuous on a set of measure 0, is in fact integrable (see link).
The fact that you can change a 0-Lebesgue measure is not relevant to the use of the Lebesgue criterion, because it changes the function fundamentally. In fact something like Lusin's Theorem shows that it can be always done in an $epsilon$ set. (Although I am sweeping quite a lot of details under the rug, like relative topology, etc.) See https://en.wikipedia.org/wiki/Lusin%27s_theorem for details.
answered Jan 26 at 20:35
twnlytwnly
1,1911214
$endgroup$
Since the function is continuous nowhere, the Lebesgue measure of the discontinuous points say on $[0,1]$ is 1, and since this Lebesgue measure is nonzero, and noting also that the theorem is an i.f.f., we know that the function is not Riemann integrable on $[0,1]$.
A different function, named Thomae's function, which is continuous at all irrationals and discontinous at at rationals, and hence discontinuous on a set of measure 0, is in fact integrable (see link).
The fact that you can change a 0-Lebesgue measure is not relevant to the use of the Lebesgue criterion, because it changes the function fundamentally. In fact something like Lusin's Theorem shows that it can be always done in an $epsilon$ set. (Although I am sweeping quite a lot of details under the rug, like relative topology, etc.) See https://en.wikipedia.org/wiki/Lusin%27s_theorem for details.
answered Jan 26 at 20:35
twnlytwnly
1,1911214
edited Jan 26 at 20:41
answered Jan 26 at 20:35
twnlytwnly
1,1911214
answered Jan 26 at 20:35
twnlytwnly
1,1911214
answered Jan 26 at 20:35
twnlytwnly
1,1911214
1,1911214
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%2f3088699%2funderstanding-the-lebesgue-criterion-for-riemann-integrability%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
