Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the definition of the Tangent space under definition via derivations

Pick a point $x$ in $M$. A derivation at $x$ is a linear map $D : C^{\infty}(M) \to \mathbb{R} $ which has the property that for all $ƒ, g$ in $C^{\infty}(M)$: $D(fg) = D(f)\cdot g(x) + f(x)\cdot D(g)$ modeled on the product rule of calculus. These derivations form a real vector space in a natural manner; this is the tangent space $T_xM$

My question is, it is given that $D : C^{\infty}(M) \to \mathbb{R}$ is real valued and gives out scalar and how does $D(fg)$ forms a vector space ?

Same is the case in the next sentence as well.

share|cite|improve this question
Just to add that derivations are used when the manifold is not embedded in some ambient $\mathbb{R^n}$, since the tangent space as a tangent vector space only makes sense for embedded manifolds. – gary Apr 10 '11 at 23:06
Please ignore my previous; I did not read carefully-enough, and the edit function seems disabled. Sorry. – gary Apr 10 '11 at 23:13
up vote 2 down vote accepted

The tangent space $T_xM$ is the collection of all linear mappings $D:C^\infty(M)\to\mathbb R$ (not the scalars $D(fg)$ )that satisfy the property $$D(fg) = D(f)\cdot g(x) + f(x)\cdot D(g), \forall f,g\in C^\infty(M).$$ These mappings form a vector subspace of the space of all linear functionals on $C^\infty(M)$ (which is itself a vector space): for any two of such linear mappings $D_1$ and $D_2$ and any two real numbers $a$ and $b$, $D:=aD_1+bD_2$ is another linear mapping that satisfies the property. It's quite straightforward to check \begin{eqnarray} D(fg)&=&aD_1(fg)+bD_2(fg)\\ &=&a[(D_1f)g+f(D_1g)]+b[(D_2f)g+f(D_2g)]=(Df)g+f(Dg). \end{eqnarray}

share|cite|improve this answer
could you please explain how ? – Rajesh Dachiraju Apr 10 '11 at 22:37
I edited my answer. – GWu Apr 10 '11 at 22:45
thank you. I was'nt aware of notion of vector space for linear functionals. – Rajesh Dachiraju Apr 10 '11 at 22:54
what kind of a vector space is $C^\infty(M)$ ? – Rajesh Dachiraju Apr 11 '11 at 6:19
please ignore my last question. – Rajesh Dachiraju Apr 11 '11 at 10:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.