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