- #1

- 743

- 1

This might seem like a stupid question, and this might not be the correct forum, but hopefully someone can clarify it really easily.

I often have seen two definitions of an inner product on a vector space. Firstly, it can be defined as a bilinear map on a [itex] \mathbb F-[/itex]vector space V as

[tex] \langle \cdot, \cdot \rangle : V \times V \to \mathbb F[/itex]

satisfying the usual inner product conditions. An example that comes to mind is the Riemannian metric, which is a 2-tensor and so acts on two copies of a tangent space. Alternatively, I've seen it defined as

[tex] \langle \cdot, \cdot \rangle : V^* \times V \to \mathbb F [/tex]

satisfying the usual inner product conditions. An example that comes to mind here is the formalism used in the Riesz Representation theorem.

The only place I've really seen the first definition is in the case of Riemannian metrics, hence the motivation for posting this discussion in this forum.

Now I know that for finite dimensional vector spaces that V and [itex] V^* [/itex] are isomorphic: is this the reason for the differing notations? Or is it perhaps that in the second case when the domain is [itex] V^*\times V[/itex] we've some how canonically identified a vector [itex] v \in V [/itex] with its induced linear functional

[tex] v \mapsto \langle v, \cdot \rangle [/tex]?

Again, this may seem really simple but I'd appreciate any response.