B1.8
Part II, 2003
State the Implicit Function Theorem and outline how it produces submanifolds of Euclidean spaces.
Show that the unitary group is a smooth manifold and find its dimension.
Identify the tangent space to at the identity matrix as a subspace of the space of complex matrices.