---
title: "Metric Spaces: Distance as an Axiom"
description: "Keep only the properties distance must have, and check how much of the analysis of the real line survives on that alone."
canonical: https://lightmysky.com/learn/mathematics/metric-spaces-distance-as-an-axiom-mt_A3TMb8wL6k
source: https://lightmysky.com/learn/mathematics/metric-spaces-distance-as-an-axiom-mt_A3TMb8wL6k.md
retrieved: 2026-09-12
---

> **Agent view.** This is the Markdown twin of the page, for tools and assistants.
> When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md
> API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md
> Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt
> Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json
> Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`.

# Metric Spaces: Distance as an Axiom

Keep only the properties distance must have, and check how much of the analysis of the real line survives on that alone.

Subject: Mathematics · Area: Topology · Ages 20 to 21
Page: https://lightmysky.com/learn/mathematics/metric-spaces-distance-as-an-axiom-mt_A3TMb8wL6k

## Ready when they can

- State the metric axioms and verify them for an unfamiliar example such as a function space
- Redefine convergence and continuity using only the metric
- Give two metrics on one set that disagree about which sequences converge

## Lesson: Distance as a short list of rules

A metric turns distance into four axioms: nonnegativity, identity of indiscernibles, symmetry, and the triangle inequality. Anything satisfying all four earns the name, however exotic. Test candidates ruthlessly, since many plausible distances fail symmetry or the triangle part.

**Example.** The discrete metric puts distinct points one unit apart and identical points at zero. Under the usual metric, 1 over n tends to 0, but discretely it never settles: discrete convergence demands eventual constancy, which a strictly moving sequence lacks.

Convergence and continuity need only a metric. A sequence arrives at x when distances shrink to zero, and a function is continuous at a when nearby points map to nearby values. Sequential continuity matches ball continuity here. On continuous functions the uniform metric takes the maximum gap, and its triangle inequality holds because pointwise control survives taking the maximum.

**Tip.** One set can carry rival metrics that disagree. With radius 0.01 about zero, the first 100 terms of 1 over n sit outside, since 1 over n reaches 0.01 exactly at n equal 100. Arrival belongs to the ruler, not just the points, which opens the door to topology.

**Recap.** Four axioms buy convergence and continuity, and the choice of ruler decides which sequences arrive.

## Practice

17 questions on this page, each with its working shown.

## Needs first

- [Continuity and Uniform Continuity](https://lightmysky.com/learn/mathematics/continuity-and-uniform-continuity-mt_plWc9raOwz)
- [The Completeness Axiom: Suprema and Infima](https://lightmysky.com/learn/mathematics/the-completeness-axiom-suprema-and-infima-mt_xjI-pIfh95)

## Opens up

- [Open Sets, Closed Sets and Limit Points](https://lightmysky.com/learn/mathematics/open-sets-closed-sets-and-limit-points-mt_9bBdT38dbB)
- [Topological Spaces: Continuity Without Distance](https://lightmysky.com/learn/mathematics/topological-spaces-continuity-without-distance-mt_D2oPq0AVhI)