Where is a “fat Cantor staircase” differentiable?What is the Lebesgue mean of the fat Cantor set?Strictly...
Disrespectful employee going above my head and telling me what to do. I am his manager
Which collation should I use for biblical Hebrew?
Employer says he needs to delay payment by 3 months due to bureaucracy
How to handle shared mortgage payment if one person can't pay their share?
How honest to be with US immigration about uncertainty about travel plans?
Get first and last day of the week in Ampscript
Does wall of stone need support or not?
'Kukhtarev's model' or 'THE Kukhtarev's model'?
How can demon technology be prevented from surpassing humans?
Is there a practical way of making democratic-like system skewed towards competence?
How can I add just the second elements in lists of pairs?
How do you translate "Don't Fear the Reaper" into Latin?
Sum in bash outside while read line
A Grandma Riddle
Giving a character trauma but not "diagnosing" her?
Could Alpha Centauri be made of anti-matter?
What's the most efficient way to draw this region?
Big Bracket for equations
Novel set in the future, children cannot change the class they are born into, one class is made uneducated by associating books with pain
What are the consequences for downstream actors of redistributing a work under a wider CC license than the copyright holder authorized?
Could someone please translate this code into some mathematical notation?
Variable fixing based on a good feasible solution
How does paying extra on my mortgage affect my amortization schedule?
Does Australia produce unique 'specialty steel'?
Where is a “fat Cantor staircase” differentiable?
What is the Lebesgue mean of the fat Cantor set?Strictly monotone real function: stationary point, non-differentiable pointFunctions differentiable on “small” setsThe Cantor staircase function and related thingsIncreasing Sequence of Step Functions Converging to Characteristic Function of Fat Cantor SetCharacterizing discontinuous derivativesMaking a dense set of full measure from Cantor like setsContinuous extension from Cantor set to unit intervalDifferentiable A.E. with Positive Derivative Implies Increasing
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{
margin-bottom:0;
}
.everyonelovesstackoverflow{position:absolute;height:1px;width:1px;opacity:0;top:0;left:0;pointer-events:none;}
$begingroup$
The Cantor staircase is an example of a continuous function which is differentiable (and indeed flat) almost everywhere, and yet nonconstant. It is differentiable precisely at the points that aren't in the Cantor set.
Now, repeat the construction with a fat Cantor set (such as the Smith–Volterra–Cantor set, shown here).
Where is this fat Cantor staircase differentiable? Naively, I would've expected it to be differentiable on the complement of the Cantor set again, just like the original staircase. But this contradicts the theorem that says monotone functions are differentiable almost everywhere. So the fat Cantor staircase must be differentiable on some points in the Cantor set! Where, precisely, in the Cantor set does this happen? What is the derivative there? And what does the integral of this function's derivative look like?
(Conjecture: it is differentiable on the "pseudo-interior" - the set of points in the fat Cantor set without successor or predecessor, not counting 0 and 1.)
real-analysis measure-theory cantor-set
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
$endgroup$
|
show 1 more comment
$begingroup$
The Cantor staircase is an example of a continuous function which is differentiable (and indeed flat) almost everywhere, and yet nonconstant. It is differentiable precisely at the points that aren't in the Cantor set.
Now, repeat the construction with a fat Cantor set (such as the Smith–Volterra–Cantor set, shown here).
Where is this fat Cantor staircase differentiable? Naively, I would've expected it to be differentiable on the complement of the Cantor set again, just like the original staircase. But this contradicts the theorem that says monotone functions are differentiable almost everywhere. So the fat Cantor staircase must be differentiable on some points in the Cantor set! Where, precisely, in the Cantor set does this happen? What is the derivative there? And what does the integral of this function's derivative look like?
(Conjecture: it is differentiable on the "pseudo-interior" - the set of points in the fat Cantor set without successor or predecessor, not counting 0 and 1.)
real-analysis measure-theory cantor-set
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
$endgroup$
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
1
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
|
show 1 more comment
$begingroup$
The Cantor staircase is an example of a continuous function which is differentiable (and indeed flat) almost everywhere, and yet nonconstant. It is differentiable precisely at the points that aren't in the Cantor set.
Now, repeat the construction with a fat Cantor set (such as the Smith–Volterra–Cantor set, shown here).
Where is this fat Cantor staircase differentiable? Naively, I would've expected it to be differentiable on the complement of the Cantor set again, just like the original staircase. But this contradicts the theorem that says monotone functions are differentiable almost everywhere. So the fat Cantor staircase must be differentiable on some points in the Cantor set! Where, precisely, in the Cantor set does this happen? What is the derivative there? And what does the integral of this function's derivative look like?
(Conjecture: it is differentiable on the "pseudo-interior" - the set of points in the fat Cantor set without successor or predecessor, not counting 0 and 1.)
real-analysis measure-theory cantor-set
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
$endgroup$
The Cantor staircase is an example of a continuous function which is differentiable (and indeed flat) almost everywhere, and yet nonconstant. It is differentiable precisely at the points that aren't in the Cantor set.
Now, repeat the construction with a fat Cantor set (such as the Smith–Volterra–Cantor set, shown here).
Where is this fat Cantor staircase differentiable? Naively, I would've expected it to be differentiable on the complement of the Cantor set again, just like the original staircase. But this contradicts the theorem that says monotone functions are differentiable almost everywhere. So the fat Cantor staircase must be differentiable on some points in the Cantor set! Where, precisely, in the Cantor set does this happen? What is the derivative there? And what does the integral of this function's derivative look like?
(Conjecture: it is differentiable on the "pseudo-interior" - the set of points in the fat Cantor set without successor or predecessor, not counting 0 and 1.)
real-analysis measure-theory cantor-set
real-analysis measure-theory cantor-set
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
edited 8 hours ago
Akiva Weinberger
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
asked 8 hours ago
Akiva WeinbergerAkiva Weinberger
14.3k1 gold badge28 silver badges70 bronze badges
14.3k1 gold badge28 silver badges70 bronze badges
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
1
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
|
show 1 more comment
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
1
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
1
1
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
First note that the "fat cantor staircase function" is given by
$$f(x) = frac{mu(Ccap [0,x])}{mu(C)}$$
so immediately from Lebesgue's density theorem,
$$f'(x) = begin{cases}1/mu(C) & text{ if } d_C(x) = 1 \ 0 & text{ if } d_C(x) = 0end{cases}$$
describes the derivative almost everywhere, where $d_C(x) = lim_{hto 0^+} frac{mu(C cap [x-h, x+h])}{2h}.$
It now is left to show that $d_C^{-1}(1)$ equals the "pseudo-interior" of $C.$ I believe this is true, but I'll have to tackle it later (if anyone wants to use this work to finish, feel free, as it may be tomorrow before I can come back to it)
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
$endgroup$
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
add a comment
|
Your Answer
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/4.0/"u003ecc by-sa 4.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%2f3380703%2fwhere-is-a-fat-cantor-staircase-differentiable%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$
First note that the "fat cantor staircase function" is given by
$$f(x) = frac{mu(Ccap [0,x])}{mu(C)}$$
so immediately from Lebesgue's density theorem,
$$f'(x) = begin{cases}1/mu(C) & text{ if } d_C(x) = 1 \ 0 & text{ if } d_C(x) = 0end{cases}$$
describes the derivative almost everywhere, where $d_C(x) = lim_{hto 0^+} frac{mu(C cap [x-h, x+h])}{2h}.$
It now is left to show that $d_C^{-1}(1)$ equals the "pseudo-interior" of $C.$ I believe this is true, but I'll have to tackle it later (if anyone wants to use this work to finish, feel free, as it may be tomorrow before I can come back to it)
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
$endgroup$
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
add a comment
|
$begingroup$
First note that the "fat cantor staircase function" is given by
$$f(x) = frac{mu(Ccap [0,x])}{mu(C)}$$
so immediately from Lebesgue's density theorem,
$$f'(x) = begin{cases}1/mu(C) & text{ if } d_C(x) = 1 \ 0 & text{ if } d_C(x) = 0end{cases}$$
describes the derivative almost everywhere, where $d_C(x) = lim_{hto 0^+} frac{mu(C cap [x-h, x+h])}{2h}.$
It now is left to show that $d_C^{-1}(1)$ equals the "pseudo-interior" of $C.$ I believe this is true, but I'll have to tackle it later (if anyone wants to use this work to finish, feel free, as it may be tomorrow before I can come back to it)
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
$endgroup$
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
add a comment
|
$begingroup$
First note that the "fat cantor staircase function" is given by
$$f(x) = frac{mu(Ccap [0,x])}{mu(C)}$$
so immediately from Lebesgue's density theorem,
$$f'(x) = begin{cases}1/mu(C) & text{ if } d_C(x) = 1 \ 0 & text{ if } d_C(x) = 0end{cases}$$
describes the derivative almost everywhere, where $d_C(x) = lim_{hto 0^+} frac{mu(C cap [x-h, x+h])}{2h}.$
It now is left to show that $d_C^{-1}(1)$ equals the "pseudo-interior" of $C.$ I believe this is true, but I'll have to tackle it later (if anyone wants to use this work to finish, feel free, as it may be tomorrow before I can come back to it)
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
$endgroup$
First note that the "fat cantor staircase function" is given by
$$f(x) = frac{mu(Ccap [0,x])}{mu(C)}$$
so immediately from Lebesgue's density theorem,
$$f'(x) = begin{cases}1/mu(C) & text{ if } d_C(x) = 1 \ 0 & text{ if } d_C(x) = 0end{cases}$$
describes the derivative almost everywhere, where $d_C(x) = lim_{hto 0^+} frac{mu(C cap [x-h, x+h])}{2h}.$
It now is left to show that $d_C^{-1}(1)$ equals the "pseudo-interior" of $C.$ I believe this is true, but I'll have to tackle it later (if anyone wants to use this work to finish, feel free, as it may be tomorrow before I can come back to it)
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
answered 6 hours ago
Brian MoehringBrian Moehring
3,0273 silver badges14 bronze badges
3,0273 silver badges14 bronze badges
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
add a comment
|
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
My intuition is that $d_C$ won't be $1$ on the entire pseudo-interior--only at points that are not "too quickly approximated" by the endpoints. That will be almost all points of the pseudo-interior, but I don't see a simple description of which points it is.
$endgroup$
– Eric Wofsey
6 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
$begingroup$
@supinf It can take other values, but the set on which it's neither 0 nor 1 has measure zero.
$endgroup$
– Brian Moehring
5 hours ago
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%2f3380703%2fwhere-is-a-fat-cantor-staircase-differentiable%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
$begingroup$
"And what does the integral of this function's derivative look like?" wouldnt that be just the function itself?
$endgroup$
– supinf
7 hours ago
1
$begingroup$
@supinf Not necessarily. Take the original Cantor staircase, for example - its derivative is zero almost everywhere, so the integral of its derivative is constant!
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
To clarify, are you defining the "pseudo-interior" as $bigcap_{n=1}^infty text{int}(F_n)$ where the $(F_n)$ is the decreasing sequence of compact sets given in your construction of this fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago
$begingroup$
@BrianMoehring Yeah
$endgroup$
– Akiva Weinberger
7 hours ago
$begingroup$
All right. And second question, would it be accurate to state that your "fat cantor staircase" is given by $$x mapsto frac{mu(C cap [0,x])}{mu(C)},$$ where $C$ is your fat cantor set?
$endgroup$
– Brian Moehring
7 hours ago