Define as spanned by .
Can form new basis, Demand
where
Can rewrite any where and .
This can be extended to the cotangent space, easily. Find s.t. . Then .
In local coordinates:
Example:
,
let , . Then
vielbeins are redundant. A rotation of the basis has the same metric.