In several of my previous posts I have mentioned the word “dimension”. Recently I realized that dimension can be of two types, as pointed out by Bernhard Riemann in his famous lecture in 1854. Let me quote Donal O’Shea from pp. 99 of his book “The Poincaré Conjecture” :
Continuous spaces can have any dimension, and can even be infinite dimensional. One needs to distinguish between the notion of a space and a space with a geometry. The same space can have different geometries. A geometry is an additional structure on a space. Nowadays, we say that one must distinguish between topology and geometry.
[Here by the term “space(s)” the author means “topological space”]
In mathematics, the word “dimension” can have different meanings. But, broadly speaking, there are only three different ways of defining/thinking about “dimension”:
- Dimension of Vector Space: It’s the number of elements in basis of the vector space. This is the sense in which the term dimension is used in geometry (while doing calculus) and algebra. For example:
- A circle is a two dimensional object since we need a two dimensional vector space (aka coordinates) to write it. In general, this is how we define dimension for Euclidean space (which is an affine space, i.e. what is left of a vector space after you’ve forgotten which point is the origin).
- Dimension of a differentiable manifold is the dimension of its tangent vector space at any point.
- Dimension of a variety (an algebraic object) is the dimension of tangent vector space at any regular point. Krull dimension is remotely motivated by the idea of dimension of vector spaces.
- Dimension of Topological Space: It’s the smallest integer that is somehow related to open sets in the given topological space. In contrast to a basis of a vector space, a basis of topological space need not be maximal; indeed, the only maximal base is the topology itself. Moreover, dimension is this case can be defined using “Lebesgue covering dimension” or in some nice cases using “Inductive dimension“. This is the sense in which the term dimension is used in topology. For example:
- A circle is one dimensional object and a disc is two dimensional by topological definition of dimension.
- Two spaces are said to have same dimension if and only if there exists a continuous bijective map between them. Due to this, a curve and a plane have different dimension even though curves can fill space. Space-filling curves are special cases of fractal constructions. No differentiable space-filling curve can exist. Roughly speaking, differentiability puts a bound on how fast the curve can turn.
- Fractal Dimension: It’s a notion designed to study the complex sets/structures like fractals that allows notions of objects with dimensions other than integers. It’s definition lies in between of that of dimension of vector spaces and topological spaces. It can be defined in various similar ways. Most common way is to define it as “dimension of Hausdorff measure on a metric space” (measure theory enable us to integrate a function without worrying about its smoothness and the defining property of fractals is that they are NOT smooth). This sense of dimension is used in very specific cases. For example:
- A curve with fractal dimension very near to 1, say 1.10, behaves quite like an ordinary line, but a curve with fractal dimension 1.9 winds convolutedly through space very nearly like a surface.
- A surface with fractal dimension of 2.1 fills space very much like an ordinary surface, but one with a fractal dimension of 2.9 folds and flows to fill space rather nearly like a volume.
This simple observation has very interesting consequences. For example, consider the following statement from. pp. 167 of the book “The Poincaré Conjecture” by Donal O’Shea:
… there are infinitely many incompatible ways of doing calculus in four-space. This contrasts with every other dimension…
This leads to a natural question:
Why is it difficult to develop calculus for any in general?
Actually, if we consider as a vector space then developing calculus is not a big deal (as done in multivariable calculus). But, if we consider as a topological space then it becomes a challenging task due to the lack of required algebraic structure on the space. So, Donal O’Shea is actually pointing to the fact that doing calculus on differentiable manifolds in is difficult. And this is because we are considering as 4-dimensional topological space.
Now, I will end this post by pointing to the way in which definition of dimension should be seen in my older posts:
- Dimension ≡ Dimension of the underlying vector space
- Dimension ≡ Lebesgue covering dimension of the underlying topological space
- Special Numbers: update (note that here I am talking about “topological manifolds” of which “differentiable manifolds” are a special case)