I have recently been introduced to Hilbert's axioms of geometry. Right now I am studying angles. A text I have been using as a guide defines an angle and its opening in the following way:
An angle is the union of two half-lines which share a common endpoint and do not lie in the same line. The angle formed by the half-lines $OA$ and $OB$ is denoted by $\angle AOB$.
The opening of an angle $\angle AOB$ is the set of points which lie on the same side of the line $OA$ as $B$ and at the same time lie on the same side of the line $OB$ as $A$.
I however have some problems with this definition. First, the definition seems to discard the concept of a straight or a full angle as the half-lines defining the angle must be on separate lines. Secondly the definition also seems to treat an angle and its explementary angle as the same angle. Because of this I have been thinking of an alternative definition:
- An angle is a pair of half-lines which share a common endpoint. The angle $(OA,OB)$ is denoted by $\angle AOB$ and we call call the half-line $OA$ the left side of the angle $\angle AOB$ and call the half-line $OB$ the right side of the same angle.
As the half-lines may be on the same line, the concept of an opening of an angle doesn't seem to have a obvious replacement.
I am now particularly interested in how we could order these kinds of angles. In the definition of the text that I am using, in the way I have interpreted it, they define an ordering of an angle in terms of its opening: We say that $\angle ABC <\angle PQR$ if and only if there exists a point $S$ in the opening of the angle $\angle PQR$ such that the angles $\angle ABC$ and $\angle PQS$ are congruent.
Attempting to define a similar kind of concept of order has led me to difficulty in the other definition as the concept of an opening of an angle isn't there. Instead of a linear order, I have also been trying to define a cyclic order these kinds of angles (Wikipedia has an article on cyclic orders if they are unfamiliar: https://en.wikipedia.org/wiki/Cyclic_order). However my attempts have not yet succeeded. I would appreciate any ideas for trying to formulate a concept of order for these kinds of angles or other ways to think about angles and their ordering
This is something I've been struggling to formalize for a long time and... I think I succeeded.
First, the definition on an (ordinary) angle as a union of two half-lines doesn't seem the most convienent to me. I prefer to define it as an unordered pair. However, you can obviosly extract the pair from the union i.e. the pair is uniquely determined by the union.
You are absolutely right that the common definition discards zero angle and half-full angle and makes no distinction between the angle and its explementary angle.
Now I will talk about how to (in a sense) generalize the notion of an angle to meet these issues.
You had a good intuition to distinguish what you called left and right side of an angle. I will rather not use these names, but I will introduce the notion of a directed angle as an ordered pair of halflines sharing the common origin.
Now we should be able to distinguish whether we rotate clockwise or anti-clockwise when we start from the first halfine of a directed angle and go (shortest way) to the second halfline (this illustration doesn't necessarily apply to zero and half-full angles). We can't really tell a single directed angle rotates clockwise, for instance. We can, however, tell whether two directed angles (not zero or half-full) both rotate the same direction or not. What we need here is orientation of a plane (you didn't write it but I assume we are doing planar geometry, otherwise it doesn't make much sense). Here's the link to my definition of an orientation:
How to define orientation of ordered plane?
We can assign one of (two) orientations to any directed angle which is not zero or half-full the following way:
For directed angle $(A,B)$ we set $\mathcal{O}((A,B)):=[(L(A),[A],M)]$, where $M$ is a halfplane with boundary $L(A)$ which contains $B$.
The rest is easy. We can now define the interior of the directed angle with respect to one (fixed) orientation $\mathcal{O}$.
Take a directed angle $(A,B)$. If $(A,B)$ is zero angle, then honestly speaking I don't know what is the best choice for the interior, perhaps empty. If $(A,B)$ is not zero nor half-full then we have two possibilities:
Finally, if $(A,B)$ is a half-full angle, then the interior will be the halfplane $M$ with boundary $L(A)=L(B)=L$ such that $\mathcal{O}=[L,[A],M]$ (exactly one of two halplanes will satisfy this condition).
We can go further and define for instance the cyclic order you were asking about. Namely, consider the set $\mathcal{H}$ of all halflines sharing the same origin. We will say that three halflines $A,B,C\in \mathcal{H}$ are in order $A-B-C$ with respect to (fixed) orientation $\mathcal{O}$ whenever $A\neq C$ and $B$ lies in the interior of $(A,C)$ with respect to $\mathcal{O}$.
This order will satisfy usual cyclic order axioms:
There is much more which can be done about directed angles. We can introduce a relation between directed angles saying that $(A,B)\simeq (C,D)$ iff they are both zero angles or they are both half-full angles or they both aren't these and are congruent and have the same orientation. This relation is an equivalence relation. I call equivalence classes free directed angles. Next we can define addition of free directed angles (adding ordinary free angles is not always possible). And we can prove that the set of free directed angles is an abelian group (commutativity is the hard part). Another thing which can be done is measure of a (free) directed angle with respect to (fixed) orientation. Say we do it in degrees. This measure will take values in $[0,360)$ unlike the ordinary measure which takes values in $(0,180)$. This measure will be additive (modulo 360) and it may serve to order (linearly) the set of free directed angles which is the thing you were asking about. But that's another long story to tell...