Mathematics · Glossary

What is closed form?

Also known as: exact form

Definition 21.13 University Mathematics — Year 3 · Chapter 21 — Differential Forms and Stokes’ Theorem

ωΩk(U)\omega \in \Omega^k(U) is closed if  ⁣dω=0\dd\omega = 0, exact if ω= ⁣dη\omega = \dd\eta for some ηΩk1(U)\eta \in \Omega^{k-1}(U) (a primitive of ω\omega). Exact \Rightarrow closed by  ⁣d2=0\dd^2 = 0; the converse is a question about the shape of UU.

Examples

Example 21.14 (The angular form)

On U=R2{0}U = \R^2 \setminus \{0\},

ωθ=x ⁣dyy ⁣dxx2+y2\omega_\theta = \frac{x\,\dd y - y\,\dd x}{x^2 + y^2}

is closed (direct computation: Exercise 21.4) but not exact: its integral along the unit circle is 2π02\pi \neq 0, while integrals of exact forms along closed curves vanish (Proposition 21.28). Locally, ωθ= ⁣dθ\omega_\theta = \dd\theta for any smooth determination θ\theta of the polar angle — whence the name and the obstruction: no such determination exists on all of UU. This single form runs the winding number (Section 21.6) and, through it, the residue theorem of Chapter 17.

Read in context →