Tangent space to the tangent space

1.2k Views Asked by At

I want to know why it holds that, for some smooth manifold $M$,

$T_pM \cong T_x(T_pM)$

where $x \in T_pM$.

My main questions:

-How does the isomorphism look? -As far as I know, the tangent space is defined for manifolds, is $T_pM$ a manifold itself?