Proof. [026K]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Let us choose an affine open covering together with a local basis of on each . Let be a metric of over given by for . As is paracompact (locally compact and -compact), we can find a partition of unity of continuous functions on such that for all . If we set , then yields a continuous metric of . ∎