Regarding the claim that every closed set is the zero-set of a smooth function, the answers to this question on MSE (or alternatively this one) may be simpler to understand than the very general answer linked to in the comment of @PierrePC.
↧