Difference between revisions of "Set of all derivations at a point"

Latest revision as of 21:51, 13 April 2015

NOTE: NOT to be confused with Set of all derivations of a germ

This page might be total crap

I was confused about the concept at the time! DO NOT USE THIS PAGE

Notational clash

Some authors use $$T_p(\mathbb{R}^n)$$ to denote this set (the set of derivations of the form $$\omega:C^\infty\rightarrow\mathbb{R}$$ )^[1] however other authors use $$T_p(\mathbb{R}^n)$$ ^[2] to denote the Tangent space - while isomorphic these are distinct.

I use the custom notation $$D_p(\mathbb{R}^n)$$ to resolve this, care must be taken as $$D$$ and $$\mathcal{D}$$ look similar!

Definition

We denote the set of all derivations (at a point) of smooth or $C^\infty$ functions from $A$ at a point $p$ (assume $A=\mathbb{R}^n$ if no $A$ is mentioned) by:

$D_p(A)$, and assume $$D_p=D_p(\mathbb{R}^n)$$

In $\mathbb{R}^n$

$$D_p(\mathbb{R}^n)$$ can be defined as follows, where $\omega$ is a derivation, of signature: $$\omega:C^\infty(\mathbb{R}^n)\rightarrow\mathbb{R}$$

$$D_p(\mathbb{R}^n)=\{\omega|\omega\text{ is a derivation at a point}\}$$

Recall $$C^\infty=C^\infty(\mathbb{R}^n)$$ and denotes the set of all smooth functions on $\mathbb{R}^n$

See also

• Derivation
• Tangent space
• Manifolds

References

1. Jump up ↑ John M. Lee - Introduction to smooth manifolds - Second edition
2. Jump up ↑ Loring W. Tu - An introduction to manifolds - second edition