余微分の定義を追う - 七誌の開発日記

余微分は外微分の随伴として定義されます。ライプニッツ則の延長線上で考えると分かりやすいです。 微分形式の式展開は添え字が複雑になりがちですが、読み方のコツを書きました。分かりにくい点は、繰り返しをいとわず何度も書きました。 シリーズの記事です。 ホッジ双対とクリフォード代数 マルチベクトルの内積 余微分の定義を追う ← この記事 2～4次元で余微分を計算 2～4次元で余微分とディラック作用素を比較 外積代数と左内積 余微分とディラック作用素の内積部分 左内積とウェッジ積の交換 余微分のライプニッツ則 目次 定義 外微分 交換 導出 多項式 ライプニッツ則 導出 一般化ストークスの定理 無境界 余微分 前提条件 定義を追う 随伴 逆に見る 2回適用 式変形 次元 計算例 定義 余微分は外微分の随伴として定義されます。 wikipedia:ホッジ双対の余微分形式より： δ=(-1)^{nk+n