Unit sphere

Last updated May 29, 2024

In mathematics, a unit sphere is a sphere of unit radius: the set of points at Euclidean distance 1 from some center point in three-dimensional space. More generally, the unit $n$ -sphere is an $n$ -sphere of unit radius in $(n+1)$ -dimensional Euclidean space; the unit circle is a special case, the unit $1$ -sphere in the plane. An (open) unit ball is the region inside of a unit sphere, the set of points of distance less than 1 from the center.

A sphere or ball with unit radius and center at the origin of the space is called the unit sphere or the unit ball. Any arbitrary sphere can be transformed to the unit sphere by a combination of translation and scaling, so the study of spheres in general can often be reduced to the study of the unit sphere.

The unit sphere is often used as a model for spherical geometry because it has constant sectional curvature of 1, which simplifies calculations. In trigonometry, circular arc length on the unit circle is called radians and used for measuring angular distance; in spherical trigonometry surface area on the unit sphere is called steradians and used for measuring solid angle.

In more general contexts, a unit sphere is the set of points of distance 1 from a fixed central point, where different norms can be used as general notions of "distance", and an (open) unit ball is the region inside.

Unit spheres and balls in Euclidean space

In Euclidean space of $n$ dimensions, the $(n-1)$ -dimensional unit sphere is the set of all points $(x_{1},\ldots ,x_{n})$ which satisfy the equation

x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}=1.

The open unit $n$ -ball is the set of all points satisfying the inequality

x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}<1,

and closed unit $n$ -ball is the set of all points satisfying the inequality

x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\leq 1.

Volume and area

The classical equation of a unit sphere is that of the ellipsoid with a radius of 1 and no alterations to the $x$ -, $y$ -, or $z$ - axes:

x^{2}+y^{2}+z^{2}=1

The volume of the unit ball in Euclidean $n$ -space, and the surface area of the unit sphere, appear in many important formulas of analysis. The volume of the unit $n$ -ball, which we denote $V_{n},$ can be expressed by making use of the gamma function. It is

V_{n}={\frac {\pi ^{n/2}}{\Gamma (1+n/2)}}={\begin{cases}{\pi ^{n/2}}/{(n/2)!}&\mathrm {if~} n\geq 0\mathrm {~is~even} \\[6mu]{2(2\pi )^{(n-1)/2}}/{n!!}&\mathrm {if~} n\geq 0\mathrm {~is~odd,} \end{cases}}

where $n!!$ is the double factorial.

The hypervolume of the $(n-1)$ -dimensional unit sphere (i.e., the "area" of the boundary of the $n$ -dimensional unit ball), which we denote $A_{n-1},$ can be expressed as

A_{n-1}=nV_{n}={\frac {n\pi ^{n/2}}{\Gamma (1+n/2)}}={\frac {2\pi ^{n/2}}{\Gamma (n/2)}}={\begin{cases}{2\pi ^{n/2}}/{(n/2-1)!}&\mathrm {if~} n\geq 1\mathrm {~is~even} \\[6mu]{2(2\pi )^{(n-1)/2}}/{(n-2)!!}&\mathrm {if~} n\geq 1\mathrm {~is~odd.} \end{cases}}

For example, $A_{0}=2$ is the "area" of the boundary of the unit ball $[-1,1]\subset \mathbb {R}$ , which simply counts the two points. Then $A_{1}=2\pi$ is the "area" of the boundary of the unit disc, which is the circumference of the unit circle. $A_{2}=4\pi$ is the area of the boundary of the unit ball $\{x\in \mathbb {R} ^{3}:x_{1}^{2}+x_{2}^{2}+x_{3}^{2}\leq 1\}$ , which is the surface area of the unit sphere $\{x\in \mathbb {R} ^{3}:x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1\}$ .

The surface areas and the volumes for some values of $n$ are as follows:

$n$	$A_{n-1}$ (surface area)		$V_{n}$ (volume)
0			$(1/0!)\pi ^{0}$	1
1	$1(2^{1}/1!!)\pi ^{0}$	2	$(2^{1}/1!!)\pi ^{0}$	2
2	$2(1/1!)\pi ^{1}=2\pi$	6.283	$(1/1!)\pi ^{1}=\pi$	3.141
3	$3(2^{2}/3!!)\pi ^{1}=4\pi$	12.57	$(2^{2}/3!!)\pi ^{1}=(4/3)\pi$	4.189
4	$4(1/2!)\pi ^{2}=2\pi ^{2}$	19.74	$(1/2!)\pi ^{2}=(1/2)\pi ^{2}$	4.935
5	$5(2^{3}/5!!)\pi ^{2}=(8/3)\pi ^{2}$	26.32	$(2^{3}/5!!)\pi ^{2}=(8/15)\pi ^{2}$	5.264
6	$6(1/3!)\pi ^{3}=\pi ^{3}$	31.01	$(1/3!)\pi ^{3}=(1/6)\pi ^{3}$	5.168
7	$7(2^{4}/7!!)\pi ^{3}=(16/15)\pi ^{3}$	33.07	$(2^{4}/7!!)\pi ^{3}=(16/105)\pi ^{3}$	4.725
8	$8(1/4!)\pi ^{4}=(1/3)\pi ^{4}$	32.47	$(1/4!)\pi ^{4}=(1/24)\pi ^{4}$	4.059
9	$9(2^{5}/9!!)\pi ^{4}=(32/105)\pi ^{4}$	29.69	$(2^{5}/9!!)\pi ^{4}=(32/945)\pi ^{4}$	3.299
10	$10(1/5!)\pi ^{5}=(1/12)\pi ^{5}$	25.50	$(1/5!)\pi ^{5}=(1/120)\pi ^{5}$	2.550

where the decimal expanded values for $n\geq 2$ are rounded to the displayed precision.

Recursion

The $A_{n}$ values satisfy the recursion:

A_{0}=2

A_{1}=2\pi

A_{n}={\frac {2\pi }{n-1}}A_{n-2}

for

n>1

.

The $V_{n}$ values satisfy the recursion:

V_{0}=1

V_{1}=2

V_{n}={\frac {2\pi }{n}}V_{n-2}

for

n>1

.

Non-negative real-valued dimensions

The value ${\textstyle 2^{-n}V_{n}=\pi ^{n/2}{\big /}\,2^{n}\Gamma {\bigl (}1+{\tfrac {1}{2}}n{\bigr )}}$ at non-negative real values of $n$ is sometimes used for normalization of Hausdorff measure.^[1]^[2]

Other radii

The surface area of an $(n-1)$ -sphere with radius $r$ is $A_{n-1}r^{n-1}$ and the volume of an $n$ - ball with radius $r$ is $V_{n}r^{n}.$ For instance, the area is $A_{2}=4\pi r^{2}$ for the two-dimensional surface of the three-dimensional ball of radius $r.$ The volume is $V_{3}={\tfrac {4}{3}}\pi r^{3}$ for the three-dimensional ball of radius $r$ .

Unit balls in normed vector spaces

The open unit ball of a normed vector space $V$ with the norm $\|\cdot \|$ is given by

\{x\in V:\|x\|<1\}

It is the topological interior of the closed unit ball of $(V,\|\cdot \|)\colon$

\{x\in V:\|x\|\leq 1\}

The latter is the disjoint union of the former and their common border, the unit sphere of $(V,\|\cdot \|)\colon$

\{x\in V:\|x\|=1\}

The "shape" of the unit ball is entirely dependent on the chosen norm; it may well have "corners", and for example may look like $[-1,1]^{n}$ in the case of the max-norm in $\mathbb {R} ^{n}$ . One obtains a naturally round ball as the unit ball pertaining to the usual Hilbert space norm, based in the finite-dimensional case on the Euclidean distance; its boundary is what is usually meant by the unit sphere.

Let $x=(x_{1},...x_{n})\in \mathbb {R} ^{n}.$ Define the usual $\ell _{p}$ -norm for $p\geq 1$ as:

\|x\|_{p}={\biggl (}\sum _{k=1}^{n}|x_{k}|^{p}{\biggr )}^{1/p}

Then $\|x\|_{2}$ is the usual Hilbert space norm. $\|x\|_{1}$ is called the Hamming norm, or $\ell _{1}$ -norm. The condition $p\geq 1$ is necessary in the definition of the $\ell _{p}$ norm, as the unit ball in any normed space must be convex as a consequence of the triangle inequality. Let $\|x\|_{\infty }$ denote the max-norm or $\ell _{\infty }$ -norm of $x$ .

Note that for the one-dimensional circumferences $C_{p}$ of the two-dimensional unit balls, we have:

C_{1}=4{\sqrt {2}}

is the minimum value.

C_{2}=2\pi

C_{\infty }=8

is the maximum value.

Generalizations

Metric spaces

All three of the above definitions can be straightforwardly generalized to a metric space, with respect to a chosen origin. However, topological considerations (interior, closure, border) need not apply in the same way (e.g., in ultrametric spaces, all of the three are simultaneously open and closed sets), and the unit sphere may even be empty in some metric spaces.

Quadratic forms

If $V$ is a linear space with a real quadratic form $F:V\to \mathbb {R} ,$ then $\{p\in V:F(p)=1\}$ may be called the unit sphere^[3]^[4] or unit quasi-sphere of $V.$ For example, the quadratic form $x^{2}-y^{2}$ , when set equal to one, produces the unit hyperbola, which plays the role of the "unit circle" in the plane of split-complex numbers. Similarly, the quadratic form $x^{2}$ yields a pair of lines for the unit sphere in the dual number plane.

Notes and references

↑ The Chinese University of Hong Kong, Math 5011, Chapter 3, Lebesgue and Hausdorff Measures
↑ Manin, Yuri I. (2006). "The notion of dimension in geometry and algebra" (PDF). Bulletin of the American Mathematical Society. 43 (2): 139–161. doi:10.1090/S0273-0979-06-01081-0 . Retrieved 17 December 2021.
↑ Takashi Ono (1994) Variations on a Theme of Euler: quadratic forms, elliptic curves, and Hopf maps, chapter 5: Quadratic spherical maps, page 165, Plenum Press, ISBN 0-306-44789-4
↑ F. Reese Harvey (1990) Spinors and calibrations, "Generalized Spheres", page 42, Academic Press, ISBN 0-12-329650-1

Mahlon M. Day (1958) Normed Linear Spaces, page 24, Springer-Verlag.
Deza, E.; Deza, M. (2006), Dictionary of Distances, Elsevier, ISBN 0-444-52087-2 . Reviewed in Newsletter of the European Mathematical Society64 (June 2007), p. 57. This book is organized as a list of distances of many types, each with a brief description.

External links

Weisstein, Eric W. "Unit sphere". MathWorld .

Related Research Articles

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space $is denoted by .$

<span class="mw-page-title-main">Inner product space</span> Generalization of the dot product; used to define Hilbert spaces

In mathematics, an inner product space is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in $. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces . The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.$

In mathematics, an $n$ -sphere or hypersphere is an -dimensional generalization of the -dimensional circle and -dimensional sphere to any non-negative integer . The -sphere is the setting for -dimensional spherical geometry.

<span class="mw-page-title-main">Triangle inequality</span> Property of geometry, also used to generalize the notion of "distance" in metric spaces

In mathematics, the triangle inequality states that for any triangle, the sum of the lengths of any two sides must be greater than or equal to the length of the remaining side. This statement permits the inclusion of degenerate triangles, but some authors, especially those writing about elementary geometry, will exclude this possibility, thus leaving out the possibility of equality. If $x$ , $y$ , and $z$ are the lengths of the sides of the triangle, with no side being greater than $z$ , then the triangle inequality states that

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

In mathematics, a ball is the solid figure bounded by a sphere; it is also called a solid sphere. It may be a closed ball or an open ball.

In mathematics, the orthogonal group in dimension $n$ , denoted $O(n)$ , is the group of distance-preserving transformations of a Euclidean space of dimension $n$ that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of $n \times n$ orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to −1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of $with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H 2, which was the first instance studied, is also called the hyperbolic plane.$

In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In $-dimensional space the inequality lower bounds the surface area or perimeter of a set by its volume,$

In mathematics, a norm is a function from a real or complex vector space to the non-negative real numbers that behaves in certain ways like the distance from the origin: it commutes with scaling, obeys a form of the triangle inequality, and is zero only at the origin. In particular, the Euclidean distance in a Euclidean space is defined by a norm on the associated Euclidean vector space, called the Euclidean norm, the 2-norm, or, sometimes, the magnitude of the vector. This norm can be defined as the square root of the inner product of a vector with itself.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

<span class="mw-page-title-main">Systolic geometry</span> Form of differential geometry

In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also Introduction to systolic geometry.

In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a complete, finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique. The theorem was proven for closed manifolds by Mostow and extended to finite volume manifolds by Marden (1974) in 3 dimensions, and by Prasad in all dimensions at least 3. Gromov (1981) gave an alternate proof using the Gromov norm. Besson, Courtois & Gallot (1996) gave the simplest available proof.

In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.

Riesz's lemma is a lemma in functional analysis. It specifies conditions that guarantee that a subspace in a normed vector space is dense. The lemma may also be called the Riesz lemma or Riesz inequality. It can be seen as a substitute for orthogonality when the normed space is not an inner product space.

<span class="mw-page-title-main">Pu's inequality</span>

In differential geometry, Pu's inequality, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it.

In Riemannian geometry, the filling radius of a Riemannian manifold X is a metric invariant of X. It was originally introduced in 1983 by Mikhail Gromov, who used it to prove his systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality for the real projective plane, and creating systolic geometry in its modern form.

In geometry, a ball is a region in a space comprising all points within a fixed distance, called the radius, from a given point; that is, it is the region enclosed by a sphere or hypersphere. An $n$ -ball is a ball in an $n$ -dimensional Euclidean space. The volume of a $n$ -ball is the Lebesgue measure of this ball, which generalizes to any dimension the usual volume of a ball in 3-dimensional space. The volume of a $n$ -ball of radius $R$ is $where is the volume of the unit n -ball, the n -ball of radius 1 .$

In mathematics, hyperbolic complex space is a Hermitian manifold which is the equivalent of the real hyperbolic space in the context of complex manifolds. The complex hyperbolic space is a Kähler manifold, and it is characterised by being the only simply connected Kähler manifold whose holomorphic sectional curvature is constant equal to -1. Its underlying Riemannian manifold has non-constant negative curvature, pinched between -1 and -1/4 : in particular, it is a CAT(-1/4) space.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] The Chinese University of Hong Kong, Math 5011, Chapter 3, Lebesgue and Hausdorff Measures

[2] Manin, Yuri I. (2006). "The notion of dimension in geometry and algebra" (PDF). Bulletin of the American Mathematical Society. 43 (2): 139–161. doi:10.1090/S0273-0979-06-01081-0 . Retrieved 17 December 2021.

[3] Takashi Ono (1994) Variations on a Theme of Euler: quadratic forms, elliptic curves, and Hopf maps, chapter 5: Quadratic spherical maps, page 165, Plenum Press, ISBN 0-306-44789-4

[4] F. Reese Harvey (1990) Spinors and calibrations, "Generalized Spheres", page 42, Academic Press, ISBN 0-12-329650-1

[1]

[2]

[3]

[4]