espace métrique

Français

Étymologie

Composé de espace et de métrique.

Locution nominale

SingulierPluriel
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

Traductions

Prononciation

Voir aussi

Cet article est issu de Wiktionary. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.