# Tangent space to a manifold - First Order Approximation to the Manifold

I've a doubt about the tangent space to a manifold. Let $M$ be a $n$-manifold and let $p\in M$, I've heard that the tangent space $T_pM$ at $p$ is the first order approximation of $M$ near $p$ in the same way that the tangent hyperplane to the graph of a function $f : \mathbb{R}^n \to \mathbb{R}$ is the first order approximation to the graph of $f$.

This is really intuitive, but how do I show that ? I mean, I'm using the definition of tangent space with derivations, how do I show that that abstract set associated with each point of the manifold gives the first order approximation to the manifold ? Is this fact already built in into the definition somehow or we should prove it ? If we should prove it, can someone give a hint ? I don't want the full proof, just a hint to begin the proof.

Thanks in advance for your aid, and sorry if this question is too trivial.

-
What is your definition of first order approximation to a manifold? – Andrew Oct 9 '12 at 20:54
@Andrew that is really the point. It's something intuitive that I want to make precise. For instance, If I have a surface, it's tangent plane gives a first order approximation to the surface near the tangency point. In particular, I mean that it gives a linear approximation to the surface. It's like the example I gave: if $f : \mathbb{R}^n \to \mathbb{R}$ is differentiable, then Taylor's first order formula allows us to approximate the graph of $f$ by it's tangent plane. Intuition tells that the same relationship exists between manifolds and tangent space, but I want to make it precise. – user1620696 Oct 9 '12 at 20:59

In the case of a function $f:\Bbb R^n\to\Bbb R,$ the first order approximation to $f$ at a point $x$ is a linear function, say $Df,$ which agrees with $f$ at $x,$ and closely approximates nearby values of $f.$ Geometrically, it turns out that the graph of $Df$ is a hyperplane locally tangent to the graph of $f.$