在數學 ，特別是向量分析 與微分拓撲 中，一個閉形式
α
{\displaystyle \alpha }
微分 算子
d
{\displaystyle d}
核 ，即
d
α
=
0
{\displaystyle d\alpha =0}
微分形式 ；而恰當形式 (恰當微分形式)
α
{\displaystyle \alpha }
d
{\displaystyle d}
像 ，即存在某個微分形式
β
{\displaystyle \beta }
α
=
d
β
{\displaystyle \alpha =d\beta }
β
{\displaystyle \beta }
α
{\displaystyle \alpha }
因為
d
2
=
0
{\displaystyle d^{2}=0}
拓撲 信息來得知。問一個 0-形式是否恰當沒有意義，因為
d
{\displaystyle d}
零函數 。
當兩個閉形式的差是一個恰當形式時，稱它們為相互上同調的 。這便是說，如果
ζ
{\displaystyle \zeta }
η
{\displaystyle \eta }
β
{\displaystyle \beta }
ζ
−
η
=
d
β
,
{\displaystyle \zeta -\eta =d\beta \ ,}
則我們說
ζ
{\displaystyle \zeta }
η
{\displaystyle \eta }
上同調於零 。相互上同調的形式的集合組成了一個德拉姆上同調 類中的一個元素；對這樣的類作一般性研究稱為上同調理論 。
R
2
{\displaystyle \mathbb {R} ^{2}}
R
2
{\displaystyle \mathbb {R} ^{2}}
物理 所熟知。在平面上，0-形式就是函數，2-形式是函數乘以基本面積元
d
x
∧
d
y
{\displaystyle dx\wedge dy}
α
=
f
(
x
,
y
)
d
x
+
g
(
x
,
y
)
d
y
,
{\displaystyle \alpha =f(x,y)dx+g(x,y)dy\ ,}
具有真正的意義，其外導數
d
{\displaystyle d}
d
α
=
(
g
x
−
f
y
)
d
x
∧
d
y
,
{\displaystyle d\alpha =(g_{x}-f_{y})dx\wedge dy\ ,}
這裡下標表示偏導數 。從而
α
{\displaystyle \alpha }
f
y
=
g
x
.
{\displaystyle f_{y}=g_{x}\ .}
當
h
(
x
,
y
)
{\displaystyle h(x,y)}
d
h
=
h
x
d
x
+
h
y
d
y
.
{\displaystyle dh=h_{x}dx+h_{y}dy\ .}
「恰當形式是閉形式」便是關於 x 與 y 二階導數的對稱性 的一個推論，這可以直接推廣到高維情形。
在
R
2
{\displaystyle \mathbb {R} ^{2}}
保守場 ），閉 1-形式相當於無旋場。故「恰當形式是閉形式」用向量分析 的語言來說相當於有勢場一定是無旋場。
龐加萊引理 斷言：如果
X
{\displaystyle X}
R
n
{\displaystyle \mathbb {R} ^{n}}
可縮 開子集，對任何整數
p
>
0
{\displaystyle p>0}
X
{\displaystyle X}
p
{\displaystyle p}
α
{\displaystyle \alpha }
p
≤
n
{\displaystyle p\leq n}
可縮意味着存在同倫映射
F
t
:
X
×
[
0
,
1
]
→
X
{\displaystyle F_{t}:X\times [0,1]\rightarrow X}
X
{\displaystyle X}
X
{\displaystyle X}
c
{\displaystyle c}
X
{\displaystyle X}
更確切地，我們將
X
{\displaystyle X}
X
×
[
0
,
1
]
{\displaystyle X\times [0,1]}
j
1
(
x
)
=
(
x
,
1
)
{\displaystyle j_{1}(x)=(x,1)}
j
0
(
x
)
=
(
x
,
0
)
{\displaystyle j_{0}(x)=(x,0)}
拉回 映射
j
1
∗
{\displaystyle j_{1}^{*}}
j
0
∗
{\displaystyle j_{0}^{*}}
上鏈同倫 聯繫：
K
d
+
d
K
=
j
1
∗
−
j
0
∗
.
{\displaystyle Kd+dK=j_{1}^{*}-j_{0}^{*}\ .}
令
Ω
p
(
x
)
{\displaystyle \Omega ^{p}(x)}
X
{\displaystyle X}
p
{\displaystyle p}
K
:
Ω
p
+
1
(
X
×
[
0
,
1
]
)
→
Ω
p
(
X
)
{\displaystyle K:\Omega ^{p+1}\left(X\times [0,1]\right)\rightarrow \Omega ^{p}(X)}
a
(
x
,
t
)
d
x
p
+
1
↦
0
,
a
(
x
,
t
)
d
t
d
x
p
↦
(
∫
0
1
a
(
x
,
t
)
d
t
)
d
x
p
,
{\displaystyle a(x,t)dx^{p+1}\mapsto 0,\;a(x,t)dtdx^{p}\mapsto (\int _{0}^{1}a(x,t)dt)dx^{p},}
這裡
d
x
p
{\displaystyle dx^{p}}
d
t
{\displaystyle dt}
p
{\displaystyle p}
F
{\displaystyle F}
X
{\displaystyle X}
Q
{\displaystyle Q}
F
∘
j
1
=
i
d
,
F
∘
j
0
=
Q
.
{\displaystyle F\circ j_{1}=id,\;F\circ j_{0}=Q\ .}
在形式上：
j
1
∗
∘
F
∗
=
i
d
,
j
0
∗
∘
F
∗
=
0
.
{\displaystyle j_{1}^{*}\circ F^{*}=id,\;j_{0}^{*}\circ F^{*}=0\ .}
將這兩個等式代入上鏈同倫等式便證明了龐加萊引理。
這個引理的一個推論是德拉姆上同調 是同倫不變量。龐加萊引理的本質是局部的，大範圍的結果就是德拉姆定理 。
不可縮空間不一定有平凡 的德拉姆上同調。例如，在
t
∈
[
0
,
1
]
{\displaystyle t\in [0,1]}
S
1
{\displaystyle S^{1}}
d
t
{\displaystyle dt}
注意 ：
t
{\displaystyle t}
S
1
{\displaystyle S^{1}}
d
t
{\displaystyle dt}
良定 的閉形式）。這是因為恰當形式在圓周上積分為 0，但
d
t
{\displaystyle dt}
2
π
{\displaystyle 2\pi }
Bott, Raoul; Tu, Loring W., Diifferential Forms in Algebraic Topology, Springer-Verlag(Reprinted by Beijing World Publishing Corp.), 1999, ISBN 7-5062-0112-7 陳維桓, 微分流形初步 2, 高等教育出版社, 2001年, ISBN 7-04-009921-7 
![{\displaystyle F_{t}:X\times [0,1]\rightarrow X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93660391db9b4f802dceea06ec77c92428008310)
![{\displaystyle X\times [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd76f8aa27cdb748a869ec11fc6548bcab6d396b)
![{\displaystyle K:\Omega ^{p+1}\left(X\times [0,1]\right)\rightarrow \Omega ^{p}(X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f475f38ba7487376cc00e345a6f84efa7de0a806)
![{\displaystyle t\in [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31a5c18739ff04858eecc8fec2f53912c348e0e5)
