Let X be a topological space
and 2X the space of all closed subsets of X with the finite topology. Assaming the
continuum hypothesis it is shown that 2X is normal if and only if X is compact. It is
not known if the continuum hypothesis is a necessary assumption, but it
is shown that for X a k-space, 2X normal implies X compact. A theorem
about the compactification of the n-th symmetric product of a space X is
first proved which then plays an important part in the proof of the above
results.