Non-Euclidean geometry¶
Classical formal plane geometries with unique point-line incidence and a hyperbolic or elliptic alternative to Euclidean unique parallels.
Core Idea¶
Non-Euclidean geometry here means classical formal planes with a unique line through any two distinct points but an alternative to Euclid's unique-parallel rule. Through a point outside a line, a hyperbolic plane has multiple nonintersecting complete lines; an elliptic plane has none. Each model must define its own points, lines, and incidence. The branches do not share every other axiom: the hyperbolic example retains ordinary order and extension, while elliptic closed lines lack global betweenness.[ref-73a69862fa52][ref-c96509b6bd8f][^ref-684f15ace103]
Scope of Application¶
Use the classification for the stated two-dimensional incidence planes, with metrics declared separately when discussing geodesics, angles, or curvature. The Poincaré disk supplies a hyperbolic model. Identifying antipodal sphere points produces a real-projective elliptic plane with closed lines. The ordinary sphere, with antipodes still distinct, is a related positive-curvature model but fails this entry's unique-line condition at antipodal pairs.[ref-73a69862fa52][ref-c96509b6bd8f]
Clarity¶
A line can look curved in a Euclidean drawing while being intrinsically straight under a model's geometry. First ask what counts as a complete line and whether two distinct points determine exactly one. Then count complete lines through an external point that miss a given line. Do not identify the ordinary sphere with the antipodal quotient merely because both use great circles.[^ref-c96509b6bd8f]
Manages Complexity¶
The parallel count gives a compact comparison across hyperbolic, Euclidean, and elliptic cases. It must be paired with the incidence and order assumptions: elliptic antipodal identification permits a closed line to continue yet does not restore ordinary global betweenness. This prevents a misleading “only one postulate changed” account.[ref-c96509b6bd8f][ref-684f15ace103]
Abstract Reasoning¶
Specify the point and line sets and test unique incidence before applying the parallel rule. For the elliptic quotient, identify opposite sphere points before counting lines; a line crossing the hemisphere boundary continues through the identified point. Apply unit-curvature triangle angle-area formulas only to the corresponding metric models. A small quotient region may use a lift to the sphere locally, not an unrestricted global quotient formula.[ref-73a69862fa52][ref-c96509b6bd8f][^ref-684f15ace103]
Knowledge Transfer¶
The disk and quotient transfer a method of declaring a carrier, incidence, complete-line convention, and invariant. Their curvature and global order properties do not transfer wholesale. The live Abstract Structure Prime supplies the wider point-line organization; the alternative parallel rules and geometric constructions make this entry a narrower domain child.[ref-73a69862fa52][ref-c96509b6bd8f]
Example¶
In a Poincaré disk, complete hyperbolic lines are geodesic arcs and multiple lines through an external point avoid a selected line. In the antipodal quotient, distinct quotient points determine a unique closed projective line and any two complete lines meet. The first retains neutral order and extension; the second permits line continuation without global betweenness. These are unlike realizations of the same bounded non-Euclidean comparison.[ref-73a69862fa52][ref-c96509b6bd8f][^ref-684f15ace103]
Relationships to Other Abstractions¶
Current abstraction Non-Euclidean geometry Domain-specific
Parents (1) — more general patterns this builds on
-
Non-Euclidean geometry is a kind of Abstract Structure Prime
Each in-scope geometry is a typed point-line structure with incidence and parallel laws, adding a particular non-Euclidean alternative.
Hierarchy path (1) — routes to 1 parentless root
- Non-Euclidean geometry → Abstract Structure → Abstraction
Neighborhood in Abstraction Space¶
Non-Euclidean geometry sits in a sparse region of the domain-specific corpus (83rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Neutral Geometry — 0.83
- Ordered geometry — 0.83
- Desargues's Theorem — 0.83
- Asymptote — 0.81
- Nikodym Set — 0.81
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
The ordinary sphere's antipodal pair lies on many great circles, so it is not this unique-line elliptic plane. A spherical triangle's angle excess is a metric result, not proof of elliptic incidence. Do not extend the unit-curvature angle-area relations to arbitrary geometries or treat Axiom, Metric, or geodesic as the genus of both branches. The approved strict DAG parent is Abstract Structure.[ref-73a69862fa52][ref-c96509b6bd8f]
References¶
[^ref-73a69862fa52]: C. McMullen, Advanced Complex Analysis: Course Notes, Harvard University Math 213a (2017), §2.2 printed p. 35, Theorem 2.14 for unit-sphere triangle excess; §2.3 printed pp. 36–37 for hyperbolic metric, geodesics, Theorem 2.20 and unit-curvature triangle deficit. https://people.math.harvard.edu/~ctm/home/text/class/harvard/213a/10/html/home/course/course.pdf
[^ref-c96509b6bd8f]: Thomas Banchoff, The Development of Non-Euclidean Geometry (Brown University, undated), paragraphs on Gauss surveying and spherical triangle illustration, spherical antipodal incidence failure (20–22), multiple hyperbolic parallels (24, 27–28), and elliptic antipodal quotient/line continuation (32–40). https://www.math.brown.edu/tbanchof/Beyond3d/chapter9/section03.html
[^ref-684f15ace103]: University of Glasgow, betweenness and other matters (undated), opening paragraphs on why projective geometry has no globally consistent betweenness relation. https://www.maths.gla.ac.uk/wws/cabripages/klein/between.html