précompacité

Dérivé de compacité, avec le préfixe pré-.

précompacité \pʁe.kɔ̃.pa.si.te\ féminin

1. (Mathématiques) Caractère de ce qui est précompact. Propriété d’être précompact.
   • Les arguments qui suivent montrent que la précompacité de K dans L^p(Ω) est équivalente à la précompacité de K’ dans L^p(R^N). — (Gilbert Demengel & ‎Françoise Demengel, Espaces fonctionnels : Utilisation dans la résolution des équations aux dérivées partielles, EDP Sciences/CNRS Éditions, 2012, chap.1, page 43)