Take where is bounded. Assume we have an open covering where for each . For each we have the mappings . If we let be a smooth partition of unity subordinate to the open sets in and we define then .

I have two questions:

Is it not required that each have as a domain to define ?

Secondly. how do we show that , why is this true?

Thanks!