大学高等几何课件.ppt

第四章 变换群与几何学 一、群与变换群 定义 代数运算 设A, B, C为集合, ?为A?B到C的一个对应. 则称为A?B到C的一个代数运算. 特别地, 若B C A, 则称?为集合A上的一个代数运算. 注：代数运算可以满足结合律, 交换律, 分配律中的某一个或者全部. 以下这些概念都将在《近世代数》课程中学习, 我们仅承认并应用. 定义了代数运算的集合称为代数系统, 代数学就是研究代数系统的科学. 第四章 变换群与几何学 一、群与变换群 定义 群 设G为非空集合. 在G上定义一个代数运算, 称为乘法. 如果满足下述4条公理, 则称G对于这个乘法构成一个群, 记作G. 注1 定义中的运算是称为乘法, 未必是通常的乘法. 注2 群中的乘法不一定满足交换律. 若满足交换律, 可以将这种乘法称为加法, 这样的群称为交换群或加法群或Abel群. 第四章 变换群与几何学 一、群与变换群 例1 设Q*表示全体非零有理数的集合, 则Q*对于数的乘法构成群. 例2 设M表示实数域上全体n阶可逆方阵的集合, 则M对于矩阵的乘法构成群. 定义 群 设G为非空集合. 在G上定义一个代数运算, 称为乘法. 如果满足下述4条公理, 则称G对于这个乘法构成一个群, 记作G. 第四章 变换群与几何学 二、Klein变换群观点 定义3.11 设S为一个非空集合, G为S上的一个变换群.称S为空间, S的元素称为点, S的子集称为图形, G称为空间S的主变换群. 研究空间S中图形所决定的在G的每一个元素的作用下保持不变的性质 不变性 和数量 不变量 的科学称为一门几何学 S,G . S的子集 图形 在G下被分成若干等价类, 属于同一等价类的图形具有相同的G性质 G给S赋予空间结构 注：显然, 在S上给定不同的变换群G, 则得到不同的几何学. 几何学 S, G 第四章 变换群与几何学 三、几种几何学的比较 1、射影几何学 空间 射影平面P 主变换群 射影变换群K 研究内容 图形在射影变换下的不变性质和数量 同素性, 关联性 交比 其余所有射影不变性 在射影平面上做演绎推理、对偶变换 基本射影不变性 第四章 变换群与几何学 三、几种几何学的比较 2、仿射几何学 空间 仿射平面PA 主变换群 仿射变换群A 研究内容 图形在仿射变换下的不变性质和数量 仿射几何学 绝对形 无穷远直线 仿射几何——射影几何的以射影仿射几何为伴随子几何的相对子几何学. 仿射几何——首先包括射影几何的所有研究内容. 不可用对偶原则 第四章 变换群与几何学 三、几种几何学的比较 2、仿射几何学 注：单比是最基本的仿射不变量. 定理 单比是仿射不变量. 仿射不变性 平行性 单比 平行线段的比, 两三角形面积之比, 线段的中点, 三角形的重心, 梯形, 平行四边形, …… 定理 仿射变换保持平行性不变. 注：平行性是最基本的仿射不变性. 第四章 变换群与几何学 三、几种几何学的比较 3、相似几何学 注：初等几何的研究内容基本属于相似几何. 定理 相似变换保持平面上任意两线段的比值、两直线的夹角不变. 4、欧氏几何学 欧氏几何——相似几何的子几何. 欧氏几何——首先包括相似几何的所有研究内容. 定理 正交变换保持平面上两点间的距离不变. 注：距离是最基本的正交不变性. 由此, 一切刚体性质都是欧氏几何的研究对象. 第四章 变换群与几何学 三、几种几何学的比较 结论：在同一个几何学系列中 即, 在前述几何学系列的同一个横行上 , 子几何学的研究内容比原几何学丰富. 但是原几何学的内容比子几何学更具纲领性. 4、判定一个几何性质 量 是某种几何学的研究对象 检验其是否可以由该几何学的基本不变性在这个几何空间中经过演绎推理得到 即能够证明其仅与某几何学的基本不变性有关 . 第五章 二次曲线理论 本章是平面射影几何的精华, 也是最精彩的部分之一 本章主要内容 二次曲线的定义 Pascal定理 Brianchon定理 配极变换 射影分类 每一部分都有丰富的内容、深刻的内涵和重要的应用. 仿射理论 仿射分类 一、二次曲线的代数定义 § 5.1 二次曲线的射影定义 定义1.1 坐标满足 的所有点 x1, x2, x3 的集合称为一条二阶曲线. 其中 aij 为三阶实对称阵, 秩 aij ≧1. 定义1.1 坐标满足 的所有直线[u1, u2, u3]的集合称为一条二级曲线. 其中 bij 为三阶实对称阵, 秩 bij ≧1. 注1. S, T 均为高等代数中的实三元二次型. 从代数上看, S 0, T 0为相同的代数对象；从几何上看, 是对同一几何对象的不同描述. 统称为二次曲线. 注2. 在需要时，S 0, T 0均可写为