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 is
It 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.

Articles by others on the same topic (0)

There are currently no matching articles.