Is the empty function differentiable?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
1












Given the empty function $varnothing: emptyset to X$ where $X$ is a set, is $varnothing$ a differentiable function? If so, what is its derivative?



Also, is the empty set a differentiable manifold? If so, what is it's dimension?










share|cite|improve this question

















  • 3




    In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
    – Ethan Bolker
    5 hours ago






  • 4




    Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
    – John Hughes
    5 hours ago











  • @EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
    – MightyTyGuy
    5 hours ago






  • 2




    The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
    – Ethan Bolker
    5 hours ago










  • To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
    – John Hughes
    2 hours ago














up vote
2
down vote

favorite
1












Given the empty function $varnothing: emptyset to X$ where $X$ is a set, is $varnothing$ a differentiable function? If so, what is its derivative?



Also, is the empty set a differentiable manifold? If so, what is it's dimension?










share|cite|improve this question

















  • 3




    In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
    – Ethan Bolker
    5 hours ago






  • 4




    Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
    – John Hughes
    5 hours ago











  • @EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
    – MightyTyGuy
    5 hours ago






  • 2




    The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
    – Ethan Bolker
    5 hours ago










  • To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
    – John Hughes
    2 hours ago












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





Given the empty function $varnothing: emptyset to X$ where $X$ is a set, is $varnothing$ a differentiable function? If so, what is its derivative?



Also, is the empty set a differentiable manifold? If so, what is it's dimension?










share|cite|improve this question













Given the empty function $varnothing: emptyset to X$ where $X$ is a set, is $varnothing$ a differentiable function? If so, what is its derivative?



Also, is the empty set a differentiable manifold? If so, what is it's dimension?







calculus real-analysis functions differential-topology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 5 hours ago









Mobius

528




528







  • 3




    In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
    – Ethan Bolker
    5 hours ago






  • 4




    Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
    – John Hughes
    5 hours ago











  • @EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
    – MightyTyGuy
    5 hours ago






  • 2




    The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
    – Ethan Bolker
    5 hours ago










  • To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
    – John Hughes
    2 hours ago












  • 3




    In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
    – Ethan Bolker
    5 hours ago






  • 4




    Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
    – John Hughes
    5 hours ago











  • @EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
    – MightyTyGuy
    5 hours ago






  • 2




    The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
    – Ethan Bolker
    5 hours ago










  • To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
    – John Hughes
    2 hours ago







3




3




In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
– Ethan Bolker
5 hours ago




In order for a function to be differentiable you have to be able to define "differentialbe", which requires a fair amount of structure on the domain and codomain that's not there in your question.
– Ethan Bolker
5 hours ago




4




4




Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
– John Hughes
5 hours ago





Long ago at MIT, this sort of question was repeatedly asked by a student in a topology class. The prof eventually got fed up, and declared all such questions SO important that they really needed a single-person oracle to know all the answers, and named that particular student "the keeper of the empty set." Several of my grad school classmates were part of that class, and I've remembered the story over the (many) intervening years. Take from it what you will.
– John Hughes
5 hours ago













@EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
– MightyTyGuy
5 hours ago




@EthanBolker Can the empty set not be considered a manifold? I agree that X needs more structure before differentiability is defined, but if X is a manifold, I would argue there is a notion of differentiability for the map.
– MightyTyGuy
5 hours ago




2




2




The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
– Ethan Bolker
5 hours ago




The first paragraph of the definition of a manifold at en.wikipedia.org/wiki/Manifold seems to say that the empty set is a manifold of every dimension. I suggest you take this question up with the oracle @JohnHughes tells us about.
– Ethan Bolker
5 hours ago












To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
– John Hughes
2 hours ago




To answer: Assuming in your question that $X$ is a manifold, and that your particular keeper of the empty set declares it, too, to be a manifold, then the derivative would be the empty map from the tangent bundle of the empty set (also empty) to the tangent bundle of $X$.
– John Hughes
2 hours ago










2 Answers
2






active

oldest

votes

















up vote
4
down vote













Yes, the empty set is a smooth manifold (it is covered by the empty collection of coordinate charts!). It has every dimension. (That is, for any $n$, it is true that $emptyset$ is a manifold of dimension $n$. Note that there is not really a unified definition of "manifold" but rather a separate definition of "manifold of dimension $n$" for each $n$, so there is nothing wrong with a single object satisfying the definition for multiple different values of $n$.)



For any smooth manifold $X$, the empty function $emptysetto X$ is smooth. After all, this just means that it gives a smooth function in every pair coordinate charts of a pair of atlases on the domain and codomain, which is vacuously true since the empty set is an atlas for $emptyset$. (Or, in the context of just open subset of Euclidean space, if we consider $emptyset$ as an open subset of $mathbbR^m$, then the empty function $emptysettomathbbR^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $emptysetto mathbbR^ntimes m$.)






share|cite|improve this answer






















  • I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
    – DanielWainfleet
    26 mins ago

















up vote
1
down vote













Yes, the empty function is differentiable because at

every point in the empty set, it is differentiable.






share|cite|improve this answer




















  • Yes. Because there are no points in its domain where it fails to have a derivative.
    – DanielWainfleet
    22 mins ago










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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2969828%2fis-the-empty-function-differentiable%23new-answer', 'question_page');

);

Post as a guest






























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
4
down vote













Yes, the empty set is a smooth manifold (it is covered by the empty collection of coordinate charts!). It has every dimension. (That is, for any $n$, it is true that $emptyset$ is a manifold of dimension $n$. Note that there is not really a unified definition of "manifold" but rather a separate definition of "manifold of dimension $n$" for each $n$, so there is nothing wrong with a single object satisfying the definition for multiple different values of $n$.)



For any smooth manifold $X$, the empty function $emptysetto X$ is smooth. After all, this just means that it gives a smooth function in every pair coordinate charts of a pair of atlases on the domain and codomain, which is vacuously true since the empty set is an atlas for $emptyset$. (Or, in the context of just open subset of Euclidean space, if we consider $emptyset$ as an open subset of $mathbbR^m$, then the empty function $emptysettomathbbR^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $emptysetto mathbbR^ntimes m$.)






share|cite|improve this answer






















  • I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
    – DanielWainfleet
    26 mins ago














up vote
4
down vote













Yes, the empty set is a smooth manifold (it is covered by the empty collection of coordinate charts!). It has every dimension. (That is, for any $n$, it is true that $emptyset$ is a manifold of dimension $n$. Note that there is not really a unified definition of "manifold" but rather a separate definition of "manifold of dimension $n$" for each $n$, so there is nothing wrong with a single object satisfying the definition for multiple different values of $n$.)



For any smooth manifold $X$, the empty function $emptysetto X$ is smooth. After all, this just means that it gives a smooth function in every pair coordinate charts of a pair of atlases on the domain and codomain, which is vacuously true since the empty set is an atlas for $emptyset$. (Or, in the context of just open subset of Euclidean space, if we consider $emptyset$ as an open subset of $mathbbR^m$, then the empty function $emptysettomathbbR^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $emptysetto mathbbR^ntimes m$.)






share|cite|improve this answer






















  • I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
    – DanielWainfleet
    26 mins ago












up vote
4
down vote










up vote
4
down vote









Yes, the empty set is a smooth manifold (it is covered by the empty collection of coordinate charts!). It has every dimension. (That is, for any $n$, it is true that $emptyset$ is a manifold of dimension $n$. Note that there is not really a unified definition of "manifold" but rather a separate definition of "manifold of dimension $n$" for each $n$, so there is nothing wrong with a single object satisfying the definition for multiple different values of $n$.)



For any smooth manifold $X$, the empty function $emptysetto X$ is smooth. After all, this just means that it gives a smooth function in every pair coordinate charts of a pair of atlases on the domain and codomain, which is vacuously true since the empty set is an atlas for $emptyset$. (Or, in the context of just open subset of Euclidean space, if we consider $emptyset$ as an open subset of $mathbbR^m$, then the empty function $emptysettomathbbR^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $emptysetto mathbbR^ntimes m$.)






share|cite|improve this answer














Yes, the empty set is a smooth manifold (it is covered by the empty collection of coordinate charts!). It has every dimension. (That is, for any $n$, it is true that $emptyset$ is a manifold of dimension $n$. Note that there is not really a unified definition of "manifold" but rather a separate definition of "manifold of dimension $n$" for each $n$, so there is nothing wrong with a single object satisfying the definition for multiple different values of $n$.)



For any smooth manifold $X$, the empty function $emptysetto X$ is smooth. After all, this just means that it gives a smooth function in every pair coordinate charts of a pair of atlases on the domain and codomain, which is vacuously true since the empty set is an atlas for $emptyset$. (Or, in the context of just open subset of Euclidean space, if we consider $emptyset$ as an open subset of $mathbbR^m$, then the empty function $emptysettomathbbR^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $emptysetto mathbbR^ntimes m$.)







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 1 hour ago

























answered 1 hour ago









Eric Wofsey

171k12198317




171k12198317











  • I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
    – DanielWainfleet
    26 mins ago
















  • I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
    – DanielWainfleet
    26 mins ago















I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
– DanielWainfleet
26 mins ago




I would say that since there is no point in the domain of the empty function where it fails to be differentiable, you can say that it is differentiable. And the domain of a differentiable $f$ is equal to the domain of $f.$ So $emptyset'=emptyset.$
– DanielWainfleet
26 mins ago










up vote
1
down vote













Yes, the empty function is differentiable because at

every point in the empty set, it is differentiable.






share|cite|improve this answer




















  • Yes. Because there are no points in its domain where it fails to have a derivative.
    – DanielWainfleet
    22 mins ago














up vote
1
down vote













Yes, the empty function is differentiable because at

every point in the empty set, it is differentiable.






share|cite|improve this answer




















  • Yes. Because there are no points in its domain where it fails to have a derivative.
    – DanielWainfleet
    22 mins ago












up vote
1
down vote










up vote
1
down vote









Yes, the empty function is differentiable because at

every point in the empty set, it is differentiable.






share|cite|improve this answer












Yes, the empty function is differentiable because at

every point in the empty set, it is differentiable.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 2 hours ago









William Elliot

6,1382517




6,1382517











  • Yes. Because there are no points in its domain where it fails to have a derivative.
    – DanielWainfleet
    22 mins ago
















  • Yes. Because there are no points in its domain where it fails to have a derivative.
    – DanielWainfleet
    22 mins ago















Yes. Because there are no points in its domain where it fails to have a derivative.
– DanielWainfleet
22 mins ago




Yes. Because there are no points in its domain where it fails to have a derivative.
– DanielWainfleet
22 mins ago

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2969828%2fis-the-empty-function-differentiable%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What does second last employer means? [closed]

Installing NextGIS Connect into QGIS 3?

One-line joke