Hay una buena caracterización de los espacios topológicos con la propiedad de que el producto con cualquier paracompact espacio es paracompact?
Todos los espacios compactos tienen esta propiedad (esto puede ser mostrado desde el tubo de lema). Pero alguien una vez me dio un ejemplo (que no puedo localizar a) de un no-espacio compacto con la propiedad. Yo no comprobar cuidadosamente el ejemplo, así que no puedo dar fe de su exactitud.
Si una caracterización es muy duro, un ejemplo de un no-espacio compacto también sería genial.
[NOTA: yo no asumir Hausdorffness en mi definiciones de compacto y paracompact, aunque sería agradable si el ejemplo es un espacio de Hausdorff.]
AÑADIDO POSTERIOR: se me olvidó mencionar esto, pero un producto de paracompact espacios no necesitan ser paracompact. El ejemplo común es la Sorgenfrey de la línea (la línea real con el límite inferior de la topología), que es paracompact, cuyo producto en sí, el Sorgenfrey plano, no es paracompact.