ベール空間
Given the Whitney C∞-topology, the space C∞("M","N") is a Baire space, i.e. every residual set is dense.