Ball (mathematics)

In mathematics, a ball is a solid figure that fills a specific region of space. While people often use the word "sphere" to describe a round object, a sphere is actually just the hollow outer boundary. The ball is the entire volume contained within that boundary. Mathematicians distinguish between two specific types of balls based on their edges. An open ball consists of all points that are a certain distance from a center, but it does not include the boundary itself. A closed ball includes every point within the radius, as well as the boundary points that form the sphere.

The concept of a ball changes depending on the number of dimensions being studied. In a one-dimensional space, a ball is simply a line segment. In a two-dimensional Euclidean plane, a ball is known as a disk, which is the region bounded by a circle. In our familiar three-dimensional Euclidean space, a ball is the region bounded by a two-dimensional sphere. When mathematicians move into much higher dimensions, they refer to these shapes as hyperballs or n-balls. These higher-dimensional shapes are bounded by what is called a hypersphere or an (n-1)-sphere.

To understand how a ball works, we must look at the distance from its center. In Euclidean space, an open n-ball of radius r and center x is the set of all points whose distance from x is strictly less than r. For a closed n-ball, the distance can be less than or equal to r. These definitions allow us to calculate the volume of these shapes. The volume of an n-dimensional Euclidean ball depends on its radius and the number of dimensions. The formula for this volume involves Leonhard Euler's gamma function, which is a way to extend the idea of factorials to fractional numbers.

While we usually think of balls as being perfectly round, their shape depends entirely on the "metric" or the rule used to measure distance. A metric is a function that defines how far apart two points are. In a general metric space, a ball is simply the set of points within a certain distance from a center. Because different rules change how we measure distance, balls can take on many different forms. For instance, in a space using the Chebyshev distance, a ball actually looks like a hypercube. In a space using the taxicab distance, the ball takes the shape of a cross-polytope, which can look like a diamond or an octahedron.

Taxicab geometry is a great way to visualize these different shapes. In this system, distance is measured as if you were traveling along the grid of city streets rather than flying in a straight line. This is why it is often called the Manhattan metric. Under this rule, a ball does not look like a smooth circle. Instead, it forms a shape with straight edges. These different geometric structures help mathematicians study the properties of different spaces. Even within normed vector spaces, where balls are always convex, the specific shape remains tied to the chosen norm.

In the field of topology, the study of shapes, mathematicians use "topological balls." A topological n-ball is a subset of a space that is homeomorphic to a standard Euclidean ball. Homeomorphic means that one shape can be stretched or bent into another without tearing it. Topological balls are very important because they serve as the building blocks for complex structures called cell complexes. An open topological ball is homeomorphic to Cartesian space, while a closed topological ball is homeomorphic to a closed hypercube. This allows researchers to study the fundamental structure of spaces regardless of how they are bent.

Finally, we can identify several special regions within a ball that are useful for geometry. A "cap" is a region bounded by a single plane. A "shell" is the area located between two concentric spheres that have different radii. There are also "wedges," which are regions bounded by two planes that pass through the center of the sphere. By dividing a ball into these specific parts, mathematicians can analyze complex volumes and surfaces. Understanding these divisions helps in everything from calculating surface areas to studying the properties of higher-dimensional manifolds.