Finite-dimensional embedding of a complex vector bundle
ID: finite-dimensional-embedding-of-a-complex-vector-bundle
For finitely many orthonormal local trivializations and a subordinate partition of unity , the displayed map embeds a rank-k complex vector bundle isometrically in . Outside the support of each its component is zero. Its continuous image planes give a finite-dimensional Grassmannian map and identify the original bundle with a tautological pullback.
New to topics? Read the docs here!