14
$\begingroup$

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 its dimension?

$\endgroup$
  • 7
    $\begingroup$ 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. $\endgroup$ – Ethan Bolker Oct 24 '18 at 23:24
  • 11
    $\begingroup$ 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. $\endgroup$ – John Hughes Oct 24 '18 at 23:25
  • $\begingroup$ @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. $\endgroup$ – MightyTyGuy Oct 24 '18 at 23:27
  • 3
    $\begingroup$ 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. $\endgroup$ – Ethan Bolker Oct 24 '18 at 23:51
  • 3
    $\begingroup$ 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$. $\endgroup$ – John Hughes Oct 25 '18 at 3:03
22
$\begingroup$

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 $\emptyset\to 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 $\mathbb{R}^m$, then the empty function $\emptyset\to\mathbb{R}^n$ is smooth because it is vacuously infinitely differentiable at every point in the domain. Its derivative is then the empty function $\emptyset\to \mathbb{R}^{n\times m}$.)

$\endgroup$
  • 2
    $\begingroup$ 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.$ $\endgroup$ – DanielWainfleet Oct 25 '18 at 4:49
16
$\begingroup$

Yes, the empty function is differentiable because at
every point in the empty set, it is differentiable.

$\endgroup$
  • $\begingroup$ Yes. Because there are no points in its domain where it fails to have a derivative. $\endgroup$ – DanielWainfleet Oct 25 '18 at 4:52
  • $\begingroup$ +1. Does it mean it is also "nowhere differentiable"? $\endgroup$ – Taladris Oct 26 '18 at 0:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.