In mathematics, an n-sphere is a generalization of an ordinary sphere to arbitrary dimension. For any natural number n, an n-sphere of radius r is defined the set of points in (n + 1)-dimensional Euclidean space which are at distance r from a central point, where the radius r may be any positive real number. It is an n-dimensional manifold in Euclidean (n + 1)-space. In particular, a 0-sphere is a pair of points on a line, a 1-sphere is a circle in the plane, and a 2-sphere is an ordinary sphere in three dimensional space. Spheres of dimension n > 2 are sometimes called hyperspheres. The n-sphere of unit radius centered at the origin is called the unit n-sphere, denoted Sn. The unit n-sphere is often referred to as the n-sphere. In symbols:
An n-sphere is the surface or boundary of an (n + 1)-dimensional ball, and is an n-dimensional manifold. For n ≥ 2, the n-spheres are the simply connected n-dimensional manifold of constant, positive curvature. The n-spheres admit several other topological descriptions: for example, they can be constructed by gluing two n-dimensional Euclidean spaces together, by identifying the boundary of an n-cube with a point, or (inductively) by forming the suspension of an (n − 1)-sphere.
Contents |
For any natural number n, an n-sphere of radius r is defined as the set of points in (n + 1)-dimensional Euclidean space which are at distance r from a fixed point, where r may be any positive real number. In particular:
The set of points in (n + 1)-space: (x1,x1,x2,…,xn+1) that define an n-sphere, (Sn) is represented by the equation:
where C is a center point, and r is the radius.
The above n-sphere exists in (n + 1)-dimensional Euclidean space and is an example of an n-manifold. The volume form ω of n-sphere of radius r is given by
The space enclosed by an n-sphere is called an (n + 1)-ball. An (n + 1)-ball is closed if it included the equality, and open otherwise.
Specifically:
The hyperdimensional volume of the space which a (n − 1)-sphere encloses (the n-ball) is given by
From this, it follows that the value of the constant Cn for a given n is:
The "surface area" of this (n-1)-sphere is
The following relationships hold between the n-spherical surface area and volume:
This leads to the recurrence relation:
Conventionally, these formulas can also be proven directly by integration in n-dimensional spherical coordinates (Stewart 2006, p. 881).
For small values of n, the volumes, Vn , of the n-ball of radius R are:
= | ||
= | ||
= | = | |
= | = | |
= | = | |
= | = | |
= | = | |
= | = | |
= | = | |
= |
If the dimension n is not limited to integral values, the n-sphere volume is a continuous function of n with a global maximum for the unit sphere in "dimension" n = 5.2569464... where the "volume" is 5.277768... It has a hypervolume of 1 when n = 0 or when n = 12.76405...
The hypercube circumscribed around the unit n-sphere has an edge length of 2 and hence a volume of 2n; the ratio of the volume of the n-sphere to its circumscribed hypercube decreases monotonically as the dimension increases.
The non-monotonic behaviour of the numerical value of n-spheres as a function of n may seem strange at first glance. However, by assigning units of length to each dimension one can see it is meaningless to compare the unit-sphere volumes in different n's, just as it is meaningless to compare a length to an area in other contexts. A meaningful comparison is obtained by using a dimensionless measure of the volume, such as the ratio of the n-sphere and its circumscribed hypercube volumes. Using this measure restores the intuitively normal behavior of a monotonic decline in the volume as the dimension increases.
While the inverse transformations can be derived from those above:
Note that last angle φn − 1 has a range of 2π while the other angles have a range of π. This range covers the whole sphere.
The volume element in n-dimensional Euclidean space will be found from the Jacobian of the transformation:
and the above equation for the volume of the n-ball can be recovered by integrating:
The volume element of the (n-1)–sphere, which generalizes the area element of the 2-sphere, is given by
To generate points on the surface of the n ball, Marsaglia (1972) gives the following algorithm.
The normal distribution e-x^2 when expanded over another axis e-y^2 after multiplication takes the form e-(x^2+y^2) or e-(r^2) and so is only dependent on distance from the origin.
Another way to generate a random distribution on a hypersphere is to make a uniform one over a hypercube that includes the unit hypersphere, exclude those points that are outside the hypersphere, then project the remaining interior points outward from the origin onto the surface. This will give a uniform distribution, but it is necessary to remove the exterior points. As the relative volume of the hypersphere to the hypercube decreases very rapidly with dimension it will only work for fairly small numbers of dimensions.