Français modifier

Étymologie modifier

Composé de espace et de métrique.

Locution nominale modifier

Singulier Pluriel
espace métrique espaces métriques
\ɛs.pas me.tʁik\

espace métrique \ɛs.pas me.tʁik\ masculin

  1. (Topologie) Couple (X, d) où d, appelée distance, est une application symétrique de dans R+, telle que :
    1. d(x,y) = 0 ssi x = y (séparation)
    2. 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 modifier

Traductions modifier

Prononciation modifier

Voir aussi modifier