A basis is a maximal set of linkearly independent vectors e_1, ..., e_n.
All vectors can be written as v= Sum(i=1,n, v_i*e_i)
source jl@crush.caltech.edu index
principle_bundle_connection
left_invariant_one_form
Yang-Mills_gauge_field
tangent_space
vielbeinsl
torsion