précompact
Définition, traduction, prononciation, anagramme et synonyme sur le dictionnaire libre Wiktionnaire.
Étymologie
- → voir pré- et compact
Adjectif
précompact(e)
- (Topologie) Se dit d'un espace métrique qui peut être recouvert par un nombre fini de boules de rayon aussi petit que souhaité.
Note : Un espace métrique est compact ssi il est complet et précompact.
Apparentés étymologiques