Nepedia
Back to Discover
Advanced Reader
🔢

Metric space

math Maturity 11-13 Next article →

A metric space is a mathematical structure used to define distance. It consists of an ordered pair containing a set of points and a specific rule called a metric. This metric is a function that assigns a numerical value to the distance between any two points in the set.

Functions between metric spaces
Functions between metric spaces

Metric spaces provide a general framework for studying many concepts in geometry and mathematical analysis. They allow mathematicians to move beyond physical space and apply the idea of distance to abstract objects. This flexibility makes them essential for understanding how different mathematical systems behave.

To qualify as a metric, a function must follow four strict axioms for all points in a set. First, the distance from a point to itself must be exactly zero, a property called positivity. Second, the distance between any two distinct points must always be a positive number. Third, the metric must be symmetric, meaning the distance from point A to B is identical to the distance from B to A. Finally, the metric must satisfy the triangle inequality.

This last rule states that a direct path between two points is never longer than a path that takes a detour through a third point.

There are many different types of metrics used to describe various spaces. The most common is the Euclidean metric, which measures the straight-line distance familiar in school geometry. In a plane, the taxicab or Manhattan distance measures movement along horizontal and vertical lines, much like a car navigating city streets.

Manhattan distance
Manhattan distance

Another type is the Chebyshev distance, which can be compared to the number of moves a king makes on a chessboard. For more abstract sets, like strings of characters, mathematicians use the Hamming distance to count how many characters must change to make two strings identical.

Minkowski distance examples
Minkowski distance examples

In a discrete metric, every distinct point is exactly one unit apart, treating the set as a collection of undifferentiated points.

The history of these concepts involves several influential mathematicians. Arthur Cayley extended distance ideas beyond Euclidean geometry using a method involving the logarithm of a cross ratio. Felix Klein later used these methods to establish the field of non-Euclidean geometry. In 1906, René Maurice Fréchet developed work that laid the foundation for understanding convergence and continuity in non-geometric spaces.

Diameter of a Set
Diameter of a Set

The specific term "metric space" was coined by Felix Hausdorff in 1914. Later, mathematicians like Stefan Banach expanded the framework through his work in functional analysis, which relied heavily on metric structures.

Metric spaces allow for the definition of several important mathematical properties. One such concept is the open ball, which is the set of all points within a specific distance from a center point. This helps define neighborhoods and open sets, which are used to build a topology.

Minkowski distance examples
Minkowski distance examples

Another critical concept is completeness. A metric space is considered complete if it has no "missing points." In a complete space, every Cauchy sequence—a sequence where points get closer to each other—actually converges to a limit within that space. For example, the real numbers are complete, but the set of rational numbers is not because it lacks irrational numbers.

These spaces can also be viewed as subspaces. If you take a subset of a metric space, you can create a new metric space by using the same distance rule from the original set. For instance, a two-dimensional sphere can be treated as a subspace of three-dimensional Euclidean space. When this happens, the Euclidean metric on the larger space induces a straight-line metric on the sphere.

This allows complex shapes to be studied using the familiar rules of the spaces they inhabit.

Metric spaces connect many different branches of mathematics. They are used in Riemannian manifolds, normed vector spaces, and graph theory. In abstract algebra, the field of p-adic numbers is created by completing the rational numbers using a specific metric. They also serve as a bridge to topology, where some metric properties can be studied without any reference to distance at all. This connection helps mathematicians understand which properties belong to the shape of a space and which belong to the way we measure it.

686 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (6)
File:Manhattan distance.svg
Manhattan distance.svg
File:Great-circle distance vs straight line distance.svg
Great-circle distance vs straight line...
File:Minkowski_distance_examples.svg
Minkowski_distance_examples.svg
File:Diameter of a Set.svg
Diameter of a Set.svg
File:Functions between metric spaces.svg
Functions between metric spaces.svg
File:approximate arc length.svg
approximate arc length.svg
More to explore

🔬 Go deeper

More advanced topics to explore

🪜 Step back

Simpler topics to build understanding

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.