射影直线与射影平面

因而，对于通常直线：
平行
无穷远点
两直线
交于唯一
不平行
有穷远点
平面 上任 二直 线总 相交
5、空间中每一组平行直线交于唯一无穷远点. 6、任一直线与其平行平面交于唯一无穷远点.
理解约定二
1、无穷远直线为无穷远点的轨迹. 无穷远直线上的点均为 无穷远点；平面上任何无穷远点均在无穷远直线上. 2、每一条通常直线与无穷远直线有且仅有一个交点为该直 线上的无穷远点. 3、每一平面上有且仅有一条无穷远直线. 4、每一组平行平面有且仅有一条交线为无穷远直线；
推导：在组中的一个平面内任取一条直线l,
设l上的无穷远点为P ,
过l 作一个平面与组中其它平面必相交于
l
一组平行线, 此组平行线有公共的无
穷远点P , 于是P必在此组平行 平面的每一个平面上.
由于所取直线l 的任意性，
所以此组平行平面必有无数多个
公共的无穷远点，其轨迹为一条无穷远直线，
即 一组平行平面必相交于一条无穷远直线。
经中心投影后， l1与l2的对应直线分别为l1与l2，
由于射影对应保持结合性不变，
所以影消点P 的对应点为l1与l2的交点，O P
即 P点。 由于l1与l2相交于无穷远点，
所以l1 // l2
l1 l2 m l1
P l2
例2：单比不是射影不变量。
反例： 设三直线a、b、c 交于O点，c 平分(a,b),
附带内容： Desargues定理
对偶原则 复元素
第一节 射影直线和射影平面
§2. 1. 1 中心射影 § 2.1. 2 无穷远元素 §2. 1. 3 一维、二维射影空间 §2. 1. 4 图形的射影性质
§ 2.1.1 中心投影
一、平面上两直线间的中心射影
定义2.1 设直线l 和l 为平面上两条不同的直线，点O不属 于l和l， P是l上的一点，连接P交l于点P, 称点P是点P
影消点
V
OV ' 与l不相交， V ' 为l'上的影消点
P
X
P l
影消点的存在，导致两直线间的中心射影不是一个双射 (一一对应)。
二、平面到平面的中心射影
定义2.2 设和 为空间两个不同的平面，点O不属于
和 ， P是上的一点，连 接P交 于点P, 称点P是点P
从O投射到 的中心投影。
O
记 : '
§ 2.1.4 图形的射影性质
一、透视对应
定义2.4：引进无穷远元素以后，便可以通过中心射影建立 直线上点之间的一一对应，这种一一对应称为透视对应。
同样，以通过中心射影建立二平面之间点的一一对应， 也称为透视对应。
二、射影不变性和射影不变量
定义2.5： 经过一切中心射影(透视对应)后图形所具有的不变 性和不变量，叫做图形的射影不变性和射影不变量。
点偶A,B分离点偶C,D
点偶A,B不分离点偶C,D
2、射影平面(拓广平面) (1) 拓广平面的封闭性
从两个方面理解： (i) 任一直线划分欧氏平面为两个不同的区域
任一直线不能划分拓广平面为两个不同的区域
(ii) 两条相交直线划分欧氏平面为四个不同的区域 两条相交直线划分拓广平面为两个不同的区域
在拓广平面上，可以证明：
π称为线场的底， 其上的直线称为元素.
3、一对重要的基本图形
三点形
三线形
不共线三点及其两两连线 构成的图形
不共点三直线及其两两交点 构成的图形
顶点：A, B, C 边：BC, CA, AB 记号：三点形ABC
边：a, b, c 顶点：b×c, c×a, a×b
记号：三线形abc
显然，射影基本形、三点形和三线形都在中心射影下不变
C
线的中心射影必将 ABC射影
A A
为平面 上的等腰三角形ABC.
m
§ 2.1.2 无穷远元素
目标： 途径：
改造空间，使得中心射影成为双射 给平行直线添加交点
要求： 不破坏下列两个基本关系
两条相异直线确定唯一一个点(交点) 两个相异点确定唯一一条直线(连线)
点与直线的 关联关系
一、无穷远点
约定一： (1) 平面内在每一条直线上添加唯一一个点， 此点不是该直线上原有的点. 称为无穷远点(理想点)， 记作P∞
第二章 射影平面
本章地位
学习平面射影几何的基础
本章内容
在欧氏几何的基础上，本章添加无 穷远元素的方法来定义射影平面， 引入齐次坐标，学习对偶原则
附带一个重要定理
Desargues透视定理
学习要求
认真思考，牢固掌握基本概念， 排除传统习惯干扰
主要内容： 中心投影
无穷远元素
齐次坐标
齐次点坐标 齐次线坐标
证明： 如图， 设 l //,
在上任取一点A, 则A与l 确定平面 ,
l
与 有公共交点A,
Am
它们必有公共直线m, 且l // m.
由约定一，l 与m 有唯一公共无穷远点. 又由于A 是上任一点，
所以这个公共的无穷远点即为l与的交点。
二、无穷远直线
约定二： 按约定一的(1), (2)添加无穷远点之后，平面上全 体无穷远点构成一条直线，称为无穷远直线(理想直线)， 记作l∞ 区别起见，称平面上原有的直线为有穷远直线(通常直线)，l 注： 无穷远直线实际上是三维空间中平行平面的交线 即 空间中任意一组平行平面交于一条无穷远直线。
添加无穷远直线后的平面称为仿射平面; 若在仿射平面上不区分有穷远线和无穷远线，则这个平面 称为射影平面（拓广平面）
定理2.1 在拓广平面上, 点与直线的关联关系成立： (1) 两个相异的拓广点确定唯一一条拓广直线； (2) 两条相异的拓广直线确定唯一一个拓广点.
二、射影直线、射影平面的基本性质及模型
如何使得中心射影成为一个双射(一一对应)？
给平行线添加交点！
例：求一个中心射影将任意一个三角形射影成等腰三角形。
解：设 ABC为平面上的任意一个三角形，
过BC边任作一个平面 与不同， O
在 内作BC的垂直平分线m,
在m上任取一个点A(不在BC上），
连接AA，在直线AA上
取定一个点O，
B
M
则以O为射心，OA为投射
v ' ', V 'v ', OV '// ，
V
v ' 为由影消点构成
v
aP
x
P a
的影消线
注：影消线的存在，导致两平面间的中心射影不是一个 双射（一一对应)。 即 : l l '和 : '均不是双射（一一对应）。 中心射影不是双射的原因：存在影消点、影消线
存在影消点、影消线的原因：平行的直线没有交点， 平行的平面没有交线。
1、一维基本形 (1) 点列
同一直线上点的集合
(1)' 线束 平面上过同一点的直线的集合
记号 l(A,B,C,…) 或 l(P)
底
元素
记号 L(a,b,c,…) 或 L(p)
线束中心
元素
2、二维基本形 (2) 点场
同一平面上点的集合
(2)' 线场 同一ቤተ መጻሕፍቲ ባይዱ面上直线的集合
π称为点场的底， 其上的点称为元素.
直线l与l分别交三直线于A, B,C与A, B,C，
并使 OA OB 且 OA OB ， 于是， (ABC) AC OA，
BC OB (ABC) AC OA ，
BC OB 所以， (ABC) 1， (ABC) 1
即， (ABC) (ABC)
A
A
a
O
CB l
C
B l
b
c
因此单比不是射影不变量。 注： 1) 透视对应不保留平行性.(由例1)
2) 透视对应不保留两点距离不变。（由例2） 3）透视对应不保留二直线间的夹角不变。（由例1）
图形的射影性质
射影性质
射影不变性 射影不变量
目前已知的射影性质：
图形在一切中心射影下保持 不变的性质和数量
射影不变性： 点与直线的关联关系(结合性)；同素性；…… 结合性：某点在某直线上；某直线通过某点的事实保持不变
同素性：点 点；直线 直线 射影不变量： 有待探索. 目前所知几何量均不是射影不变的
O投射中心
(O ') (射心）
OP 投射线 P ' π 上的点P 在π'上的像
A
aP
M
x
P a
A
P π' 上的点P'在π上的像
因此 ， 1 : ' 是π‘ 到π的中心射影
三条特殊的直线：
x ' 自对应直线(不变直线)
u , U u, OU // '，
O
u
U
u为由影消点构成的影消线
I，II为同一区域
III，IV为同一区域
(2) 拓广平面的拓扑模型
注： 默比乌斯带（ Möbius带）是射影平面的一部分。 默比乌斯带的作法：
如图，把长方形带ABAB扭转，使A与A 粘合, B与B 粘合， 这样所得的单侧曲面为默比乌斯带，其边界为一条封闭曲线。
A
B
B
A
Möbius带
三、射影基本形
1
P
2
3
总结：在平面上添加无穷远元素之后，没有破坏点与直 线的关联关系，同时使得中心射影成为双射（一一对应）.
理解约定一
1、对于平面上每一方向，有唯一无穷远点. 平行的直线交 于同一无穷远点；交于同一无穷远点的直线相互平行. 2、每一条通常直线上有且仅有一个无穷远点. 3、平面上添加的无穷远点个数＝过一个通常点的直线数. 4、不平行的直线上的无穷远点不同.