Binary relations as single primitive notions for hyperbolic three-space and the inversive plane

Research output: Contribution to journalArticle

3 Scopus citations

Abstract

By interpreting J.A. Lester's [9] result on inversive-distance-preserving mappings as an axiomatizability statement, and by using the Liebmann isomorphism betwen the inversive plane and hyperbolic three-space, we point out that hyperbolic three-spaces (and inversive geometry) coordinatized by Euclidean fields can be axiomatizaed with planes (or circles) as variables, by using only the plane-orthogonality (or circle-orthogonality) predicate ⊥p (or ⊥c), or by using only the predicate δ′ (or δ), where δ′(p,p′) (or δ(A, B)) is interpreted as 'the distance between the planes and ′p is equal to the length of the segment s whose angle of parallelism is π/4(i. e. Π(s) = π/4)' (or as 'the numerical distance between the disjoint circles A and B has the value g, which corresponds to s via Liebmann's isomorphism').

Original languageEnglish (US)
Pages (from-to)587-592
Number of pages6
JournalIndagationes Mathematicae
Volume11
Issue number4
DOIs
StatePublished - Dec 18 2000

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Binary relations as single primitive notions for hyperbolic three-space and the inversive plane'. Together they form a unique fingerprint.

  • Cite this