在本次演讲中,我将解释流形 M 的德拉姆上同调与同一空间上的紧支撑上同调之间的对偶性。这种现象被称为“庞加莱对偶”,它描述了微分拓扑中的一种普遍现象,即流形上封闭的、精确可微形式空间与其紧支撑对应物之间的对偶性。为了定义和证明这种对偶性,我将从向量空间对偶空间的简单定义开始,再到向量空间上正定内积的定义,然后定义流形的概念。我将继续定义可微流形上的微分形式及其相应的空间,这些对于此分析是必要的。然后,我将介绍流形的良好覆盖、有限型流形和方向的概念,这些都是定义和证明庞加莱对偶所必需的概念。我将以 M 可定向且承认有限好覆盖的情况下的庞加莱对偶的证明作为结束,并举例说明。