の証明． とすると， http://d.hatena.ne.jp/yoshitake-h/20080606

トダさんの論文や翻訳が引用されている．

平面上の１，２次微分形式． 開集合 上の 関数全体のなすベクトル空間を とする． 積 が定義される． 座標 に対し， を1次微分形式（1-form）という． 上の 1-form 全体のなすベクトル空間を と書く． 積 が定義される． に対し， により，線形写像 を定義す…

Hamming 距離．