# What is the physical significance of dot & cross product of vectors? Why is division not defined for vectors?

I get the physical significance of vector addition & subtraction. But I don't understand what do dot & cross products mean?

More specifically,

• why is it that dot product of vectors $\vec{A}$ and $\vec{B}$ is defined as $AB \cos{\theta}$
• why is it that cross product of vectors $\vec{A}$ and $\vec{B}$ is defined as $AB \sin{\theta}$

To me, both these formulae seem to be arbitrarily defined (Although, I know that it definitely wouldn't be the case).

If Cross product could be defined arbitrarily, why can't we define division of vectors? What's wrong with that? Why can't vectors be devided?

-
Division is the inverse of multiplication. A vector space in which you can also multiply two vectors is called an algebra (over a field). The cross product is not a type of multiplication as it is not associative. The dot product also doesn't count as multiplication as it maps two vectors into a scalar. The Quaternions are an example of a vector space which is also an algebra. –  Olaf Aug 29 '11 at 11:15

I get the physical significance of vector addition & subtraction. But I don't understand what do dot & cross products mean?

Perhaps you would find the geometric interpretations of the dot and cross products more intuitive:

The dot product of A and B is the length of the projection of A onto B multiplied by the length of B (or the other way around--it's commutative).

The magnitude of the cross product is the area of the parallelogram with two sides A and B. The orientation of the cross product is orthogonal to the plane containing this parallelogram.

Why can't vectors be divided?

How would you define the inverse of a vector such that $\mathbf{v} \times \mathbf{v}^{-1} = \mathbf{1}$? What would be the "identity vector" $\mathbf{1}$?

In fact, the answer is sometimes you can. In particular, in two dimensions, you can make a correspondence between vectors and complex numbers, where the real and imaginary parts of the complex number give the (x,y) coordinates of the vector. Division is well-defined for the complex numbers.

The cross-product only exists in 3D.

Division is defined in some higher-dimensional spaces too (such as the quaternions), but only if you give up commutativity and/or associativity.

Here's an illustration of the geometric meanings of dot and cross product, from the wikipedia article for dot product and wikipedia article for cross product:

-

The best way is to ignore the garbage authors put in elementary physics books, and define it with tensors. A tensor is an object which transforms as a product of vectors under rotations. Equivalently, it can be defined by linear functions of (sets of vectors) and (linear functions of sets of vectors), all this is described on Wikipedia.

There are exactly two tensors which are invariant under rotations:

$\delta_{ij}$ and $\epsilon_{ijk}$

All other tensors which are invariant under rotations are products and tensor traces of these. These tensors define the "dot product" and "cross product", neither of which is a good notion of product:

$V \cdot U = V^i U^j \delta_{ij}$

and cross product

$(V \times U)_k = V^i U^j \epsilon_{ijk}$

It is pointless to try to think of the cross product as a "product", because it is not associative, $(A\times B)\times C$ does not equal $A\times(B\times C)$. It is also less than useful to think of the dot-product as a product in the usual sense, because it takes pairs of vectors to numbers, and $(A\cdot B)C$ does not equal $A(B\cdot C)$, because the first points in the C direction, and the second points in the A direction.

The best way is to get used to the invariant tensors. These generalize to arbitrary dimensions, and they are much clearer, and do not require a right-hand rule (this is taken care of by the index order convention). You will not find a single physics paper which uses the cross product, with the single exception of Feynman's 1981 paper "the qualitative behavior of Yang-Mills theory in 2+1 dimensions", and even if you do, it is trivial to translate.

-
Any spherically symmetric metric is invariant under rotations. You mean rotations about an arbitrary point. –  Jerry Schirmer Aug 29 '11 at 7:18
The spherically symmetric metric in 3-d euclidean space is $\delta_{ij}$. –  Ron Maimon Aug 29 '11 at 7:37
sure, but you said "two tensors". I can define all sorts of spherically symmetric tenors in 3-d euclidean space. They just aren't the 3-d Euclidean metric. –  Jerry Schirmer Aug 29 '11 at 7:51
nice answer. What book would you recommend for reading up on this stuff? –  Larry Harson Aug 29 '11 at 14:17
@Jerry: like what? –  Ron Maimon Aug 29 '11 at 14:34

If you're going to define division of vectors, you're going to have to define over what multiplication field you're going to define the division: For ordinary numbers, I think of $\frac{x}{y}$ as being the number that, when multiplied by $y$, gives $x$. So, $\frac{\vec x}{\vec y}$ would have to be the vector that, when "multiplied" by $\vec y$, gives $\vec x$. If our multiplication field is the dot product, we're already in trouble, because the dot product of two vectors is a scalar, and the definition above would therefore require $\frac{\vec x}{\vec y}$ to simultaneously be a vector and a scalar.

Similarly, if our operation is the cross product, then we know that, for any vectors $\vec x$ and $\vec y$ and any scalar $c$, we have ${\vec x} \times {\vec y} = {\vec x}\times \left({\vec y} + c{\vec x}\right)$, so this means that there are an infinite number of vectors that satisfy the property "when crossproducted by $\vec y$, gives $\vec x$. Therefore, division over the cross product is not unique.

-

For products you have the answers. For division I recommend you to read more about quaternions. Interpretation of vectors in terms of quaternions allows for more reach algebra than vector space itself.

A little math right here. For natural definition of division you need at least division ring (one may comment that division algebra is enough, then add octonions to my answer). There is a theorem that the only finite dimensional division rings are reals, complex and quaternions. Vectors are vector space in three dimensions. So, any division for three-dimensional vectors will be "unnatural".

-

You can divide vectors with clifford ("geometric") algebra.

The geometric product of vectors is associative:

$$abc = (ab)c = a(bc)$$

And the geometric product of a vector with itself is a scalar.

$$aa = |a|^2$$

These are all the properties required to define a unique product of vectors. All other properties can be derived. I'll sum them up, however: for two vectors, the geometric product marries the dot and cross products.

$$ab = a \cdot b + a \wedge b$$

We use wedges instead of crosses because this second term is not a vector. We call it a bivector, and it represents an oriented plane. It can be instructive to introduce a basis to see this. $e_1 e_1 = e_2 e_2 = 1$ and $e_1 e_2 = -e_2 e_1$ capture the geometric product's properties for these orthonormal basis vectors. The geometric product is then,

$$ab = (a^1 e_1 + a^2 e_2) (b^1 e_1 + b^2 e_2) = (a^1 b^1 + a^2 b^2) + (a^1 b^2 - a^2 b^1) e_1 e_2$$

As I said, the geometric product of two vectors is invertible in Euclidean space. This is obvious from the associativity property: $a b b^{-1} = a(b b^{-1}) = a$. That $b b^{-1} = 1$ implies that

$$b^{-1} = b/|b|^2$$

It's informative to look at the quantity $a = (a b) b^{-1}$, using the grouping to decompose it a different way.

$$a = (ab)b^{-1} = (a \cdot b) b^{-1} + (a \wedge b) \cdot b^{-1}$$

The first term is in the direction of $b$, the second is orthogonal to $b$. This decomposes $a$ into $a_\parallel$ and $a_\perp$.

What others have said is right, you can't define just the vector cross product to be invertible. This decomposition should convince you--you cannot fully reconstruct a vector without information from both the dot and cross products. And as has been said, this product is not commutative.

-