Neutral Geometry¶
An axiomatic geometry retaining incidence, betweenness, and congruence while withholding any parallel postulate, so its theorems survive in both Euclidean and hyperbolic extensions.
Core Idea¶
Neutral, or absolute, geometry studies what follows from geometric incidence, order, and congruence before a parallel postulate is chosen. It contains theorems shared by Euclidean and hyperbolic geometry, but does not decide whether a point off a line has exactly one or more than one nonintersecting line through it.
The historic shorthand of Euclid's first four postulates is not a complete modern axiom system by itself. Hilbert-style incidence, betweenness, and congruence axioms give a more precise basis. A neutral theorem must survive both of the major parallel extensions, not merely look familiar in a Euclidean drawing.
Scope of Application¶
These uses prove or compare results before any parallel axiom is selected.
- Geometric foundations. Separates shared axioms from disputed parallel assumptions.
- Theorem auditing. Checks whether a proof uses a parallel postulate covertly.
- Model comparison. Contrasts Euclidean and hyperbolic extensions of the same core.
- Historical axiomatics. Distinguishes Euclid's shorthand from adequate modern formalizations.
Clarity¶
State incidence, betweenness, and congruence axioms while withholding every parallel postulate. Include only results derivable before the parallel choice. Exclude Euclidean uniqueness of parallels, hyperbolic multiplicity, and spherical line order as neutral claims. At least one parallel may be constructed without proving uniqueness. A Euclidean drawing does not replace an axiom-based proof.
Manages Complexity¶
The neutral core compresses many separate geometric arguments into theorems guaranteed across two extensions. It also exposes exactly where extra axioms enter; instead of silently importing a Euclidean diagram, one can label the parallel-dependent step.
Abstract Reasoning¶
- Specify an adequate incidence, betweenness, and congruence basis.
- Withhold Euclidean and hyperbolic parallel alternatives.
- Derive a proposed theorem using only the common axioms.
- Test the claim against both model families as a check for hidden dependence.
- Classify any parallel-specific conclusion in its stronger extension instead.
Knowledge Transfer¶
The theorem package transfers literally from neutral axiomatics into Euclidean and hyperbolic models because each satisfies the common premises. It does not transfer to spherical geometry, which lacks the relevant ordered-line structure, or to every geometry merely sharing the word parallel.
Relationships to Other Abstractions¶
Current abstraction Neutral Geometry Domain-specific
Parents (1) — more general patterns this builds on
-
Neutral Geometry is a kind of Ordered geometry Domain-specific
Neutral geometry preserves ordered-geometry betweenness and adds congruence while withholding a parallel axiom.
Hierarchy paths (2) — routes to 2 parentless roots
- Neutral Geometry → Ordered geometry → Theory → Formalization → Representation → Abstraction
- Neutral Geometry → Ordered geometry → Theory → Formalization → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Neutral Geometry sits in a moderately populated region (56th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Varieties & Topological Invariants (27 abstractions)
Nearest neighbors
- Hypercycle (Geometry) — 0.86
- Digon — 0.86
- Ordered geometry — 0.85
- Macbeath Region — 0.85
- Selberg zeta function — 0.84
Computed from structural-signature embeddings · 2026-10-08