The Unapologetic Mathematician

Mathematics for the interested outsider

Tensor Algebras and Inner Products

Let’s focus back in on a real, finite-dimensional vector space V and give it an inner product. As a symmetric bilinear form, the inner product provides us with an isomorphism V\rightarrow V^*. Now we can use functoriality to see what this does for our tensor algebras. Again, I’ll be mostly interested in the exterior algebra \Lambda(V), so I’ll stick to talking about that one.

The isomorphism sends a vector v to the linear functional \langle v,\underbar{\hphantom{x}}\rangle. Functoriality then defines an isomorphism \Lambda(V)\rightarrow\Lambda(V^*) that sends the wedge v_1\wedge\dots\wedge v_k of degree k to the wedge \langle v_1,\underbar{\hphantom{x}}\rangle\wedge\dots\wedge \langle v_k,\underbar{\hphantom{x}}\rangle, also of degree k. This is the antisymmetrization of the tensor product of all these linear functionals. We’ve seen that we can consider this as a linear functional on the space of degree k tensors by applying the functionals to the tensorands in order and then multiplying together all the results. This defines an isomorphism A^k(V^*)\rightarrow(A^kV)^*, and extending by linearity we find an isomorphism \Lambda(V^*)\rightarrow\Lambda(V)^*.

Let’s get a little more explicit about how this works by picking an orthonormal basis \left\{e_i\right\}_{i=1}^n for V, and the corresponding dual basis \left\{\epsilon^i\right\}_{i=1}^n for V^*. That is, we have \epsilon^i=\langle e_i,\underbar{\hphantom{x}}\rangle — which defines the isomorphism from V to V^* explicitly in terms of bases — and \epsilon^i(e_j)=\delta^i_j.

Now we can use the e_i to write down an explicit basis of \Lambda(V). An element of degree k is the sum of wedges of k vectors v_1\wedge\dots\wedge v_k. We can write each of these vectors out in terms of components v_j=v_j^ie_i, getting the wedge (really a sum of wedges)

\displaystyle\left(v_1^{i_1}e_{i_1}\right)\wedge\dots\wedge\left(v_k^{i_k}e_{i_k}\right)

We factor out all the scalar components to get

\displaystyle\left(v_1^{i_1}\dots v_k^{i_k}\right)e_{i_1}\wedge\dots\wedge e_{i_k}

If in a given term we ever have two of the indices i_j equal to each other, then the whole wedge will be zero by antisymmetry. On the other hand, if none of them are equal we can sort them into increasing order (at the possible cost of multiplying by the sign of the needed permutation). In the end, we can write down any wedge of degree k uniquely as a sum of constants times the basic wedges e_{i_1}\wedge\dots\wedge e_{i_k}, where i_1<\dots<i_k. For example, if V has basis \left\{e_1,e_2,e_3\right\}, then \Lambda(V) will have basis

\displaystyle\left\{\begin{matrix}&1&\\e_1&e_2&e_3\\e_2\wedge e_3&e_1\wedge e_3&e_1\wedge e_2\\&e_1\wedge e_2\wedge e_3&\end{matrix}\right\}

where the lines correspond to the different degrees.

Now it’s obvious how the isomorphism acts on this basis. It just turns a wedge of basis vectors like e_2\wedge e_3 into a wedge of basis linear functionals like \epsilon^2\wedge\epsilon^3. The action on the rest of \Lambda(V) just extends by linearity. When we compose this with the isomorphism between \Lambda(V^*) and \Lambda(V)^*, we get an isomorphism \Lambda(V)\rightarrow\Lambda(V)^*. That is, we have an inner product on the algebra \Lambda(V)!

Let’s consider how this inner product behaves on our basis Clearly to line these up we need the degrees to be equal. We also find that we get zero unless the collections of indices are the same. For example, if we try to pair e_1\wedge e_2 with e_1\wedge e_3, we find

\displaystyle\begin{aligned}\langle e_1\wedge e_2,e_1\wedge e_3\rangle&=\left[\epsilon^1\wedge\epsilon^2\right](e_1\wedge e_3)\\&=\frac{1}{2!}\frac{1}{2!}\left[\epsilon^1\otimes\epsilon^2-\epsilon^2\otimes\epsilon^1\right](e_1\otimes e_3-e_3\otimes e_1)\\&=\frac{1}{4}\left(\epsilon^1(e_1)\epsilon^2(e_3)-\epsilon^1(e_3)\epsilon^2(e_1)-\epsilon^2(e_1)\epsilon^1(e_3)+\epsilon^2(e_3)\epsilon^1(e_1)\right)\\&=\frac{1}{4}\left(1\cdot0-0\cdot0-0\cdot0+0\cdot1\right)\\&=0\end{aligned}

In each arrangement, we’ll find two indices that don’t line up, and thus each term will be zero. On the other hand, if the collections of indices are the same, we find (for example)

\displaystyle\begin{aligned}\langle e_1\wedge e_2,e_1\wedge e_2\rangle&=\frac{1}{2!}\frac{1}{2!}\left(\langle e_1\otimes e_2,e_1\otimes e_2\rangle-\langle e_1\otimes e_2,e_2\otimes e_1\rangle-\langle e_2\otimes e_1,e_1\otimes e_2\rangle+\langle e_2\otimes e_1,e_2\otimes e_1\rangle\right)\\&=\frac{1}{4}\left(\langle e_1,e_1\rangle\langle e_2,e_2\rangle-\langle e_1,e_2\rangle\langle e_2,e_1\rangle-\langle e_2,e_1\rangle\langle e_1,e_2\rangle+\langle e_2,e_2\rangle\langle e_1,e_1\rangle\right)\\&=\frac{1}{4}\left(1\cdot1-0\cdot0-0\cdot0+1\cdot1\right)\\&=\frac{1}{2}\end{aligned}

When we consider a basic wedge of degree k (here, k=2) and pair it with itself, we’ll have a sum of (k!)^2 terms corresponding to summing over permutations of both tensors. Of these, terms that pick different permutations will have at least one pair of basis vectors that don’t line up, and make the whole term zero. The remaining k! terms that pick the same permutation twice will give the product of k copies of {1}, and this will always occur with a positive sign. This will exactly cancel one of the two normalizing factors from the antisymmetrizers, and thus the inner product of a basic wedge of degree k with itself will always be \frac{1}{k!}. It’s not an orthonormal basis, but it’s close.

Notice, in particular, how in the second example we’ve avoided explicit use of the dual basis and just defined the inner product on tensors of rank k as the k-fold product of inner products of vectors. We’ll stick to this notation in the future for tensors.

The factor of \frac{1}{k!} isn’t really terrible, but it can get annoying. Often the inner product on \Lambda(V) is modified to compensate for it. We consider the different degrees to be orthogonal, as before, and we define the inner product in degree k to include an extra factor of k!. This has the effect of making the collection of wedges of basis vectors into an orthonormal basis for \Lambda(V), but it means that the inner product on wedges can not be calculated simply by considering them as antisymmetric tensors.

Now, I’ve never really looked closely at exactly what happens, so as an experiment I’m going to try to not use this extra factor of k! and see what happens. I’ll refer, as I do, to the “renormalized” inner product on \Lambda(V), where appropriate. And if the work starts becoming too complicated without this factor, I’ll give in and use it, explicitly saying when I’ve given up.

About these ads

October 29, 2009 - Posted by | Algebra, Linear Algebra

4 Comments »

  1. [...] Products on Exterior Algebras and Determinants I want to continue yesterday’s post with some more explicit calculations to hopefully give a bit more of the [...]

    Pingback by Inner Products on Exterior Algebras and Determinants « The Unapologetic Mathematician | October 30, 2009 | Reply

  2. [...] Parallelepipeds and Volumes ISunday Samples 145Inner Products on Exterior Algebras and DeterminantsTensor Algebras and Inner ProductsWho Hires Math Majors?Functoriality of Tensor AlgebrasThat’s Some BoardExterior AlgebrasTensor and [...]

    Pingback by Parallelepipeds and Volumes II « The Unapologetic Mathematician | November 3, 2009 | Reply

  3. [...] and Volumes III So, why bother with this orientation stuff, anyway? We’ve got an inner product on spaces of antisymmetric tensors, and that should give us a concept of length. Why can’t we [...]

    Pingback by Parallelepipeds and Volumes III « The Unapologetic Mathematician | November 4, 2009 | Reply

  4. [...] basically seen this already when we were just dealing with vector spaces and we introduced inner products on tensor spaces. Pretty much everything goes just as it did then, so going back and reviewing those constructions [...]

    Pingback by Inner Products on Differential Forms « The Unapologetic Mathematician | October 4, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 386 other followers

%d bloggers like this: