Added to Favorites

Popular Searches

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. Just as 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.

A 3-sphere is also called a hypersphere, although the term hypersphere can in general describe any n-sphere for n ≥ 3.

In coordinates, a 3-sphere with center (C_{0}, C_{1}, C_{2}, C_{3}) and radius r is the set of all points (x_{0}, x_{1}, x_{2}, x_{3}) in real, 4-dimensional space (R^{4}) such that

- $sum\_\{i=0\}^3(x\_i\; -\; C\_i)^2\; =\; (x\_0\; -\; C\_0\; )^2\; +\; (x\_1\; -\; C\_1\; )^2\; +\; (x\_2\; -\; C\_2\; )^2+\; (x\_3\; -\; C\_3\; )^2\; =\; r^2.$

- $S^3\; =\; left\{(x\_0,x\_1,x\_2,x\_3)inmathbb\{R\}^4\; :\; x\_0^2\; +\; x\_1^2\; +\; x\_2^2\; +\; x\_3^2\; =\; 1right\}.$

It is often convenient to regard R^{4} as the space with 2 complex dimensions (C^{2}) or the quaternions (H). The unit 3-sphere is then given by

- $S^3\; =\; left\{(z\_1,z\_2)inmathbb\{C\}^2\; :\; |z\_1|^2\; +\; |z\_2|^2\; =\; 1right\}$

- $S^3\; =\; left\{qinmathbb\{H\}\; :\; |q|\; =\; 1right\}.$

The last description is often the most useful. It describes the 3-sphere as the set of all unit quaternions—quaternions with absolute value equal to unity. 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.

The 3-dimensional volume (or hyperarea) of a 3-sphere of radius r is

- $2pi^2\; r^3\; ,$

- $begin\{matrix\}\; frac\{1\}\{2\}\; end\{matrix\}\; pi^2\; r^4.$

Every non-empty intersection of a 3-sphere with a three-dimensional hyperplane is a 2-sphere (unless the hyperplane is tangent to the 3-sphere, in which case the intersection is a single point). As a 3-sphere moves through a given three-dimensional hyperplane, the intersection starts out as a point, then becomes a growing 2-sphere which reaches its maximal size when the hyperplane cuts right through the "equator" of the 3-sphere. Then the 2-sphere shrinks again down to a single point as the 3-sphere leaves the hyperplane.

A 3-sphere is a compact, connected, 3-dimensional manifold without boundary. It is also simply-connected. What this means, loosely speaking, is that any loop, or circular path, on the 3-sphere can be continuously shrunk to a point without leaving the 3-sphere. The Poincaré conjecture proposes that the 3-sphere is the only three dimensional manifold with these properties (up to homeomorphism). This conjecture was proved in 2003 by Grigori Perelman.

The 3-sphere is homeomorphic to the one-point compactification of $mathbb\{R\}^3$. Generally, any topological space which is homeomorphic to the 3-sphere is called a topological 3-sphere.

The homology groups of the 3-sphere are as follows: H_{0}(S^{3},Z) and H_{3}(S^{3},Z) are both infinite cyclic, while H_{i}(S^{3},Z) = {0} for all other indices i. Any topological space with these homology groups is known as a homology 3-sphere. Initially Poincaré conjectured that all homology 3-spheres are homeomorphic to S^{3}, but then he himself constructed a non-homeomorphic one, now known as the Poincaré homology sphere. Infinitely many homology spheres are now known to exist. For example, a Dehn filling with slope 1/n on any knot in the three-sphere gives a homology sphere; typically these are not homeomorphic to the three-sphere.

As to the homotopy groups, we have π_{1}(S^{3}) = π_{2}(S^{3}) = {0} and π_{3}(S^{3}) is infinite cyclic. The higher homotopy groups (k ≥ 4) are all finite abelian but otherwise follow no discernible pattern. For more discussion see homotopy groups of spheres.

k | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |

π_{k}(S^{3})
| 0 | 0 | 0 | Z | Z_{2}
| Z_{2}
| Z_{12}
| Z_{2}
| Z_{2}
| Z_{3}
| Z_{15}
| Z_{2}
| Z_{2}⊕Z_{2}
| Z_{12}⊕Z_{2}
| Z_{84}⊕Z_{2}⊕Z_{2}
| Z_{2}⊕Z_{2}
| Z_{6} |

The 3-sphere is naturally a smooth manifold, in fact, a closed embedded submanifold of R^{4}. The Euclidean metric on R^{4} induces a metric on the 3-sphere giving it the structure of a Riemannian manifold. As with all spheres, the 3-sphere has constant positive sectional curvature equal to 1/r^{2} where r is the radius.

Much of the interesting geometry of the 3-sphere stems from the fact that the 3-sphere has a natural Lie group structure given by quaternion multiplication (see the section below on group structure). The only other spheres with such a structure are the 0-sphere and the 1-sphere (see circle group).

Unlike the 2-sphere, the 3-sphere admits nonvanishing vector fields (sections of its tangent bundle). One can even find three linearly-independent and nonvanishing vector fields. These may be taken to be any left-invariant vector fields forming a basis for the Lie algebra of the 3-sphere. This implies that the 3-sphere is parallelizable. It follows that the tangent bundle of the 3-sphere is trivial. For a general discussion of the number of linear independent vector fields on a n-sphere see the article vector fields on spheres.

There is an interesting action of the circle group T on S^{3} giving the 3-sphere the structure of a principal circle bundle known as the Hopf bundle. If one thinks of S^{3} as a subset of C^{2}, the action is given by

- $(z\_1,z\_2)cdotlambda\; =\; (z\_1lambda,z\_2lambda)quad\; foralllambdainmathbb\; T$.

Two convenient constructions for the topologist are the reverse of "slicing in half" and "puncturing".

A 3-sphere can be constructed topologically by "gluing" together the boundaries of a pair of 3-balls. The boundary of a 3-ball is a 2-sphere, and these two 2-spheres are to be identified. That is, imagine a pair of 3-balls of the same size, then superpose them so that their 2-spherical boundaries match, and let matching pairs of points on the pair of 2-spheres be identically equivalent to each other.

The interiors of the 3-balls do not match: only their boundaries. In fact, the fourth dimension can be thought of as a continuous scalar field, a function of the 3-dimensional coordinates of the 3-ball, similar to "temperature". Let this "temperature" be zero at the 2-spherical boundary, but let one of the 3-balls be "hot" (have positive values of its scalar field) and let the other 3-ball be "cold" (have negative values of its scalar field). The "hot" 3-ball could be thought of as the "hot hemi-3-sphere" and the "cold" 3-ball could be thought of as the "cold hemi-3-sphere". The temperature is highest at the hot 3-ball's very center and lowest at the cold 3-ball's center.

This construction is analogous to a construction of a 2-sphere, performed by joining the boundaries of a pair of disks. A disk is a 2-ball, and the boundary of a disk is a circle (a 1-sphere). Let a pair of disks be of the same diameter; superpose them so that their circular boundaries match, then let corresponding points on the circular boundaries become equivalent identically to each other. The boundaries are now glued together. Now "inflate" the disks. One disk inflates upwards and becomes the Northern hemisphere and the other inflates downwards and becomes the Southern hemisphere.

It is possible for a point traveling on the 3-sphere to move from one hemi-3-sphere to the other hemi-3-sphere by crossing the 2-spherical boundary, which could be thought of as a "3-quator" — analogous to an equator on a 2-sphere. The point would seem to be bouncing off the 3-quator and reversing direction of motion in 3-D, but also its "temperature" would become reversed, e.g. from positive on the "hot hemi-3-sphere" to zero on the 3-quator to negative on the "cold hemi-3-sphere".

Consider a topological 2-sphere to be a seamless balloon. When punctured and flattened, the missing point becomes a circle (a 1-sphere) and the remaining balloon surface becomes a disk (a 2-ball) inside the circle. In the same way, a 3-ball is a punctured and flattened 3-sphere. To recreate the 3-sphere, merge all points on the 3-ball boundary (a 2-sphere) into a single point.

Another view of puncturing is stereographic projection. Rest the South Pole of a 2-sphere on an infinite plane, and draw lines from the North Pole through the sphere to intersect the plane. Each sphere point corresponds to a unique plane point, and vice versa, excepting the North Pole itself. The balloon has been stretched to infinity. Stereographic projection of a 3-sphere (except for the projection point) fills all of 3-space in the same manner. A benefit of this correspondence is that geometric spheres in 3-space map to geometric spheres of the 3-sphere, and planes in 3-space map to spheres containing the Pole.

Another view is a "shooting map". Place a marble at the South Pole and give it a flick of a measured strength in a chosen direction. Assuming the marble stays on the sphere and rolls without friction, its position after a fixed time interval (say, 1 second) will be some definite point of the sphere. Plotting direction in the plane and strength as radius, the North Pole is equally far away in every direction; this is the equivalent of the punctured balloon. Performing the same shooting experiment on the 3-sphere gives a map on the 3-ball. When the 3-sphere is considered a Lie group, the marble paths are one-parameter subgroups, the 3-ball is the tangent space at the identity (taken to be the South Pole), and the mapping to the 3-sphere is the exponential map.

The four Euclidean coordinates for S^{3} are redundant since they are subject to the condition that $\{x\_0\}^2\; +\; \{x\_1\}^2\; +\; \{x\_2\}^2\; +\; \{x\_3\}^2\; =\; 1$. As a 3-dimensional manifold one should be able to parameterize S^{3} by three coordinates, just as one can parameterize the 2-sphere using two coordinates (such as latitude and longitude). Due to the nontrivial topology of S^{3} it is impossible to find a single set of coordinates that cover the entire space. Just as on the 2-sphere, one must use at least two coordinate charts. Some different choices of coordinates are given below.

It is convenient to have some sort of hyperspherical coordinates on S^{3} in analogy to the usual spherical coordinates on S^{2}. One such choice—by no means unique—is to use (ψ, θ, φ) where

- $x\_0\; =\; cospsi,$

- $x\_1\; =\; cosphi,sintheta,sinpsi$

- $x\_2\; =\; sinphi,sintheta,sinpsi$

- $x\_3\; =\; costheta,sinpsi$

The round metric on the 3-sphere in these coordinates is given by

- $ds^2\; =\; dpsi^2\; +\; sin^2psileft(dtheta^2\; +\; sin^2theta,\; dphi^2right)$

- $dV\; =\; left(sin^2psi,sinthetaright),dpsiwedge\; dthetawedge\; dphi.$

These coordinates have an elegant description in terms of quaternions. Any unit quaternion q can be written as a versor:

- q = e
^{τψ}= cos ψ + τ sin ψ

- τ = cos φ sin θ i + sin φ sin θ j + cos θ k

- q = e
^{τψ}= x_{0}+ x_{1}i + x_{2}j + x_{3}k

When q is used to describe spatial rotations (cf. quaternions and spatial rotations) it describes a rotation about τ through an angle of 2ψ.

Another choice of hyperspherical coordinates, (η, ξ_{1}, ξ_{2}), makes use of the embedding of S^{3} in C^{2}. In complex coordinates (z_{1}, z_{2}) ∈ C^{2} we write

- $z\_1\; =\; e^\{i,xi\_1\}sineta$

- $z\_2\; =\; e^\{i,xi\_2\}coseta.$

- $S^1\; to\; S^3\; to\; S^2.,$

For any fixed value of η between 0 and π/2, the coordinates (ξ_{1}, ξ_{2}) parameterize a 2-dimensional torus. In the degenerate cases, when η equals 0 or π/2, these coordinates describe a circle.

The round metric on the 3-sphere in these coordinates is given by

- $ds^2\; =\; deta^2\; +\; sin^2eta,dxi\_1^2\; +\; cos^2eta,dxi\_2^2$

- $dV\; =\; sinetacoseta,detawedge\; dxi\_1wedge\; dxi\_2.$

Another convenient set of coordinates can be obtained via stereographic projection of S^{3} onto a tangent R^{3} hyperplane. For example, if we project onto the plane tangent to the point (1, 0, 0, 0) we can write a point p in S^{3} as

- $p\; =\; left(frac\{1-|u|^2\}\{1+|u|^2\},\; frac\{2mathbf\{u\}\}\{1+|u|^2\}right)\; =\; frac\{1+mathbf\{u\}\}\{1-mathbf\{u\}\}$

- $mathbf\{u\}\; =\; frac\{1\}\{1+x\_0\}left(x\_1,\; x\_2,\; x\_3right).$

We could just have well have projected onto the plane tangent to the point (−1, 0, 0, 0) in which case the point p is given by

- $p\; =\; left(frac\{-1+|v|^2\}\{1+|v|^2\},\; frac\{2mathbf\{v\}\}\{1+|v|^2\}right)\; =\; frac\{-1+mathbf\{v\}\}\{1+mathbf\{v\}\}$

- $mathbf\{v\}\; =\; frac\{1\}\{1-x\_0\}left(x\_1,x\_2,x\_3right).$

Note that the u coordinates are defined everywhere but (−1, 0, 0, 0) and the v coordinates everywhere but (1, 0, 0, 0). Both patches together cover all of S^{3}. This defines an atlas on S^{3} consisting of two coordinate charts. Note that the transition function between these two charts on their overlap is given by

- $mathbf\{v\}\; =\; frac\{1\}\{|u|^2\}mathbf\{u\}$

When considered as the set of unit quaternions, S^{3} inherits an important structure, namely that of quaternionic multiplication. Because the set of unit quaternions is closed under multiplication, S^{3} takes on the structure of a group. Moreover, since quaternionic multiplication is smooth, S^{3} can be regarded as a real Lie group. It is a nonabelian, compact Lie group of dimension 3. When thought of as a Lie group S^{3} is often denoted Sp(1) or U(1, H).

It turns out that the only spheres which admit a Lie group structure are S^{1}, thought of as the set of unit complex numbers, and S^{3}, the set of unit quaternions. One might think that S^{7}, the set of unit octonions, would form a Lie group, but this fails since octonion multiplication is nonassociative. The octonionic structure does give S^{7} one important property: parallelizability. It turns out that the only spheres which are parallelizable are S^{1}, S^{3}, and S^{7}.

By using a matrix representation of the quaternions, H, one obtains a matrix representation of S^{3}. One convenient choice is given by the Pauli matrices:

- $x\_1+\; x\_2\; i\; +\; x\_3\; j\; +\; x\_4\; k\; mapsto\; begin\{pmatrix\};;,x\_1\; +\; i\; x\_2\; \&\; x\_3\; +\; i\; x\_4\; -x\_3\; +\; i\; x\_4\; \&\; x\_1\; -\; i\; x\_2end\{pmatrix\}.$

The set of unit quaternions is then given by matrices of the above form with unit determinant. This matrix subgroup is precisely the special unitary group SU(2). Thus, S^{3} as a Lie group is isomorphic to SU(2).

Using our hyperspherical coordinates (η, ξ_{1}, ξ_{2}) we can then write any element of SU(2) in the form

- $begin\{pmatrix\}e^\{i,xi\_1\}sineta\; \&\; e^\{i,xi\_2\}coseta\; -e^\{-i,xi\_2\}coseta\; \&\; e^\{-i,xi\_1\}sinetaend\{pmatrix\}.$

Another way to state this result is if we express the matrix representation of an element of SU(2) as a linear combination of the pauli matrices. It is seen that an arbitrary element $U\; in\; SU(2)$ can be written as $U=alpha\_0\; I\; +\; i\; alpha\_i\; sigma^i$. The condition that the determinant of U is +1 implies that the coefficients $alpha\_i$ are constrained to lie on a 3-sphere.

Writing in the American Journal of Physics, Mark A. Peterson describes three different ways of visualizing 3-spheres and points out language in The Divine Comedy that suggests Dante viewed the Universe in the same way.

- David W. Henderson, Experiencing Geometry: In Euclidean, Spherical, and Hyperbolic Spaces, second edition, 2001, (Chapter 20: 3-spheres and hyperbolic 3-spaces.)
- Jeffrey R. Weeks, The Shape of Space: How to Visualize Surfaces and Three-dimensional Manifolds, 1985, () (Chapter 14: The Hypersphere) (Says: A Warning on terminology: Our two-sphere is defined in three-dimensional space, where it is the boundary of a three-dimensional ball. This terminology is standard among mathematicians, but not among physicists. So don't be surprised if you find people calling the two-sphere a three-sphere.)

- Note: This article uses the alternate naming scheme for spheres in which a sphere in n-dimensional space is termed an n-sphere.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 07, 2008 at 06:17:00 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday September 07, 2008 at 06:17:00 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.