Un espace métrique est un ensemble X muni d'une fonction d : X × X → [0, ∞) (la métrique) vérifiant pour tous x,y,z : d(x,y) ≥ 0 avec égalité ssi x = y (identité des indiscernables), d(x,y) = d(y,x) (symétrie) et d(x,z) ≤ d(x,y) + d(y,z) (inégalité triangulaire).

Principe

La distance quantifie la proximité entre points avec une structure suffisante pour induire une topologie, la convergence et la continuité ; les axiomes métriques garantissent une notion cohérente de séparation et de bornes indépendantes du chemin.

Démonstration

L'espace Euclidien R^n avec la distance euclidienne usuelle est un espace métrique ; la métrique discrète d(x,y)=1 pour x ≠ y et 0 sinon est un exemple où tout sous-ensemble est ouvert ; une norme sur un espace vectoriel induit une métrique via d(x,y)=||x-y||.

Mauvaise application

Confondre métriques et pseudométries (qui permettent des points distincts à distance zéro) ou quasi-métries (pouvant manquer de symétrie), ou appliquer des critères de compacité métriques à des topologies non métrisables sans vérifier la métrisabilité.

Conséquence

Une métrique induit une topologie et les notions de suites de Cauchy, complétude, compacité, continuité et continuité uniforme ; de nombreuses constructions analytiques (limites, espaces de fonctions) reposent sur des propriétés métriques comme la complétude ou la séparabilité.

Inversion

Un espace topologique sans métrique compatible (non métrisable) inverse l'exigence : on peut définir ouverts/fermés et continuité mais sans distances ; une ultramétrique renforce l'inégalité triangulaire en d(x,z) ≤ max(d(x,y),d(y,z)).

Limite

Exige une distance réelle non négative et les trois axiomes métriques ; exclut les pseudométries, quasi-métries, distances généralisées à valeurs dans d'autres structures ordonnées et les espaces purement topologiques ou uniformes dépourvus de métrique concrète.

Tension sémantique

Métrique versus espace topologique : tout espace métrique est topologique mais toute topologie n'est pas métrisable. Métrique versus pseudométrique : la pseudométrique abandonne l'identité des indiscernables. Métrique versus ultramétrique : l'ultramétrique renforce l'inégalité triangulaire.

Synthèse

Un espace métrique est un ensemble muni d'une distance réelle satisfaisant non-négativité, identité, symétrie et inégalité triangulaire, fournissant un cadre quantitatif pour la topologie, la convergence et la structure analytique.