0
$\begingroup$

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.

  • 0
    Please ignore my previous; I did not read carefully-enough, and the edit function seems disabled. Sorry.2011-04-10

1 Answers 1

2

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}

  • 0
    please ignore my last question.2011-04-11