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.

99 questions
22
votes
3 answers

Does there exist a bijective, continuous map from the irrationals onto the reals?

Let $\mathbb{P}$ be the irrational numbers as a subspace of the real numbers. $\mathbb{P}$ is homeomorphic to $\mathbb{N}^\mathbb{N}$, which is also called the Baire space. It is well known, and fairly easy to see, that there is a continuous map…
17
votes
2 answers

Baire space homeomorphic to irrationals

I try to show that the Baire space $\Bbb N^{\Bbb N}$, with regular product metric, is homeomorphic to the unit interval of irrationals $(0,1)\setminus\Bbb Q$. I already know that the needed function is using continued fractions $$a_0 + \cfrac{1}{a_1…
10
votes
2 answers

If $f_{n}$ has a dense image, then $\bigcap (f_{1}\circ\cdots\circ f_{n})(X_{n})$ is dense

Let $\{(X_{n}, d_{n})\}_{n\in\mathbb{N}}$ be a sequence of complete metric spaces and $\{f_{n}: X_{n}\to X_{n − 1}\}_{n\in \mathbb{N}}$ a sequence of continuous functions. If $f_{n}$ has a dense image for each $n\in \mathbb{N}$, show that…
Userxdxd
  • 435
9
votes
1 answer

$\Sigma_{\alpha+1}^0(X)$ universal set based on the Baire space

In my attempts to write a cleaner proof (compared to what I was taught) to the fact that for uncountable Polish spaces the Borel hierarchy does not stop until $\omega_1$ I am trying to prove the following specific case: Suppose $X$ is a perfect…
9
votes
1 answer

On the complexity of some $\sigma$-ideals in the Baire space

Let $I$ be a Borel generated $\sigma$-ideal on the Baire space. We say that this ideal is $\Sigma^1_2$ if $$\{c \in \omega^\omega\ |\ c\text{ is a Borel code and }B_c \in I\} \in \Sigma^1_2.$$ Where $B_c$ denotes the Borel set decoded from $c$. In…
user1612
  • 723
  • 1
  • 4
  • 11
7
votes
1 answer

Basic questions about $\mathbb{Z}^{\mathbb{N}}$ with the product topology

can someone please let me know if the following is correct: 1) Let $\mathbb{Z}$ be the integers endowed with the discrete topology and $\mathbb{N}$ the natural numbers. Is $\mathbb{Z}^{\mathbb{N}}$ a discrete space with the product topoogy? 2) Does…
user10
  • 5,806
6
votes
2 answers

Is the Baire space $\sigma$-compact?

Is the Baire space $\sigma$-compact? The Baire space is the set $\mathbb{N}^\mathbb{N}$ of all sequences of natural numbers under the product topology taking $\mathbb{N}$ to be discrete. It is a complete metric space, for example with the metric $d…
topsi
  • 4,292
6
votes
0 answers

Baire space $\mathbb{N}^\mathbb{N}$ written as $\mathbb{R}$

I'm writing my bachelor thesis on various topics from set theory and descriptive set theory (mainly topological games), and I just read a paper in which the Baire Space $\mathbb{N}^\mathbb{N}$ is dubbed $\mathbb{R}$. Here is how it justifies…
6
votes
1 answer

The Baire space as an automorphism group?

Wikipedia claims that the Baire space "is [the] automorphism group of [a] countably infinite saturated model $\mathfrak{M}$ of some complete theory $T$", however I see neither an obvious group structure on $\mathcal{N}$ nor an obvious topology on…
6
votes
2 answers

Proof that $\omega^\omega$ is completely metrizable and second countable

I have almost solved the following problem but am stuck at the very end, can you help me finish it? Thank you for your help. Let $n<\omega$ and $t\in {}^n\omega$. We define $U_t=\{s\in {}^\omega\omega : t\subseteq s\}$. The family $\mathcal…
6
votes
2 answers

A $G_δ$ subset of $2^ω$ that is homeomorphic to $ω^ω$

How do I show that there is a $G_δ$ subset of the Cantor space $2^ω$ that is homeomorphic to the Baire space $ω^ω$? I've been given the hint to consider $G = \{x ∈ 2^ω : x\text{ is not eventually constant}\}$, but I'm not entirely sure what to do…
6
votes
1 answer

Proving a metric space $\mathbb N^{\mathbb N}$ with $d(x,y)=1/\min\{j:x_j\neq y_j\}$ is complete

Let $X$ be the collection of all sequences of positive integers. If $x=(n_j)_{j=1}^\infty$ and $y=(m_j)_{j=1}^\infty$ are two elements of $X$, set $$k(x,y)=\inf\{j:n_j\neq m_j\}$$ and $$d(x,y)= \begin{cases} 0 & \text{if $x=y$} \\ \frac{1}{k(x,y)}…
5
votes
0 answers

Is the space $\mathbb N^ \mathbb N$ metrisable?

Given the space $\mathbb N^ \mathbb N$ with the topology generated by basis sets of the form: $$[V,n] = \{x \in \mathbb N^ \mathbb N ; V \text{ is an n prefix of x}\}$$ I can see that this space is separable. My question is: is it metrisable? or…
5
votes
2 answers

Prove that Baire space $\omega^\omega$ is completely metrizable?

When I tried to prove that Baire space $\omega^\omega$ is completely metrizable, I defined a metric $d$ on $\omega^\omega$ as: If $g,h \in \omega^\omega$ then let $d(g,h)=1/(n+1)$ where $n$ is the smallest element in $\omega$ so that $g(n) \ne h(n)$…
5
votes
1 answer

Gale-Stewart Theorem (open games are determined) implies closed games are determined

A Gale-Stewart game $G(A)$ is played on a set $A\subseteq\mathbb N^\mathbb N$. In this game, players p0 and p1 alternately pick a natural number, forming a sequence $\alpha:=\alpha_0\alpha_1\alpha_2\ldots$ The goal of p0 is to form a sequence that…
1
2 3 4 5 6 7