2
$\begingroup$

The following definition is from p. 306 of the 2nd edition of John Lee's Introduction to Smooth Manifolds -- note that I have seen similar definitions elsewhere:

Let $V_1, \dots, V_k, W_1, \dots, W_l$ be real vector spaces, and suppose $F$ is a multilinear map from $V_1 \times \dots \times V_k$ to $\mathbb{R}$ and $G$ is a multilinear map from $W_1 \times \dots \times W_l$ to $\mathbb{R}$. Define a function $$F \otimes G: V_1 \times \dots \times V_k \times W_1 \times \dots \times W_l \to \mathbb{R} $$ $$F \otimes G (v_1, \dots, v_k, w_1, \dots, w_l)=F(v_1, \dots, v_k)G(w_1, \dots, w_l). $$ ... $F \otimes G$ is a multilinear map from $V_1 \times \dots \times V_k \times W_1 \times \dots \times W_l$ to $\mathbb{R}$ called the tensor product of $F$ and $G$.

Question: Why invent a special symbol $\otimes$ for the tensor product when it is just a pointwise product? Wouldn't it just be easier to write $FG$ or $F \cdot G$ or $F(\dots,v_i, \dots)G(\dots, w_j, \dots)$?

Seemingly being misled by the special symbol, I always misremember the tensor product as being something far more complicated than it actually is, and thus I never remember the actual definition until I read it again. So I was hoping that some motivation for the symbol will help me in the future to remember the definition for what it is, something simple, and to be less afraid of the object. That way I'll be able to use and do calculations with tensors much more readily, instead of panicking when I see the tensor product symbol and forgetting that it just denotes pointwise multiplication.

$\endgroup$
  • 2
    $\begingroup$ It's not such a complicated symbol. It's the regular $\times$ symbol from grade school with a circle around it. $FG$ or $F\cdot G$ or even $F\times G$ could have also been used but someone chose $\otimes$. Don't get hung up on notation. $\endgroup$ – got it--thanks Nov 3 '16 at 18:27
  • 3
    $\begingroup$ Remember that tensor product is not commutative. A notation like you suggest might not be preferable for this reason. $\endgroup$ – ziggurism Nov 3 '16 at 18:30
  • 3
    $\begingroup$ It's not a pointwise product. $V \otimes W $ consists of pairs $(u, v)$ subject to the relations $(au, v) = (u, av) = a (u, v)$ for any scalar a. It is thus a quotient of the Cartesian product. $\endgroup$ – Tac-Tics Nov 3 '16 at 18:47
  • 1
    $\begingroup$ In order to be less afraid of tensors, see also here: math.stackexchange.com/questions/10282/… $\endgroup$ – Hans Lundmark Nov 3 '16 at 18:58
  • 1
    $\begingroup$ @Tac-Tics No, the question is asking about the tensor product of two maps, not the tensor product of vector spaces (which itself isn't a quotient of the Cartesian product). $\endgroup$ – Oscar Cunningham Nov 4 '16 at 12:02
4
$\begingroup$

Let $F(x) := Ax$ and $G(y) := By$ for some real matrices $A$ and $B$.
Then $F\cdot G$ usually denotes the inner product map ($x^TA^TBy$) and
$FG$ usually denotes composition ($ABy$).

Now in this special case you have an example where your suggested altenatives are both occupied with meaning.

$F\otimes G$ is a linear map with matrix
$A \otimes B = \pmatrix{a_{11}B & a_{12} B & \cdots \\ a_{21} B & \ddots & \\ \vdots &&}$
in the canonical basis of $\mathbb R^n \otimes \mathbb R^m$ by the way.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.