Is the Baire space $\sigma$-compact?

$\omega^\omega$ is not σ-compact.

First note that every compact subset of $\omega^\omega$ has empty interior; that is, they are nowhere dense. (If $K \subseteq \omega^\omega$ is compact with nonempty interior, then there is a finite sequence $s = (\ell_0, \ldots , \ell_n )$ in $\omega$ such that $[s] = \{ x \in \omega^\omega : x\text{ extends }s \}$ is a subset of $K$. As $[s]$ is clopen it must be compact itself. However we can write $[s]$ as $\prod_{i \in \omega} A_i$ where $A_i = \{ \ell_i \}$ for $i \leq n$, and $A_i = \omega$ for $i > n$, and since $\omega$ is not compact it follows that $[s]$ cannot be compact, a contradiction!)

As a complete metric space (hence a Baire space), the Baire Category Theorem then implies that the Baire space cannot be σ-compact.


$\omega^\omega$ is not $\sigma$-compact. This is a diagonal-style argument: Suppose that $\omega^\omega = \bigcup_n K_n$ where the $K_n$ are compact. For each fixed $n$, for every projection $\pi_m: \omega^\omega \to \omega$ the set $\pi_m[K_n]$ is compact hence there is some $N(n,m) \in \omega$ such that $\pi_m[K_n] \subseteq [0,N(n,m)]$.

Now the point $p \in \omega^\omega$ defined by $p_m = N(m,m)+1$ does not lie in any $K_n$, for if $p \in K_m$ for some $m$, then $p_m \in \pi_m[K_m] \subseteq [0, N(m,m)]$, while $p_m$ is one larger than that.