Derivations are determined by their values on linear functions

70 Views Asked by At

How are derivations of the $\mathbb R$ algebra of germs of differentiable real functions on a manifold completely determined by their values in germs of linear functions? Are derivations of more general algebras of functions determined similarly? Does this result have an anologue for derivations of abstract algebras?

1

There are 1 best solutions below

0
On

Hint: Take $f\in C^\infty_x$ and write $f=f(a)+f'(a)x+(f-f(a)-f'(a)x)$. Use the Leibniz rule to show that $f-f(a)-f'(a)x$ vanishes under any derivation.