2
$\begingroup$

My question is:

Is every Polish space image of a closed and continuous mapping with domain $\Bbb{N}^\Bbb{N}$?

Where a Polish space is a separable and completely metrizable space and where $\Bbb{N}^\Bbb{N}$ (aka Baire space) is the space of infinite sequences of natural numbers endowed with the product of the discrete topology over $\Bbb{N}$.
I know that every Polish space is image of a continuous bijection with domain a closed subset of $\Bbb{N}^\Bbb{N}$ (hence, in particular, it is a continuous image of $\Bbb{N}^\Bbb{N}$). But what happens if we require the mapping to be closed?

Moreover, in case the answer to the above question is "no", is there a counterexample? Can we characterize the Polish spaces that are images of a closed and continuous mapping with domain $\Bbb{N}^\Bbb{N}$?

Hints? Ideas?
Thanks!

$\endgroup$

1 Answer 1

3
$\begingroup$

This question is answered positively in On closed images of the space of irrationals, by Engelking.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .