||This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. (March 2013)|
These concepts are defined not only in three-dimensional Euclidean space but also for lower and higher dimensions, and for metric spaces in general. A ball in n dimensions is called an n-ball and is bounded by an (n-1)-sphere. Thus, for example, a ball in the Euclidean plane is the same thing as a disk, the area bounded by a circle. In Euclidean 3-space, a ball is taken to be the volume bounded by a 2-dimensional spherical shell boundary.
In other contexts, such as in Euclidean geometry and informal use, sphere is sometimes used to mean ball.
Balls in general metric spaces
The closed (metric) ball, which may be denoted by Br[p] or B[p; r], is defined by
Note in particular that a ball (open or closed) always includes p itself, since the definition requires r > 0.
The closure of the open ball Br(p) is usually denoted . While it is always the case that and , it is not always the case that . For example, in a metric space with the discrete metric, one has and , for any .
A (open or closed) unit ball is a ball of radius 1.
Balls in normed vector spaces
Any normed vector space V with norm |·| is also a metric space, with the metric d(x, y) = |x − y|. In such spaces, every ball Br(p) is a copy of the unit ball B1(0), scaled by r and translated by p.
In particular, if V is n-dimensional Euclidean space with the ordinary (Euclidean) metric, every ball is the interior of a hypersphere (a hyperball). That is a bounded interval when n = 1, the interior of a circle (a disk) when n = 2, and the interior of a sphere when n = 3.
For n=2, in particular, the balls of L1 (often called the taxicab or Manhattan metric) are squares with the diagonals parallel to the coordinate axes; those of L∞ (the Chebyshev metric) are squares with the sides parallel to the coordinate axes. For other values of p, the balls are the interiors of Lamé curves (hypoellipses or hyperellipses).
For n = 3, the balls of L1 are octahedra with axis-aligned body diagonals, those of L∞ are cubes with axis-aligned edges, and those of Lp with p > 2 are superellipsoids.
General convex norm
More generally, given any centrally symmetric, bounded, open, and convex subset X of Rn, one can define a norm on Rn where the balls are all translated and uniformly scaled copies of X. Note this theorem does not hold if "open" subset is replaced by "closed" subset, because the origin point qualifies but does not define a norm on Rn.
One may talk about balls in any topological space X, not necessarily induced by a metric. An (open or closed) n-dimensional topological ball of X is any subset of X which is homeomorphic to an (open or closed) Euclidean n-ball. Topological n-balls are important in combinatorial topology, as the building blocks of cell complexes.
Any open topological n-ball is homeomorphic to the Cartesian space Rn and to the open unit n-cube . Any closed topological n-ball is homeomorphic to the closed n-cube [0, 1]n.
An n-ball is homeomorphic to an m-ball if and only if n = m. The homeomorphisms between an open n-ball B and Rn can be classified in two classes, that can be identified with the two possible topological orientations of B.
- Ball - ordinary meaning
- Disk (mathematics)
- Neighborhood (mathematics)
- n-sphere, or hypersphere
- Alexander horned sphere
- Volume of an n-ball
- D. J. Smith and M. K. Vamanamurthy, "How small is a unit ball?", Mathematics Magazine, 62 (1989) 101–107.
- "Robin conditions on the Euclidean ball", J. S. Dowker 
- "Isometries of the space of convex bodies contained in a Euclidean ball", Peter M. Gruber
|This section requires expansion. (December 2009)|