Paper 1, Section II, I

Differential Geometry | Part II, 2018

(a) Let X⊂RnX \subset \mathbb{R}^{n} be a manifold and p∈Xp \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 dim⁡X\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 pi→p∈Xp_{i} \rightarrow p \in X, and wi∈TpiXw_{i} \in T_{p_{i}} X is a sequence such that wi→w∈Rnw_{i} \rightarrow w \in \mathbb{R}^{n}, then w∈TpXw \in T_{p} X. If dim⁡X>0\operatorname{dim} X>0, show that all w∈TpXw \in T_{p} X arise as such limits where pip_{i} is a sequence in X\pX \backslash p.

(c) Consider the set Xa⊂R4X_{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 a∈Ra \in \mathbb{R}. Show that, for all a∈Ra \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 a∈Ra \in \mathbb{R} ? In other words, let ai∈R,pi∈Xaia_{i} \in \mathbb{R}, p_{i} \in X_{a_{i}} be sequences with ai→a∈R,pi→p∈Xaa_{i} \rightarrow a \in \mathbb{R}, p_{i} \rightarrow p \in X_{a}. Suppose that wi∈TpiXaiw_{i} \in T_{p_{i}} X_{a_{i}} and wi→w∈R4w_{i} \rightarrow w \in \mathbb{R}^{4}. Is it necessarily the case that w∈TpXaw \in T_{p} X_{a} ? Justify your answer.

Typos? Please submit corrections to this page on GitHub.