Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Freaking geometric product

  1. Sep 1, 2014 #1
    Hi, I just want to see if I understood this. Since the geometric product is associative and so on we can write for two multivectors A and B given by

    [itex]A= \alpha_{0}+\alpha_{1}e_{1}+\alpha_{2}e_{2}+\alpha_{3}e_{1}\wedge e_{2}[/itex]
    [itex]B= \beta_{0}+ \beta_{1}e_{1}+\beta_{2}e_{2}+\beta_{3}e_{1}\wedge e_{2}[/itex]

    the geometric product multiplication as

    [itex]AB=M=\mu_{0}+\mu_{1}e_{1}+\mu_{2}e_{2}+\mu_{3}e_{1}e_{2}[/itex]

    Where for example [itex]\mu_{0}=\alpha_{0}\beta_{0}+\alpha_{1}\beta_{1}+\alpha_{2}\beta_{2}-\alpha_{3}\beta_{3}[/itex] and so on.

    Now let's take an example with beautiful vectors with numbers like [itex]a = (e_{1}+2e_{2}), a_{1}=(2e_{1}+3e_{3}), a_{2}=(2e_{1}+0e_{2})[/itex]

    So [itex]aa_{1}= 8- e_1\wedge e_{2}[/itex] Now what if I multiply this with [itex]a_{2}[/itex]?

    [itex](8-e_{1}\wedge e_{2})(2e_{1})[/itex]? Is it just [itex]16e_{1}-(e_{1}\wedge e_{2})(2e_{1})[/itex] ? My logic behind this is that one can symbolically (GP) multiply multivectors and then opens up his list with like 300 different products or something and then evaluates each of the products? Is this right?
     
    Last edited: Sep 1, 2014
  2. jcsd
  3. Sep 2, 2014 #2

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    To me, if you're dealing with geometric algebra, it's better to leave out the [itex]\wedge[/itex]. For vectors, [itex]A \wedge B = \frac{1}{2}(AB - BA)[/itex]. If [itex]A[/itex] and [itex]B[/itex] are orthogonal, then [itex]A \wedge B = AB[/itex]

    So [itex]aa_{1}= 8- e_1 e_{2}[/itex].
    Then when we multiply by [itex]2 e_1[/itex] you just get:

    [itex]8 e_1 - e_1 e_2 e_1[/itex]

    You can simplify using [itex]e_2 e_1 = -e_1 e_2[/itex] to get:
    [itex]8 e_1 + e_1 e_1 e_2[/itex]

    Then you can use the fact that [itex]e_1 e_1 = 1[/itex] to get:
    [itex]8 e_1 + e_2[/itex]

    (Note: this is assuming that your basis vectors are orthonormal:
    [itex]e_i e_j + e_j e_i = 2 \delta_{ij}[/itex])
     
  4. Sep 2, 2014 #3
    Hi stevendaryl,
    I think I got it. If we can reformulate everything as GP then we can always use this simple relations between the orthogonal basis vectors, hm that was more then obvious...ok thank you.

    When you multiply [itex]8-e_{1}e_{2}[/itex] by [itex]2e_{1}[/itex] where did you leave the factor of [itex]2[/itex] in the result? I think it should be a rotation by 90 degrees anti-clockwise and dilation by factor 2?

    Thx for your reply !
     
  5. Sep 3, 2014 #4

    stevendaryl

    User Avatar
    Staff Emeritus
    Science Advisor

    That was a typo, sorry.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Freaking geometric product
Loading...