Showing dot product is commutative, please

Click For Summary

Homework Help Overview

The discussion revolves around demonstrating the commutative property of the dot product of vectors, specifically showing that \( \mathbf{a} \cdot \mathbf{b} = \mathbf{b} \cdot \mathbf{a} \). Participants are exploring the mathematical definitions and properties related to the dot product and its components.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to show the commutativity by calculating the dot product in two different forms. Some participants question the necessity of using both forms and suggest alternative definitions of the dot product. Others raise concerns about the implications of the properties of the cross product in relation to the dot product.

Discussion Status

Participants have provided various insights and clarifications regarding the proof of the dot product's commutativity. There is an ongoing exploration of the relationship between the dot product and cross product, with some participants expressing confusion about certain arguments. No explicit consensus has been reached, but several productive lines of reasoning have been presented.

Contextual Notes

Some participants note technicalities in the notation used for the dot product and raise questions about the implications of the properties of sine and cosine in relation to the commutative and anticommutative nature of vector operations.

mr_coffee
Messages
1,613
Reaction score
1
Hello everyone. I'm trying to show ab = ba. //communative property of dot product
This is what I have, is it enough to show this?
ab = (ax, ay, az) [tex]\dot[/tex] (bx, by, bz) = axbx + ayby + azbz;
a[tex]\dot[/tex]b = (axi + ayj) (bxi + byj); //note: i and j are unit vectors
= axbx(i)(i) + ayby(j)(j) + axby(i)(j) + aybx(j)(i)
= axbx+ayby

b[tex]\dot[/tex]a = (bx, by, bz) [tex]\dot[/tex] (ax,ay,az) = bxax + byay + bzaz;

b[tex]\dot[/tex]a = (bxi + byj) (axi + ayj)
= bxax(i)(i) + byay(j)(j) + bxay(i)(j) + byax(j)(i)
= bxax + byay

Is this enough to show the dot product is communative?
Any help would be great if it isn't!
 
Physics news on Phys.org
What is a.b, what is b.a? (in terms of components? No idea what those dashes are doing there)
 
a.b is the dot product, a and b are vectors. // that's just a symbol for comment in C++, out of habbit when I want to note somthing I put a //, sorry for the confusion.
 
You've got it, but I'm not sure of why you did it twice.

You need either this form:

ab = (ax, ay, az) (bx, by, bz) = axbx + ayby + azbz,

or this one:

ab = (axi + ayj) (bxi + byj),

but not both.

An even quicker way would be to define the dot product as [itex]\vec{A}\cdot\vec{B}=ABcos(\theta)[/itex].

Then:

[itex]\vec{A}\cdot\vec{B}=ABcos(\theta)[/itex]
[itex]\vec{A}\cdot\vec{B}=BAcos(\theta)[/itex]
[itex]\vec{A}\cdot\vec{B}=\vec{B}\cdot\vec{A}[/itex].

Done!
 
[itex]\vec{A}\cdot\vec{B}=ABcos(\theta)[/itex]
[itex]\vec{A}\cdot\vec{B}=BAcos(\theta)[/itex]
[itex]\vec{A}\cdot\vec{B}=\vec{B}\cdot\vec{A}[/itex].

Done!

Doesn't this imply that cross product is commutative then?

[itex]\vec{A} \times \vec{B} = AB\sin(\theta) [/tex]<br /> [itex]\vec{B} \times \vec{A} = BA\sin(\theta) [/tex]<br /> [itex]\vec{A} \times \vec{B} = \vec{B} \times \vec{A} [/tex]<br /> <br /> or am i just tired?[/itex][/itex][/itex]
 
No, it doesn't. [itex]\vec{A}\times\vec{B}[/itex] does not equal [itex]ABsin(\theta )[/itex].
 
THanks for the help guys! I do like your proof a lot better then mine :)
 
[itex]\vec{B}\cdot\vec{A}=BAcos(\theta)[/itex] minor technicality

[itex]\vec{A} \times \vec{B} = - \vec{B} \times \vec{A}[/itex] the cross product is also known as "vector product".
 
Astronuc, are you saying his proof doesn't work or are you replying to whozum?
 
  • #10
My comment about [itex]\vec{B}\cdot\vec{A}=BAcos(\theta)[/itex] is purely editorial. I believe Tom meant to right that.

Another way to right the proof is [itex]\vec{A}\cdot\vec{B}=ABcos(\theta)=BAcos(\theta)=\vec{B}\cdot\vec{A}[/itex] using the commutative rule of scalars, A*B = B*A.

and I was responding to Whozum also.
 
  • #11
Astronuc said:
My comment about [itex]\vec{B}\cdot\vec{A}=BAcos(\theta)[/itex] is purely editorial. I believe Tom meant to right that.

Um...I did write that. :confused:

Another way to right the proof is [itex]\vec{A}\cdot\vec{B}=ABcos(\theta)=BAcos(\theta)=\vec{B}\cdot\vec{A}[/itex] using the commutative rule of scalars, A*B = B*A.

That is exactly the same as my proof. You just wrote it horizontally instead of vertically. :smile:
 
  • #12
[itex]| \vec{A} \times \vec{B}| = AB\sin(\theta) = BA\sin(\theta) = | \vec{B} \times \vec{A}| [/tex]<br /> <br /> That holds true, its just the direction that switches.[/itex]
 
  • #13
Theta is the angle from A to B. If you switch A and B, theta becomes negative theta. cos(theta) = cos(-theta), so the dot product, which uses cosine, is commutative. On the other hand, sin(-theta) = -sin(theta), so the cross product, which uses sine, is anticommutative.
 
  • #14
JoAuSc said:
Theta is the angle from A to B. If you switch A and B, theta becomes negative theta. cos(theta) = cos(-theta), so the dot product, which uses cosine, is commutative.

I agree with that argument...

On the other hand, sin(-theta) = -sin(theta), so the cross product, which uses sine, is anticommutative.

...but not this one.

Or maybe I just don't understand it. I agree that the cross product is anticommutative, but I do not see how it depends on the oddness of the sine function.

When we say [itex]|\vec{A}\times\vec{B}|=ABsin(\theta)[/itex], that's actually a little sloppy. It's understood that [itex]\theta[/itex] is chosen so that [itex]sin(\theta)[/itex] is nonnegative, because the left side of that equation is nonnegative. A more precise way to say it would be:

[itex]|\vec{A}\times\vec{B}|=AB|sin(\theta )|[/itex]

or:

[itex]|\vec{A}\times\vec{B}|=ABsin(\theta )[/itex], [itex]0\leq\theta\leq\frac{\pi}{2}[/itex].
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 7 ·
Replies
7
Views
28K
  • · Replies 5 ·
Replies
5
Views
8K
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
8K
Replies
2
Views
6K
  • · Replies 4 ·
Replies
4
Views
5K
  • · Replies 3 ·
Replies
3
Views
5K