ベクトル場と導分の対応は、可微分性補題が鍵だと分かった。まず、言葉の準備。 {偏}?微分係数 {偏}?導関数 {偏}?微分作用素 点導分 P, Q 領域導分 X, Y 対応は、 代数的・公理的 解析的・具体的 点導分 微分係数汎関数 領域導分 微分作用素 古臭いが、 汎関…

ベクトルバンドルの手前の概念で、ベクトルファミリーを定義する。 位相空間の各点にベクトル空間が付いている。 各ベクトル空間は有限次元ですべて同型（標準的同型ではない！） 個々のベクトル空間には位相があるが、全体としての位相はない。 ベクトルフ…

単なる集合からグラフを作る方法。 一端アロー化： Aに⊥を加えて、⊥→a （a∈A） をアロー＝有向辺 として足す。Aとアローは1:1に対応。 ニ端アロー化： Aに⊥, T を加えて、⊥→a→T （a∈A） をアロー＝有向辺 として足す。Aとアローは1:1に対応。 ループ化： ⊥を…