Constructive harmonic conjugates

被引：0

作者：

Mandelkern, Mark ^{[1
]}

机构：

[1] New Mexico State Univ, Dept Math, Las Cruces, NM 88003 USA

来源：

BEITRAGE ZUR ALGEBRA UND GEOMETRIE-CONTRIBUTIONS TO ALGEBRA AND GEOMETRY | 2019年 / 60卷 / 02期

关键词：

Projective geometry; Harmonic conjugates; Constructive mathematics;

D O I：

10.1007/s13366-018-0411-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In the synthetic 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 forth by Errett Bishop.

引用

页码：391 / 398

页数：8

共 50 条

[41] CONSTRUCTIVE PROJECTIVE EXTENSION OF AN INCIDENCE PLANE [J].

Mandelkern, Mark .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2014, 366 (02) :691-706

[42] A constructive version of Tarski's geometry [J].

Beeson, Michael .

ANNALS OF PURE AND APPLIED LOGIC, 2015, 166 (11) :1199-1273

[43] A constructive version of the Spectral Mapping Theorem [J].

Bridges, D ;

Havea, R .

MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) :299-304

[44] Lipschitz functions in constructive reverse mathematics [J].

Loeb, Iris .

LOGIC JOURNAL OF THE IGPL, 2013, 21 (01) :28-43

[45] Constructive reverse investigations into differential equations [J].

Diener, Hannes ;

Loeb, Iris .

JOURNAL OF LOGIC AND ANALYSIS, 2011, 3

[46] Constructive Urysohn Universal Metric Space [J].

Lesnik, Davorin .

JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (06) :1236-1263

[47] Generalized functions with pseudobounded support in constructive mathematics [J].

Yoshida, Satoru .

JOURNAL OF COMPLEXITY, 2006, 22 (06) :783-802

[48] Aspects of general topology in constructive set theory [J].

Aczel, P .

ANNALS OF PURE AND APPLIED LOGIC, 2006, 137 (1-3) :3-29

[49] Gleason's Theorem Has a Constructive Proof [J].

Fred Richman .

Journal of Philosophical Logic, 2000, 29 :425-431

[50] Constructive complements of unions of two closed sets [J].

Bridges, DS .

MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (03) :293-294

← 1 2 3 4 5 →