A notion of dimension is a notion of “size” of objects. There are various variations of what exactly this means, applicable in various contexts, that tend to agree when they jointly apply.
There are many notions of dimension of spaces. What they all have in common, is that the cartesian space has dimension .
The dimension of a vector space is the cardinality of any linear basis, hence of any set such that is the -indexed direct sum (coproduct in Vect) of the ground field. (The basis theorem, equivalent to the axiom of choice, says that every vector space has a unique dimension.) For modules over rings that are not fields (for which the theorem above does not hold, neither existence nor uniqueness) the term used is rank.
The trace of a the identity on a vector space coincides with its categorical trace in the symmetric monoidal category Vect of vector spaces.
Generalizing from this example, the trace of an object in a spherical fusion category is called its quantum dimension.
A manifold has dimension of a manifold equal to if it is locally isomorphic to the Cartesian space . A complex manifold is of complex dimension if it is locally isomorphic to , hence has (real) dimension .
A topological space has (Lebesgue) covering dimension less than if every open cover of has a refinement such that every element of belongs to fewer than elements of . (Then has dimension if it has dimension less than but not less than .) By negative thinking, this makes sense for ; precisely the empty space has dimension , and precisely the point (of course) has dimension .
A CW-complex has dimension of a CW-complex, this being the largest for which there are nontrivial -cells.
A metric space has a Hausdorff dimension which may be any non-negative real number.
A space in noncommutative geometry (spectral geometry via spectral triples) may have a notion of KO-dimension.
See also
See at length of an object.
The dimension of a (finite dimensional) vector space over a field is equivalently the trace of the identity morphism in the symmetric monoidal category Vect (which is a linear map , canonically identified with an element in )
Therefore it makes sense for any symmetric monoidal category and every dualizable object to call the categorical trace of .
This definition subsumes standard notions of Euler characteristic and hence may also be thought of as generalizing that notion.
The following notions of dimension capture aspects of the concept for objects in a topos or more generally an (∞,1)-topos:
notion of dimension
For the dimension in symmetric monoidal categories see the references at Euler characteristic.
A general abstract (∞,1)-topos theoretic discussion of notions of homotopy/cohomology/covering dimension is in section 7.2 of
Last revised on February 21, 2024 at 07:32:16. See the history of this page for a list of all contributions to it.