6
$\begingroup$

As per a recent question of mine, $\omega_1 \times \beta \mathbb{N}$ is not normal. I'm wondering whether there's some sort of "natural" condition that describes when a space has a normal product with $\beta \mathbb{N}$, analagous to Dowker's characterisation that $X$ is countably paracompact iff $X \times [0, 1]$ is normal.

The context here is that I'm looking for something I can weaken to something sensible, as I have a property implied by $X \times \beta \mathbb{N}$ being normal which I am "surprised" isn't an equivalence ($\omega_1$ has this property) and would like to see if I can show its equivalenct to some slightly weaker topological condition.

$\endgroup$
4
  • $\begingroup$ Fixed title to remove LaTeX $\endgroup$ Apr 8, 2010 at 10:30
  • 1
    $\begingroup$ I don't follow. How is that a fix? LaTeX works fine in the titles. $\endgroup$ Apr 8, 2010 at 14:39
  • $\begingroup$ @David: in the past it hasn't for me, but that could be a browser issue $\endgroup$
    – Yemon Choi
    Apr 8, 2010 at 16:26
  • $\begingroup$ Strange. I see e.g. the title of the linked post about $\omega_1$ working fine as LaTeX. $\endgroup$ Apr 8, 2010 at 16:31

1 Answer 1

6
$\begingroup$

The space $X\times\beta\mathbb{N}$ is normal if and only if $X$ is normal and $\mathfrak{c}$-paracompact. This follows from results of Morita (Paracompactness and product spaces, MR132525), where he generalizes Dowker's characterization of countable paracompactness.

First note that $X\times\beta\mathbb{N}$ is normal if and only if $X\times K$ is normal for every separable compact Hausdorff space $K$. This is because every separable compact Hausdorff space is a perfect image of $\beta\mathbb{N}$.

Morita's Theorem 2.2 shows that if $X$ is normal and $\mathfrak{c}$-paracompact, then $X \times K$ is normal for every compact Hausdorff space $K$ of weight at most $\mathfrak{c}$. Hence, $X\times K$ is normal for every separable compact Hausdorff space $K$ since these all have weight at most $\mathfrak{c}$.

Morita's Theorem 2.4 shows that a space $X$ is normal and $\mathfrak{c}$-paracompact if (and only if) $X\times[0,1]^{\mathfrak{c}}$ is normal. Since the space $[0,1]^{\mathfrak{c}}$ is a separable compact Hausdorff space, this closes the implication loop.

$\endgroup$
1
  • 1
    $\begingroup$ (Note: $\mathfrak{c} = 2^{\aleph_0}$.) $\endgroup$ Apr 11, 2010 at 19:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.