A space which is $\sigma$-compact but neither hemicompact nor second countable

general-topology

The pi-base as of this posting doesn't have a space which is $\sigma$-compact but neither second countable nor hemicompact.

As mentioned in A $\sigma$-compact but not hemicompact space?, the set of rationals is a standard example of a $\sigma$-compact space which is not hemicompact. However, it is second countable.

What is an example of a space which is $\sigma$-compact but neither second countable nor hemicompact?

Best Answer

The rational numbers $\mathbb Q$ are $\sigma$-compact but not hemicompact. The ordinal space $Y=\omega_1+1=[0,\omega_1]$ is compact, but not second countable (it's not first countable at $\omega_1$ for example).

So their topological sum $X=\mathbb Q\coprod Y$ is $\sigma$-compact, but not second countable (because of $Y$), and not hemicompact (because of its closed subspace $\mathbb Q$).

Related Question