Can now tackle ahead of time the issues Hermann has yet to tackle with his product design notion. Some of these issues he does tackle later on, but some he either does not know how to resolve, or he does not see an issue or he deliberately leaves vague to be determined by the real system in application. However for the critical reader not familiar with the new ground Hemann is breaking in clarifying the product design responsibility of the observer or manufacturer of these systems within systems , it is important to emphasise that these are not issues of incorrect or wrong thinking, but of design thought patterns toward some pragmatic outcome.
When I first came upon these ideas of interpreting arithmetic in algebra, I was actually taught by geometric forms the meaning of arithmetic. Consequently I naturally thought arithmetic arise out of Geometry . Then I found after some research that perhaps it arose out of Algebra , with Algebra arising out of Geometry. These were natural deductions from inside the mathematical glasshouse.
It was the issue with i the
)
that forever shattered the window panes and let in a hurricane of confusion, that cleared away centuries of careful mind control to reveal that man, deluded or illuminated by whatever source had indeed constructed this system now miscalled mathematics out of thought patterns derived from experiences in a real world. It took nearly a lifetime to find an influential author of the same opinion, that being the Grassmanns and Hermann in particular.
Thus it is in my view symptomatic of the pettiness that pervades the subject boundary wars that this design process should come to be viewed in terms of right or wrong. Rather as all design processes are , it should be viewed first on utilitarian grounds, pragmatic results, functionality and aesthetics. In the course of doing this the systematic or modular nature of the design can be examined and checked for fitness for purpose . We might call this a design flaw, if it turns out to be disastrous, or quirkiness if it introduces perturbations but nothing major. These issues can be remedied at each
iteration of the design process.
So in that light I had a design issue about the quirkiness of the product
e ₩ e .
Firstly I had no clear idea that it was a design issue, I just thought it was wrong! Later I viewed it as an opportunity to define an output but had no clue what that " should" be , and now finally I understand hermanns perspective and the design brief he gives. His guidance is essentially keep it as simple as possible, keep it as general as possible so it can carry forward into all levels , keep it based on 3 limbs and for multiplication use the subjugation idea. Finally keep it as fractal as possible so the same Pasternak or an " almost similar" pattern runs through at every step/ stage/ rank/ level/ dimension.
Already by that slashed list one can see how many ideas and notions it has to encompass!.
Let's look at signature, so called, as a set out design solution .
Thus
e ₩ e is set equal to 1, 0, –1 according to the system within systems being modelled. Notice these are numbers . In mathematical terms this may not seem strange, but in design terms it is. Norman deals with this issue from the get go be defining numbers (type Nat) and then constructing a linear Algebra from these . Thus he incorporates many issues regarding number into the basis of his system, and the reader has to choose whether he wants to go along with him or not. However he introduces the Cartesian plane as the de facto standard, which fir many purposes it is, and this allows hom to slip the type Nat onto Wallis's orthogonal axes without causing too many raised eyebrows.
The assigning of numbers to segmented lines is counting, or tallying. In that respect the numbers have no other role than to be a Namespace, to use computer terminology. To give them an a priori existence and type is to confuse the real interaction between space and human thought patterns in my view, and I think in Hermanns view too. Nevertheless it is a design decision which is carried forward to great effect by entertaining it to Hermanns Analysis
Using this set up Norman and many others are able to define the dot product of
e ₩ e and get the signature value 1. Normnan however uses the Quadrance as his definition, also giving 1 as well as many other advantages.
This is fine until you move away from orthogonal axes. Then Pythagoras theorem does not apply and the dot product has to give way to the determinant . These are fundamental design decisions and you can only appreciate them in specificity. Norman sets out these2 issues very clearly, but of course he is still puzzling about what it all means.
By enlarge the signature one relates to the dot product which is simply the product based on Pythagoras theorem . It applies flawlessly for an orthogonal system and is used to define an orthogonal system.
In the general case, that is using line segments referred to by this orthogonal system , the product still holds good as a bilinear form and still serves a purpose of projection of one general line segment onto another.
It has taken me a while to understand this confusing use of the seemingly clear ideas expressed by Hermann , especially the dot product for which I am grateful to prof Norman Wildberger. Without his insight I do not think I would have straightened that out by myself. In this instance Hemann has no clear guidance because he did not cll it the dot product! But once you recognise it in the shadow product or the projection product you can see where Norman gains his insight from.
e ₩ e set to 0 is hermanns first design decision. This does not use a part of the Cayley table to design a product as in the dot product, it uses the full bracket expansion. In this case it would appear to be visibly true that a line segment subjugate to itself produces only an extended line segment in keeping with itself. But since by design this product should be at level 2 in the system within systems, where by design the 2 knitting processes are differing, one subjugating the other, the expectation is a flat figure, not a line.
Therefore it would appear that stage 2 elements should be flat figures , generally speaking, and not extended line segments. However, again by design, Hetmann accepts extended line segments as level 2 products.
The rejoinder is : how then is that different from lower level Addition? And the answer is : it is not , neither is it meant to be! In designing the second level product it was specifically modelled on the lower level knitting. The only reason it was called multiplication was because the name addition was already taken, but indeed it is a knitting just as addition is a knitting,mtherefore it is not odd that in the specific case
e ₩ e it should become identical to the knitting in thst system.
Without the development Hermann gives it is impossible to satisfactorily resolve this niggle. But resolving it this way is very powerful, both thought pattern wise and fractally, and it seems to mimic spatial phenomena when dynamic systems Collapse into a lower dimensional state.
The difference between multiplication and addition is the orientation of the subjugation! I can lay out a pile of bricks as a cuboid or all in a single line. The arrangement in space does not rffect the total " volume" but it certainly effects its dynamic contingencies and behaviour. A hunk of metal sinks. That same metal beaten out into a bowl may well float and carry more than its own mass!
So why choose 0? I think that we have to understand0 not as nothing but as not the emergent form, but the form just prior to emerging! Thus 0 is Shunya, full of potential, pregnant, waiting to give birth to. At level 2 a line is such an entity, it is waiting to give birth to a level 2 element. Similarly at level 3 a plane is Shunya or0 waiting to give birth to a level 3 element, a space called a parallelepiped etc. thus 0 does not mean nothing, rather it means their is a potential that needs following down a level to fully appreciate what might be occurring in a dynamic system.
Now in light of this Hermann deals with a product design where the third limb orients within the level 2 system created by the first 2 synthetic limbs. This is also a source of confusion, which Hermann and Normann following him avoid by prcifying the design. This analysis depends on the first 2 limbs being synthetically linked as the same level elements, in this case level 2. The result, due to subjugation is a parallelogram. This analysis is firmly based on the parallelogram form.
Introducing a 3rd coplanar limb now allows the analysi to proceed according to the previously laid out rules. The news issue arises precisely when we produce
e ₩ e in all it's forms. The discussion above allows us to replace this by 0 , but then in certain cases that leads go an inconsistency. We get
0 =
ab + baAnd for consistency sake we have to let commutativity go!
The problem is in understanding that result. By other design constraints we can show that a system that subjugates another produces the same result if the subjugation is the other way round. But once we have set a system we cannot justifiably change it in the middle of a calculation! Commutativity implies just that! The only thing we can do is cyclically move the labels around.
It takes a good while to grasp that . Moving the labels is not moving the system , but why would a calculation cyclically move labels? The answer is the calculation does not, the observer does, and we do it all the time, often confusing ourselves. Moving the labels is equivalent to us changing our viewpoint. The best example of this is the clockwise counterclockwise labelling. This is still a confusing labelling system!
So how does changing your point of view make a parallrogram disappear? By design a certain subjugation creates the parallelogram .clearly the reverse should remove it. But the reverse has to occur after the creation . By rotating the factor labels cyclically round one of them now is directed in the negative direction ,say
b now labels
-a. In that case the product subjugation remains the same and so
-a is done first reversing the extension back into the second line segment which then performs
b on 0( remembering that
b is now labelled
a) , the consequence is not a parallelogram but a line extension.
The more astute might note that that does not necessarily remove the created parallelogram! However by defining all parall lines in a parallelogram as equal the task is accomplished. Whatever end to one happens to all parallel lines.
This constraint has the unfortunate consequence of being universally applicable. Thus one can be lead to believe tht one has found universal laws, rather than a solution to a tricky design issue. Maxwell for example felt certain that such products would exist in space independent of source. Some buckle heads have gone about hailing mathematics with this predictive ability rather than looking more closely for the natural force system that may or may not make this a valid application!
In fact the huge magnetic structures show this local consistency justifying a local application of this system, but as any observer of the sun will tell you that consistency os not universal!
Hrm! So why do we still act as if Newtons " laws" are universal? You tell me!
e ₩ e set to –1 is a curious product design. On the face of it it has to be the imaginary product, but in fact that is still confusingly thought of as a line segment product.
In the work I did on polynomial revolutions I gradually had to distinguish between the oriented line and the product design setting up the system.. Hermann deals with this within a rhombus of equal line segments, and shows how it is in fact the singing arc contained therein that is the limb that is being synthetically knitted or analytically knitted. He is forced to use the Eulerian exponential function to express this relationship, and we read of his development in the Vorrede.
The topic is wide and deep, and open for continued research based on the Cotes DeMoivre body of Calculus, the roots of unity and the zeroes of the trig functions cos(nø) and sin(nø). In addition cotes version of the Cotes Euler equation. Here the trig line segments really come to the fore and all the previous work done on product design has to be modified to fit this new product design.
Essentially, from the complex product design involving a rhombus and an interior arc and the projections onto the diagonal, one should expect a very general applicability of this product design. The principal freedom is that of rotation in the plane, and this is directly relevant to Hamiltons Quaternions. The solution Hamilton stumbled on, and I say by brute force because he ignores the complex conjugate of K, works after a fashion but requires the associative product design ijk = –1.
I designed( without being able to quite grasp it) the Newtonisn triples without that constraint , rather ncd = -n, and in do doing saw how Hamilton had bulldozed through the complex conjugate constraint. The Newtonisn triples are a modulo 6 product design, and work on 6 line segments arranged as 3 orthogonal axes.
So are these the best product designs or just the most common and familiar?
For example the dot product design could be replaced by the determinant design while allowing
e ₩ e to be set at 2
e.
The design for division which will come up next , may be tinkered with. The design for rotation might be simplified to remove the exponential. Although personally I love it and the trochoids it generates.
Design processes like these are all open to the designer once one gets over the centuries of unjustified awe accorded to mathematics, fostered by mathematicians who have to eat like the rest of us.
The design of the product for Quaternions is what Hermanns paper is all about. And to see how deeply he went into the design will be instructive.