Talk:Geometric algebra: Difference between revisions
m
→A possible source of confusion: fixing stuff
m (→A possible source of confusion: fixing stuff) |
|||
Line 105:
::::::::::::::After thinking about this, I am going to ask you to change your "It is known" statements in the task description. You need to spell these out in more detail. You cannot expect these details to be known by typical contributors to Rosettacode. You cannot even expect these details to be known by typical mathematicians. Only people who are well versed in the geometri/clifford algebra arcana should be expected to have apriori understanding of those details. --[[User:Rdm|Rdm]] ([[User talk:Rdm|talk]]) 03:31, 20 October 2015 (UTC)
:::::::::::::::The axioms define a so-called geometric product. The fact that this geometric product can be applied to a scalar and something else does not make it a scalar product. The expression ''scalar product'' in math means something specific. IIRC it's a symmetric, bilinear, positive-definite form. The multiplication of a scalar by a vector in a vector space for instance is never called scalar product, as this would be a very unfortunate naming collision. IIRC it's called extern scalar multiplication or something like that.
:::::::::::::::The proof that the geometric product defines a scalar product is not too hard. First you define the inner product of two vectors <math>\mathbf{a}\cdot\mathbf{b} = (\mathbf{a}\cdot\mathbf{b} + \mathbf{
:::::::::::::::It's not very complicated a proof, but it's quite irrelevant to the task and putting it in the description would spam it imho. I won't add it unless other people complain.--[[User:Grondilu|Grondilu]] ([[User talk:Grondilu|talk]]) 11:21, 20 October 2015 (UTC)
| |||