A topological space X may be defined as(adsbygoogle = window.adsbygoogle || []).push({}); paracompactby the condition that every open cover U of X admits a refinement U' such that every point of X intersects only a finite number of elements of U'.

A seemingly stronger condition on X would be that every open cover U of X admits a refinement U' such that around every point x of X, there is an open nbhd A which intersects only finitely many elements of U'.

I'm pretty sure that in fact these conditions are equivalent (at least for metric spaces) but I'm having trouble proving it.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Characterization of paracompactness

**Physics Forums | Science Articles, Homework Help, Discussion**