[论文解读] Ordered Line and Skew-Fields in the Desargues Affine Plane

Orgest Zaka, James F. Peters|arXiv (Cornell University)|May 8, 2019

Mathematics and Applications参考文献 13被引用 8

一句话总结

本文通过基于平行投影和间距关系的几何作图，在不依赖坐标系的前提下，从射影几何中的单射仿射平面中的一条有序直线构造有序斜域。其主要贡献在于证明：基于此类有序直线构造出的任意斜域均为有序斜域；在 ℝ² 中的有限情形下，该斜域为有限有序斜域，进而可推出其满足帕普斯结构。

ABSTRACT

This paper introduces ordered skew fields that result from the construction of a skew field over an ordered line in a Desargues affine plane. A special case of a finite ordered skew field in the construction of a skew field over an ordered line in a Desargues affine plane in Euclidean space, is also considered. Two main results are given in this paper: (1) every skew field constructed over a skew field over an ordered line in a Desargues affine plane is an ordered skew field and (2) every finite skew field constructed over a skew field over an ordered line in a Desargues affine plane in $\mathbb{R}^2$ is a finite ordered skew field.

研究动机与目标

• 建立一种无需坐标的、从单射仿射平面中的一条有序直线构造斜域的方法。
• 在不使用坐标系的前提下，基于希尔伯特的点序概念，通过间距关系在单射仿射平面中几何地定义一条有序直线。
• 证明基于此类有序直线构造出的斜域为有序斜域。
• 研究在 ℝ² 中有限斜域的特殊情况，并证明其为有限有序斜域。
• 证明在此构造中，有限有序斜域满足帕普斯定理（即为帕普斯型）。

提出的方法

• 利用希尔伯特的间距公理与平面平行公理（Playfair 公设）在单射仿射平面中定义几何结构。
• 基于希尔伯特的点序概念，通过间距关系在不使用坐标系的前提下定义一条有序直线。
• 利用平行投影在直线上构造域运算（加法与乘法）。
• 应用平行投影下顺序的保持性，以验证所得斜域的序公理。
• 通过涉及点 O、I、A、B、C、E、I 的几何作图来定义乘法并验证顺序的保持性。
• 依赖单射与帕普斯公理，以确保代数结构为斜域，并在有限情形下为域。

实验结果

研究问题

• RQ1 能否在不使用坐标系的前提下，从单射仿射平面中的一条有序直线几何地构造出有序斜域？
• RQ2 在单射仿射平面中，基于一条有序直线的几何构造所得到的斜域是否为有序斜域？
• RQ3 在 ℝ² 中，基于单射仿射平面中一条有序直线构造出的每个有限斜域是否均为有限有序斜域？
• RQ4 在 ℝ² 中，由此构造出的有限有序斜域是否满足帕普斯定理（即是否为帕普斯型）？
• RQ5 直线上的序如何通过几何运算在斜域整体上诱导出相容的序？

主要发现

• 通过保持顺序的平行投影证明，所有基于单射仿射平面中一条有序直线构造出的斜域均为有序斜域。
• 在有限情形下，所有基于单射仿射平面中一条有序直线在 ℝ² 中构造出的斜域均为有限有序斜域。
• 在 ℝ² 中构造出的有限有序斜域为帕普斯型，因其满足帕普斯定理。
• 通过平行投影实现的几何乘法保持了直线上的顺序，从而确保乘法结构与序相容。
• 该构造完全基于几何方法且不依赖坐标系，仅依赖结合性、平行性与间距关系。
• 该结果通过提供对由几何平面导出的斜域中序的直接、构造性证明，推广了阿廷与利普曼的工作。