Paper 1, Section II, I

Differential Geometry
Part II, 2018

(a) Let XRnX \subset \mathbb{R}^{n} be a manifold and pXp \in X. Define the tangent space TpXT_{p} X and show that it is a vector subspace of Rn\mathbb{R}^{n}, independent of local parametrization, of dimension equal to dimX\operatorname{dim} X.

(b) Now show that TpXT_{p} X depends continuously on pp in the following sense: if pip_{i} is a sequence in XX such that pipXp_{i} \rightarrow p \in X, and wiTpiXw_{i} \in T_{p_{i}} X is a sequence such that wiwRnw_{i} \rightarrow w \in \mathbb{R}^{n}, then wTpXw \in T_{p} X. If dimX>0\operatorname{dim} X>0, show that all wTpXw \in T_{p} X arise as such limits where pip_{i} is a sequence in X\pX \backslash p.

(c) Consider the set XaR4X_{a} \subset \mathbb{R}^{4} defined by Xa={x12+2x22=a2}{x3=ax4}X_{a}=\left\{x_{1}^{2}+2 x_{2}^{2}=a^{2}\right\} \cap\left\{x_{3}=a x_{4}\right\}, where aRa \in \mathbb{R}. Show that, for all aRa \in \mathbb{R}, the set XaX_{a} is a smooth manifold. Compute its dimension.

(d) For XaX_{a} as above, does TpXaT_{p} X_{a} depend continuously on pp and aa for all aRa \in \mathbb{R} ? In other words, let aiR,piXaia_{i} \in \mathbb{R}, p_{i} \in X_{a_{i}} be sequences with aiaR,pipXaa_{i} \rightarrow a \in \mathbb{R}, p_{i} \rightarrow p \in X_{a}. Suppose that wiTpiXaiw_{i} \in T_{p_{i}} X_{a_{i}} and wiwR4w_{i} \rightarrow w \in \mathbb{R}^{4}. Is it necessarily the case that wTpXaw \in T_{p} X_{a} ? Justify your answer.