2017-05-18 今野微分幾何学備忘録 多様体とベクトル束 ハウスドルフ空間で座標近傍系を持つものを(微分可能)多様体という。 上の実数値 級関数全体の集合を という。 に対して なら、 が 級関数であるとき、 を 級写像という。 が全単射で 級のとき、微分同相写像という。多様体 の開部分集合は多様体であり、 の開部分多様体という。