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
#state/tidy | #lang/en | #SemBr