These facts are particularly important because shrinking of open covers is a common technique in the theory of differential manifolds and while constructing functions using a partition of unity.
That is, given any open cover, we can find an open refinement with the property that every compact set meets only finitely many members of the refinement.
