The Cartan formula in mathematics may refer to two different formulae in differential geometry or algebraic topology.
Cartan formula in differential geometry
The Cartan formula in differential geometry states:
L X = d ι X + ι X d {\displaystyle {\mathcal {L}}_{X}=\mathrm {d} \,\iota _{X}+\iota _{X}\mathrm {d} } , where L X , d {\displaystyle {\mathcal {L}}_{X},\mathrm {d} } , and ι X {\displaystyle \iota _{X}} are Lie derivative, exterior derivative, and interior product, respectively, acting on differential forms. It is also called the Cartan homotopy formula or Cartan magic formula. This formula is named after Élie Cartan.
Cartan formula in algebraic topology
The Cartan formula in algebraic topology is one of the five axioms of Steenrod algebra. It reads:
S q n ( x ⌣ y ) = ∑ i + j = n ( S q i x ) ⌣ ( S q j y ) or P n ( x ⌣ y ) = ∑ i + j = n ( P i x ) ⌣ ( P j y ) {\displaystyle {\begin{aligned}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{aligned}}} . The name derives from Henri Cartan, son of Élie.
Footnotes
See also List of things named after Élie Cartan