Cartan formula

In mathematics, Cartan formula can mean:


 * one in differential geometry: $$ \mathcal L_X = \mathrm d \, \iota_X + \iota_X \mathrm d$$, where $$\mathcal L_X, \mathrm d$$, and $$\iota_X$$ are Lie derivative, exterior derivative, and interior product, respectively, acting on differential forms. See interior product for the detail. It is also called the Cartan homotopy formula or Cartan magic formula. This formula is named after Élie Cartan.


 * one in algebraic topology, which is one of the five axioms of Steenrod algebra. It reads:


 * $$\begin{align}

Sq^n(x \smile y) & = \sum_{i+j=n} (Sq^i x) \smile (Sq^j y) \quad \text{or} \\ P^n(x \smile y) & = \sum_{i+j=n} (P^i x) \smile (P^j y) \end{align}$$.

See Steenrod algebra for the detail. The name derives from Henri Cartan, son of Élie.