Questions tagged [the-baire-space]

For questions about the Baire space, that is the family $\mathbb{N}^\mathbb{N}$ of all sequences of natural numbers with the product topology. For questions about the class of Baire spaces - spaces in which Baire category theorem holds - use (baire-category) tag.

The Baire space, variously denoted $\mathbb{N}^\mathbb{N}$, $\omega^\omega$, or $\mathcal{N}$, is the set of all sequences of natural numbers with the product topology taking $\mathbb{N}$ to be discrete. It is completely metrizable, for example with the metric defined by $d(x,y) = 2^{-n}$ where $n$ is least such that $x(n) \neq y(n)$.

The Baire space is one of the standard spaces in , although the tag should only be used when the questions concern "definability", "uniformization" or other such concerns. For general topological properties (compactness, Lindelöfness, etc.) simply use the tag.

Note that the name Baire space is also used for spaces in which Baire category theorem holds. This is different thing than the Baire space. For questions about this notion of Baire space, use tag.

90 questions
0
votes
1 answer

Baire Space and Its Equivalent Property

Lemma $X$ is a Baire space if and only if given any countable collection $\{U_n\}$ of open sets in $X$, each of which is dense in $X$, their intersection $\cap U_n$ is also dense in X. A space X is said to be Baire space when for given any…
Beverlie
  • 2,645