normal doesn't imply paracompact

Question

I'm looking for some examples which could show that normal topological space doesn't imply the space is paracompact.

Thanks in advance.

Answer 1

The space $\omega_1$, the set of countable ordinals, in the order topology, is hereditarily normal (as all ordered spaces), countably (para)compact, collectionwise normal, but not paracompact, because a paracompact countably compact is compact, which $\omega_1$ is not.

The nice resource $\pi$-base has some more examples, some derived from this one (like the long line), others like Dowker spaces (a normal not countably paracompact space, which are harder to come by).

Bing's spaces like "G" (nicely explained here and "H" (see here) are also classics, introduced to explore the gap between normality-like properties and paracompact-like properties. I think $\omega_1$ is the easiest example though.

Answer 2

An example is built here, have you read it: https://projecteuclid.org/download/pdf_1/euclid.bams/1183549052