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.