# Space whose product with paracompact space is paracompact

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.

-
Discrete spaces have this property (and may be non-compact). –  user2035 Jan 8 '10 at 16:06
I'm confused. Isn't a point paracompact? If (X x Y) is paracompact for any paracompact Y, X = (X x pt) is paracompact? –  YBL Jan 29 '10 at 23:14
Yes, that's true, so if a space has this property, it must be paracompact. But not all paracompact spaces have this property, as the Sorgenfrey line example illustrates. I was looking for a deeper characterization. –  Vipul Naik Feb 7 '10 at 3:40

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).

-