Up ＜地図帳の地図を引く＞ →「ファイバー束の切断」 作成: 2018-01-31
更新: 2018-01-31

    地図帳 \(T(M) \) から地図 \(T_P(M)\) を引く：
    この絵は，\(T_P(M)\) が \(T(M) \) を切断しているように見える。

    そして「切断」を一旦言い出せば，つぎの絵のように，切断は──「グラフ」の形を条件にする限り──任意に考えることができる：

    そして切断は，\(\phi_P\) のタイプとは違っても，それぞれ一つの地図になる。
    さらに，応用を考えられる地図になる可能性もある。


    ここまで「切断」のことばを使ったのには，理由がある。
    実際，これの数学的構造名は「ファイバー束の断面/切断 section」だからである。
    ──このときは，\(T(M)\) を「\(T_P(M) \) をファイバーとするファイバー束」と見る。