多様体 閉多様体 微分形式 外微分 閉形式 完全形式 カーネル 像 外積代数 内積 線形汎関数 ホッジ作用素 鎖複体 単体 単体的複体 連結行列 Boundary matrix 組み合わせ アイテムセット 代数トポロジー 微分トポロジー