Distinguish from Hadamard's formula in Lie theory, which is also often called Hadamard's lemma.
This function is also called a Hadamard quotient.
More generally, for smooth functions on any Cartesian space the lemma says that there are for each smooth functions such that
So at the origin these smooth functions compute the partial derivatives of
Holding fixed, put . Then
where the second equality uses the chain rule. The lemma follows by putting
The Hadamard lemma implies that the derivations of the algebra of smooth functions on a smooth manifold are in bijection with the vector fields on . See derivations of smooth functions are vector fields for details.
A more abstract way to state the Hadamard lemma (and a bit more) is to say that smooth function rings form a Fermat theory. As such the Hadamard lemma is a crucial ingredient for well-adapted models of synthetic differential geometry.
The Hadamard lemma is due to Jacques Hadamard.
The Hadamard lemma is what makes the standard convenient models for synthetic differential geometry tick. Its role in this respect can be seen from proposition 1.2 on in