global approximation by smooth functions theorem

Question

how the yellow shades comes and what is the use of this theorem

and how can we say that $supp(U^i) \subseteq supp(W_i)$