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?