espace métrique
Étymologie
modifierLocution nominale
modifierSingulier | Pluriel |
---|---|
espace métrique | espaces métriques |
\ɛs.pas me.tʁik\ |
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
modifierTraductions
modifier- Anglais : metric space (en)
- Croate : metrički prostor (hr)
- Italien : spazio metrico (it) masculin
Prononciation
modifier- France (Toulouse) : écouter « espace métrique [Prononciation ?] »
Voir aussi
modifier- espace métrique sur l’encyclopédie Wikipédia