espace polonais

(1940) Cette terminologie a été introduite par le groupe Nicolas Bourbaki, et plus spécifiquement par Roger Godement, dans son volume Éléments de mathématique : Variétés différentielles et analytiques, en hommage aux travaux des mathématiciens polonais dans le domaine de la topologie, notamment Kazimierz Kuratowski, Alfred Tarski et Wacław Sierpiński → voir espace et polonais

espace polonais masculin

1. (Topologie) (Mathématiques) Espace 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.

• France (Toulouse) : écouter « espace polonais »

• espace polonais sur l’encyclopédie Wikipédia