# How to prove the raising/lowering indices operation?

I've read this related question, though it didn't satisfy me; I hope this complements it. I know that if I contract a covariant tensor ${A_{\alpha\beta}}$ with a vector ${B^\beta}$, I get some other covector ${C_\alpha\equiv A_{\alpha\beta}B^\beta}$.

So how can I show that if ${A_{\alpha\beta}=g_{\alpha\beta}}$ where ${g_{\alpha\beta}}$ is a metric, then ${C_\alpha=B_\alpha}$?

I've tried using the definition of the metric ${g_{\alpha\beta}=\hat{\mathbf{e}}_\alpha\cdot\hat{\mathbf{e}}_\beta}$ where $\{\hat{\mathbf{e}}_\mu\}$ is a basis of the space, or properties like ${g_{\mu\nu}g^{\nu\rho}=\delta_\nu^\rho}$ and ${g_{\alpha\beta}=g_{\beta\alpha}}$, but have not succeed. Also I've searched for it in books like Carroll's or Lawden's, but it's given pretty much as if it would be a definition.

• nothing to show here, it holds by definition: tangent and cotangent space are not canonically isomorphic, so we need to manually specify an isomorphism - lowering and raising indices via metric tensor and its inverse – Christoph Nov 27 '13 at 19:28
• See my answer here for an illustration of what Christoph is saying with some detail: physics.stackexchange.com/a/79019/19976 – joshphysics Nov 27 '13 at 19:31

Also I've searched for it in books like Carroll's or Lawden's, but it's given pretty much as if it would be a definition.

Because it is. No need for differential geometry, linear algebra is sufficient here:

At a given point of space-time, the tangent space is just a vector space, the cotangent space its dual (ie the space of real-valued linear functions).

Given a basis $\{{\bf b}_i\}$ of the vector space, we define the dual basis $\{\beta^i\}$ via $$\beta^i({\bf b}_j)=\delta^i_j$$ and can expand any vector and dual vector in terms of these (and implicitly do so in Einstein notation, using the basis induced by a coordinate chart).

As the vector spaces have the same (finite) dimension, they are of course isomorphic, eg via the isomorphism $${\bf b}_i\mapsto\beta^i$$ The problem is that this is not a canonical isomorphism, ie it depends on the choice of basis: Use a different one, and you'll generally end up with a different dual vector.

So we need another way to specify an isomorphism. Using a non-degenerate bilinear form like the metric tensor to 'lower' indices is such a mapping from vectors to dual vectors, which by definition comes with an inverse ('raising' indices).

As suggested in the comments, "lowering an index" is just coordinate notation for the isomorphism $\flat:TM\to T^*M$ between defined by $$X^\flat (Y) = \langle X,Y\rangle\text{,}$$ where $X$ and $Y$ are arbitrary vectors.

I've tried using the definition of the metric ${g_{\alpha\beta}=\hat{\mathbf{e}}_\alpha\cdot\hat{\mathbf{e}}_\beta}$ where $\{\hat{\mathbf{e}}_\mu\}$ is a basis of the space, ...

That's all you need to show that the above is just the same as index-lowering. You can expand the vectors in an arbitrary basis and use the fact that the metric tensor components are precisely the inner products of the coordinate vectors, as you say here.

Similarly, "raising an index" is just coordinate notation for the isomorphism $\sharp:T^*M\to TM$ defined by $$\omega(Y) = \langle\omega^\sharp,Y\rangle\text{,}$$ where $\omega$ is an arbitrary covector.

These are sometimes called musical isomorphisms, although this label is not particularly common in physics.

Lower index is a tool to map upper index to a real number (W dot V for example). So to define a lower index, you need g(v,w)v (with one slot waiting for w to fill in order to spit out the dot product. So you can think g(v,w) as a tool to make two vectors dot with each other. Now you have v available, if you encounter a w later g(v,w)v is a tool to map w to real number. You can think this as juice mix, if you want apple + banana juice(don't judge me) you need a mixer and apple and banana. If now you have mixer( the g(v,w) ) and apple, the whole thing is kinda like a new mixer with apple build in it. After that all you have to do is to throw banana in and you get the result. I hope this make some sense. (I don't believe everything can be explained as a definition, there are some logic behind it)

• And keep in mind, every mixer that give you apple banana juice is the right tensor we looking for. With build in apple one, we sort of "reduce the rank" – Frost Jun 18 '16 at 4:48