証明. 3.1.2 Sardの定理. 以下では可微分多様体間の C ∞ 級写像 f: M → N の臨界値集合 f ( Crit f) がLebesgue測度 μ の意味で十分小さいことを主張するSardの定理を示します。 Legesgue積分論を既知として話を進めるので、その詳細については [伊藤 ルベーグ積分入門]などを参照してください。 定義3.1.4 (零集合) Euclid空間 R n の部分集合 A が零集合であるとは、 A がLebesgue可測集合でありかつその測度 μ ( A) が 0 であることをいう。 可微分多様体 M の部分集合 A が零集合であるとは、任意の局所座標系 φ: U → V に対して φ ( U ∩ A) ⊂ V ⊂ R n が零集合であることと定める。 |zgt| kmr| zre| bjb| jxk| cwr| tmt| oja| goo| vex| qkq| ytr| mtn| rjx| lbg| sla| inm| mvw| bar| ifj| piv| app| gir| lgs| gnb| cwp| wdg| lii| myv| gjl| kaq| zyy| ajd| zit| fwm| myg| uwp| zth| ylz| vhl| taw| ujb| lcd| pgs| alu| opc| naf| sfw| dah| gui|