# Vectors and Tensors

**URL:** <https://boards.straightdope.com/t/vectors-and-tensors/204187>\
**Category:** Factual Questions\
**Created:** [September 27, 2003, 7:05pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187 "2003-09-27T19:05:32Z")\
**Posts on this page:** 9\
**Page:** 1

<div class="post-metadata">

**Author:** ![Sacroiliac](https://avatars.discourse-cdn.com/v4/letter/s/ecb155/32.png) [@Sacroiliac](https://boards.straightdope.com/u/Sacroiliac)\
**Post date:** [September 27, 2003, 7:05pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/1 "2003-09-27T19:05:32Z")

</div>

If I have 2 vectors **u** and **v** then ( **u** dot **v** ) **u** gives me the projection of **v** on u. Alternately **u\*\*\*\*u** ( **v** ) also gives me the projection of **v** on **u**.

Where does the equality **u\*\*\*\*u** ( **v** ) = ( **u** dot **v** ) **u** come from and what is it that makes **u\*\*\*\*u** a tensor and not just a matrix?

Thanks

---

<div class="post-metadata">

**Author:** ![missing\_link](https://avatars.discourse-cdn.com/v4/letter/m/d2c977/32.png) [@missing\_link](https://boards.straightdope.com/u/missing_link)\
**Post date:** [September 27, 2003, 8:51pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/2 "2003-09-27T20:51:22Z")

</div>

Actually the projection of **v** on **u** is  
( **u** dot **v** ) / u^2 \* **u**.

What does **uu(v)** mean? I don’t get the notation you are using.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [September 27, 2003, 9:44pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/3 "2003-09-27T21:44:33Z")

</div>

If **uu** means **u** [sup]t[/sup] **u** , and **u** is a column vector, then it’s pretty easy to see that **u** [sup]t[/sup] **u** = **u** [sup] **.** [/sup] **u**.

**u** [sup] **.** [/sup] **u** is a tensor because every scalar is a tensor of rank 0.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [September 27, 2003, 9:47pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/4 "2003-09-27T21:47:13Z")

</div>

Also, **uu** has to be a scalar in that equation, or else the dimensions of the left-hand side just don’t match those of the right-hand side.

---

<div class="post-metadata">

**Author:** ![Sacroiliac](https://avatars.discourse-cdn.com/v4/letter/s/ecb155/32.png) [@Sacroiliac](https://boards.straightdope.com/u/Sacroiliac)\
**Post date:** [September 27, 2003, 10:11pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/5 "2003-09-27T22:11:29Z")

</div>

**u\*\*\*\*u** is a dyad. The text I’m presently looking at writes it this way but I think it’s usually written with a multiplication sign with a circle around it.

I worked it out both ways and the answer comes out the same so it must be right I just can’t figure out how to derive that **u\*\*\*\*u** ( **v** ) = **u** ( **u** dot **v** )

---

<div class="post-metadata">

**Author:** ![g8rguy](https://avatars.discourse-cdn.com/v4/letter/g/7cd45c/32.png) [@g8rguy](https://boards.straightdope.com/u/g8rguy)\
**Post date:** [September 28, 2003, 2:01am UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/6 "2003-09-28T02:01:18Z")

</div>

Do you know anything about indicial notation, **Sacroiliac**? That makes it pretty clear. Assuming you do, the dyad **uu** has indices given by

(uu)[sub]ij[/sub]=u[sub]i[/sub]u[sub]j[/sub]

so that **uu(v)** would be, if I understand your notation,

u[sub]i[/sub]u[sub]j[/sub]v[sub]j[/sub] = **u** \* ( **u** dot \*\* v\*\*).  
This is likely to be useless, so here’s a more intuitive way of thinking about it. The dyad **AB** is the product of two vectors **A** and **B** , and you can just think about it as **A** acting to the left and **B** acting to the right.

When you multiply on the right by **C** , you take the dot product of the right-hand vector **B** with the vector **C** , leaving **A** \* ( **B** dot **C** ).

Similarly, if you multiplied on the left by **C** , you take the dot product of the left-hand vector **A** with the vector **C** , leaving **B** \* ( **A** dot **C** ).

I’m not sure if this helps any or not, but that’s what a dyad is, pretty much by definition.

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [September 28, 2003, 7:16pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/7 "2003-09-28T19:16:21Z")

</div>

> [@](#):
>
> Where does the equality uu(v) = (u dot v)u come from and what is it that makes uu a tensor and not just a matrix?

A matrix can be considered as a special case of a tensor. A matrix is a row of columns (or equivalently, a column of rows), but you can also have tensors which act like a row of rows, or a column of columns. In index notation (also referred to as Einstein notation), you denote this by whether the index is a superscript or subscript (“upstairs” or “downstairs”), and strictly speaking, for a dot product, **u** dot **v** = u[sup]i[/sup]v[sub]i[/sub] (or u[sub]i[/sub]v[sup]i[/sup]), not u[sub]i[/sub]v[sub]i[/sub].

The distinction between rows and columns, or between upstairs and downstairs indices, is unimportant in Euclidean Cartesian coordinates, but it becomes very important in other coordinate systems (as, for example, if you’re doing relativity).

---

<div class="post-metadata">

**Author:** ![Sacroiliac](https://avatars.discourse-cdn.com/v4/letter/s/ecb155/32.png) [@Sacroiliac](https://boards.straightdope.com/u/Sacroiliac)\
**Post date:** [September 28, 2003, 9:17pm UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/8 "2003-09-28T21:17:42Z")

</div>

Thanks everyone. Chronos covariant/contravariant drove me crazy till I found out they were just each others dual spaces. For 3 dimensions the inner product is a lot easier with 3 terms than 9 terms.

> [@](#):
>
> A matrix is a row of columns (or equivalently, a column of rows), but you can also have tensors which act like a row of rows, or a column of columns

This made my head spin around. Could you explain?

---

<div class="post-metadata">

**Author:** ![JS\_Princeton](https://avatars.discourse-cdn.com/v4/letter/j/57b2e6/32.png) [@JS\_Princeton](https://boards.straightdope.com/u/JS_Princeton)\
**Post date:** [September 29, 2003, 12:04am UTC](https://boards.straightdope.com/t/vectors-and-tensors/204187/9 "2003-09-29T00:04:47Z")

</div>

Sacroiliac, think three dimensions instead of two, if you must. At the most basic, the mathematics of tensors deal with generalizing how you can transform pairs of vectors.
