Let be a compact Hausdorff space and let be an open cover of . I want to show that there exists a finite number of continuous real-valued functions on with the following properties:

1. , where

2. For each , there is an index such that the closure of the set is contained in

Thanks