利用者:Trrlover/ド・ラームコホモロジー

ド・ラームコホモロジー（de Rahm cohomology）とは、微分形式と外微分によって作られる余鎖複体から定義されるコホモロジーである。