今日読んだ余接空間の定義について。 多様体M内の点aでのC^∞級関数の芽のうち、f(a)=0を満たすもの全体をmとする。また、mの元のうち、aにおけるすべての偏微分係数が0となるもの全体をnとおく。aにおけるMの余接空間を、商空間m/nとして定義する。 というこ…