取り急ぎのメモ。この記事で使う概念・記法は「ベクトルバンドル射の逆写像： 記法の整理をかねて」、「微分幾何におけるヤコビ行列の書き方： 因習の擁護」あたりに書いてあります。すべては「なめらかな世界」で考えます。NとMは多様体で f:N→M は写像とし…