Raising and lowering of indices
Let
Note
We will work in abstract index notation, but the same process works once a local frame is chosen.
Given a vector field
and similarly for a 1-form
This is consistent since by definition
Musical notation
These isomorphism given here is sometimes called the musical isomorphism where we use the notation