Definition:Differential Form

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a smooth manifold.

A p-form on $X$ is a function $\omega: T_x \left({X}\right)^p \to \R$ defined at each point of $X$ which takes $p$ vectors as inputs, and outputs a real number.

Here $T_x \left({X}\right)$ is the tangent space of $X$.