Past exam of the options I course of the University of Oxford / 2012 / F / F1 / d / Solution

An embedded $k$-dimensional submanifold $M\subseteq {\mathbb{R}}^n$ is locally a coordinate $k$-plane: for every $p\in M$, there are open neighbourhoods $U\ni p$, $V\subseteq {\mathbb{R}}^n$ and a diffeomorphism $\Phi :U\to V$ withFor the present $C^1$ setting, $\Phi$ and its inverse are continuously differentiable; in the smooth convention both are smooth.

A tangent vector to $M$ at $p$ is a velocity ${\gamma }^{\prime }(0)$ of a continuously differentiable curve $\gamma :(-ϵ,ϵ)\to M$ with $\gamma (0)=p$. The tangent space is the collection of all these vectors:In the local coordinates above, it is $D\Phi (p{)}^{-1}({\mathbb{R}}^k\times \{0{\}}^{n-k})$, so it is a $k$-dimensional linear subspace of ${\mathbb{R}}^n$.