Metric space

In mathematics, a metric space is a special set of points where we can measure the distance between any two points. This distance is determined by a special kind of function called a metric or distance function. Metric spaces provide a general way to study many ideas in mathematical analysis and geometry.

The most common example of a metric space is everyday space — like the world around us — where we measure distance using rulers or maps. But metric spaces can also describe other kinds of distances. For example, on a round ball or sphere, we can measure distance along its surface, and in computer science, we can measure how different two text strings are by counting how many letters need to be changed to make them match.

Metric spaces are important in many areas of mathematics. They help us understand shapes, spaces, and even number systems in a unified way. By studying metric spaces, mathematicians can explore ideas like closeness, continuity, and how points relate to each other in many different kinds of spaces.

Definition and illustration

To understand metric spaces, think about measuring distance on Earth. We can measure the distance between two points along the Earth's surface, which is useful for ships and airplanes. We can also measure the straight-line distance through the Earth, which helps scientists study earthquakes.

A metric space is a set of points with a way to measure the distance between any two points. This distance measurement, called a metric, follows four simple rules: the distance from a point to itself is zero; the distance between two different points is always positive; the distance from point A to point B is the same as from B to A; and the distance from A to C is always less than or equal to the distance from A to B plus the distance from B to C. These rules help us understand distances in many different situations, not just on Earth.

For example, the real numbers can be a metric space where the distance between two numbers is their absolute difference. We can also define different ways to measure distance on a grid, like moving only along horizontal and vertical lines, or considering the maximum of the horizontal and vertical differences. These different ways of measuring distance still follow the same four rules, showing how flexible and useful metric spaces can be.

History

Early mathematicians like Arthur Cayley explored ideas of distance in new ways, helping to create models for different types of geometry, including elliptic geometry and hyperbolic geometry. Later, René Maurice Fréchet and Felix Hausdorff introduced the idea of a metric space in the early 1900s, which allowed math to study concepts like closeness and smoothness in more general settings.

This idea became very important in many areas of math, such as topology, geometry, and applied mathematics. It helped mathematicians understand and work with functions and sequences in new and flexible ways, shaping the way we study modern mathematics today.

Basic notions

A distance function helps us understand closeness and convergence in mathematics. It allows us to study properties that depend on this idea of distance, called metric properties. Every metric space is also a topological space, meaning we can talk about open and closed sets without needing to measure distance exactly.

In a metric space, we can define an open ball around any point — this is the set of all points that are closer to that point than a certain distance. These open balls help create a topology, which tells us which sets are open. Not all topological spaces can be given a metric, but those that can, called metrizable spaces, have nice properties that make them easier to study.

Functions between metric spaces

Main article: Isometry

In metric spaces, we study different types of functions that help us understand how these spaces relate to each other. One important type is an isometry. An isometry is a function that keeps distances exactly the same between any two points. If two metric spaces have an isometry between them, we say they are isometric, meaning they are essentially identical in terms of their distances.

Another type is a continuous map. Continuous maps preserve the general shape and structure of the spaces, but they don’t necessarily keep distances the same. There are different ways to define continuity, such as using sequences or special rules involving small numbers called epsilon and delta.

Other important types include Lipschitz maps, which stretch distances by no more than a certain amount, and quasi-isometries, which preserve the large-scale structure of the space even if they don’t keep exact distances. These different types of functions help mathematicians study and compare metric spaces in various ways.

Main article: Continuous function (topology)

Main article: Uniform continuity

Main article: Lipschitz continuity

Main article: Quasi-isometry

Metric spaces with additional structure

Main article: Normed vector space

A normed vector space is a special kind of space where we can measure the "length" of vectors. This length measurement is called a norm. With a norm, we can also define a distance between any two points by simply measuring the norm of their difference. This distance measurement turns the vector space into a metric space, where distances follow specific rules.

Length spaces and Riemannian manifolds are other types of metric spaces with extra rules. In length spaces, the distance between points is determined by measuring the length of paths connecting them. Riemannian manifolds use a concept called a metric tensor to define distances, which allows for measuring distances in curved spaces like the surface of a planet. These spaces are important in studying geometry and physics.

Metric measure spaces combine a metric with a way to measure "size" or "volume," allowing mathematicians to study concepts from analysis in more general settings.

Further examples and applications

Metric spaces have many interesting applications in both mathematics and computer science. One important example is how graphs can be turned into metric spaces. For any connected graph, we can measure the distance between two points by counting the number of edges in the shortest path connecting them. This idea is also used in studying groups and their properties.

Another key area is embedding complex metric spaces into simpler ones while keeping distances approximately the same. This is especially useful in computer science for designing efficient algorithms. For example, any finite metric space can be embedded into a tree structure with controlled distortion, which helps in solving problems like network design and clustering more efficiently.

We also study distances between different mathematical objects, such as functions, strings, and graphs. For instance, we can measure how different two strings are by counting the number of changes needed to turn one into the other. These ideas help in fields like computational linguistics and coding theory.

Generalizations of metric spaces

Metric spaces are sets with a way to measure distance between points. This idea can be stretched and changed in many ways to create new kinds of spaces!

Some spaces keep the idea of distance but change how it works. For example:

• Uniform spaces don’t have a distance number, but they still have a way to talk about things being “close” to each other.
• Approach spaces measure how close a point is to a group of points, not just to another point.
• Continuity spaces mix ideas from metric spaces and another math idea called posets.

We can also change the rules for how distance works. Sometimes, distances can be “infinite”. Other times, we might only care about distances inside special number systems. All these changes still give us useful ways to study spaces!