The class is begin !
柏拉图学院:不懂几何学的人不得入内!
第一章 射影平面本章地位 学习平面射影几何的基础本章内容 定义射影平面,引入齐次坐标,学习对偶原则附带一个重要定理 Desargues透视定理学习注意 认真思考,牢固掌握基本概念,排除传统习惯干扰
§ 1.1 拓广平面一、中心射影
1、平面上两直线间的中心射影定义 1.1 ',ll
因此,φ–1,l' → l是 l' 到 l 的中心射影
OP 投射线
P' l 上的点 P在 l'上的像
P l' 上的点 P'在 l上的像
OV'//l,与 l不相交,V'为 l'上的 影消点影消点的存在,导致两直线间的中心射影不是一个 双射 !
X=l× l' 自对应点 (不变点 )
OU//l',与 l'不相交,U为 l上的 影消点三个特殊的点:
( ')O O l l投射中心
§ 1.1 拓广平面一、中心射影
2、平面到平面的中心射影定义 1.2 ',
OP 投射线
P' π 上的点 P 在 π'上的像
P π' 上的点 P'在 π上的像因此, ':1 是 π'到 π的中心射影自对应直线 (不变直线 )
三条特殊的直线:
'x
,u为由 影消点 构成的 影消线'//,, OUuUu
,v'为由 影消点 构成的 影消线 //','','' OVvVv
影消线的存在,导致两平面间的中心射影不是一个 双射 !
( ')OO投射中心
§ 1.1 拓广平面一、中心射影
1、平面上两直线间的中心射影定义 1.1 ',ll
2、平面到平面的中心射影定义 1.2 ',
} 均不是双射中心射影不是双射的原因:存在影消点、影消线存在影消点、影消线的原因:平行的直线没有交点如何使得中心射影成为一个双射?
给平行线添加交点!
§ 1.1 射影平面一、中心射影二、无穷远元素目标,改造空间,使得中心射影成为双射途径,给平行直线添加交点要求,不破坏下列两个基本关系两条相异直线确定惟一一个点 (交点 )
两个相异点确定惟一一条直线 (连线 )
} 点与直线的关联关系
§ 1.1 拓广平面二、无穷远元素约定 1.1 (1) 在每一条直线上添加惟一一个点,此点不是该直线上原有的点,称为 无穷远点 (理想点 ),记作 P∞
(2) 相互平行的直线上添加的无穷远点相同,不平行的直线上添加的无穷远点不同,
区别起见,称平面上原有的点为有穷远点 (通常点 ),记作 P
约定 1.1 (3) 按约定 (1),(2)添加无穷远点之后,平面上全体无穷远点构成一条直线,称为 无穷远直线 (理想直线 ),记作 l∞
区别起见,称平面上原有的直线为有穷远直线 (通常直线 ),l
总结,在平面上添加无穷远元素之后,没有破坏点与直线的关联关系,同时使得中心射影成为双射,
§ 1.1 拓广平面理解约定 1.1(1),(2)
1、对应平面上每一方向,有惟一无穷远点,平行的直线交于同一无穷远点;交于同一无穷远点的直线相互平行,
2、每一条通常直线上有且仅有一个无穷远点,
3、平面上添加的无穷远点个数=过一个通常点的直线数,
4、不平行的直线上的无穷远点不同,因而,对于通常直线:
两直线 平 行不平行 交于惟一 无穷远点有穷远点 平面上任二直线总相交
5、空间中每一组平行直线交于惟一无穷远点,
6、任一直线与其平行平面交于惟一无穷远点,
§ 1.1 拓广平面理解约定 1.1(3)
1、无穷远直线为无穷远点的轨迹,无穷远直线上的点均为无穷远点;平面上任何无穷远点均在无穷远直线上,
2、每一条通常直线与无穷远直线有且仅有一个交点为该直线上的无穷远点,
3、每一平面上有且仅有一条无穷远直线,
4、每一组平行平面有且仅有一条交线为无穷远直线;过同一条无穷远直线的平面相互平行,因而,对于通常平面:
两平面 平 行不平行 交于惟一 无穷远直线有穷远直线空间中任二平面必相交于唯一直线
§ 1.1 拓广平面三、拓广平面定义 1.3 通常点和无穷远点统称 拓广点 ;
添加无穷远点后的直线和无穷远直线统称为 拓广直线 (射影仿射直线 );
添加无穷远直线后的平面称为 拓广平面 (射影仿射平面 ).
定理 1.1 在拓广平面上,点与直线的 关联关系 成立:
(1) 两个相异的拓广点确定惟一一条拓广直线;
(2) 两条相异的拓广直线确定惟一一个拓广点,
(1) 拓广直线的封闭性拓广直线:向两方前进最终都到达同一个无穷远点四、拓广直线、拓广平面的基本性质及模型欧氏直线:向两个方向无限伸展
1、拓广直线 (射影仿射直线 )
§ 1.1 拓广平面
(2) 拓广直线的拓扑模型
(i) 欧氏平面上的圆 (ii) 叠合对径点的圆
(iii) 欧氏平面上过原点的直线的集合 (线束模型 )
(iv) 欧氏平面去掉原点后,
过原点每一直线的所有点作为拓广直线的一个点
§ 1.1 拓广平面
(3) 拓广直线的拓扑模型 (4) 拓广直线上点的分离关系欧氏直线:一点区分直线为两个部分。
拓广直线:一点不能区分直线为两个部分。
欧氏直线:两点确定直线上的一条线段。
拓广直线:两点不能确定直线上的一条线段。
点偶 A,B分离 点偶 C,D 点偶 A,B不分离 点偶 C,D
§ 1.1 拓广平面
(i) 任一直线划分欧氏平面为两个不同的区域任一直线 不能 划分拓广平面为两个不同的区域
(ii) 两条相交直线划分欧氏平面为 四个 不同的区域两条相交直线划分拓广平面为 两个 不同的区域在拓广平面上,可以证明:
I,II为同一区域
III,IV为同一区域
2、拓广平面 (射影仿射平面 )
四、拓广直线、拓广平面的基本性质及模型
(1) 拓广平面的封闭性 (从两个方面理解 )
§ 1.1 射影平面
(2) 拓广平面的拓扑模型
(i) 叠合对径点的球面 (ii) 欧氏空间过原点的直线的集合 (线丛模型 )
(iii) 叠合赤道上对径点的半球面
(iv) 叠合周界上对径点的圆盘
2、拓广平面 (射影仿射平面 )
四、拓广直线、拓广平面的基本性质及模型
(1) 拓广平面的封闭性 (从两个方面理解 )
§ 1.1 拓广平面
M?bius带
§ 1.1 拓广平面五、射影基本形
1、一维基本形
(1) 点列 (同一直线上点的集合 )
记号
l(A,B,C,…) 或 l(P)
底 元素
(1)' 线束 (平面上过同一点的直线的集合 )
记号
L(a,b,c,…) 或 L(p)
束心 元素
§ 1.1 拓广平面五、射影基本形
2、二维基本形
(2) 点场 (同一平面上点的集合 )
(2)' 线场 (同一平面上直线的集合 )
π称为点场的 底,其上的点称为 元素,
π称为线场的 底,其上的直线称为 元素,
显然,一维基本形和二维基本形都是 射影不变的
§ 1.1 拓广平面五、射影基本形
3、一对重要的基本图形三点形 (不共线三点及其两两连线构成的图形 )
顶点,A,B,C
边,BC,CA,AB
显然,射影基本形、三点形和三线形都在中心射影下不变三线形 (不共点三直线及其两两交点构成的图形 )
边,a,b,c
顶点,b× c,c× a,a× b
记号,三点形 ABC 记号,三线形 abc
§ 1.1 射影平面今 天 作 业
P.8,3,4,5
The class is over,Goodbye!
课件作者:南京师大数科院周兴和