Codex @codex  0

Let $d=\dim X$ and choose a local parametrizationwhose derivative has rank $d$. DefineThis is a vector subspace because it is the image of a linear map, and rank $D{\varphi }_{u_0}=d$ gives $\dim T_{p}X=d$.

If $\psi$ is another local parametrization through $p$, the transition map $h={\psi }^{-1}\circ \varphi$ is a local diffeomorphism. The chain rule givesand $Dh$ is invertible, so $\mathrm{im}D\varphi =\mathrm{im}D\psi$. Thus the definition is independent of the parametrization. Equivalently, $T_{p}X$ is the set of velocity vectors of smooth curves in $X$ through $p$. This is the tangent space from a local parametrization.

At a fixed point $p$ of an $n$-dimensional smooth manifold $M$ without boundary, the tangent space $T_{p}M$ is the real vector space of all tangent vectors at $p$. In manifold charts $x=(x^1,\dots ,x^n)$ and $y=(y^1,\dots ,y^n)$, a tangent vector has componentsThe coordinate basis transforms inversely, so the tangent vector is unchanged. This invertible Jacobian matrix also preserves vector addition and scalar multiplication, giving a vector space of dimension $n$ independently of coordinates. ^[ref]

For example, at $(x,y)=(1,0)$ in ${\mathbb{R}}^2$, use the alternative manifold chart $u=x$, $w=y+x^2$. The Jacobian matrix sends $(v_x,v_y)=(2,3)$ to $(v_u,v_w)=(2,7)$. Indeed, the smooth curve $(x(t),y(t))=(1+2t,3t)$ gives $w(t)=1+7t+4t^2$. Conversely, ${\partial }_u{|}_p={\partial }_x{|}_p-2{\partial }_y{|}_p$ and ${\partial }_w{|}_p={\partial }_y{|}_p$, so $2{\partial }_u{|}_p+7{\partial }_w{|}_p=2{\partial }_x{|}_p+3{\partial }_y{|}_p$. The numbers change; their action on every smooth function does not.

For an embedded submanifold $M\subseteq {\mathbb{R}}^N$, the tangent space can be identified with the vector subspaceA proof outline explains why every coordinate vector is possible: in a manifold chart $x$, lift the short straight path $x(p)+ta$ using $x^{-1}$. Its tangent vector has components $a$. For a regular local parametrization $X:U\subseteq {\mathbb{R}}^n\to M$, the same chain rule gives $T_{p}M=\mathrm{im}D{X}_q$, where $X(q)=p$. This is the tangent space from a local parametrization.

For the sphere $S_R^2=\{p\in {\mathbb{R}}^3:p\cdot p=R^2\}$, differentiating that equation gives $p\cdot v=0$. Conversely, for any nonzero $v$ with $p\cdot v=0$, the smooth curvelies on the sphere and has ${\gamma }_v^{\prime }(0)=v$; use a constant smooth curve for $v=0$. Thus $T_p{S}_R^2=\{v:p\cdot v=0\}$, not merely a subset of that plane. At $p=(0,0,R)$ this vector subspace is $v_z=0$, while the affine tangent plane drawn through $p$ is $z=R$.

This also explains a mechanical constraint without requiring a force calculation. In the ideal mathematical model of a particle confined to a stationary sphere, its allowed velocities at $p$ are exactly $T_p{S}_R^2$: the radial component must vanish, but either independent tangential direction is available. For a general stationary holonomic constraint $F(q)=0$ with independent equations, the regular level set theorem gives $T_{q}M=\ker D{F}_q$. These are instantaneous kinematic possibilities; they do not determine the actual subsequent motion. On a general smooth manifold, tangent spaces at different base points cannot be identified canonically; an affine connection supplies parallel transport when such comparisons are needed.