Topologie/Espace métrique
Un livre de Wikibooks.
Le contenu que vous recherchez a été déplacé vers la Wikiversité. Il devrait être disponible sous le nom Topologie générale/Espace métrique.
La notion d' espace métrique est historiquement la première structure topologique, bien que formellement, la notion d'espace topologique, plus vaste mais plus abstraite, soit traitée prioritairement dans cet exposé de topologie. La définition d'un espace métrique est proche de l'intuition, puisque les propriétés topologiques de ces espaces ne sont pas directement définis à partir d'un ensemble d'ouverts, appelé topologique, mais à partir d'une application nommée distance, ou métrique, qui permet de donner un rôle plus important à l'intuition géométrique.
[modifier] Définitions
Soit X un ensemble. Une application 
est appelée distance sur X, ou métrique sur X si les points suivants sont vérifiés :
(Axiome de séparation)
(symétrie de d)
(Inégalité triangulaire)
Le couple (X,d) est appelé espace métrique (i.e l'ensemble X muni de sa métrique).
