proof of spaces homeomorphic to Baire space

We show that a topological space $X$ is homeomorphic to Baire space, $𝒩$, if and only if the following are satisfied.

1. It is a nonempty Polish space.

2. It is zero dimensional.

3. No nonempty and open subsets are compact.

As Baire space is easily shown to satisfy these properties, we just need to show that if they are satisfied then there exists a homeomorphism $f:𝒩\to X$. By property 1 there is a complete metric $d$ on $X$.

We choose subsets $C(n_1,\mathrm{\dots },n_k)$ of $X$ for integers $k\ge 0$ and $n_1,\mathrm{\dots },n_k$ satisfying the following.

1. $C(n_1,\mathrm{\dots },n_k)$ is a nonempty clopen set with diameter no more than $2^{-k}$.

2. $C()=X$.

3. For any $n_1,\mathrm{\dots },n_k$ then $C(n_1,\mathrm{\dots },n_k,m)$ are pairwise disjoint as $m$ ranges over the natural numbers and,

   $$\bigcup _{m=1}^{\mathrm{\infty }}C(n_1,\mathrm{\dots },n_k,m)=C(n_1,\mathrm{\dots },n_k).$$ (1)

This can be done inductively. Suppose that $S=C(n_1,\mathrm{\dots },n_k)$ has already been chosen. As it is open, condition 3 says that it is not compact. Therefore, there is a $\delta >0$ such that $S$ has no finite open cover consisting of sets of diameter no more than $\delta$ (see here (http://planetmath.org/ProofThatAMetricSpaceIsCompactIfAndOnlyIfItIsCompleteAndTotallyBounded)). However, as Polish spaces are separable, there is a countable sequence $S_1,S_2,\mathrm{\dots }$ of open sets with diameter less than $\delta$ and covering $S$. As the space is zero dimensional, these can be taken to be clopen. By replacing $S_j$ by $S_j\cap S$ we can assume that $S_j\subseteq S$. Then, replacing by , the sets $S_j$ can be taken to be pairwise disjoint.

By eliminating empty sets we suppose that $S_j\ne \mathrm{\varnothing }$ for each $j$, and since $S$ has no finite open cover consisting of sets of diameter less than $\delta$, the sequence $S_j$ will still be infinite. Defining

$$C(n_1,\mathrm{\dots },n_k,n_{k+1})=S_{n_{k+1}}$$

satisfies the required properties.

We now define a function $f:𝒩\to X$ such that $f(n)\in C(n_1,\mathrm{\dots },n_k)$ for each $n\in 𝒩$ and $k\ge 0$. Choose any $n\in 𝒩$ there is a sequence $x_k\in C(n_1,\mathrm{\dots },n_k)$. This set has diameter bounded by $2^{-k}$ and, so, $d(x_k,x_j)\le 2^{-k}$ for $j\ge k$. This sequence is Cauchy (http://planetmath.org/CauchySequence) and, by completeness of the metric, must converge to a limit $x$. As $C(n_1,\mathrm{\dots },n_k)$ is closed, it contains $x$ for each $k$ and therefore

$$\bigcap _{k}C(n_1,\mathrm{\dots },n_k)\ne \mathrm{\varnothing }.$$

In fact, as it has zero diameter, this set must contain a single element, which we define to be $f(n)$.

So, we have defined a function $f:𝒩\to X$. If $m,n\in 𝒩$ satisfy $m_j=n_j$ for $j\le k$ then $f(m),f(n)$ are both contained in $C(m_1,\mathrm{\dots },m_k)$ and $d(f(m),f(n))\le 2^{-k}$. Therefore, $f$ is continuous.

It only remains to show that $f$ has continuous inverse. Given any $x\in X$ then $x\in C()$ and equation (1) allows us to choose a sequence $n_k\in \mathbb{N}$ such that $x\in C(n_1,\mathrm{\dots },n_k)$ for each $k$. Then, $f(n)=x$ showing that $f$ is onto.

If $m\ne n\in 𝒩$ then, letting $k$ be the first integer for which $m_k\ne n_k$, the sets $C(m_1,\mathrm{\dots },m_k)$ and $C(n_1,\mathrm{\dots },n_k)$ are disjoint and, therefore, $f(m)\ne f(n)$ and $f$ is one to one.

Finally, we show that $f$ is an open map, so that its inverse is continuous. Sets of the form

$$𝒩(n_1,\mathrm{\dots },n_k)=\{m\in 𝒩:m_j=n_j\text{ for }j\le k\}$$

form a basis for the topology on $𝒩$. Then, $f\left(𝒩(n_1,\mathrm{\dots },n_k)\right)=C(n_1,\mathrm{\dots },n_k)$ is open and, therefore, $f$ is an open map.

Title	proof of spaces homeomorphic to Baire space
Canonical name	ProofOfSpacesHomeomorphicToBaireSpace
Date of creation	2013-03-22 18:46:51
Last modified on	2013-03-22 18:46:51
Owner	gel (22282)
Last modified by	gel (22282)
Numerical id	7
Author	gel (22282)
Entry type	Proof
Classification	msc 54E50