×

“外部”是构造射影几何中的一个基本概念。 (英语) Zbl 0846.51001号

给出了只有一个本原的射影平面的直觉公理系统。对于天真的观察者来说,直觉主义最显著的特征当然是放弃“非达图叔”,即被排斥的中间派。因此,(正)伙伴关系\(\#\)暗示\(\#\),但不等同于\(\#\)。类似地,定义为“偶发事件”的正对应物的“外部”关系和射影空间中的“非偶发”关系是不等价的。作者选择用\(\#\)来表示“外部”关系。他将此作为唯一的原语,并给出了一个公理系统,他证明了该公理系统与Heyting的投影平面公理等价[海丁,数学。Ann.98,491-538(1927;JFM 53.0541.01号)]. 准确地说:Heyting给出了一个(三维)射影空间的公理系统,该系统已被作者改编。
注意,作者指的是射影空间,但他的公理只明确定义了射影平面。
作者似乎将“建构主义”和“直觉主义”同义。

MSC公司:

51A05号 线性关联几何和射影几何的一般理论
03楼55 直觉数学
PDF格式BibTeX公司 XML格式引用
全文: 内政部