庞加莱引理(Poincare Lemma)论述单位球上微分形式的零调性质。因由庞加莱首先提出，所以被命名为庞加莱引理。