What kind of integral or analysis is capable of dealing with cantor's function?
$begingroup$
According to Lebesgue’s characterization of Riemann integrable functions (see: http://www.math.ru.nl/~mueger/Lebesgue.pdf)
cantor funciton on $[0,1]$ (https://en.wikipedia.org/wiki/Cantor_function) is riemann integrable, and since it's bounded. They should be equal. However, since $f$ (the cantor function) is singular on $[0,1]$, $f'=0$ almost everywhere. Thus remmann and lebesgue both equal to $0$.
So both lebesgue and riemann integralbe can not deal with cantor's function or Weierstrass function on $[0,1]$(https://en.wikipedia.org/wiki/Weierstrass_function).
My question was what kind of analysis techniques can be used to deal with cantor funciton, or even Weierstrass function?
definition lebesgue-integral
$endgroup$
add a comment |
$begingroup$
According to Lebesgue’s characterization of Riemann integrable functions (see: http://www.math.ru.nl/~mueger/Lebesgue.pdf)
cantor funciton on $[0,1]$ (https://en.wikipedia.org/wiki/Cantor_function) is riemann integrable, and since it's bounded. They should be equal. However, since $f$ (the cantor function) is singular on $[0,1]$, $f'=0$ almost everywhere. Thus remmann and lebesgue both equal to $0$.
So both lebesgue and riemann integralbe can not deal with cantor's function or Weierstrass function on $[0,1]$(https://en.wikipedia.org/wiki/Weierstrass_function).
My question was what kind of analysis techniques can be used to deal with cantor funciton, or even Weierstrass function?
definition lebesgue-integral
$endgroup$
1
$begingroup$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48
add a comment |
$begingroup$
According to Lebesgue’s characterization of Riemann integrable functions (see: http://www.math.ru.nl/~mueger/Lebesgue.pdf)
cantor funciton on $[0,1]$ (https://en.wikipedia.org/wiki/Cantor_function) is riemann integrable, and since it's bounded. They should be equal. However, since $f$ (the cantor function) is singular on $[0,1]$, $f'=0$ almost everywhere. Thus remmann and lebesgue both equal to $0$.
So both lebesgue and riemann integralbe can not deal with cantor's function or Weierstrass function on $[0,1]$(https://en.wikipedia.org/wiki/Weierstrass_function).
My question was what kind of analysis techniques can be used to deal with cantor funciton, or even Weierstrass function?
definition lebesgue-integral
$endgroup$
According to Lebesgue’s characterization of Riemann integrable functions (see: http://www.math.ru.nl/~mueger/Lebesgue.pdf)
cantor funciton on $[0,1]$ (https://en.wikipedia.org/wiki/Cantor_function) is riemann integrable, and since it's bounded. They should be equal. However, since $f$ (the cantor function) is singular on $[0,1]$, $f'=0$ almost everywhere. Thus remmann and lebesgue both equal to $0$.
So both lebesgue and riemann integralbe can not deal with cantor's function or Weierstrass function on $[0,1]$(https://en.wikipedia.org/wiki/Weierstrass_function).
My question was what kind of analysis techniques can be used to deal with cantor funciton, or even Weierstrass function?
definition lebesgue-integral
definition lebesgue-integral
asked Dec 12 '18 at 4:26
user9976437user9976437
759
759
1
$begingroup$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48
add a comment |
1
$begingroup$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48
1
1
$begingroup$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48
add a comment |
0
active
oldest
votes
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%2f3036224%2fwhat-kind-of-integral-or-analysis-is-capable-of-dealing-with-cantors-function%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3036224%2fwhat-kind-of-integral-or-analysis-is-capable-of-dealing-with-cantors-function%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$
Technically, the Cantor function can be differentiated in the sense of distribution theory, but this is in some sense "cheating".
$endgroup$
– Ian
Dec 12 '18 at 4:37
$begingroup$
Are you talking about integral of $f$ or $f'$? Integral of $f$ is not zero.
$endgroup$
– Kavi Rama Murthy
Dec 12 '18 at 5:33
$begingroup$
@KaviRamaMurthy Two cases, 1 $f'$ exists almost everywhere, but obviously "did not work", second case, $f'$ does not exists at all.
$endgroup$
– user9976437
Dec 12 '18 at 5:38
$begingroup$
What do you mean by 'deal with'? The integral of the Cantor function is ${1 over 2}$ not $0$.
$endgroup$
– copper.hat
Dec 12 '18 at 6:45
$begingroup$
@copper.hat They are talking about the failure of (the hypotheses of) the fundamental theorem of calculus. The first part is quite nonsensical however (the Cantor function itself is indeed both Riemann and Lebesgue integrable and the integrals are the same).
$endgroup$
– Ian
Dec 12 '18 at 9:48