espace métrique

== Français == === Étymologie === Composé de espace et de métrique. === Locution nominale === espace métrique \ɛs.pas me.tʁik\ masculin (Topologie) Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R+, telle que : d(x,y) = 0 ssi x = y (séparation) d(x,y) ≤ d(x,z) + d(z,y) (inégalité triangulaire). Nous indiquerons des méthodes pour "récursiviser" d’une part la notion d’espace métrique, et d’autre part la notion d’espace topologique (en utilisant, dans ce dernier cas, des bases d’ouverts particulières). — (Daniel Lacombe, Quelques procédés de définition en topologie récursive, in : Lev D. Beklemishev, Provability, Computability and Reflection, 2000) ==== Vocabulaire apparenté par le sens ==== métrisable ==== Traductions ==== === Prononciation === France (Toulouse) : écouter « espace métrique [Prononciation ?] » === Voir aussi === espace métrique sur l’encyclopédie Wikipédia