Is a perfectly normal space always a paracompact space?

383 Views Asked by At

Is a perfectly normal space always a paracompact space?

A topological space $X$ is called a perfectly normal space if $X$ is a normal space and every closed subset of $X$ is a $G_\delta$-set.

Thanks for your help.

1

There are 1 best solutions below

0
On BEST ANSWER

Some counterexamples:

http://matwbn.icm.edu.pl/ksiazki/fm/fm97/fm9714.pdf

http://dantopology.wordpress.com/2012/12/02/a-subspace-of-bings-example-g/

http://matwbn.icm.edu.pl/ksiazki/fm/fm78/fm78129.pdf (consistent example)

http://www.ams.org/journals/proc/1993-118-03/S0002-9939-1993-1137225-2/S0002-9939-1993-1137225-2.pdf; Ostaszewski spaces are all very beautiful examples, as they are hereditarily separable, perfectly normal, locally compact but not Lindelöf and a paracompact separable space is Lindelöf. Of course we need $\diamondsuit$ but we do need some axiom for such a nice space:

An interesting consistency result: it is consistent that all locally compact perfectly normal spaces are paracompact: http://www.math.toronto.edu/tall/publications/LT.pdf