Ball (mathematics) (original) (raw)

From Wikipedia, the free encyclopedia

Volume space bounded by a sphere

Not to be confused with Sphere.

In Euclidean space, a ball is the volume bounded by a sphere

In mathematics, a ball is the solid figure bounded by a sphere; it is also called a solid sphere.[1] It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them).

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 a hyperball or n-ball and is bounded by a hypersphere or (_n_−1)-sphere. Thus, for example, a ball in the Euclidean plane is the same thing as a disk, the planar region bounded by a circle. In Euclidean 3-space, a ball is taken to be the region of space bounded by a 2-dimensional sphere. In a one-dimensional space, a ball is a line segment.

In other contexts, such as in Euclidean geometry and informal use, sphere is sometimes used to mean ball. In the field of topology the closed n {\displaystyle n} {\displaystyle n}-dimensional ball is often denoted as B n {\displaystyle B^{n}} {\displaystyle B^{n}} or D n {\displaystyle D^{n}} {\displaystyle D^{n}} while the open n {\displaystyle n} {\displaystyle n}-dimensional ball is int ⁡ B n {\displaystyle \operatorname {int} B^{n}} {\displaystyle \operatorname {int} B^{n}} or int ⁡ D n {\displaystyle \operatorname {int} D^{n}} {\displaystyle \operatorname {int} D^{n}}.

In Euclidean n-space, an (open) n-ball of radius r and center x is the set of all points of distance less than r from x. A closed n-ball of radius r is the set of all points of distance less than or equal to r away from x.

In Euclidean n-space, every ball is bounded by a hypersphere. The ball is a bounded interval when n = 1, is a disk bounded by a circle when n = 2, and is bounded by a sphere when n = 3.

The n-dimensional volume of a Euclidean ball of radius r in n_-dimensional Euclidean space is given by [2] V n ( r ) = π n 2 Γ ( n 2 + 1 ) r n , {\displaystyle V_{n}(r)={\frac {\pi ^{\frac {n}{2}}}{\Gamma {\left({\frac {n}{2}}+1\right)}}}r^{n},} {\displaystyle V_{n}(r)={\frac {\pi ^{\frac {n}{2}}}{\Gamma {\left({\frac {n}{2}}+1\right)}}}r^{n},}where Γ is Leonhard Euler's gamma function (which can be thought of as an extension of the factorial function to fractional arguments). Using explicit formulas for particular values of the gamma function at the integers and half integers gives formulas for the volume of a Euclidean ball that do not require an evaluation of the gamma function. These are: V 2 k ( r ) = π k k ! r 2 k , V 2 k + 1 ( r ) = 2 k + 1 π k ( 2 k + 1 ) ! ! r 2 k + 1 = 2 ( k ! ) ( 4 π ) k ( 2 k + 1 ) ! r 2 k + 1 . {\displaystyle {\begin{aligned}V_{2k}(r)&={\frac {\pi ^{k}}{k!}}r^{2k}\,,\\[2pt]V_{2k+1}(r)&={\frac {2^{k+1}\pi ^{k}}{\left(2k+1\right)!!}}r^{2k+1}={\frac {2\left(k!\right)\left(4\pi \right)^{k}}{\left(2k+1\right)!}}r^{2k+1}\,.\end{aligned}}} ![{\displaystyle {\begin{aligned}V{2k}(r)&={\frac {\pi ^{k}}{k!}}r^{2k},,\[2pt]V_{2k+1}(r)&={\frac {2^{k+1}\pi ^{k}}{\left(2k+1\right)!!}}r^{2k+1}={\frac {2\left(k!\right)\left(4\pi \right)^{k}}{\left(2k+1\right)!}}r^{2k+1},.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f89ca477f307c13de64810b321d09346d6a7377f)

In the formula for odd-dimensional volumes, the double factorial (2_k_ + 1)!! is defined for odd integers 2_k_ + 1 as (2_k_ + 1)!! = 1 ⋅ 3 ⋅ 5 ⋅ ⋯ ⋅ (2_k_ − 1) ⋅ (2_k_ + 1).

In general metric spaces

[edit]

Let (M, d) be a metric space, namely a set M with a metric (distance function) d, and let ⁠ r {\displaystyle r} {\displaystyle r}⁠ be a positive real number. The open (metric) ball of radius r centered at a point p in M, usually denoted by Br(p) or B(p; r), is defined the same way as a Euclidean ball, as the set of points in M of distance less than r away from p, B r ( p ) = { x ∈ M ∣ d ( x , p ) < r } . {\displaystyle B_{r}(p)=\{x\in M\mid d(x,p)<r\}.} {\displaystyle B_{r}(p)=\{x\in M\mid d(x,p)<r\}.}

The closed (metric) ball, sometimes denoted _Br_[_p_] or _B_[p; r_], is likewise defined as the set of points of distance less than or equal to r away from p, B r [ p ] = { x ∈ M ∣ d ( x , p ) ≤ r } . {\displaystyle B_{r}[p]=\{x\in M\mid d(x,p)\leq r\}.} ![{\displaystyle B{r}[p]={x\in M\mid d(x,p)\leq r}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97410ad1bcfd5d3cf7fd3a7cd6d9dcbb16eb6532)

In particular, a ball (open or closed) always includes p itself, since the definition requires r > 0. A unit ball (open or closed) is a ball of radius 1.

A ball in a general metric space need not be round. For example, a ball in real coordinate space under the Chebyshev distance is a hypercube, and a ball under the taxicab distance is a cross-polytope. A closed ball also need not be compact. For example, a closed ball in any infinite-dimensional normed vector space is never compact. However, a ball in a vector space will always be convex as a consequence of the triangle inequality.

A subset of a metric space is bounded if it is contained in some ball. A set is totally bounded if, given any positive radius, it is covered by finitely many balls of that radius.

The open balls of a metric space can serve as a base, giving this space a topology, the open sets of which are all possible unions of open balls. This topology on a metric space is called the topology induced by the metric d.

Let B r ( p ) ¯ {\displaystyle {\overline {B_{r}(p)}}} {\displaystyle {\overline {B_{r}(p)}}} denote the closure of the open ball B r ( p ) {\displaystyle B_{r}(p)} {\displaystyle B_{r}(p)} in this topology. While it is always the case that B r ( p ) ⊆ B r ( p ) ¯ ⊆ B r [ p ] , {\displaystyle B_{r}(p)\subseteq {\overline {B_{r}(p)}}\subseteq B_{r}[p],} {\displaystyle B_{r}(p)\subseteq {\overline {B_{r}(p)}}\subseteq B_{r}[p],} it is not always the case that B r ( p ) ¯ = B r [ p ] . {\displaystyle {\overline {B_{r}(p)}}=B_{r}[p].} {\displaystyle {\overline {B_{r}(p)}}=B_{r}[p].} For example, in a metric space X {\displaystyle X} {\displaystyle X} with the discrete metric, one has B 1 ( p ) ¯ = { p } {\displaystyle {\overline {B_{1}(p)}}=\{p\}} {\displaystyle {\overline {B_{1}(p)}}=\{p\}} but B 1 [ p ] = X {\displaystyle B_{1}[p]=X} {\displaystyle B_{1}[p]=X} for any p ∈ X . {\displaystyle p\in X.} {\displaystyle p\in X.}

In normed vector spaces

[edit]

Any normed vector space V with norm ‖ ⋅ ‖ {\displaystyle \|\cdot \|} {\displaystyle \|\cdot \|} is also a metric space with the metric d ( x , y ) = ‖ x − y ‖ . {\displaystyle d(x,y)=\|x-y\|.} {\displaystyle d(x,y)=\|x-y\|.} In such spaces, an arbitrary ball B r ( y ) {\displaystyle B_{r}(y)} {\displaystyle B_{r}(y)} of points x {\displaystyle x} {\displaystyle x} around a point y {\displaystyle y} {\displaystyle y} with a distance of less than r {\displaystyle r} {\displaystyle r} may be viewed as a scaled (by r {\displaystyle r} {\displaystyle r}) and translated (by y {\displaystyle y} {\displaystyle y}) copy of a unit ball B 1 ( 0 ) . {\displaystyle B_{1}(0).} {\displaystyle B_{1}(0).} Such "centered" balls with y = 0 {\displaystyle y=0} {\displaystyle y=0} are denoted with B ( r ) . {\displaystyle B(r).} {\displaystyle B(r).}

The Euclidean balls discussed earlier are an example of balls in a normed vector space.

In a Cartesian space Rn with the p-norm Lp, that is one chooses some p ≥ 1 {\displaystyle p\geq 1} {\displaystyle p\geq 1} and defines ‖ x ‖ p = ( | x 1 | p + | x 2 | p + ⋯ + | x n | p ) 1 / p , {\displaystyle \left\|x\right\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dots +|x_{n}|^{p}\right)^{1/p},} {\displaystyle \left\|x\right\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dots +|x_{n}|^{p}\right)^{1/p},}Then an open ball around the origin with radius r {\displaystyle r} {\displaystyle r} is given by the set B ( r ) = { x ∈ R n : ‖ x ‖ p = ( | x 1 | p + | x 2 | p + ⋯ + | x n | p ) 1 / p < r } . {\displaystyle B(r)=\left\{x\in \mathbb {R} ^{n}\,:\left\|x\right\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dots +|x_{n}|^{p}\right)^{1/p}<r\right\}.} {\displaystyle B(r)=\left\{x\in \mathbb {R} ^{n}\,:\left\|x\right\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dots +|x_{n}|^{p}\right)^{1/p}<r\right\}.}For n = 2, in a 2-dimensional plane R 2 {\displaystyle \mathbb {R} ^{2}} {\displaystyle \mathbb {R} ^{2}}, "balls" according to the _L_1-norm (often called the taxicab or Manhattan metric) are bounded by squares with their diagonals parallel to the coordinate axes; those according to the _L_∞-norm, also called the Chebyshev metric, have squares with their sides parallel to the coordinate axes as their boundaries. The _L_2-norm, known as the Euclidean metric, generates the well known disks within circles, and for other values of p, the corresponding balls are areas bounded by Lamé curves (hypoellipses or hyperellipses).

For n = 3, the _L_1-balls are within octahedra with axes-aligned body diagonals, the _L_∞-balls are within cubes with axes-aligned edges, and the boundaries of balls for Lp with p > 2 are superellipsoids. p = 2 generates the inner of usual spheres.

Often can also consider the case of p = ∞ {\displaystyle p=\infty } {\displaystyle p=\infty } in which case we define ‖ x ‖ ∞ = max { | x 1 | , … , | x n | } {\displaystyle \lVert x\rVert _{\infty }=\max\{\left|x_{1}\right|,\dots ,\left|x_{n}\right|\}} {\displaystyle \lVert x\rVert _{\infty }=\max\{\left|x_{1}\right|,\dots ,\left|x_{n}\right|\}}

General convex norm

[edit]

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.

In topological spaces

[edit]

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 (hypercube) (0, 1)n ⊆ Rn. 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.

A topological n-ball need not be smooth; if it is smooth, it need not be diffeomorphic to a Euclidean n-ball.

A number of special regions can be defined for a ball:

  1. ^ Sūgakkai, Nihon (1993). Encyclopedic Dictionary of Mathematics. MIT Press. ISBN 9780262590204.
  2. ^ Equation 5.19.4, NIST Digital Library of Mathematical Functions. [1] Release 1.0.6 of 2013-05-06.