# The Unapologetic Mathematician

## 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 $i$th tensorand $v_i$ into the $i$th 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 $n$th 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.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 5 Comments	»

1. [...] and at least one of them will be useful. Remember that we also have symmetric and alternating multilinear functionals in play, so the same constructions will give rise to even more [...]

Pingback by | October 26, 2009 | Reply

2. [...] dual to the exterior algebra is the algebra of all alternating multilinear functionals on , providing a counterpart to the algebra of polynomial functions on . But where the variables in [...]

Pingback by | October 27, 2009 | Reply

3. [...] of degree . 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 tensors by applying the [...]

Pingback by | October 29, 2009 | Reply

4. [...] all these together, we find that the -dimensional volume of a parallelepiped with sides is an alternating multilinear functional, with the sides as variables, and so it lives somewhere in the exterior algebra . We’ll have [...]

Pingback by | November 2, 2009 | Reply

5. [...] Yesterday we established that the -dimensional volume of a parallelepiped with sides should be an alternating multilinear functional of those sides. But now we want to investigate which [...]

Pingback by | November 3, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 49, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8962827920913696, "perplexity_flag": "head"}