>>46
閉曲面MがC^∞とはM自身C^∞級多様体で埋め込みもC^∞級というだけ？
次は仮定できる？

Mの任意の点PのR^3での近傍Uで定義された滑らかな関数fが存在して
M∩U = f^(-1)(0)
が成立する。

前者の条件満たすけど後者の条件は満たさない例があるので困ってるんだけど。
後者の条件満たさないで前者の条件しか満たさないやつだとかなり病的なやつが作れてしまう。