Définitionsespace polonais

espace polonais

nom masculin
/ɛs.pas pɔ.lɔ.nɛ/
  1. Mathématiques, TopologieEspace métrisable à base dénombrable dont la topologie peut être définie par une distance qui en fait un espace complet.Tout espace compact métrisable, tout sous-espace fermé ou ouvert d’un espace polonais, tout produit dénombrable d’espaces polonais, tout espace de Banach séparable est un espace polonais.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.