옛날에 de rham cohomology보다가 생각난건데

exterior derivative가 diff form의 차수를 하나씩 올리는거면 반대로 차수를 낮추는 interior product도 있잖아 합성하면 0되고

이거를 이용해서 de rham cohomology랑 비슷하게 homology를 정의할수는 없나?

- dc official App