In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It consists of the set of points equidistant from a fixed central point in 4-dimensional Euclidean space. Analogous to how an ordinary sphere (or 2-sphere) is a two-dimensional surface that forms the boundary of a ball in three dimensions, a 3-sphere is an object with three dimensions that forms the boundary of a ball in four dimensions. A 3-sphere is an example of a 3-manifold.
In coordinates, a 3-sphere with center (C0, C1, C2, C3) and radius r is the set of all points (x0, x1, x2, x3) in real, 4-dimensional space (R4) such that
The 3-sphere centered at the origin with radius 1 is called the unit 3-sphere and is usually denoted S3:
It is often convenient to regard R4 as the space with 2 complex dimensions (C2) or the quaternions (H). The unit 3-sphere is then given by
or
This description as the quaternions of norm one, identifies the 3-sphere with the versors in the quaternion division ring. Just as the unit circle is important for planar polar coordinates, so the 3-sphere is important in the polar view of 4-space involved in quaternion multiplication. See polar decomposition of a quaternion for details of this development of the three-sphere. This view of the 3-sphere is the basis for the study of elliptic space as developed by Georges Lemaître.