The circle in two dimensions and the sphere in three are just two members of an infinite family of hyper-surfaces. By analogy with the circle in the plane and the sphere in three-space , we can consider hyper-spheres in higher dimensional spaces. In particular, we will consider the 3-sphere which can be embedded in but can also be envisaged as a non-Euclidean manifold in .

**Spherical Surfaces in Several Dimensions**

A unit sphere is the set of points in a space that are unit distance from the origin. We can define spheres in several dimensions:

We can also define the unit balls obtained by “filling in” the spheres. The -ball is the set of points on or within the -sphere. Thus,

The 0-sphere comprises just two points on the real line. The 1-ball is the closed interval . The 1-sphere is the unit circle in the Euclidean plane . The 2-ball is the solid disk in the plane. The 2-sphere is the spherical surface in 3-space. The 3-ball is the solid sphere in 3-space.

We can describe the 3-sphere extrinsically as a hyper-surface embedded in 4-space . If we fix the value of the coordinate , we get the set . This is equivalent to a 2-sphere in the 3-dimensional cross-section of . However, we can also treat and other spheres intrinsically.

**Constructing Spheres from Balls**

We can construct a sphere by taking two copies of the -ball and glueing their boundaries. For example, we take two copies of , each of which is a line segment. We distort them to get two semicircular arcs, each having two boundary points. We can equate the boundaries to form a circle .

To form the 2-sphere , we distort two copies of the unit disk into hemispherical caps, and join them along their boundary circles, which we take as the equator (Fig. 2).

**Moving up One Dimension**

Stepping up one dimension, we take two copies of , each of which is a solid globe (Fig. 3). If we map each point on the surface of the left globe to the corresponding point on the surface of the right one, we obtain a manifold which has no boundary. It is homeomorphic to the unit 3-sphere . It is simply connected, with a path from any point in one ball to any point in the other. The centres of the two balls may be regarded as the “poles” of this manifold.

The 3-sphere is a compact, connected, 3-dimensional manifold without boundary. It is also simply connected: any loop on the 3-sphere can be continuously shrunk to a point without leaving the 3-sphere.

**Millennium Problem**

One of the Millennium Problems, the Poincaré Conjecture, states that the 3-sphere is, up to homeomorphism, the only compact, simply connected, 3-dimensional manifold without boundary. This conjecture was proved in 2003 by Grigori Perelman. The 3-sphere is also homeomorphic to the one-point compactification of 3-space, .

**Einstein’s Cosmology**

To obtain a steady-state solution to his relativistic equations, Einstein introduced an term involving a quantity called the cosmological constant. He was then able to find a solution for a spatially finite universe. The topological form of space was a 3-sphere. Indeed Einstein explicitly wrote the equation

which describes a 3-sphere embedded in 4-space. An extract from Einstein’s 1917 paper is shown in Fig. 1 above. Observations later showed that the universe is not in a steady state, but is expanding. By introducing the constant, Einstein missed the chance to predict the expanding universe using general relativity.

It was later said by George Gamow that Einstein described the introduction of the cosmological constant as the biggest blunder of his life. However, his discovery that his field equations could accommodate a term representing gravitational repulsion was profound. The cosmological constant is essential in explaining the acceleration of the expansion.

**Trailer**

Long before Einstein, or Gauss, or Newton, the poet Dante described a structure of the universe, which has the form of a hyper-sphere. But that is another story (which we will tell soon in another post).

A UCD course on recreational mathematics, **AweSums: The Wonder, Utility and Fun of Mathematics**, will be presented this autumn by Prof Peter Lynch — there are still some places, and registration is open at www.ucd.ie/lifelonglearning

2022 Berkeley Lecture, Maynooth University“Levels of Infinity”Speaker: Peter LynchThursday 29 September 2022, 6:30pmJohn Hume Lecture Theatre 4, North Campus