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.

Preliminary study on the basis of geometric algebra from a new perspective

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Study on Spatial Geometric Similarity Based on Conformal Geometric Algebra.

Geometric algebra and its applications in quantum system control

A study on meet computation of spatio-temporal parcel based on conformal geometric algebra

New foundations for geometry

The Collinear of Elementary Geometry in High Viewpoint of Klein

A Survey of Geometric Structure in Geometric Analysis

Geometric operations implemented by conformal geometric algebra neural nodes

Proper homotopy types and Z-boundaries of spaces admitting geometric group actions

An Observer-Based View of Euclidean Geometry

Non-abelian fundamental groups in arithmetic geometry

Axiomatization of geometry employing group actions

Invariant Geometric Structures on Almost Abelian Lie Groups

Non Additive Geometry

Associative Geometries. I: Torsors, linear relations and Grassmannians

Doing Euclidean Plane Geometry Using Projective Geometric Algebra

Commutative and Non-commutative Parallelogram Geometry: an Experimental Approach

On some approaches towards non-commutative algebraic geometry

On the geometric realization of the inner product and canonical basis for quantum affine $\mathfrak{sl}_n$