Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-15/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 15 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Yes, the two real smooth vector bundles are isomorphic, although the choice is not canonical. A standard smooth manifold is Hausdorff and second countable, hence admits a smooth locally finite partition of unity. Choose Euclidean Riemannian metrics on coordinate neighborhoods and take their partition-of-unity sum. At each point at least one positive coefficient occurs, so the resulting smooth symmetric tensor is positive definite.
The resulting musical isomorphism isIt covers the identity of and is linear on every fibre. In coordinates it is , where is a smooth positive-definite matrix. Its inverse uses the smooth inverse matrix , giving the map . Thus it is a smooth vector bundle isomorphism.
The Riemannian metric supplies the extra choice: no positive-dimensional real vector space has a linear identification with its dual invariant under all changes of basis. Indeed a scalar change acts by on vectors and on covectors, so an equivariant map would satisfy for every , forcing . An isomorphism therefore exists without being a metric-free canonical one.
New to topics? Read the docs here!