At its simplest point, a dimension is a plane of movement and/or existence. At present, four dimentions are known to humankind: length, width, depth, and time. We, as a species, are only aware of travel through the first three dimentions. It has been postulated, however, that our only secondary comprehension of time (through deduction rather than through innate sensing) might differ vastly from the dimentional comprehension of unknown, extraplanetary species.

a. The property of taking up space along a given axis.
b. The measure of a.
c. A component of spacetime, of which there are at least 4.
d. An alternate reality.

Each dimension can be thought of as being made up of an infinite number (first level infinite) of whatever the previous dimension was. For example: 3 dimensional space is made of of an infinite number of 2 dimensional planes. And a 2 dimensional plane is made of up an infinite number of 1 dimensional lines.

The dimension of a vector space V is the number of elements in a basis of V. This property is well-defined since all bases of a vector space have the same number of elements.

Perhaps the grandest project yet of Dogme 95 progenitor and all-around Scandinavian film god Lars von Trier, "Dimension" is the working name of an experiment he mounted in 1991 in an effort to circumvent the abhorrent (to him) artifice of the use of makeup to alter the appearance of actors, especially to convey age - in a period when special effects are being used more than ever to manipulate the features of and even supplant actors. It isn't known if this project was mounted in a reactionary response of minimalism against the increasing weight on computers of a film's final look, but surely I wouldn't be the first person to describe von Trier's motivations as perverse and obstinate - if not downright masochistic, as with the Dogme regulations.

Little is known of the story behind Dimension - everyone involved in the project has been sworn to secrecy, and the firmest rumour anyone can produce is that it deals with criminal activity (crimes depicted in a movie? I'll believe it when I see it!) - and some even suspect that there isn't yet any real story that's been committed to or even written down. These things will come with time, and I don't mean post-production.

Most of what is known deals with the somewhat radical and certainly unique concept behind the filming style. His actors (including Udo Kier, Stellan Skarsgard and Katrin Cartlidge) and crew assemble once a year to film for a total of three minutes at a pop. Then they strike and make arrangements for next year. Is this three minutes of footage shot or three minutes post-editing? To result in sufficient running time for a feature-length film, it looks heavily weighted towards the latter possibility - in which case they might film different takes for a grand total of a half-hour or even, in especially tricky scenes, an entire hour. Per year.

At this rate, filming is projected to reach completion in the year 2024, and the final product will portray its characters aging not through latex and dye - but by the actual aging of the actors. In the event of his own death before that date, von Trier has made arrangements for an understudy to take up the annual pilgrimage for this task of epic patience.

Ah, but will it be any good?

Wait and see.

Everybody knows that our day-to-day reality is in three dimensions mostly, or maybe in 4-dimensional spacetime if we like to go really fast. This writeup isn't about physics, although the maths in it appear in countless variations throughout any mathematical description of reality, aka physical theory.

This writeup is about some of the mathematical attempts to capture the essence of dimension.

• It's surprisingly long, because (as noted above) dimensions are so simple! Unfortunately, talking precisely about dimensions quickly leads to surprising obstacles -- and to results when trying to overcome them. This is my apology for length. Discussion of fractional dimension and infinite dimensions belongs elsewhere -- but see also Hausdorff dimension, not just fractional dimension, for the first.
• It's inexcusably short, because there's just too much material for me to know, let alone put into a single writeup. I shall therefore try to hyperlink to additional material wherever possible, and only comment dimly on what seem (to me) to be the important aspects. There is no acceptable apology for this brevity, though, except for my ignorance of so much more.

The principal problem with any definition for dimension is ensuring that it is, indeed, well defined. As we shall see below, many too-naïve possible definitions fail. Fortunately, better definitions (in the sense of satisfying many of our intuitively-obvious properties of "dimension") can be found. Even better is that these definitions lead to volumes of profound mathematics, in all fields.

A note: Important notions are linked in bold -- handy if you (like me) don't want to read the whole thing, just see the brief list of ideas.

Linear algebra (finite dimensional vector spaces)

Every vector space V over a field F has a basis. We will first consider the case when a finite basis exists. Then it is reasonably easy to show that a basis must, in fact, exist, and that any two bases for the same vector space will have the same number of elements. So it makes sense to talk of V as being (isomorphic to) F^d, for some finite d≥0. And we call d the dimension of V. That d does not depend on the choice of basis (because any basis of V will have d elements) makes this well-defined.

This definition makes sense. It turns out that a straight line -- R over R -- is 1-dimensional, that the plane -- R² over R, or maybe C over R -- is 2-dimensional, and that in general we appear to live in (at least!) a 3-dimensional reality (or 4-, depending on our preferences in physical theories).

We also note some unpleasantries. For instance, we may take

V = Q+√2⋅Q = {a+√2⋅b | a,b∈Q}

as a vector space over the rationals Q. Then V has dimension 2 over Q. On the other hand, if we look at V inside R, then V has a metric, V behaves in a very compatible fashion with that metric, and it is very clearly one-dimensional within that metric. We need to skip ahead a bit, and just note that V shares with R the unique property that if a,b,c∈V, then either d(a,c)=d(a,b)+d(b,c), or d(b,c)=d(b,a)+d(a,c), or d(c,a)=d(c,b)+d(b,a).

Fortunately, such abnormalities do not exist if the underlying field F, equipped with a compatible topology, is complete; as distance is anyway only well-behaved in situations of analysis (rather than number theory, where nothing works anyway), we gloss over it: Mixing algebra and analysis requires a bit more effort than just taking an unrelated notion from each and hoping they get along.

For the balance of the writeup, I will consider almost always just the case F=R, so F is a complete field, and we can ignore these abnormalities -- we shall have plenty of others.

Functions

Trouble immediately strikes when we consider functions R^m→Rⁿ. "Obviously", we want functions not to increase dimension. For instance, in a physical system the dimension often corresponds to a degree of freedom, and it is pretty meaningless to have a procedure for increasing degrees of freedom!

Unfortunately, we have the easy

Theorem. For any dimensions m and n, there exists a mapping f:R^m→Rⁿ which is onto. Moreover, f is one-to-one.

The case m<n quickly dashes our hope of injecting any physical reality or sense into the situation. All finite vector spaces R^d have the same cardinality.

Let's try to limit f, then! Surely a continuous function would be better behaved! (After all, the function f employed in the above theorem is highly discontinuous, and completely ignores the intricate structure of the vector spaces, treating them merely as sets of objects.)

The Peano curve is a continuous space-filling curve. It maps [0,1]→[0,1]². A continuous function can map one dimension onto two. Once again, all seems lost.

Thankfully, Brouwer's invariance of dimension theorem says that things are not quite that bad. It states that R^m and Rⁿ are not homeomorphic for any m≠n. For instance, R² is not homeomorphic to R³, because if we remove one point from R² it is no longer simply connected, while R³ remains so even after removing a point. -- cjeris supplied the material for this section, including a fascinating history which I snipped; thanks!

It would be nice to have a stronger argument, though, that "nice" functions cannot increase dimensions (in the same way, say, that measurable functions cannot increase entropy). And fortunately, we can in fact do better. As soon as we demand that the mapping be continuously differentiable (C¹), Sard's theorem (or rather, one of the many variants of that name) can be used to show that it cannot increase dimension. Anything like Peano's curve cannot have a derivative; this is true of any mapping from m dimensions to n dimensions, when m<n.

Manifolds

At last we have a mechanism (dimension defined as the number of elements in a basis) and justification for using it (it behaves correctly with suitably limited functions -- those that appear in physics). Immediately we can move to working on (suitably smooth) manifolds -- spaces which locally appear like R^d. Our definition of dimension localises easily: we just want to have a basis of d elements in every neighbourhood.

Manifolds are very nice mathematical objects. As expected, their topology is very much determined by their dimension. One important ongoing subject in differential topology is the classification of manifolds. For instance, in 1 dimension we have 2 manifolds: R and S¹ (the circle); one of these is compact. In 2 dimensions we have infinitely many types, even just for compact manifolds. But all can be constructed using just a few "primitive" manifolds (tori and projective planes); see using Asteroids to explain the topological classification of 2-manifolds for details presented in a highly amusing way. Higher dimensions get rapidly more complicated; Ed Witten received a Fields medal for work on classification of low-dimensional manifolds, but many questions (e.g. the Poincare hypothesis) remain open.

Scope of discussion

Low-dimensional manifolds are highly intriguing. There is some fairly obvious physical importance (particularly in dimensions 3 and 4), and these are (coincidentally or not!) the dimensions when the really interesting things start happening! Obviously, geometry is affected:

• In R², the 4-color theorem holds, and for compact 2-dimensional manifolds it appears that some k-color theorem will hold. But as soon as we go to R³ and higher, a trivial construction cannot be coloured with finitely many colours: two sets of aligned rods, touching at right angles to each other -- e.g. a woven carpet, infinitely large -- cannot be k-coloured for any finite k.
• Complex analysis has its contour integrals, which can be used e.g. to define the winding number of a curve about a point. Analogues exist in higher dimensions, but not everything generalizes to them.

Two examples from probability theory, just to show how far these things spread:

• A simple random walk in two dimensions is recurrent: it (almost surely) returns infinitely often to the origin. (And Brownian motion in R² is also recurrent: it (almost surely) returns infinitely often to any neighbourhood of the origin; this in turn connects to several topics in analysis...).
• The most important questions in percolation remain open in dimensions 3, 4 and 5. Techniques invented for dimensions d≥6 are known not to work in these dimensions. However, no surprises are expected regarding the actual behaviour -- just a wholly new method of proof.

Imbedding

A line has no part which looks like a circle; obviously, if M and N are manifolds of equal dimension d, it need not be possible to find a copy of M inside N. If M does have a copy inside some manifold K, then by Sard's theorem dim(M)≤dim(K). What dimension do we need to guarantee we can find a copy of M inside K?

A fairly simple proof shows

Theorem. For any manifold M of dimensions d, there exists a smooth function f:M→R^2d+1 which is one-to-one.

The proof relies first on embedding M in a much greater dimension R^k, and then using Sard's theorem to show that almost always a random projection R^k→R^2d+1 will yield a one-to-one smooth mapping.

More work shows the tight bound:

Theorem. Any manifold of dimension d can be embedded inside R^2d.

So e.g. the Klein bottle (which is 2-dimensional) can be embedded inside R⁴; it cannot be embedded inside R³, because it is non-orientable.

Abstracting away

Algebraists like to do away with everything concrete. We can analyse manifolds with techniques such as homotopy theory and homology (mostly cohomology). While abstract, these give us real-life results such as the Euler characteristic (V-E+F=2 in R³, and a corresponding result for the appropriate alternating sum in every dimension).

Such characteristics can be totally combinatorial (note, however, that they have many deeply geometric related consequences). In particular, it is possible to define and study simplicial complexes, which abstract away almost all the geometric properties which we supposed we were studying, and yet still give meaningful results. The most important parameter of a simplicial complex is its dimension -- despite being nothing more than elaborate hypergraphs.

Abstracting yet further, combinatoricists go into graphs, hypergraphs, matroids and the like -- finding it useful to discuss "dimension" and related concepts. These can be seen either as naming by analogy, or as stripping away almost all of the theory of manifolds in order to find more universal results.

Di*men"sion (?), n. [L. dimensio, fr. dimensus, p. p. of dimetiri to measure out; di- = dis- + metiri to measure: cf. F. dimension. See Measure.]

1.

Measure in a single line, as length, breadth, height, thickness, or circumference; extension; measurement; -- usually, in the plural, measure in length and breadth, or in length, breadth, and thickness; extent; size; as, the dimensions of a room, or of a ship; the dimensions of a farm, of a kingdom.

Gentlemen of more than ordinary dimensions. W. Irving.

Space of dimension, extension that has length but no breadth or thickness; a straight or curved line. -- Space of two dimensions, extension which has length and breadth, but no thickness; a plane or curved surface. -- Space of three dimensions, extension which has length, breadth, and thickness; a solid. -- Space of four dimensions, as imaginary kind of extension, which is assumed to have length, breadth, thickness, and also a fourth imaginary dimension. Space of five or six, or more dimensions is also sometimes assumed in mathematics.

2.

Extent; reach; scope; importance; as, a project of large dimensions.

3. Math.

The degree of manifoldness of a quantity; as, time is quantity having one dimension; volume has three dimensions, relative to extension.

4. Alg.

A literal factor, as numbered in characterizing a term. The term dimensions forms with the cardinal numbers a phrase equivalent to degree with the ordinal; thus, a2b2c is a term of five dimensions, or of the fifth degree.

5. pl. Phys.

The manifoldness with which the fundamental units of time, length, and mass are involved in determining the units of other physical quantities. Thus, since the unit of velocity varies directly as the unit of length and inversely as the unit of time, the dimensions of velocity are said to be length &divby; time; the dimensions of work are mass × (length)2 &divby; (time)2; the dimensions of density are mass &divby; (length)3.

<-- dimensional lumber --> Dimension lumber, Dimension scantling, ∨ Dimension stock Carp., lumber for building, etc., cut to the sizes usually in demand, or to special sizes as ordered. -- Dimension stone, stone delivered from the quarry rough, but brought to such sizes as are requisite for cutting to dimensions given.

 

© Webster 1913.