[Math] Tangent Bundle and its (Isomorphic?) Dual Bundle

differential-geometry

In general it is not true that a vector bundle $E$ is isomorphic to its dual bundle $E^*$. But it is true when the vector bundle is the tangnet space of a manifold (at least I think it's true). How does one prove this?

Best Answer

An isomorphism between a vector bundle and its dual, fibre-by-fibre is just an isomorphism between a fibre and its dual. An isomorphism between a vector space and its dual is given by a non-degenerate bilinear function -- so for example, an inner product suffices. So if you had an inner product on your vector bundle, you would have an isomorphism between $E$ and $E^*$ simply by the operation $v \longmapsto \langle v, \cdot \rangle$.

Generally speaking, vector bundles have inner products. For example, if the base space is paracompact and the fibres are finite-dimensional.

Related Question