Demonstração. Sabemos que todo espaço de Haussdorff paracompacto é coletivamente normal, e portanto $C_{p}([0,1])$ não só é normal, como também é coletivamente normal. $~~~~~~~~\square$

Veja também:

• $C_{p}([0,1])$ é paracompacto.