Tuesday, December 22, 2009

Revised: Going in Circles – Part II

In Going in Circles – Part I we presented the basic reasoning underlying Q-Orders by analyzing the configurations of elements on 1 Circle and the combination of 2 circles. Already in the discussion of Axiom 4 we said informally that the combination of circles should create new ones and specified which would be permitted based on pictures.

Yet it would be a fruitless and hence useless task, to continue that way, since very rapidly we would be defeated by combinatorial explosion, as 4 elements on 1 circle already allow 3 configurations according to Axiom 1 and Lemma A 1. We need urgently rules of interference! For more than 4 elements on 1 Circle, Lemma A 2 solved the problem, as shown by Lemma A 5.

Yet for the combination of more than 2 circles –at least 3^3 = 27 possibilities- we have no rules yet and analyzing even in this case the configurations one by one more would be very clumsy, and literally impossible for only countable many elements.

A part of the problem is solved by Axiom 3.

Axiom 3  Regular

It claims that

  1. whenever all pairs of 3 points can be found on some circle –regardless their configurations there-, there should be a 4th element to give a complete circle, where all 4 may be positioned.
  2. whenever all triplets of 4 points have their circle, the 4 points themselves may be positioned on 1 circle.

As this is a global claim, Axiom 3 is truly an Axiom i.e. a Thinking – Hypothesis that may be false in the real world (as the Parallel Axiom in non-Euclidian Geometries). Actually I’ve done some investigation on the consequences, if it were false in the frame work of Q-Orders. Due to its hypothetical character we will flag further on any proof that uses it.

Sorry, no pictures for Axiom 3! (it would have been 91 for 3.1 and 271 for 3.2) …. but whoever has the time and resources to draw them up all, including the configuration for the resulting circle, is kindly invited to provide them, or even better a small animation applet …).

Axiom 3 and 4 combined express a second Thinking Hypothesis as a rule of interference to allow later on for consistent orientation.

Lemma A.6Eqn05

Whenever a pair {c,d} is separated by another pair {a,b}, and this pair appears on the same side of some circle , then {a,b} separate {c,d} also on this circle. Or more loosely, if {a,b} separates {c,d}, then it does so anywhere or even more general: {{a,b},{c,d}} is a universal relation.

This Lemma has far reaching consequences as it’s implied by the concept of transitivity of partial orders and likewise by the concept of continuous functions in Real Analysis.

cont fun

Then Lemma 7 shows that a pair {u,v} not only separates all circles that run trough {u,v} but cuts them into two equivalence classes of points- say inner-outer, left-right, upper-lower - without defining which is which.

Lemma A 7 
lemma 7

intervall sets

Q-Orders sometimes have adjacent points:
Lemma A 8 Adjacent Points 
lemma 8

Adjacent are those points which can not be separated by Q. It’s a local property, i.e. something that can’t be separated by one interval, can’t be separated by any other.

With the above, we are done with all local Axioms, remaining only the Axioms 5 and 6  that will generalize our findings about orientation.

No comments:

Post a Comment