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 found using a special function called a metric or distance function.

Metric spaces help us study many ideas in mathematical analysis and geometry.

The most common example of a metric space is the world around us. 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. 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 number systems in a simple way. By studying metric spaces, mathematicians can explore ideas like closeness 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 looked at ideas about distance in new ways. This helped them create models for different kinds of geometry, like elliptic geometry and hyperbolic geometry.

Later, René Maurice Fréchet and Felix Hausdorff introduced the idea of a metric space in the early 1900s. This let math study ideas like closeness and smoothness in more general ways.

Metric spaces became very important in many areas of math, such as topology, geometry, and applied mathematics. They helped mathematicians understand and work with functions and sequences better, shaping how we study math today.

Basic notions

A distance function helps us understand closeness in mathematics. It lets us study properties that depend on the idea of distance, called metric properties. Every metric space is also a topological space. This means 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. A topology tells us which sets are open. Not all topological spaces can be given a metric, but those that can are called metrizable spaces. These spaces have nice properties that make them easier to study.

Functions between metric spaces

Main article: Isometry

In metric spaces, we learn about special ways to compare different spaces. One important way is called an isometry. An isometry is a rule that keeps distances the same between any two points. If two metric spaces have an isometry, we say they are isometric. This means they look the same in terms of how far apart points are.

Another type is a continuous map. Continuous maps keep the overall shape and layout of the spaces, but they don’t always keep distances exactly the same. There are many ways to describe continuity, like using sequences or special rules with tiny numbers.

Other important types include Lipschitz maps, which change distances by only a small, fixed amount, and quasi-isometries, which keep the big picture of the space the same, even if small distances change. These different types of maps help mathematicians study and compare metric spaces in many useful 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 space where we can measure the "length" of vectors. This length is called a norm. With a norm, we can find the distance between any two points by measuring the norm of their difference. This makes the space a metric space, where distances follow certain rules.

Length spaces and Riemannian manifolds are other types of metric spaces with extra rules. In length spaces, the distance between points is found by measuring the length of paths connecting them. Riemannian manifolds use a metric tensor to define distances, which helps measure distances on curved surfaces like a planet. These spaces are important for studying geometry and physics.

Metric measure spaces combine a metric with a way to measure "size" or "volume," helping mathematicians study ideas in more general settings.

Further examples and applications

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

Another important use is embedding complex metric spaces into simpler ones while keeping distances about the same. This is helpful in computer science for creating efficient algorithms. For example, any finite metric space can be placed into a tree structure with controlled changes, which helps solve problems like designing networks and grouping data more effectively.

We also look at distances between different math objects, such as functions, strings, and graphs. For example, we can measure how different two strings are by counting the number of changes needed to turn one into the other. These ideas are useful 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 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!