Local frame of a vector bundle

A choice of smooth local sections that form a basis of each fiber over an open set.
Local frame of a vector bundle

Let π:EM\pi:E\to M be a smooth vector bundle of rank rr over a . Let UMU\subseteq M be open. A local frame of EE over UU is an ordered rr-tuple of smooth sections

e1,,er:UE e_1,\dots,e_r:U\to E

such that for every xUx\in U, the vectors (e1(x),,er(x))(e_1(x),\dots,e_r(x)) form a basis of the fiber ExE_x.

Equivalently, a local frame over UU is the same data as a local trivialization EUU×FrE|_U\cong U\times \mathbb F^r, by sending (x,v)(x,v) to iviei(x)\sum_i v^i e_i(x) and conversely by taking the images of the standard basis vectors in Fr\mathbb F^r.

When E=TME=TM, a local frame is the same thing as a collection of r=dimMr=\dim M linearly independent on UU.

On overlaps of two framed open sets, the change-of-frame is encoded by a .

Examples

  1. Coordinate frame for the tangent bundle. On a coordinate chart (U;x1,,xn)(U;x^1,\dots,x^n), the coordinate vector fields /x1,,/xn\partial/\partial x^1,\dots,\partial/\partial x^n form a local frame of TMUTM|_U.

  2. Standard frame for a trivial bundle. For E=M×FrE=M\times \mathbb F^r, the constant sections ei(x)=(x,ei)e_i(x)=(x,\mathbf e_i) (where ei\mathbf e_i is the iith standard basis vector) form a global frame.

  3. Orthonormal local frame. If EE has a , one can choose (after shrinking UU) a local frame that is orthonormal in each fiber.