N-sphere

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 (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 mathematics, two points of a sphere (or n-sphere, including a circle) are called antipodal or diametrically opposite if they are the endpoints of a diameter, a straight line segment between two points on a sphere and passing through its center.

Given any point on a sphere, its antipodal point is the unique point at greatest distance, whether measured intrinsically (great-circle distance on the surface of the sphere) or extrinsically (chordal distance through the sphere's interior). Every great circle on a sphere passing through a point also passes through its antipodal point, and there are infinitely many great circles passing through a pair of antipodal points (unlike the situation for any non-antipodal pair of points, which have a unique great circle passing through both). Many results in spherical geometry depend on choosing non-antipodal points, and degenerate if antipodal points are allowed; for example, a spherical triangle degenerates to an underspecified lune if two of the vertices are antipodal.

In differential geometry, a Riemannian manifold (or Riemann space) is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the ${\displaystyle n}$-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifolds. Riemannian manifolds take their name from German mathematician Bernhard Riemann, who first conceptualized them in 1854.

Formally, a Riemannian metric (or just a metric) on a smooth manifold is a smoothly varying choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport.

Spherical geometry or spherics (from Ancient Greek σφαιρικά) is the geometry of the two-dimensional surface of a sphere or the n-dimensional surface of higher dimensional spheres.

Long studied for its practical applications to astronomy, navigation, and geodesy, spherical geometry and the metrical tools of spherical trigonometry are in many respects analogous to Euclidean plane geometry and trigonometry, but also have some important differences.

In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as S because it is a one-dimensional unit n-sphere.

If (x, y) is a point on the unit circle's circumference, then |x| and |y| are the lengths of the legs of a right triangle whose hypotenuse has length 1. Thus, by the Pythagorean theorem, x and y satisfy the equation$${\displaystyle x^{2}+y^{2}=1.}$$

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two dimensions, conformal geometry may refer either to the study of conformal transformations of what are called "flat spaces" (such as Euclidean spaces or spheres), or to the study of conformal manifolds that are Riemannian or pseudo-Riemannian manifolds with a class of metrics that are defined up to scale. Study of the flat structures is sometimes termed Möbius geometry, and is a type of Klein geometry.

In mathematics, a hypersphere or 3-sphere is a 4-dimensional analogue of a sphere, and is the 3-dimensional n-sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. The interior of a 3-sphere is a 4-ball.

It is called a 3-sphere because topologically, the surface itself is 3-dimensional, even though it is curved into the 4th dimension. For example, when traveling on a 3-sphere, you can go north and south, east and west, or along a 3rd set of cardinal directions. This means that a 3-sphere is an example of a 3-manifold.

The hairy ball theorem of algebraic topology (sometimes called the hedgehog theorem) states that there is no nonvanishing continuous tangent vector field on even-dimensional n-spheres. For the ordinary sphere, or 2‑sphere, if f is a continuous function that assigns a vector in ℝ to every point p on a sphere such that f(p) is always tangent to the sphere at p, then there is at least one pole, a point where the field vanishes (a p such that f(p) = 0).

The theorem was first proven by Henri Poincaré for the 2-sphere in 1885, and extended to higher even dimensions in 1912 by Luitzen Egbertus Jan Brouwer.

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 ⁠${\displaystyle n}$⁠-sphere is an ⁠${\displaystyle n}$⁠-sphere of unit radius in ⁠${\displaystyle (n+1)}$⁠-dimensional Euclidean space; the unit circle is a special case, the unit ⁠${\displaystyle 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.

A gnomonic projection, also known as a central projection or rectilinear projection, is a perspective projection of a sphere, with center of projection at the sphere's center, onto any plane not passing through the center, most commonly a tangent plane. Under gnomonic projection every great circle on the sphere is projected to a straight line in the plane (a great circle is a geodesic on the sphere, the shortest path between any two points, analogous to a straight line on the plane). More generally, a gnomonic projection can be taken of any n-dimensional hypersphere onto a hyperplane.

The projection is the n-dimensional generalization of the trigonometric tangent which maps from the circle to a straight line, and as with the tangent, every pair of antipodal points on the sphere projects to a single point in the plane, while the points on the plane through the sphere's center and parallel to the image plane project to points at infinity; often the projection is considered as a one-to-one correspondence between points in the hemisphere and points in the plane, in which case any finite part of the image plane represents a portion of the hemisphere.