Set of all derivations of a germ at a point

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

Note: should have called this page "Set of all derivations of germs at a point"

Definition

$$\mathcal{D}_p(\mathbb{R}^n)$$ denotes the set of all derivations of the form $$D:C^\infty_p(\mathbb{R}^n)\rightarrow\mathbb{R}$$ , 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