写像度の話を読んでいたら臨界点の集合が閉集合であることの証明を思いついたのでメモ． M,Nを可微分多様体としそれぞれ次元をm,nとする．可微分写像f:M→Nとする．Mの正則点全体の集合が開集合であることを示せばよい．m 空集合であるから開である．m >= nの…