多様体とベクトル束 ハウスドルフ空間で座標近傍系を持つものを（微分可能）多様体という。 上の実数値 級関数全体の集合を という。 に対して なら、 が 級関数であるとき、 を 級写像という。 が全単射で 級のとき、微分同相写像という。多様体 の開部分集…