In the novella Flatland by Edwin A. Abbott, the Sphere leads the Square “downward to the lowest depth of existence, even to the realm of Pointland, the Abyss of No dimensions”:
I caught these words, “Infinite beatitude of existence! It is; and there is nothing else beside It.” [...] “It fills all Space,” continued the little soliloquizing Creature, “and what It fills, It is. What It thinks, that It utters; and what It utters, that It hears; and It itself is Thinker, Utterer, Hearer, Thought, Word, Audition; it is the One, and yet the All in All. Ah, the happiness, ah, the happiness of Being!”
Indeed, Pointland (a one-point space) is zero-dimensional by every concept of dimension that I know of. Yet there is something smaller: Nothingland — empty space, — whose non-existent inhabitants must be perpetually enjoying the happiness of Non-Being.
What is the dimension of Nothingland?
In topology, the empty set has dimension . This fits the inductive definition of topological dimension, which is the smallest number such that the space can be minced by removing a subset of dimension . (Let’s say a space has been minced if what’s left has no connected subsets other than points.)
Thus, a nonempty finite (or countable) set has dimension : it’s minced already, so we remove nothing, a set of dimension . A line or a curve is one-dimensional: they can be minced by removing a zero-dimensional subset, like rational numbers.
The Flatland itself can be minced by removing a one-dimensional subset (e.g., circles with rational radius and rational coordinates of the center), so it is two-dimensional. And so on.
The convention , helpful in the definition, gets in the way later. For example, the topological dimension is subadditive under products: … unless both and are empty, because then is false. So the case must be excluded from the product theorem. We would not have to do this if was defined to be .
Next, consider the Hausdorff dimension. Its definition is not inductive, but one has to introduce other concepts first. First, define the -dimensional premeasure on scale :
where the infimum is taken over all covers of by nonempty subsets with . Requiring to be nonempty avoids the need to define the diameter of Nothingland, which would be another story. The empty space can be covered by empty family of nonempty subsets. The sum of empty set of numbers is , and so .
Then we define the -dimensional Hausdorff measure:
If in this last infimum we require , the result is . But why make this restriction? The -dimensional pre-measures and measures make sense for all real . It’s just that for nonempty , we are raising some small (or even zero) numbers to negative power, getting something large as a result. Consequently, every nonempty space has for all .
But , from the sum of empty collection of numbers being zero. Hence, for all real , and this leads to .
To have is also convenient because the Hausdorff dimension is superadditive under products: . This inequality was proved for general metric spaces as recently as 1995, by John Howroyd. If we don’t have , then both factors and must be assumed nonempty.
So… should Nothingland have topological dimension and Hausdorff dimension ? But that would violate the inequality which holds for every other separable metric space. In fact, for such spaces the topological dimension is simply the infimum of the Hausdorff dimension over all metrics compatible with the topology.
I am inclined to let the dimension of Nothingland be for every concept of dimension.