traduction de Polish space

[invited5b2473a]

Salut à tous.
Au cours de lecture mathématique anglaise, je suis tombé sur le terme "Polish space" que l'auteur définit comme a "complete separable metric space". Comment ça se traduit en français? Quel est l'équivalent en français?
-----

[inviteab2b41c6]

Salut,
l'équivalent est tout betement "espace polonais".
Va faire un tout ici, mais c'est a peu près ce que tu dis:
http://fr.wikipedia.org/wiki/Espace_polonais
Attention a faire la distinction separable/separé, pour ma part je me goure souvent

[invited5b2473a]

Merci beaucoup Ne t'inquiète pas pour séparable/séparé. J'arrive à bien m'en souvenir

[invite51f4efbf]

Au passage, ce n'est pas la définition d'un espace polonais : un espace polonais est un espace topologique homéomorphe à un espace métrique complet et séparable, ou de manière équivalente un espace métrisable complet et séparable. Il n'y a pas de métrique dessus a priori : deux espaces polonais peuvent être les mêmes sans pour autant être isométriques.

[A voir en vidéo sur Futura]

[invited5b2473a]

Merci de cette précision mais je n'ai que retranscrit ce que j'ai lu

[invite51f4efbf]

Ca m'est aussi arrivé de voir cette définition - un papier russe sur ArXiv. Mais je réagissais simplement pour signaler la nuance.