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.