Open set of Polish space is again a Polish space?

1.1k Views Asked by At

A Polish space ​is a separable completely metrizable topological space. On the wikipidia article and in the book measure theory from Bauer (§26, Example 4) is stated that any open set of a polish space is again a polish space.

In the book from Bauer one can find a proof that shows that any open set of a Polish space is homeomorphic to another Polish space. But how is it possible that a open set is again completely metrizable? For instance, the set $[0,1]$ is Polish and $(0,1)$ is an open subset which is not completely metrizable, right?

2

There are 2 best solutions below

0
On BEST ANSWER

Note the subtle difference between definitions:

The difference between completely metrizable space and complete metric space is in the words there exists at least one metric in the definition of completely metrizable space, which is not the same as there is given a metric (the latter would yield the definition of complete metric space)

(From wikipedia)

2
On

In fact, every $G_\delta$ subset of a Polish space is Polish; and if $X$ is a Polish space, and $Y\subseteq X$ is a Polish space (with the induced topology from $X$), then we can prove that $Y$ is a $G_\delta$ subset of $X$.

You need to remember that being metrizable means that you can choose a different metric than the one you started with. It just has to induce the same topology.