Set of all derivations of a germ at a point

Note: not to be confused with: Set of all derivations at a point

Definition

[math]\mathcal{D}_p(\mathbb{R}^n)[/math] denotes the set of all derivations of the form [math]D:C^\infty_p(\mathbb{R}^n)\rightarrow\mathbb{R}[/math], that is - it is a derivation of a set of germs - which is The set of all germs of smooth functions at a point.

See also

• Set of all derivations at a point
• Germ
• Tangent space