@Bacle2 It seems as if a partition of unity will allow us to break up a map into smaller maps. For example, if there was a set [itex]A \subset \mathbb{R}^n[/itex] and [itex]\{ \phi_i \}[/itex] is a partition of unity on [itex]A[/itex] and [itex]f[/itex] was a map on [itex]A[/itex] then given any [itex]x \in A[/itex] we can write [itex]f(x) = \sum_{i = 1}^{\infty} \phi_i (x) f(x)[/itex]. Each [itex]\phi_i (x) f(x)[/itex] is smaller than [itex]f(x)[/itex] because the [itex]\phi_i(x)f(x)[/itex] will vanish outside of some open set about [itex]x[/itex]. Thus we are concentrating the map just into that open set. Thus we can prove something or construct something regarding [itex]f[/itex] just in that small open set, then use a partition of unity to "glue it all together". I get that now. My question is - what advantages does this provide? I mean, why not just break up the set into smaller pieces rather than breaking up the map?