A tangent space $T_{m,M}$ is defined as the set of all linear derivations at a point $m$ on a manifold $M$. Linear derivations are operators that satisfy the Leibniz rule, i.e. $f,g \in F_{m,M}, O(f,g) = f*O(g)+g*O(f)$ where $F_{m,M}$ is the space of smooth functions defined on a subset of $M$ defined on a subset including $m$. Operators are defined to map from $F_{m,M} \to \mathbb{R}$
The coordinate basis $\{t_i\}$ of tangent vectors are defined as $t_i(f) = \frac{\partial f}{\partial x^i}$ where the $x^i$ are coordinate functions belonging to some chart of $M$.
I read that the coordinate basis apparently spans the space of all linear derivations at m. It's obvious that derivatives belong to the space, but how can you show that the partial derivatives span the space of linear derivations?
Best Answer
Derivations by definition are linear operators, and as you pointed out, they are maps from $F_{m,M}$ to the reals.
Since you are in the neighborhood of a point $m$ labeled by local coordinates $x_i$, each basis vector in the tangent plane corresponds to a local coordinate. Each of which make a tangent with the surface at that point (by definition), therefore the tangent plane (space) consists of all linear combinations of the natural basis in $T_{m,M}$.
Does that answer your question?
I mean that to show they span the linear space is to claim they form a complete basis. If I only have N coordinates, I need at most N basis vectors. These vectors need also to be linearly independent, but that's trivially true because they are associated with independent coordinates. It's sort of a ''by definition'' proof.
Credit for answering this goes to a friend that I recently asked about this post, I have asked if he wants to be named.