The Unapologetic Mathematician

Mathematics for the interested outsider

Multilinear Functionals

Okay, time for a diversion from all this calculus. Don’t worry, there’s tons more ahead.

We’re going to need some geometric concepts tied to linear algebra, and before we get into that we need to revisit an old topic: tensor powers and the subspaces of symmetric and antisymmetric tensors. Specifically, how do all of these interact with duals. Through these post we’ll be working with a vector space V over a field \mathbb{F}, which at times will be assumed to be finite-dimensional, but will not always be.

First, we remember that elements of the dual space V^*=\hom_\mathbb{F}(V,\mathbb{F}) are called “linear functionals”. These are \mathbb{F}-linear functions from the vector space V to the base field \mathbb{F}. Similarly, a “n-multilinear functional” is a function f that takes n vectors from V and gives back a field element in \mathbb{F} in a way that’s \mathbb{F}-linear in each variable. That is,

\displaystyle f(v_1,\dots,av_i+bw_i,\dots,v_n)=af(v_1,\dots,v_i,\dots,v_n)+bf(v_1,\dots,w_i,\dots,v_n)

for scalars a and b, and for any index i. Equivalently, by the defining universal property of tensor products, this is equivalent to a linear function f:V^{\otimes n}\rightarrow\mathbb{F} — a linear functional on V^{\otimes n}. That is, the space of n-multilinear functionals is the dual space \left(V^{\otimes n}\right)^*.

There’s a good way to come up with n-multilinear functionals. Just take n linear functionals and sew them together. That is, if we have an n-tuple of functionals (\lambda^1,\dots,\lambda^n)\in\left(V^*\right)^{\times n} we can define an n-multilinear functional by the formula

\displaystyle\left[m(\lambda^1,\dots,\lambda^n)\right](v_1\otimes\dots\otimes v_n)=\prod\limits_{i=1}^n\lambda^i(v_i)

We just feed the ith tensorand v_i into the ith functional \lambda^i and multiply all the resulting field elements together. Since field multiplication is multilinear, so is this operation. Then the universal property of tensor products tells us that this mapping from n-tuples of linear functionals to n-multilinear functionals is equivalent to a unique linear map from the nth tensor power \left(V^*\right)^{\otimes n}\rightarrow\left(V^{\otimes n}\right)^*. It’s also easy to show that this map has a trivial kernel.

This is not to say that dualization and tensor powers commute. Indeed, in general this map is a proper monomorphism. But it turns out that if V is finite-dimensional, then it’s actually an isomorphism. Just count the dimensions — if V has dimension d then each space has dimension d^n — and use the rank-nullity theorem to see that they must be isomorphic. That is, every n-multilinear functional is a linear combination of the ones we can construct from n-tuples of linear functionals.

Now we can specialize this result. We define a multilinear functional to be symmetric if its value is unchanged when we swap two of its inputs. Equivalently, it commutes with the symmetrizer. That is, it must kill everything that the symmetrizer kills, and so must really define a linear functional on the subspace of symmetric tensors. That is, the space of symmetric n-multilinear functionals is the dual space \left(S^nV\right)^*. We can construct such symmetric multilinear functionals by taking n linear functionals as before and symmetrizing them. This gives a monomorphism S^n\left(V^*\right)\rightarrow\left(S^nV\right)^*, which is an isomorphism if V is finite-dimensional.

Similarly, we define a multilinear functional to be asymmetric or “alternating” if its value changes sign when we swap two of its inputs. Then it commutes with the antisymmetrizer, must kill everything the antisymmetrizer kills, and descends to a linear functional on the subspace of antisymmetric tensors. As before, we can construct just such an antisymmetric n-multilinear functional by antisymmetrizing n linear functionals, and get a monomorphism A^n\left(V^*\right)\rightarrow\left(A^nV\right)^*. And yet again, this map is an isomorphism if V is finite-dimensional.

October 22, 2009 Posted by | Algebra, Linear Algebra | 8 Comments