Register to reply

Inner product of vectors and covectors

by Wox
Tags: covectors, product, vectors
Share this thread:
Wox
#1
Oct26-11, 10:28 AM
P: 71
I'm struggling with the meaning of inner products between vectors and covectors.

Consider dual space [itex]V^{\ast}[/itex] of an inner product space V over field K, with linear forms [itex]\vec{v}\:^{\ast}\in V^{\ast}[/itex]

[itex]\vec{v}\:^{\ast}:V\rightarrow K:\vec{w}\rightarrow\left<\vec{v},\vec{w}\right>[/itex]

In Einstein notation we can write vector and covector with respect to basis and dual basis: [itex]\vec{v}=v^{i}\vec{b}\;_{i}\quad[/itex] and [itex]\vec{v}\:^{\ast}=v_{i}\vec{b}\;^{i}\quad[/itex]. Because of the inner product, V is isomorphic to its dual [itex]V\cong V^{\ast}[/itex] and we can associate [itex]\vec{v}\:^{\ast}\quad[/itex] with its preimage under this isomorphism, which is [itex]\vec{v}\quad[/itex] after a change of basis. Now we can write following inner products

[itex]\left<\vec{v},\vec{w}\right>=v^{i}w^{j}\left<\vec{b}\;_{i},\vec{b}\;_{j }\right>[/itex]

[itex]\left<\vec{v}\:^{*},\vec{w}\right>=v_{i}w^{j}\left<\vec{b}\;^{i},\vec{b }\;_{j}\right>=v_{i}w^{i}[/itex]

[itex]\left<\vec{v},\vec{w}\:^{*}\right>=v^{i}w_{j}\left<\vec{b}\;_{i},\vec{b }\;^{j}\right>=v^{i}w_{i}[/itex]

[itex]\left<\vec{v}\:^{\ast},\vec{w}\:^{\ast}\right>=v_{i}w_{j}\left<\vec{b}\ ;^{i},\vec{b}\;^{j}\right>[/itex]

Question: what do these inner products mean and what is their relation?

I would say that they are all the same since vector and (preimage of) covector are the same abstract vector but given with respect to a different basis. However when I try this for an example, the evalutation of the inner products gives different results (only the first and last inner product are equal).

I'm also wondering what these inner products mean. The first inner product is obvious. Since [itex]V\cong V^{\ast}[/itex], the second inner product is equivalent to the evaluation of [itex]\vec{v}\:^{\ast}(\vec{w})\quad[/itex] so that [itex]\vec{v}\:^{\ast}(\vec{w})\equiv\left<\vec{v}\:^{*},\vec{w}\right>=\left <\vec{v},\vec{w}\right>[/itex]. As for the third and fourth inner product, I have no idea.
Phys.Org News Partner Science news on Phys.org
Fungus deadly to AIDS patients found to grow on trees
Canola genome sequence reveals evolutionary 'love triangle'
Scientists uncover clues to role of magnetism in iron-based superconductors
Wox
#2
Oct26-11, 12:23 PM
P: 71
An example: consider Euclidean vector space with as inner product the dot product. Suppose [itex]\{\vec{e}\;_{i}\}\ [/itex] is the canonical basis, [itex]\{\vec{b}\;_{i}\}\ [/itex] the basis in which we work and [itex]\{\vec{b}\;^{i}\}\ [/itex] the dual basis.

Suppose the change of basis matrix from [itex]\{\vec{e}\;_{i}\}\ [/itex] to [itex]\{\vec{b}\;_{i}\}\ [/itex] is given by

[itex]C=\left[\begin{matrix} 1 &-\frac{1}{2}&0\\
0&\frac{\sqrt{3}}{2}&0\\
0&0&1
\end{matrix}\right] [/itex]

where column i the coordinates of vector [itex]\vec{b}\;_{i}\ [/itex] with respect to the canonical basis. The metric tensor [itex]M\;_{i,j}=\left<\vec{ b}\;_{i},\vec{b}\;_{j}\right>=\vec{b}\;_{i}\cdot \vec{b}\;_{j}[/itex] of basis [itex]\{\vec{b}\;_{i}\}\ [/itex] is given by

[itex]M=C^{T}C=\left[\begin{matrix} 1 &-\frac{1}{2}&0\\
-\frac{1}{2}&1&0\\
0&0&1
\end{matrix}\right] [/itex]

The change of basis matrix from [itex]\{\vec{e}\;_{i}\}\ [/itex] to [itex]\{\vec{b}\;^{i}\}\ [/itex] is given by

[itex]C^{\ast}=\left[\begin{matrix} \frac{2}{\sqrt{3}} &\frac{1}{\sqrt{3}}&0\\
0&1&0\\
0&0&1
\end{matrix}\right] [/itex]

where column i the coordinates of vector [itex]\vec{b}\;^{i}\ [/itex] with respect to the canonical basis. The metric tensor [itex]M\;^{i,j}=\left<\vec{ b}\;^{i},\vec{b}\;^{j}\right>=\vec{b}\;^{i}\cdot \vec{b}\;^{j}[/itex] of basis [itex]\{\vec{b}\;^{i}\}\ [/itex] is given by

[itex]M^{\ast}=C^{*T}C^{\ast}=\left[\begin{matrix} \frac{4}{3} &\frac{2}{3}&0\\
\frac{2}{3}&\frac{4}{3}&0\\
0&0&1
\end{matrix}\right] [/itex]

The change of basis matrix from [itex]\{\vec{b}\;_{i}\}\ [/itex] to [itex]\{\vec{b}\;^{i}\}\ [/itex] is given by

[itex]D^{\ast}=C^{-1}C^{\ast}=\left[\begin{matrix} \frac{2}{\sqrt{3}} &\frac{2}{\sqrt{3}}&0\\
0&\frac{2}{\sqrt{3}}&0\\
0&0&1
\end{matrix}\right] [/itex]

where column i the coordinates of vector [itex]\vec{b}\;^{i}\ [/itex] with respect to basis [itex]\{\vec{b}\;_{i}\}\ [/itex].

Now we can take two vectors and evaluate the four inner products

[itex]\vec{v}=\vec{b}\;_{1}[/itex]

[itex]V=\left[\begin{matrix}1\\0\\0\end{matrix}\right][/itex]

[itex]V^{\ast}=D^{\ast\;-1}V=\left[\begin{matrix}\frac{\sqrt{3}}{2}\\0\\0\end{matrix}\right][/itex]

[itex]\vec{w}=\vec{b}\;_{1}+\vec{b}\;_{2}[/itex]

[itex]W=\left[\begin{matrix}1\\1\\0\end{matrix}\right][/itex]

[itex]W^{\ast}=D^{\ast\;-1}W=\left[\begin{matrix}0\\\frac{\sqrt{3}}{2}\\0\end{matrix}\right][/itex]

[itex]\left<\vec{v},\vec{w}\right>=V^{T}MW=\frac{1}{2}[/itex]

[itex]\left<\vec{v}\:^{*},\vec{w}\right>=V^{\ast\; T}W=\frac{\sqrt{3}}{2}[/itex]

[itex]\left<\vec{v},\vec{w}\:^{*}\right>=V^{T}W^{\ast}=0[/itex]

[itex]\left<\vec{v}\:^{*},\vec{w}\:^{*}\right>=V^{\ast\;T}M^{*}W^{\ast}=\frac {1}{2}[/itex]

Only the first and last are the same, while I would expect all of them beeing the same.
Deveno
#3
Oct26-11, 05:15 PM
Sci Advisor
P: 906
i am confused by your assertion in the first post that:

<bi,bj> = δij.

in fact, i don't see how you have even given a definition of what <bi,bj> even is (the two vectors live in two different vector spaces).

if by <v*,w> you mean <ψ-1(v),w>, where ψ: V→V* is the isomorphism given by:

ψ(v) = <v,_> then i think you should PROVE <bi,bj> = δij, which it seems to me it may not.

Wox
#4
Oct27-11, 04:39 AM
P: 71
Inner product of vectors and covectors

This is exactly my problem. What do these inner products mean? Note that I didn't invent them myself. They are used for example in this paper of the International Tables For Crystallography.

As for your question, suppose V has an inner product and [itex]F_{\left<\cdot,\cdot\right>}[/itex] the isomorphism with its dual, induced by the inner product

[itex]F_{\left<\cdot,\cdot\right>}:V\rightarrow V^{\ast}:\vec{v}\rightarrow\left<\vec{v},\cdot \right>[/itex]

[itex]\left<\vec{v},\cdot\right> : V\rightarrow K: \vec{w}\rightarrow \left<\vec{v},\vec{w}\right>[/itex]

If we define [itex]\left<\vec{v},\cdot\right>(\vec{w})\equiv\vec{v}\:^{\ast}(\vec{w})\equi v\left<\vec{v}\:^{*} ,\vec{w}\right>[/itex] then we can write (by definition)

[itex]\left<\vec{v}\:^{*} ,\vec{w}\right>=\left<\vec{v},\vec{w}\right>=\left<F^{-1}_{\left<\cdot,\cdot\right>}(\vec{v}\:^{*}),\vec{w}\right>[/itex]

Lets now evaluate this inner product. Suppose the inner product is the Euclidean one (dot product of vectors). We need to consider a basis in direct and dual space. If [itex]\{\vec{b}\;_{j}\}[/itex] is a basis of V then the set of covectors [itex]\{\vec{b}\;^{i}\}[/itex] for which [itex]\vec{b}\;^{i}(\vec{b}\;_{j})=\delta^{i}_{j}\ [/itex] is a basis of dual space, called the dual basis (I think it is only a basis when V is finite, so suppose finite dimension). Using the same notation as above

[itex]\left<\vec{b}\;^{i} ,\vec{b}\;_{j}\right>=\delta^{i}_{j}=\left<F^{-1}_{\left<\cdot,\cdot\right>}(\vec{b}\;^{i}),\vec{b}\;_{j}\right>[/itex]

Now we can evaluate the inner product

[itex]\left<\vec{v}\:^{*} ,\vec{w}\right>=\left<F^{-1}_{\left<\cdot,\cdot\right>}(\vec{v}\:^{*}),\vec{w}\right>=\left<\sum_ {i}v_{i}F^{-1}_{\left<\cdot,\cdot\right>}(\vec{b}\;^{i}),\sum_{j}w^{j}\vec{b}\;_{j} \right>=\sum_{i,j}v_{i}w^{j} \left<F^{-1}_{\left<\cdot,\cdot\right>}(\vec{b}\;^{i}),\vec{b}\;_{j}\right>=\sum_ {i,j}v_{i}w^{j} \delta^{i}_{j}=\sum_{i}v_{i}w^{i}\equiv v_{i}w^{i}[/itex]

On the other hand we know that

[itex]\left<\vec{v}\:^{*} ,\vec{w}\right>=\left<\vec{v},\vec{w}\right>=\left<\sum_{i}v^{i}\vec{b} \;_{i},\sum_{j}w^{j}\vec{b}\;_{j}\right>=\sum_{i,j}v^{i}w^{j} \left<\vec{ b}\;_{i},\vec{b}\;_{j}\right>=\sum_{i,j}v^{i}w^{j} M_{i,j}\equiv v^{i}w^{j} M_{i,j}[/itex]

This would mean that [itex]v_{i}w^{i}=v^{i}w^{j} M_{i,j}[/itex] which is not true in the example I gave. So either my reasoning is wrong or I made a mistake in the example.
Wox
#5
Oct27-11, 10:11 AM
P: 71
The four inner products are equal in the example. There was a mistake in [itex]C^{\ast}[/itex] which should be

[itex]C^{\ast}=\left[\begin{matrix} 1 &0&0\\
\frac{1}{\sqrt{3}}&\frac{2}{\sqrt{3}}&0\\
0&0&1
\end{matrix}\right][/itex]

As a result, the inner products are equal:

[itex]D^{\ast}=C^{-1}C^{\ast}=\left[\begin{matrix} \frac{4}{3} &\frac{2}{3}&0\\
\frac{2}{3}&\frac{4}{3}&0\\
0&0&1
\end{matrix}\right][/itex]

[itex]V^{\ast}=D^{\ast\;-1}V=\left[\begin{matrix}1\\ \frac{-1}{2}\\0\end{matrix} \right][/itex]

[itex]W^{\ast}=D^{\ast\;-1}W=\left[\begin{matrix}\frac{1}{2}\\ \frac{1}{2}\\0\end{matrix} \right][/itex]

[itex]\left<\vec{v},\vec{w}\right>=V^{T}MW=\frac{1}{2}[/itex]

[itex]\left<\vec{v}\:^{*},\vec{w}\right>=V^{\ast\; T}W=\frac{1}{2}[/itex]

[itex]\left<\vec{v},\vec{w}\:^{*}\right>=V^{T}W^{\ast}= \frac{1}{2}[/itex]

[itex]\left<\vec{v}\:^{*},\vec{w}\:^{*}\right>=V^{\ast\; T}M^{*}W^{\ast}=\frac{1}{2}[/itex]

This confirms my idea that all these inner products must be the same because [itex]\vec{v}\:^{\ast}\equiv F^{-1}_{\left<\cdot,\cdot\right>}(\vec{v}\:^{\ast})[/itex] and [itex]\vec{v}\quad[/itex] are the same abstract vectors but given with respect to a different basis. However I can only explain [itex]\vec{v}\:^{\ast}\equiv F^{-1}_{\left<\cdot,\cdot\right>}(\vec{v}\:^{\ast})[/itex] in the inner product [itex]\left<\vec{v}\:^{*},\vec{w}\right>[/itex] (see previous post) but not in [itex]\left<\vec{v},\vec{w}\:^{*}\right>[/itex] or [itex]\left<\vec{v}\:^{*},\vec{w}\:^{*}\right>[/itex]. Any ideas?
Ben Niehoff
#6
Oct27-11, 12:17 PM
Sci Advisor
P: 1,593
As Deveno mentioned, strictly speaking, it does not make sense to speak of "inner products" between objects from different vector spaces.

Many physicists, however, have adopted the bastard notation [itex]\langle w, v\rangle[/itex] to mean [itex]w(v)[/itex] when [itex]w \in V^*, \; v \in V[/itex].

As for the notation [itex]\langle v, w \rangle[/itex], recall that for finite-dimensional vector spaces, [itex]V \simeq V^{**}[/itex].

If one defines a map [itex]\varphi : V^* \rightarrow V[/itex] such that

[tex]\langle \varphi(w), v \rangle = w(v)[/tex]

then the following should all give identical results:

[tex]w(v), \qquad \langle \varphi(w), v \rangle_V, \qquad \langle w, \varphi^{-1}(v) \rangle_{V^*}, \qquad \big(\varphi^{-1}(v)\big) \big( \varphi(w) \big)[/tex]

which your source has (confusingly) chosen to write as

[tex]\langle w, v \rangle, \qquad \langle w^*, v \rangle, \qquad \langle w, v^* \rangle, \qquad \langle w^*, v^* \rangle[/tex]
Wox
#7
Oct28-11, 08:03 AM
P: 71
Ok the "inner product" is just a notation issue but still, I understand that [itex]w(v)=\langle \varphi(w), v \rangle[/itex] because of canonical isomorphism [itex]\varphi : V^* \rightarrow V[/itex]. However I do not see why [itex]\langle w, \varphi^{-1}(v) \rangle_{V^*}[/itex] and [itex] \big(\varphi^{-1}(v)\big) \big( \varphi(w) \big)[/itex] are also equal to [itex]w(v)[/itex]. You mentioned the isomorphism with the double dual, but I don't see how this helps here...
Ben Niehoff
#8
Oct28-11, 01:22 PM
Sci Advisor
P: 1,593
Quote Quote by Wox View Post
Ok the "inner product" is just a notation issue but still, I understand that [itex]w(v)=\langle \varphi(w), v \rangle[/itex] because of canonical isomorphism [itex]\varphi : V^* \rightarrow V[/itex]. However I do not see why [itex]\langle w, \varphi^{-1}(v) \rangle_{V^*}[/itex] and [itex] \big(\varphi^{-1}(v)\big) \big( \varphi(w) \big)[/itex] are also equal to [itex]w(v)[/itex]. You mentioned the isomorphism with the double dual, but I don't see how this helps here...
The inner product [itex]\langle \cdot, \cdot \rangle_{V^*}[/itex] is defined to be compatible with the canonical isomorphism. That's what makes the isomorphism canonical!

In a basis, one can write for [itex]v_1, v_2 \in V[/itex]

[tex]\langle v_1, v_2 \rangle_V = v_1^\top G v_2[/tex]

where G is some symmetric, positive definite matrix. Then for [itex]w_1, w_2 \in V^*[/itex], we have

[tex]\langle w_1, w_2 \rangle_{V^*} = w_1 G^{-1} w_2^\top[/tex]

(remember that members of [itex]V^*[/itex] are row vectors). The canonical isomorphism [itex]\varphi : V^* \rightarrow V[/itex] can then be written

[tex]\varphi(w) = G^{-1} w^\top[/tex]

Then it should be clear (using the symmetry of G) that

[tex]\langle \varphi(w_1), \varphi(w_2) \rangle_V = \langle w_1, w_2 \rangle_{V^*}[/tex]
Wox
#9
Oct29-11, 10:04 AM
P: 71
Ok, I think I understand it now. A non-degenerate bilinear form on a finite vector space induces the following isomorphism with its dual

[itex]F_{\left<\cdot,\cdot\right>}:V\rightarrow V^{\ast}:\vec{v}\rightarrow\left<\vec{v},\cdot \right>[/itex]

[itex]\left<\vec{v},\cdot \right> : V\rightarrow K: \vec{w}\rightarrow \left<\vec{v},\vec{w}\right>[/itex]

In different notation this is [itex]\left<\vec{v},\cdot \right>(\vec{w})\equiv \left<\vec{v}\:^{*},\vec{w}\right> =\left<\vec{v},\vec{w}\right>[/itex]. If we now define a mapping

[itex]f:V^{\ast}\times V^{\ast}\rightarrow K: (\vec{v}\:^{\ast},\vec{w}\:^{\ast})\rightarrow \left<F_{\left<\cdot,\cdot\right>}^{-1}(\vec{v}),F_{\left<\cdot,\cdot\right>}^{-1}(\vec{w})\right>=\left<\vec{v},\vec{w}\right>[/itex]

then it can be seen that it is linear in both arguments and hence a bilinear form on [itex]V^{\ast}[/itex] which we can write in different notation [itex]f(\vec{v}\:^{\ast},\vec{w}\:^{\ast})\equiv \left<\vec{v}\:^{*},\vec{w}\:^{*}\right>=\left< \vec{v},\vec{w}\right>[/itex]

So [itex]\left<\vec{v}\:^{*},\vec{w}\right> = \left<\vec{v},\vec{w}\right>[/itex] determines the isomorphism [itex]F_{\left<\cdot,\cdot\right>}:V\rightarrow V^{\ast}[/itex] and [itex]\left<\vec{v}\:^{*},\vec{w}\:^{*}\right> = \left<\vec{v},\vec{w}\right>[/itex] is an bilinear form induced by the isomorphism.

So we only have to define what [itex]\left<\vec{v},\vec{w}\:^{*}\right>[/itex] might mean in the paper I referred to. Can't we find a second isomorphism between [itex]V[/itex] and [itex]V^{\ast}[/itex]

[itex]\varphi_{\left<\cdot,\cdot\right>}:V\rightarrow V^{\ast}: \vec{v}\rightarrow\left<\cdot,\vec{v}\right>[/itex]

[itex]\left<\cdot,\vec{v}\right> : V\rightarrow K: \vec{w}\rightarrow \left<\vec{w},\vec{v}\right>[/itex]

In different notation this is [itex]\left<\cdot,\vec{v} \right>(\vec{w})\equiv \left<\vec{w},\vec{v}\:^{*}\right> =\left<\vec{w},\vec{v}\right>[/itex]. So [itex]\left<\vec{v},\vec{w}\:^{*}\right> = \left<\vec{v},\vec{w}\right>[/itex] determines the isomorphism [itex]\varphi_{\left<\cdot,\cdot\right>}:V\rightarrow V^{\ast}[/itex]


Register to reply

Related Discussions
Angle between 2 vectors using 1) Dot product and 2) cross product gives diff. answer? Calculus & Beyond Homework 8
Find theta from the cross product and dot product of two vectors Calculus & Beyond Homework 11
Vectors dot product and cross product help Advanced Physics Homework 3
Analogy between vectors and covectors Differential Geometry 9
Basis vectors and covectors Differential Geometry 19