Set of all derivations at a point

From Maths
Revision as of 02:24, 5 April 2015 by Alec (Talk | contribs)

Jump to: navigation, search

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

Notational clash

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

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

Definition

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

[ilmath]D_p(A)[/ilmath], and assume [math]D_p=D_p(\mathbb{R}^n)[/math]

In [ilmath]\mathbb{R}^n[/ilmath]

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

[math]D_p(\mathbb{R}^n)=\{\omega|\omega\text{ is a derivation at a point}\}[/math]

Recall [math]C^\infty=C^\infty(\mathbb{R}^n)[/math] and denotes the set of all smooth functions on [ilmath]\mathbb{R}^n[/ilmath]

See also

References

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