Baire space
BaireSpace2
2006-07-07 06:56:48
2006-07-07 08:10:29
Definition
\usepackage{amssymb}
\newcommand{\N}[0]{\mathbb{N}}
Baire space is the topological product of countably many copies of $\N$ with discrete topology.
It is a Polish space.
\begin{thebibliography}{9}
\bibitem{wiki} Wikipedia's entry on \PMlinkexternal{Baire space (set theory)}{http://en.wikipedia.org/wiki/Baire_space_(set_theory)}
\end{thebibliography}