compactifier

Français

Étymologie

De compact, avec le suffixe -ifier.

Verbe

compactifier /kɔ̃.pak.ti.fje/ transitif 1^er groupe (conjugaison)

1. (Topologie) Compactifier un espace topologique X : plonger X dans un espace compact comme partie dense, construire un compactifié de X.
   • Nous venons de compactifier R par un point à l’infini. — (Cours d'analyse, Volume 2, 1969)
   • Puisque E est polonais, on peut le compactifier ; — (Grandes déviations : formule de Chernoff et problèmes statistiques associés, 1978)

Dérivés

• recompactifier

Voir aussi

• compactification
• compactifié
• compactifié de Stone-Čech