Vector bundle over paracompact base admits inner product
(Redirected from Vector bundle over paracompact Hausdorff admits inner product)
This article describes a result applicable for real vector bundles over a paracompact Hausdorff space. In particular, the result is applicable for real vector bundles over a manifold, CW-space, or metrizable space
Statement
Let be a real vector bundle over a paracompact Hausdorff space . Then, we can define an inner product (a positive-definite symmetric bilinear form) on each of the fibers of , that varies continuously in the basepoint.
Definitions used
Fill this in later
Proof
We do the following steps:
- Choose a system of local trivializations for the bundle . This gives an open cover of . Select an inner product on each of the local trivializations.
- Using the fact that is paracompact Hausdorff, construct a partition of unity subordinate to this open cover.
- Now for any point, take the sum of the inner products arising from each of the local trivializations at the point, weighted by the corresponding function in the partition of unity