Skip to main content
added 60 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially (hence countably) compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection, thus is not compact as $X$ itself is not.

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection.

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially (hence countably) compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection, thus is not compact as $X$ itself is not.

added 2 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially compact, and not locally compact, because any set with non-empty interior is mapped surjectively ononto $X$ by some projection.

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially compact, and not locally compact, because any set with non-empty interior is mapped surjectively on $X$ by some projection.

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially compact, and not locally compact, because any set with non-empty interior is mapped surjectively onto $X$ by some projection.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Le $X$ be any Hausdorff, sequentially compact, not compact space (e.g. $\omega_1$ with the order topology). Then $X^\mathbb{N}$ is Hausdorff, sequentially compact, and not locally compact, because any set with non-empty interior is mapped surjectively on $X$ by some projection.