Originating authors are Markus Ruppert and Hans-Georg Weigand.
1. Looking for the next dimension
Does our world really have more than three dimensions? If so, do objects in higher dimension have a relation to the world around us? Is it possible to get a perception of these objects or do they withdraw any representation? The Theory of Relativity uses four dimensions to explain the concept of space-time, six dimensions are necessary to describe the bending of space-time and different string theories even use representations in up to dimensions (e.g. L. Botelho, R. Botelho, 1999). Another current domain of application for higher dimensional objects and their three-dimensional representations is the study of non-periodic structures in modern crystallography. Within the concept of quasicrystals projections of higher dimensional point-sets (such as the integer-lattice in dimension ) to three dimensional space are supposed to be good models for non-periodic crystalline structures (see section 5 below).
These examples show one of the main characteristics of mathematical thinking: If it is easier or helpful to describe real phenomena in higher dimensional space, the three spacial dimensions can be extended. This can easily be explained under formal aspects. Thus, linear equations with three variables may be interpreted as a plane in space, linear equations with four variables are interpreted as a three dimensional hyperplane in a four-dimensional space. Also, linear equations with -variables are interpreted as an -dimensional hyperplane in an -dimensional space. While using more than three variables, the advantage of such an expansion of the dimension-concept benefits from a simpler and more consistent description of mathematical relations. It is not necessary for formal calculations on an algebraic and numerical level to have illustrative perceptions in such a higher dimensional context. Nevertheless, on the one hand this leads to the question how to translate the results of such considerations into the real world. On the other hand there is a need to describe at least basic objects of higher dimensions in our three dimensional space.
In the following, thoughts dealing with the development of representations of higher dimensional objects will be discussed by exemplarily considering a four-dimensional object, the four-dimensional cube. It will be shown that the approach to four- and higher-dimensional cubes can be done in different ways. The extensive use of analogical considerations serves as a basis for understanding higher dimensional objects. In the following, three different approaches will be shown and analyzed (A detailed description of these approaches is found in Ruppert (2010)).
(1) Projections of higher-dimensional objects on (hyper)planes,
(2) Intersections of (hyper)cubes and a (hyper)plane,
(3) A systematic extension of the concept of coordinates.
In this section, the basic idea of describing higher dimensional objects by means of projection will be generalized in higher dimensions. Especially the orthogonal projection along a body diagonal of an -dimensional hypercube in an -dimensional space can easily be generalized.
Example 1: Projections of square and cube
Figure 2.1: Projection of a square. Author: Sebastian Hammer, University of Würzburg.
Figure 2.2: Projection of a cube. Author: Sebastian Hammer, University of Würzburg.
For let be the vertices of the square. The projection of Figure 2.1 is represented by the intersection of the straight lines
with the line
This is an orthogonal projection. Similarly, the orthogonal projection of an -dimensional hypercube is fully described by the projection of the coordinates of the vertices. We look for the intersection points of the straight lines:
and the -hyperplane
The vector is orthogonal to the hyperplane , the lines are the orthogonal lines to the hyperplane through the vertices . After considering similarities of the projections above, such as vertices having the same image under these special mappings, we get Figure 3.2 as representation for the corresponding orthogonal projection of a four-dimensional hypercube into the three-dimensional space.
Another possibility to describe orthogonal projections from -dimensional into -dimensional space () uses the linearity of orthogonal projections (as linear transformations). This property can be used to create and understand two-dimensional images of cubes of any dimension.
Example 2: Projection of a hypercube
Figure 2.2 shows three generating vectors of the cube and their images under orthogonal projection along the body-diagonal. All vertices of the cube are linear combinations of these vectors with coefficients and . The linearity of the projection leads to the same property for the images of all vertices.
While describing the -dimensional cube with adequate linear combinations of linear independent generating vectors, the following can be shown: For the -dimensional cube, there is an orthogonal projection into and an appropriate plane of projection, such that the images of the generating vectors point to the vertices of a regular -sided polygon. According to additivity, the images of all the other vertices finally result in corresponding linear combinations. (For see Figure 2.2 and Example 1, with the regular triangle as image of the generating vectors)
To understand how the projection of an -dimensional hypercube on a -dimensional subspace is obtained we first explain how a cube is projected onto a line in the three-dimensional space:
For each vertex of the cube take the plane orthogonal to the given line which contains this vertex. The intersection point of the plane and the line is the orthogonal projection of the vertex onto the line.
Analogously we project the -dimensional hypercube on a -dimensional plane. For each vertex of the hypercube take the -dimensional hyperplane orthogonal to the given -dimensional hyperplane which contains this vertex. The intersection point of these two hyperplanes is the orthogonal projection of the vertex onto the -dimensional subspace.
So, a two-dimensional projection of the five-dimensional unit cube can be indicated: Based on the images of the generating vectors (pointing to the vertices of a regular pentagon), the images of any vertices can be found by appropriately adding those vectors (see Figure 4.1).
Looking at the projection of the five-dimensional cube, the images of the edges of the cubes span the well-known Penrose-Rhombs (see Senechal 1995). Another remarkable phenomenon is shown in figure 4.2. Under the projection of the six-dimensional Hypercube along its body-diagonal – the line segment with the endpoints to – there are several vertices with the same projection. The number of preimages is also given in Figure 4.2.
3. Intersections of cubes
A dynamic representation of a four-dimensional hypercube is given by considering the different shapes of intersection while intersecting it with a three-dimensional hyperplane. Initially, a cube (in a three-dimensional space), which intersects a plane will be regarded. It is assumed, that the objects move with (relative) velocity . It is especially easy to describe the situation while considering the cube (edge length ) with its edges fixed on the axes of a coordinate system. The plane moves along a cube diagonal with velocity through this cube. Since the cube is a convex body itself, it is sufficient to determine the points of intersection of the edges at any time. We get the cross section as the convex hull of these intersection points.
The intersection of a three-dimensional space while moving through a four-dimensional hypercube will be analogously represented as follows:
A four-dimensional hypercube with an edge length will be intersected with a space , which moves with a velocity of along the body diagonal of the hypercube. Therefore we define analogously:
Again, it is sufficient to know the intersection points of the hypercube with .
An interactive simulation of these intersections in one to four dimensions is given in the following applet (Author: Rafael Losada, Instituto GeoGebra de Cantabria).
4. Geometry of coordinates
The unit line segment and the unit square can be considered as a one‐ or two‐dimensional analog of the unit cube. Looking at the coordinates of the vertices in a coordinate system, we get the vertices of
By successively adding additional coordinates with coefficients and , the coordinates of the vertices and thus the number of vertices of a unit hypercube in a four‐ or five‐dimensional coordinate system are obtained. The transition to hypercubes in higher dimensions can exclusively be accomplished on a symbolical level and can be considered as a continuation of the concept of coordinates. Combinatorial considerations lead to the following relation for the number of the ‐dimensional “boundary cubes” of an ‐dimensional cube (see e. g. Graumann, 2009):
This formula can be obtained by the following observations:
- Every ‐dimensional “boundary‐cube” is parallel to a ‐dimensional hyperplane which is spanned by generating vectors of the ‐dimensional cube (see also sec. 3). As a consequence, the coordinates of vertices belonging to one and the same ‐dimensional “boundary‐cube” differ in at most coefficients (and all such vertices belong to this cube).
- There are possibilities to choose coefficients out of .
- There are possibilities to choose a “starting vertex”.
- There are starting vertices leading to the same boundary cube.
Example 3: The three-dimmensionnal cube ():
Number of vertices ():
Number of edges ():
Number of faces ():
Number of cubes ():
This can be illustrated in the following interactive table: (Author: Markus Ruppert, Universität Würzburg).
First of all, following the yellow highlights, the table allows the interpretation of a single point as a cube of dimension , so that the formula above is consistent even for . The number sequences highlighted in different colors lead to further conjectures, which can be proved by using the formula for above. For instance:
- (red color)
- (green color)
- For all , (blue color)
Moreover, a recursive formula is given, to calculate the data of the ‐dimensional cube of the corresponding numbers for the ‐dimensional cube
Example 4: Proof of the recursive formula
Of course, these algebraic arguments can easily be reinterpreted geometrically and retransformed to the geometric situation.
5. Quasicrystals — Projections from higher dimensions
Starting with the assumption of the classical crystallography, that the characteristic of real crystallographic structures is their translational symmetry (i.e. invariance under three independent translations), mathematical representations of these structures lead to the well-known “crystallographic restriction”, which allows non-trivial rotational symmetries only of orders , , and . This corresponds to physical observations, until Shechtman et al. (1984) found a non-periodic structure of crystals (without translational symmetry) inside an Al-Mn-alloy, which has fivefold rotational symmetry. Crystallographers call these structures quasicrystals. To be more precise:
Quasicrystals are structural forms that are ordered but not periodic. They form patterns that fill all the space though they lack translational symmetries.
But these quasicrystals can be very complicated: the lack of translational symmetries leads to a lack of rules to explain how the pattern develops far from a region we are observing. This represents a challenge for the mathematician to explain the pattern. A breakthrough has occurred by the observation that many quasicrystals that look aperiodic are simply projections on a lower dimensional affine subspace of a regular grid in a higher dimensional space. Indeed, let us look at a simple example…
Example 5: One-dimensional quasicrystals
For the line in and its orthogonal line through the origin with we consider the orthogonal projection of the unit square on (red line segment). Further we look at all points of with images under this projection lying on the red line segment. These points are now projected orthogonally on (green points).
The length of the line segments on the projection line can take only two values (corresponding to the projection of the edges of the unit square). Thus we can speak of an “ordered structure”. Moving along the lines, the sequence of these values looks more or less chaotic – there is no translational symmetry, but if we enlarge the universe to two dimensions, then everything becomes clear: our quasicrystal is just part of the projection of a regular square grid. Enlarging the dimension has allowed us to understand the hidden structure of the quasicrystal.
This process is quite general. Senechal (1995) for instance illustrates regularities and assumptions for projection methods and multigrid methods which lead to quasi-crystalline point-sets. Projecting, for example, parts of a five-dimensional cubic grid () to a certain plane, a point-set, like in the above sense, is obtained and can be regarded as a two-dimensional quasicrystal. The point-set itself shows all vertices of the Penrose-tiling of the plane (by the two characteristic rhombs, compare section 2 and image 4.1).
We have discovered one way how the mathematician works, which is sometimes summarized by the following sentence
When you don’t understand something, you try to change your point of view. It may happen that the new point of view gives an explanation of the hidden structure. This is already what you do when you try to understand a conic: you choose an appropriate system of coordinates in which the equation is simple and reveals the features of the conic.
The benefits students will get out of the working with objects in higher dimensions are manifold. They will especially
- get a first insight into the meaning of higher dimensions in science;
- get to know different possibilities of an access to objects in higher dimensions;
- use analogies to extend their knowledge of the well‐known three dimensional world;
- use the properties of the objects in this world as an abstract concept of a mental fictive world;
- refresh and repeat their knowledge about projections of three dimensional objects in a plane.
 BOTELHO, L.; BOTELHO, R.: Quantum Geometry of bosonic strings – Revisited. Notas de Física, Centro Brasileira de Pesquisas Físicas (1999).
 CAYLEY, A.: On Jacobi’s elliptic functions, in reply to the Rev..; and on quaternions. Philosophical Magazine. (1845) Nr. 26, S. 208–211.
 DELONE B.N., Geometry of positive quadratic forms, Usp. Mat. Nauk 3 (1937), S. 16‐62, und Usp. Mat. Nauk 4 (1938), S. 102‐164. (Russisch)
 GRAUMANN, G.: Spate in drei und mehr Dimensionen. MU 55/1 (2009), S. 16‐25
 HAMILTON, W. R.: On quaternions, or an new system of imagineries in algebra. Philosophical Magazine.(1844) Bd. 25(3), S. 489‐495.
 LAGARIAS, J.: Meyer’s concept of quasicrystal and quasiregular sets. Community of Mathematical Physics 179 (1996), S. 365‐376.
 MEYER, Y.: Algebraic numbers and harmonic analysis. North Holland (1972)
 RIEMANN, B.: Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe (Habil.). Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Bd. 13 (1868)
 RUPPERT, M.: Würfelbetrachtungen. Drei Wege zu höheren Dimensionen. MU 56/1 (2010), S. 34‐53.
 SCHLÄFLI, L.: Theorie der vielfachen Kontinuität (1852). Denkschrift der Schweizerischen Naturforschenden Gesellschaft, Bd. 38, 1., Hrsg. Graf, J. H. (1901), S. 1‐237.
 SENECHAL, M.: Quasicrystals and geometry. Cambridge University Press (1995)
The development of the concept of higher dimensional geometry was started with Hamilton’s (1844), Cayley’s (1845), Schläfli’s and Riemann’s scientific works.
This post is also available in: French, German, Italian, Arabic, Khmer
Hello, great read on that one about Rotational symmetry. Nice blog. Keep up posting! Cheers, Stefan.
Can you please tell me that how can I take the projection of a cube and hypercubes (in higher dimensions) using MATLAB or Sage. What is the final expression for the projection of a hypercude?
Wow, very helpful! Just what I was looking for.
My interest in this question is actually coming from statistics; we often take random subsets of data and I’m trying to think geometrically about this.
I’ll try to remember to post again if/when I can apply what you’ve written here to that problem. Just wanted to say thanks in advance….