Abstract:The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a topological, not a metric concept. That leads quickly to the notion of connectedness without any need to dwell on the definition of topology. In our approach line segments must be connected. Lines and planes are unified via the concept of separation: lines are separated into two components by each point, planes contain lines that separate them into two components as well. We add a subgroup of bijections preserving line segments and establishing unique isomorphism of basic geometrical sets, and the axiomatic structure is complete. Of fundamental importance is the Fixed Point Theorem that allows for creation of the concepts of length and congruency of line segments. The resulting structure is much more in sync with modern science than other axiomatic approaches to planar geometry. For instance, it leads naturally to the Erlangen Program in geometry. Our Conditions of Homogeneity and Rigidity have two interpretations. In physics, they correspond to the basic tenet that independent observers should arrive at the same measurement and are related to boosts in special relativity. In geometry, they mean uniqueness of congruence for certain geometrical figures. Another thread of the paper is the introduction of boundary at infinity, an important concept of modern mathematics, and linking of Pasch Axiom to endowing boundaries at infinity with a natural relation of betweenness. That way spherical geometry can be viewed as geometry of boundaries at infinity.

The Transform of a line of Desargues Affine Plane in an additive Group of its Points

Progress in Invariant and Preserving Transforms for the Ratio of Co-Linear Points in the Desargues Affine Plane Skew Field

Finite flag-transitive affine planes with a solvable automorphism group.

On regular sets of affine type in finite Desarguesian planes and related codes

The bridge between Desargues' and Pappus' theorems

Axiomatization of geometry employing group actions

A Constructive Real Projective Plane

Constructive Coordinatization of Desarguesian Planes

Semiaffine stable planes

Geometric hyperplanes of the Lie geometry

Points below a parabola in affine planes of prime order

Projective Space: Points and Planes

Multisets with few special directions and small weight codewords in Desarguesian planes

Construction of free arrangements using point-line operators

Classification of line-transitive point-imprimitive linear spaces with line size at most 12

A geometric perspective on plus-one generated arrangements of lines

On the affine geometry of congruences of lines

Affine deformations of quasi-divisible convex cones

Formulas generalizing Pappus and Desargues

Projective Rectangles: The Graph of Lines

Solvable Groups and Affine Actions on the Line