Constructive harmonic conjugates

DOI10.1007/S13366-018-0411-9MaRDI QIDQ1740712zbMATH OpenOpenAlexWikidataFDO

Authors Mark Mandelkern

Publication date 2 May 2019

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.00978

zbMATH Keywords

constructive mathematicsharmonic conjugatesprojective geometry

Mathematics Subject Classification ID

Other constructive mathematics (03F65) General theory of linear incidence geometry and projective geometries (51A05)

Abstract: In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance theorem is given here; the methods used follow principles put forward by Errett Bishop.

Review text

This article corrects an error made in the author's work [J. Geom. 107, No. 1, 19--60 (2016; Zbl 1339.51001)] when proving the invariance theorem for the construction of harmonic quadruples within the framework of informal intuitionistic logic, avoiding the law of excluded middle. The underlying axiomatics are taken from [loc. cit.] but the slightly stronger assumption that at least eight distinct lines pass through any point is needed.

Recommendations

• A constructive real projective plane
• The common point problem in constructive projective geometry
• `Outside' as a primitive notion in constructive projective geometry
• Constructive projective extension of an incidence plane
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

Cites work

• `Outside' as a primitive notion in constructive projective geometry
• A constructive real projective plane
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Techniques of constructive analysis

Cited in

(5)

• Harmonic conjugation in harmonic matroids
• The common point problem in constructive projective geometry
• A constructive real projective plane
• Harmonic quadrilaterals revisited
• Harmonic curves and the beauty of projective geometry

This page was built for publication: Constructive harmonic conjugates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1740712)