Space whose product with paracompact space is paracompact - MathOverflow

Space whose product with paracompact space is paracompact

2010-01-08T15:02:46Z

Is there a nice characterization of topological spaces with the property that the product with any paracompact space is paracompact?

All compact spaces have this property (this can be shown from the tube lemma). But somebody once gave me an example (that I cannot locate) of a non-compact space with the property. I didn't check the example carefully, so I cannot vouch for its accuracy.

If a characterization is too hard, an example of a non-compact space would also be great.

[NOTE: I don't assume Hausdorffness in my definitions of compact and paracompact, though it would be nice if the example were a Hausdorff space.]

ADDED LATER: I forgot to mention this, but a product of paracompact spaces need not be paracompact. The standard example is the Sorgenfrey line (the real line with the lower limit topology), which is paracompact, whose product with itself, the Sorgenfrey plane, is not paracompact.

Answer by François G. Dorais for Space whose product with paracompact space is paracompact

2010-03-16T02:48:26Z

One interesting conjectured characterization is due to Rastislav Telgársky. In Spaces defined by topological games (Fund. Math. 88, 1975), Telgársky coined several games and provided partial results regarding this class of paracompact spaces (among other things). In Some remarks on a Telgarsky’s conjecture concerning products of paracompact spaces (Topology Appl. 156, 2009, MR2512606), Kazimierz Alster made some significant progress in showing that one of Telgársky's games completely characterizes the class of spaces whose product with every paracompact space is paracompact.

Looking at MathSciNet, it looks like Alster is getting close to answering this question (MR2243730 and MR2502008).

Answer by David Carchedi for Space whose product with paracompact space is paracompact

2010-03-25T00:07:12Z

The product of a CW-complex with a paracompact-Hausdorff space is again paracompact Hausdorff. I'm not sure what happens if you remove the word Hausdorff.