espace polonais

Français[modifier le wikicode]

Étymologie[modifier le wikicode]

(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

Locution nominale [modifier le wikicode]

Singulier	Pluriel
espace polonais	espaces polonais
\ɛs.pas pɔ.lɔ.nɛ\

espace polonais \ɛs.pas pɔ.lɔ.nɛ\ masculin

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