Constructive Harmonic Conjugates
History and Overview
2018-05-11 v2 Metric Geometry
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.
Cite
@article{arxiv.1805.00978,
title = {Constructive Harmonic Conjugates},
author = {Mark Mandelkern},
journal= {arXiv preprint arXiv:1805.00978},
year = {2018}
}
Comments
No significant changes. Rearrangement of results, for clarity