投影几何
正式的定义
一个投影飞机是由一组点,一组线,和发病率令人满意的三个属性:
- 对于任意两点,都有一条直线与它们重合。
- 对于任意两条直线,都有一个点与它们重合。
- 有四个点,以致于任何一条线与它们中的两个以上重合。
最后一个条件并不是严格必需的;它的存在只是为了将退化情况排除在外。这是有用的,然而,为了避免不得不手动检查几个退化情况一遍又一遍;因此,一般认为这是为了方便。
第二个条件有一个重要的后果:
没有平行线在投影飞机上。
此外,第一个和第二个条件非常相似,只是在“点”和“线”的交换上有所不同。这就形成了定义关联属性的动机:它显示了二元性在点和线之间。
投射飞机的最简单(和最常用的)示例是扩展欧几里德平面,这是一个普通的欧几里得平面,它有两个额外的性质:
- 每一组平行线都有一个附加的点,这个点与每一条平行线相连。这一点是无限的点.
- 的在无限的线与无穷远处的每一个点都相关,并且只与这些点相关。
可以在射影平面上验证这一结果。由于这个射影平面与欧几里得平面的相似性(因此这个射影平面的性质在欧几里得平面上也普遍成立),这通常被称为的射影平面。
射影平面不一定是无限大的。例如,3阶的射影平面包含13条线和13个点。更一般地说,是有序的射影平面 包含 积分和 线条,所以每一点都是事件 线路和每一行都是事件 要点。值得注意的是,这提供了以下解决方案组合问题:
什么是最大数量 -Element集合,使得任何两组都分享一个元素,并且没有每个集合出现的元素?
每一个 -element set可以解释为与某个点关联的线的集合。
二元性
由于突出平面在一组点和一组线方面定义,因此等同的定义来自互换两者。正式说话,一个二元性 点到线,线到点的映射,是否具有如果的性质 是事件 ,然后 是事件 .最简单的例子是定义中的前两个属性:
- 对于任意两点,都有一条直线与它们重合。
- 对于任意两条直线,都有一个点与它们重合。
更一般地,这意味着投影飞机的任何属性相当于双在双重投射飞机.扩展的欧几里得平面是自对偶,也就是说,扩展的欧几里得平面的对偶性就是扩展的欧几里得平面本身,因此,扩展的欧几里得平面的任何性质都可以通过对偶性转化为附加的性质。例如,
Ceva的定理和menelaus'定理是对偶的,因此是“等价的”(意思是证明一个足以证明另一个),在扩展的欧几里得平面上。不考虑退化情况(两个定理中的三角形都是退化的),这意味着Ceva和Menelaus在“正”欧几里得平面中也是等价的。
虽然有一些射影平面不是自对偶的,但它们是很难构造的,是扩展的欧几里得平面最自然的延伸到任意的场地也是自我双重的。
极性
一个极性射影平面的对偶性是退化,这意味着对偶性是它自身的逆(或者,等价地,应用两次对偶性得到原平面)。一个重要的例子来自于概念反转,定义如下:在欧几里德平面,修复一个圆圈 半径 .每一点 ,定义图像的 成为这一点 这样 .映射 是一个反转飞机。
现在定义二元性如下:每一行 在飞机上没有穿过 ,让 垂直于 来 ,让 image 在飞机的反转下。然后地图 来 .二元性还需要指向线的映射,因此制定了类似的定义:对于任何一点 在平面上, 是映射到通过的线吗 的形象 垂直于 .由于这需要扩展到投影平面(扩展欧几里德平面),因此需要两个条件:
- 映射到无穷远处的直线上。
- 一条线路 带斜坡 映射到无穷大处与斜率平行线相关的点
这种映射,从 到了极性的 从 到了极* 的 ,定义极性(这相对容易验证)。这种特殊的极性有许多特性,但最重要和最普遍的事实是:
位于…的两极 如果并且只有 位于…的两极 .同等, 躺在杆子上 当且仅当极点 位于…的两极 .
更一般地,可以通过将反转的定义扩展到任意的定义来定义额外的极性康斯科.
额外的欧几里德属性
射影几何本身是有用的,它在欧几里得几何中也有重要的应用。在前面的一节中,我们对此有一些体会Ceva的定理和menelaus'定理结果是相同的。其他结果包括:
Desargues的定理
两个三角形在里面轴向角度如果并且只有他们在中央的角度来看.对于三角形来说,轴向透视意味着 和 , , , 和 是共线的.中心透视意味着 所有的观点都一致。
本定理直观地理解为艺术的定理;更具体地,在透视图上:
有趣的是,这个结果在全部射影平面,例如某些9阶有限射影平面。尽管如此,它在大多数情况下都是成立的在扩展的欧几里得平面上也是成立的。值得注意的是,这个定理的“iff”部分很容易从上面讨论的对偶原理得出,因此证明任意一个方向都足以证明定理。
另一个重要定理如下:
Pascal的定理
让 在任何圆锥形(通常是圆圈)上的六点。然后 是线性的。
帕斯卡定理即使二次曲线上的点少于6点,考虑一些点相等的退化情况,也常常有用。在这个例子中,一条线 被理解为与圆圈的切线 .值得注意的是,Pascal的定理有一个匡威:如果 共线,那么 躺在一些圆锥上。这不一定是非常有用的信息,但如果已知五个点躺在圆锥上,那么第六个也必须(五点决定圆锥)。因此,Pascal定理的逆转可以用于显示某个圆圈的点,尤其是与退化策略相结合。
鉴于三角形 和一个点 ,一条线路通过 相交 和 在 和 , 分别。线条 和 相交的矩阵 重新选择性地 和 .证明这些线 和 在一个点上相交,这个点属于 .
让 相交的矩阵 第二次在 ,让 .通过Pascal的定理 这是有效的,因为这些点中的所有六个都在圈子上,围绕的围绕 我们得到那个 和 是线性的。但后来,自从 位于 并且 ,我们必须 .所以 是共线的吗 是共线的,所以 是交叉点 它按要求在圆周上。
本定理的投影双重是重要的:
Brianchon定理
让 是六角形围绕圆锥部分(通常是圆圈)。然后 在某一点上一致。