Fact-checked by Grok 2 weeks ago

Unit sphere

In mathematics, the unit sphere, often denoted as S^n, is the hypersurface consisting of all points in (n+1)-dimensional Euclidean space \mathbb{R}^{n+1} that are exactly distance 1 from the origin, defined by the equation \|x\| = 1, where \| \cdot \| denotes the Euclidean norm.^[1] For n = 2, this corresponds to the familiar two-dimensional surface of a sphere in three-dimensional space.^[2] The unit sphere generalizes the concepts of the unit circle (S^1) and the ordinary sphere (S^2) to higher dimensions, serving as a fundamental object in geometry, topology, and analysis.^[2] It is a compact, smooth n-dimensional manifold without boundary, and any sphere of radius r > 0 is homeomorphic to the unit sphere via scaling.^[1] Key properties include its surface area, given by S_n = \frac{2 \pi^{(n+1)/2}}{\Gamma((n+1)/2)} for the n-sphere, which reaches a maximum around n \approx 7.25695, and its role as a coset space S^n \cong O(n+1)/O(n) in the context of orthogonal groups.^[2]^[1] In topology, the unit sphere exemplifies non-trivial homotopy groups, with \pi_k(S^n) being non-zero only for certain k \geq n, influencing the study of manifolds and embeddings. Applications extend to physics, where it models directional data on surfaces, and to optimization, as the constraint set in problems like those on the unit ball's boundary. The infinite-dimensional analog, S^\infty, arises as the colimit of finite-dimensional spheres and is contractible in certain topological categories.^[1]

Definitions in Euclidean Space

Sphere and Ball

In n-dimensional Euclidean space \mathbb{R}^n, the unit sphere, denoted S^{n-1}, is defined as the set of all points x = (x_1, \dots, x_n) satisfying \|x\|_2 = 1, where \|x\|_2 = \sqrt{\sum_{i=1}^n x_i^2} denotes the Euclidean norm.^[3] This equation describes the locus of points exactly at distance 1 from the origin, forming a hypersurface that separates the interior and exterior regions of the space.^[4] The unit ball, denoted B^n, consists of all points x \in \mathbb{R}^n such that \|x\|_2 \leq 1, encompassing both the unit sphere as its boundary and the solid interior region.^[3] Unlike the unit sphere, which is purely a surface, the unit ball is a closed and bounded set including all points within or on the sphere.^[5] The unit sphere S^{n-1} is a compact (n-1)-dimensional hypersurface embedded in \mathbb{R}^n, inheriting its topology from the ambient space and serving as the topological boundary of the unit ball B^n.^[6] This compactness ensures that the sphere is closed and bounded, with no boundary of its own as a manifold.^[1] In two dimensions (n=2), the unit sphere is the familiar unit circle, which can be parametrized as x = (\cos \theta, \sin \theta) for \theta \in [0, 2\pi).^[7] In three dimensions (n=3), it corresponds to the standard unit sphere, a surface well-known from classical geometry.^[3]

Coordinate Representations

In n-dimensional Euclidean space \mathbb{R}^n, the unit sphere S^{n-1} is defined as the set of points (x_1, x_2, \dots, x_n) satisfying the equation

\sum_{i=1}^n x_i^2 = 1.

This Cartesian coordinate representation implicitly describes the hypersurface where the Euclidean norm equals unity, serving as the foundational geometric constraint for points on the sphere.^[8] To parametrize points explicitly on the unit sphere, hyperspherical coordinates generalize the familiar spherical coordinates from three dimensions to arbitrary n \geq 2. These coordinates consist of n-1 angular variables: n-2 colatitude angles \theta_1, \theta_2, \dots, \theta_{n-2} \in [0, \pi] and one azimuthal angle \phi \in [0, 2\pi). The transformation to Cartesian coordinates for a point on the unit sphere (where the radial coordinate r = 1) is given by

\begin{align*} x_1 &= \cos \theta_1, \\ x_2 &= \sin \theta_1 \cos \theta_2, \\ x_3 &= \sin \theta_1 \sin \theta_2 \cos \theta_3, \\ &\vdots \\ x_{n-1} &= \left( \prod_{j=1}^{n-2} \sin \theta_j \right) \cos \phi, \\ x_n &= \left( \prod_{j=1}^{n-2} \sin \theta_j \right) \sin \phi. \end{align*}

This parametrization covers the entire sphere, with singularities at the poles where certain angles cause coordinate degeneracies, analogous to the azimuthal angle in three dimensions. An equivalent formulation uses n-1 angles \theta_1, \dots, \theta_{n-1} all ranging from 0 to \pi except \theta_{n-1} \in [0, 2\pi), yielding

x_i = \left( \prod_{j=1}^{i-1} \sin \theta_j \right) \cos \theta_i \quad \text{for } i = 1, \dots, n-1,

x_n = \prod_{j=1}^{n-1} \sin \theta_j,

which provides a recursive structure for embedding lower-dimensional spheres iteratively.^[8]^[9] Hyperspherical coordinates are particularly useful for integration over the unit sphere, as the induced surface measure (or volume element on the sphere) arises naturally from the Jacobian of the transformation. The angular part of the metric determinant yields the surface element

d\sigma = \sin^{n-2} \theta_1 \sin^{n-3} \theta_2 \cdots \sin \theta_{n-2} \, d\theta_1 \, d\theta_2 \cdots d\theta_{n-2} \, d\phi,

enabling the evaluation of integrals of rotationally invariant functions by separating radial and angular components, though the full volume form applies to the enclosing ball. This structure exploits the sphere's symmetry, reducing multidimensional integrals to products over successive lower-dimensional spheres.^[8]^[10] The hyperspherical coordinate system is orthogonal, meaning the basis vectors tangent to the coordinate curves are mutually perpendicular at every point, as verified by their dot products vanishing (e.g., \mathbf{e}_r \cdot \mathbf{e}_{\theta_k} = 0 and \mathbf{e}_\phi \cdot \mathbf{e}_{\theta_k} = 0). This orthogonality simplifies the expression of the Laplacian and other differential operators on the sphere. The transformation from hyperspherical to Cartesian coordinates preserves the Euclidean inner product up to scaling by the metric factors, ensuring that rotations in \mathbb{R}^n correspond to transformations among the angular variables via the orthogonal group O(n), which acts transitively on the sphere.^[8]^[10]

Geometric Measures

Surface Area

The (n-1)-dimensional surface area of the unit sphere S^{n-1} embedded in \mathbb{R}^n quantifies the "size" of its boundary hypersurface. This measure arises naturally in multivariable calculus and geometry, particularly when integrating over spherical domains or analyzing radial symmetries. For the unit sphere, where the radius is 1, the surface area S_{n-1} is given by the formula

S_{n-1} = \frac{2 \pi^{n/2}}{\Gamma(n/2)},

where \Gamma denotes the gamma function.^[2] This expression simplifies for low dimensions, providing intuitive checks. In two dimensions, the unit sphere is the circle S^1, with circumference S_1 = 2\pi. In three dimensions, the unit sphere S^2 has surface area S_2 = 4\pi. These cases align with classical geometry, confirming the formula's consistency across dimensions.^[2] The formula derives from integration in hyperspherical coordinates, where the volume element in \mathbb{R}^n decomposes as dV = r^{n-1}\, dr\, d\Omega_{n-1}, with d\Omega_{n-1} representing the infinitesimal surface element on the unit sphere and \int d\Omega_{n-1} = S_{n-1} the total angular measure. To evaluate S_{n-1}, consider the Gaussian integral over \mathbb{R}^n:

\int_{\mathbb{R}^n} e^{-\|x\|^2}\, dx = \pi^{n/2}.

Switching to hyperspherical coordinates yields

\pi^{n/2} = \int_0^\infty e^{-r^2} S_{n-1} r^{n-1}\, dr.

Substituting t = r^2 (so dt = 2r\, dr and r^{n-1}\, dr = \frac{1}{2} t^{(n/2)-1}\, dt) transforms the integral to

\pi^{n/2} = \frac{S_{n-1}}{2} \int_0^\infty e^{-t} t^{n/2 - 1}\, dt = \frac{S_{n-1}}{2} \Gamma\left(\frac{n}{2}\right),

solving for S_{n-1} as above. This approach leverages the gamma function's integral representation \Gamma(z) = \int_0^\infty e^{-t} t^{z-1}\, dt.^[2]^[11] As a Riemannian manifold with the induced Euclidean metric, the unit sphere S^{n-1} possesses constant sectional curvature 1, endowing it with the standard round geometry that underlies its topological and differential properties.^[12]^[13]

Enclosed Volume

The volume V_n of the n-dimensional unit ball in Euclidean space, which is the region enclosed by the unit sphere, is given by the formula

V_n = \frac{\pi^{n/2}}{\Gamma\left(\frac{n}{2} + 1\right)},

where \Gamma denotes the gamma function.^[14] This expression arises from evaluating the integral in spherical coordinates, where the volume is computed as

V_n = \int_0^1 S_{n-1} r^{n-1} \, dr

with S_{n-1} denoting the surface area of the unit sphere in n dimensions, which provides the angular measure for the radial integration.^[14] The integral can be solved explicitly to yield the gamma function form, often derived via connections to Gaussian integrals over \mathbb{R}^n.^[14] For specific low dimensions, the formula simplifies to familiar results. In two dimensions, the unit disk has area V_2 = \pi.^[14] In three dimensions, the unit ball has volume V_3 = \frac{4}{3} \pi.^[14] In high dimensions, the volume V_n exhibits concentration near the equator: for large n, most of the mass lies within a thin slab around the equatorial hyperplane perpendicular to any fixed coordinate axis.^[15] Specifically, for n \geq 3 and small \epsilon > 0, the proportion of volume within \epsilon of the equator satisfies

\operatorname{Vol}\left( B_1(0) \cap \{ x : |x_1| \leq \epsilon \} \right) \geq \left(1 - \frac{2\epsilon}{\sqrt{n-1}} \exp\left( -\frac{\epsilon^2 (n-1)}{2} \right) \right) V_n,

illustrating how the volume thins rapidly away from this central band.^[15]

Recurrence Formulas

Recurrence relations provide an efficient way to compute the volumes and surface areas of unit n-balls and (n-1)-spheres for successive integer dimensions, avoiding direct evaluation of more complex integrals. These formulas link the measures in dimension n to those in dimension n-2, allowing iterative calculation starting from low-dimensional cases. They are particularly useful for numerical computations in higher dimensions where closed-form expressions may be cumbersome.^[16] For the volume V_n of the unit n-ball in Euclidean space, the recurrence is given by

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

for n \geq 2, with initial conditions V_0 = 1 (the "volume" of a 0-dimensional point) and V_1 = 2 (the length of the unit interval).^[16] This relation arises from expressing the n-dimensional volume as an iterated integral over slices or using polar coordinates, reducing the problem to lower dimensions via Fubini's theorem. A proof sketch involves relating the volume to the Gaussian integral \int_{-\infty}^{\infty} e^{-x^2} \, dx = \sqrt{\pi}, which serves as the base case; higher-dimensional Gaussian integrals factor into products that project onto lower-dimensional subspaces, yielding the recursive factor after change of variables and normalization to the unit ball.^[16] Applying the recurrence yields explicit values for small n: V_2 = \pi, V_3 = \frac{4\pi}{3}, V_4 = \frac{\pi^2}{2}, and V_5 = \frac{8\pi^2}{15}. These computations require only about n/2 steps, making the method computationally advantageous for integer n up to moderate sizes, as each step involves simple multiplication and division.^[16] The surface area S_{n-1} of the unit (n-1)-sphere, which bounds the unit n-ball, satisfies S_{n-1} = n V_n. This follows from differentiating the scaled volume formula V_n(r) = V_n r^n with respect to the radius r, yielding the "infinitesimal shell" contribution at r=1, or equivalently from integrating the surface area: V_n = \int_0^1 S_{n-1} t^{n-1} \, dt = \frac{S_{n-1}}{n}.^[17] Substituting the volume recurrence gives

S_{n-1} = \frac{2\pi}{n-2} S_{n-3}

for n \geq 3, with initial conditions S_0 = 2 (two antipodal points) and S_1 = 2\pi (unit circle circumference). This can also be derived using integration by parts on the angular integrals in the volume expression.^[16]^[17] Examples include S_2 = 4\pi, S_3 = 2\pi^2, and S_4 = \frac{8\pi^2}{3}, computed iteratively in a similar stepwise manner. These recurrences offer a practical complement to the closed-form expressions using the Gamma function discussed in prior sections on geometric measures.^[16]

Extensions to Other Dimensions

Non-Integer Dimensions

The unit sphere and ball can be extended to non-integer dimensions α > 0 through analytic continuation of their defining measures using the Gamma function, which generalizes the factorial to real and complex arguments. The surface area of the unit sphere in α dimensions is given by S_\alpha = \frac{2 \pi^{\alpha/2}}{\Gamma(\alpha/2)}, while the volume of the unit ball is V_\alpha = \frac{\pi^{\alpha/2}}{\Gamma(\alpha/2 + 1)}. These expressions arise from integrating the Gaussian over \mathbb{R}^\alpha and reducing to polar coordinates, where the Gamma function emerges from the radial integral \int_0^\infty r^{\alpha-1} e^{-r^2} dr = \frac{1}{2} \Gamma(\alpha/2). For integer α = n, they recover the standard formulas, such as S_2 = 2\pi and V_3 = 4\pi/3. In non-integer dimensions, these measures lack direct geometric interpretation, as visualization relies on integer lattices, but they appear formally in contexts like power series expansions and Fourier transforms where fractional dimensionality parameterizes convergence or scaling. For instance, in analytic continuations of orthogonal polynomial integrals, the Gamma-based formulas ensure consistency across real α without invoking discrete structures. As α approaches 0 from above, V_\alpha \to 1 and S_\alpha \to 0, corresponding to a 0-dimensional "ball" as a single point (volume 1 by convention); while the 0-dimensional sphere is conventionally two points with measure 2, the analytic limit of the surface area formula is 0. As α → ∞, both V_\alpha \to 0 and S_\alpha \to 0, reflecting concentration of measure near the equator in high dimensions, with the volume peaking near α ≈ 5 and surface area near α ≈ 7 before decaying exponentially due to Stirling's approximation of the Gamma function, \Gamma(z) \sim \sqrt{2\pi/z} (z/e)^z. These extensions find applications in dimensional regularization within quantum field theory, where integrals over momentum space are continued to d = 4 - ε dimensions to isolate divergences, with sphere volumes providing the angular measure \Omega_d = S_d in the formulas. In fractal geometry, fractional-dimensional spheres model scaling in irregular spaces, such as Hausdorff dimension d_H = α for volumes V \propto R^\alpha, aiding analysis of self-similar sets without integer topology.

Arbitrary Radii

In Euclidean space \mathbb{R}^n, the geometric measures of balls and spheres scale with the radius r > 0 due to the homogeneity of the Euclidean norm \| \cdot \|_2, where \|rx\|_2 = r \|x\|_2 for any scalar r > 0 and vector x. This implies that the n-ball of radius r, defined as B_n(r) = \{ x \in \mathbb{R}^n : \|x\|_2 \leq r \}, is the image of the unit ball B_n(1) under scalar multiplication by r. Since this transformation is linear with Jacobian determinant r^n, the volume scales by r^n: V_n(r) = r^n V_n(1). Similarly, the (n-1)-sphere of radius r, S^{n-1}(r) = \{ x \in \mathbb{R}^n : \|x\|_2 = r \}, scales by r^{n-1} in surface area, as it is the boundary of the scaled ball.^[18] The explicit volume formula for the n-ball of radius r is

V_n(r) = \frac{\pi^{n/2} r^n}{\Gamma\left( \frac{n}{2} + 1 \right)},

where \Gamma denotes the gamma function; this follows from integrating in hyperspherical coordinates and scaling the unit case.^[18] Likewise, the surface area of the (n-1)-sphere of radius r is

S_{n-1}(r) = \frac{2 \pi^{n/2} r^{n-1}}{\Gamma\left( \frac{n}{2} \right)},

derived as the derivative of the volume with respect to r (up to a factor), S_{n-1}(r) = n V_n(r) / r, and equivalently r^{n-1} times the unit surface area.^[19] For example, in three dimensions (n=3), the surface area simplifies to S_2(r) = 4\pi r^2, which approximates the total surface area of planetary bodies like Earth (mean radius approximately 6371 km, yielding about 510 million km²).^[18]^[20] This formula is applied in geophysics and astronomy to model surface coverage, such as land distribution or solar irradiance on spherical approximations of planets.^[20]

Generalizations Beyond Euclidean Space

Normed Vector Spaces

In a finite-dimensional normed vector space (V, \|\cdot\|), the unit sphere is the set S = \{ x \in V \mid \|x\| = 1 \}, while the unit ball is B = \{ x \in V \mid \|x\| \leq 1 \}. These generalize the Euclidean unit sphere and ball, where the norm induces a geometry that need not be rotationally symmetric. The unit ball B is always convex, as the triangle inequality \|x + y\| \leq \|x\| + \|y\| and homogeneity \|\lambda x\| = |\lambda| \|x\| for \lambda \in \mathbb{R} ensure that for any x, y \in B and t \in [0,1], tx + (1-t)y \in B. A prominent family of norms is the \ell_p norms on \mathbb{R}^n, defined for $1 \leq p < \infty by

\|x\|_p = \left( \sum_{i=1}^n |x_i|^p \right)^{1/p},

and for p = \infty by \|x\|_\infty = \max_{1 \leq i \leq n} |x_i|. These yield distinct unit spheres: in \mathbb{R}^2, the p=1 case forms a diamond (with vertices at (\pm 1, 0) and (0, \pm 1)), the p=2 case a circle, and the p=\infty case a square (with vertices at (\pm 1, \pm 1)). The \ell_p unit ball is strictly convex for $1 < p < \infty, meaning its boundary contains no nontrivial line segments; this holds in particular for the Euclidean norm (p=2), where the sphere is a smooth hypersurface. However, for p=1 and p=\infty, the unit ball is not strictly convex, featuring flat faces along which line segments lie. The \ell_p unit sphere fails to be a smooth manifold for p=1 and p=\infty, as the norm is not differentiable at points where coordinates achieve extrema (e.g., along axes for p=1), resulting in corners and kinks on the boundary. In contrast, for $1 < p < \infty, the sphere is a smooth (n-1)-dimensional submanifold of \mathbb{R}^n. Computing volumes and surface areas of unit balls and spheres in general norms is challenging, often requiring numerical methods or case-specific techniques, as no universal closed-form expressions exist beyond symmetric cases. For \ell_p norms, explicit formulas are available via integrals reducible to the beta function B(a,b) = \int_0^1 t^{a-1} (1-t)^{b-1} \, dt = \frac{\Gamma(a) \Gamma(b)}{\Gamma(a+b)} for a,b > 0. The volume of the \ell_p unit ball in \mathbb{R}^n is

V_n(p) = \frac{\left[ 2 \Gamma\left(1 + \frac{1}{p}\right) \right]^n}{\Gamma\left(1 + \frac{n}{p}\right)},

derived by expressing the volume as an n-fold integral over the positive orthant and substituting Dirichlet coordinates, which yield products of beta functions. The surface area S_n(p) of the corresponding unit sphere follows by differentiating the volume with respect to radius or via polar-like coordinates, scaling as S_n(p) = n V_n(p). These measures highlight how the \ell_p geometry transitions from polyhedral (p=1) to rounded (p=2) to again polyhedral (p=\infty) shapes, with volumes peaking near p=2 in low dimensions.

Metric Spaces

In a metric space (X, d), the unit sphere centered at a base point o \in X is defined as the set S_o = \{ x \in X \mid d(o, x) = 1 \}, while the unit ball is B_o = \{ x \in X \mid d(o, x) \leq 1 \}.^[21] This generalizes the Euclidean notion but strips away vector space structure, allowing X to be any set equipped with a distance function satisfying the metric axioms.^[22] Unlike Euclidean spheres, these sets lack inherent geometric regularity and may fail basic topological properties. For example, in the discrete metric space where d(x, y) = 1 if x \neq y and d(x, x) = 0, the unit sphere S_o comprises all points in X \setminus \{o\}, forming a countable discrete collection of isolated points if X is countably infinite.^[22] This sphere is neither compact (lacking finite subcovers for its open cover by singletons) nor connected (decomposable into disjoint open subsets if |X| > 2).^[23] In contrast, within a hyperbolic metric space, such as the Poincaré disk model, the unit sphere around o is a connected, compact curve homeomorphic to a circle, influenced by the space's constant negative curvature.^[24] Topologically, the unit sphere's properties depend heavily on the ambient space's structure. Compactness holds if S_o is closed and totally bounded, but in general complete bounded metric spaces, the closed unit ball B_o is compact only under total boundedness, with the sphere as its boundary inheriting limited guarantees.^[25] The homotopy type varies widely; for instance, it may resemble the standard n-sphere in finite-dimensional cases but can be contractible or otherwise in infinite or irregular settings, relating to topological constructions like the suspension of lower-dimensional spheres.^[1] Without additional measure-theoretic structure, no canonical volume exists on S_o; analysis instead emphasizes cardinality (finite or infinite in discrete examples) or Hausdorff dimension, which quantifies "roughness" in fractal metric spaces like the Sierpinski gasket, where subsets such as unit spheres exhibit non-integer dimensions between 1 and 2.^[26] In normed vector spaces, where the metric derives from a norm, the unit sphere often mirrors Euclidean homotopy types, though the focus here remains on metric-induced topology without linearity.^[1]

Quadratic Forms

In the context of a real finite-dimensional vector space equipped with a symmetric bilinear form, a quadratic form Q(\mathbf{x}) = \mathbf{x}^T A \mathbf{x}, where A is a symmetric matrix, provides a natural generalization of the Euclidean norm. For A positive definite, the unit sphere is defined as the level set S = \{ \mathbf{x} \in \mathbb{R}^n \mid Q(\mathbf{x}) = 1 \}. This set forms a compact hypersurface known as an ellipsoid embedded in the ambient Euclidean space, contrasting with the round unit sphere obtained when A = I_n, the identity matrix.^[27]^[28] By the spectral theorem for symmetric matrices, A admits an orthogonal diagonalization A = P D P^T, where P is orthogonal and D = \operatorname{diag}(\lambda_1, \dots, \lambda_n) with \lambda_i > 0 for all i. Substituting \mathbf{y} = P^T \mathbf{x} transforms the equation to \sum_{i=1}^n \lambda_i y_i^2 = 1, or equivalently, \sum_{i=1}^n \frac{y_i^2}{1/\lambda_i} = 1. This describes an axis-aligned ellipsoid in the \mathbf{y}-coordinates, with semi-axes lengths $1/\sqrt{\lambda_i} along the eigenvectors of A. The transformation P rotates and orients the ellipsoid in the original coordinates, preserving the underlying Euclidean geometry induced by the inner product \langle \mathbf{x}, \mathbf{y} \rangle_A = \mathbf{x}^T A \mathbf{y}. In this inner product space, S is isometric to the standard unit sphere.^[28]^[29] The volume enclosed by such an ellipsoid can be computed via affine transformations from the Euclidean case, scaling by the absolute value of the determinant of the matrix B where A = B^T B. The surface area, however, requires more complex computations, often without closed-form expressions except in special cases, and generally involves the eigenvalues of A, such as through series expansions or numerical methods. For indefinite quadratic forms, the level set Q(\mathbf{x}) = 1 yields non-compact surfaces like hyperboloids, which generalize the sphere to pseudo-Euclidean geometries but deviate from the compact "unit sphere" topology.^[27]^[30]

References

[1]
sphere in nLab
Sep 30, 2025 · Definition 1.1. The n n -dimensional unit sphere , or simply n n -sphere, is the topological space given by the subset of the ( n + 1 ) ...
[2]
Hypersphere -- from Wolfram MathWorld
The n -hypersphere (often simply called the n -sphere) is a generalization of the circle (called by geometers the 2-sphere) and usual sphere (called by ...
[3]
Balls and spheres - wiki.math.ntnu.no - Institutt for matematiske fag
The sets B1 and S1 are called the unit ball and unit sphere, respectively. Ex. The ball of radius 2 centered at (1,0) in Euclidean space R2: ... n}n∈N=(x1,x2,…).
[4]
ALAFF Unit ball - UT Computer Science
In 3-dimensional space, the notion of the unit ball is intuitive: the set of all points that are a (Euclidean) distance of one from the origin.
[5]
Euclidean Ball - an overview | ScienceDirect Topics
A Euclidean ball is defined as a closed subset of Euclidean space that consists of all points within a certain distance (radius) from a central point.
[6]
[PDF] NOTES ON MANIFOLDS (239) - UC Davis Math
Rn itself is an n-dimensional manifold. The differential structure is determined by the one-chart atlas {(Rn, id)}. 1.2.2. Spheres. By ...
[7]
Parametric Equation of a Circle - Math Open Reference
A circle can be defined as the locus of all points that satisfy the equations x = r cos(t) y = r sin(t) where x,y are the coordinates of any point on the ...
[8]
[PDF] arXiv:2005.09603v1 [math-ph] 19 May 2020
May 19, 2020 · This paper discusses the extension of spherical harmonics to N dimensions using hyperspherical coordinates and introduces hyperspherical ...
[9]
[PDF] arXiv:1708.03100v1 [math-ph] 10 Aug 2017
Aug 10, 2017 · The relations between the Cartesian coordinates xi and the hyperspherical coordinates r and θb in. N dimensional space are defined x1 ...
[10]
[PDF] arXiv:2310.03960v1 [math.SP] 6 Oct 2023
Oct 6, 2023 · In this section, we first review vector calculus in hyperspherical coordinates. We then define and record several important properties of the ...
[11]
Prove the formula of the area of a unit sphere $A_d=\frac{2\pi^{d/2 ...
Oct 9, 2016 · Prove the formula of the area of a unit sphere Ad=2πd/2Γ(d/2) ... where Ad denote the area of the unit sphere in Rd. Use polar coordinates and the ...
[12]
Sphere -- from Wolfram MathWorld
A sphere is defined as the set of all points in three-dimensional Euclidean space R^3 that are located at a distance r (the "radius") from a given point ...Missing: unit | Show results with:unit
[13]
rnaf086.pdf - Oxford Academic
Consider the standard metric gSn on the unit sphere Sn. In this case, the sectional curvature K = 1, the. Ricci curvature Ric = (n − 1)gSn , and the scalar ...<|control11|><|separator|>
[14]
[PDF] High-Dimensional Probability - UCI Mathematics
Sep 24, 2025 · Page 1. High-Dimensional Probability. An Introduction with Applications in Data Science. Second Edition. Roman Vershynin. September 24, 2025.
[15]
[PDF] Lecture Notes on High-Dimensional Data - arXiv
Figure 2.3. Most of the volume is located close to the equator of the unit ball. Proof. We first observe that the statement is trivial for ...
[16]
https://scholar.rose-hulman.edu/rhumj/vol15/iss1/14
[17]
[PDF] The volume and surface area of an n-dimensional hypersphere
The factor of Rn is a consequence of dimensional analysis. The surface “area” of the n-dimensional hypersphere defined by eq. (1) will be denoted by Sn−1( ...<|control11|><|separator|>
[18]
[PDF] VOLUMES OF n-DIMENSIONAL SPHERES AND ELLIPSOIDS
In Section 3 we use a simple argument to show that the unit sphere in n dimensions is contained in a set of of thin boxes, and that the volume of these boxes ...
[19]
[PDF] The volume and surface area of an n-dimensional hypersphere
n = R2. We can construct the volume Vn(R) by adding infinitely thin spherical shells of radius 0 ≤ r ≤ R. In equation form, this reads: Vn(R) = ∫. R. 0. Sn−1(r) ...
[20]
Compare Earth and the Moon - NASA Science
Jul 23, 2025 · SURFACE AREA The outer or uppermost part of a planet, moon, asteroid, comet or other body. 37,936,694.79 km2, 510,064,472 km2. SURFACE GRAVITY
[21]
[PDF] General Definitions
The metric sphere with center x0 ∈ X and radius r > 0 is defined by. S(x0,r) = {x ∈ X : d(x0,x) = r}. For the norm metric on an n-dimensional normed vector ...
[22]
[PDF] Metric Spaces - UC Davis Math
Boundaries of the unit balls B1(0) in R2 for the ℓ1-norm (diamond), the ℓ2-norm (circle), and the ℓ∞-norm (square). ... ℓp-norm defined in Example 7.15 is a ...
[23]
A Topology Given By A Metric - Department of Mathematics at UTSA
Nov 13, 2021 · Motivation. The open ball is the building block of metric space topology. We shall define intuitive topological definitions through it (that ...
[24]
[PDF] Hyperbolic geometry MA 448 - University of Warwick
Mar 1, 2013 · disk model of hyperbolic space D with the hyperbolic metric. Theorem ... We shall study the upper half plane and unit disk models of hyperbolic ...
[25]
[PDF] Compactness in metric spaces
The metric space X is said to be compact if every open covering has a finite subcovering.1. This abstracts the Heine–Borel property; indeed, the Heine–Borel.
[26]
Dimension: from discrete to general metric spaces - Quantum Calculus
Dec 18, 2016 · ... unit sphere is a graph theoretical 2-sphere) has this property. ... metric space can be defined as the maximum of all dimensions dim_r(x) ...
[27]
[PDF] Quadratic Forms Math 422 Definition 1
Let SnL1 denote the unit (n − 1)-dimensional sphere in Rn, i.e., relative to the Euclidean inner product. SnL1 = {x ∈Rn : hx,xi = 1}. Since SnL1 is a closed and ...
[28]
[PDF] Quadratic Forms
Level sets of quadratic forms. What does the solution set of. 4x, x2 + 5x₂² ... an ellipsoid with principal axes (in the directions of us, the, why) of ...
[29]
Econ 204 2018
The level set is empty if C < 0. • If λi ≤ 0 for all i, the level set is an ellipsoid, with principal axes in the directions v1,...,vn. The length of the ...
[30]
HTML - Stanford Engineering Everywhere
So ellipsoids – an ellipsoid is a sub-level set of a quadratic form. So if ... So an ellipsoid is a sublevel set of a positive definite quadratic form.