理;平面曲线的一些整体性质,如切线的旋转指标定理,凸曲线的几何性质,等周不等式,四顶点定理与Cauchy-Crofton公式;空间曲线的一些整体性质,如球面的Crofton公式,Fenchel定理与Fary-Milnor定理。
曲面的局部理论,内容包括:曲面的表示、切向量、法向量;旋转曲面、直纹面与可展曲面;曲面的第一基本形式与内蕴量;曲面的第二基本形式;曲面上的活动标架与基本公式;Weingarten变换与曲面的渐近线、共扼线;法曲率;主方向、主曲率与曲率线;Gauss曲率和平均曲率;曲面的局部结构;Gauss映照与第三基本形式;全脐曲面、极小曲面与常Gauss曲率曲面;曲面论的基本定理;测地曲率与测地线;向量
的平行移动。
基本要求:通过本课程的学习,学生应掌握曲线论与曲面论中的一些基本几何概念与研究微分几何的一些常用方法。以便为以后进一步学习、研究现代几何学打好基础;另一方面培养学生理论联系实际和分析问题解决问题的能力。
二、讲授纲要
第一章 三维欧氏空间的曲线论
§1 曲线 曲线的切向量 弧长
教学要求:理解曲线的基本概念、会求曲线的切向量与弧长、会用弧
长参数表示曲线。
§2 主法向量与从法向量 曲率与扰率
教学要求:理解曲率与挠率、主法向量与从法向量、密切平面与从切
平面等基本概 念,会计算曲率与挠率。
§3 Frenet标架 Frenet公式
教学要求:掌握Frenet公式,能运用Frenet公式去解决实际问题。 §4 曲线在一点邻近的性质
教学要求:能表达曲线在一点领域内的局部规范形式,理解扰率符号
的集合意义。
§5 曲线论基本定理
教学要求:掌握曲线论的基本定理,能求已知曲率与扰率的一些简单的曲线。
§6 平面曲线的一些整体性质
6.1 关于闭曲线的一些概念 6.2 切线的旋转指标定理
6.3 凸曲线* 6.4 等周不等式* 6.5 四顶点定理*
6.6 Cauchy-Crofton公式*
教学要求:理解平面曲线的一些基本概念:闭曲线、简单曲线、切线
像、相对全曲 率、旋转指标、凸曲线。掌握平面曲线的一些整体性质:简单闭曲线切
线的旋转指标定理,凸曲线的几何性质,等周不等式,四
顶点定理与 Cauchy-Crofton公式。
§7 空间曲线的整体性质
7.1 球面的Crofton公式* 7.2 Fenchel定理* 7.3 Fary-Milnor定理*
教学要求:理解全曲率的概念。掌握空间曲线的一些整体性质:球面
的Crofton公
式,Fenchel定理与Fary-Milnor定理。
第二章 三维欧氏空间中曲面的局部几何 §1 曲面的表示 切向量 法向量
1.1 曲面的定义 1.2 切向量 切平面 1.3 法向量
1.4 曲面的参数表示 1.5 例
1.6 单参数曲面族 平面族的包络面 可展曲面
教学要求:掌握曲面的三种局部解析表示;会求曲面的切平面与法
线;了解旋转曲面与直纹面的表示;掌握可展曲面的特征。
§2 曲面的第一、第二基本形式
2.1 曲面的第一基本形式 2.2 曲面的正交参数曲线网 2.3 等距对应 曲面的内蕴几何 2.4 共形对应
2.5 曲面的第二基本形式
教学要求:掌握曲面的第一基本形式及相关量——曲面上曲线的弧
长、两相交曲线的交角与面积的计算,并理解其几何意义;了解等距对应与共形对应;掌握第二基本形式。
§3 曲面上的活动标架 曲面的基本公式 3.1 省略和式记号的约定
3.2 曲面上的活动标架 曲面的基本公式 3.3 Weingarten变换W
3.4 曲面的共轭方向 渐近方向 渐近线
教学要求:掌握曲面上的活动标架与曲面的基本公式,能求正交参数曲线
网的联络系数;理解Weingarten变换与共轭方向、渐近方向,会求一些简单曲线的渐近曲线。
§4 曲面上的曲率
4.1 曲面上曲线的法曲率
4.2 主方向 主曲率 4.3 Dupin标线 4.4 曲率线
4.5 主曲率及曲率线的计算 总曲率 平均曲率 4.6 曲率线网
4.7 曲面在一点的邻近处的形状 4.8 Gauss映照及第三基本形式
4.9 总曲率、平均曲率满足某些性质的曲面
教学要求:理解法曲率、主方向与主曲率、曲率线、总曲率和平均曲
率概念与几何意义,并会对它们进行计算;掌握Gauss映照及第三基本形式;能对全脐曲面与总曲率为零的曲面进行分类;掌握极小曲面的几何意义并会求一些简单的极小曲面。
§5 曲面的基本方程及曲面论的基本定理 5.1 曲面的基本方程 5.2 曲面论的基本定理
教学要求:掌握、理解曲面的基本方程与曲面论基本定理。 §6 测地曲率 测地线
6.1 测地曲率向量 测地曲率 6.2 计算测地曲率的Liouville公式 6.3 测地线
6.4 法坐标系 测地极坐标系 测地坐标系 6.5 应用 6.6 测地扰率
6.7 Gauss-Bonnet公式
教学要求:理解与掌握测地曲率和测地线、测地扰率、法坐标系、测地极
坐标系与测地坐标系的定义及其几何意义;能用Liouville公式计算测地曲率与测地线;能用测地极坐标系对总曲率为常数的曲面进行研究;理解(局部)Gauss-Bonnet公式。
§7 曲面上的向量的平行移动
7.1 向量沿曲面上一条曲线的平行移动 绝对微分 7.2 绝对微分的性质 7.3 自平行曲线
7.4 向量绕闭曲线一周的平行移动 总曲率的又一种表示 7.5 沿曲面上曲线的平行移动与欧氏平面中平行移动的关系 教学要求:理解向量沿曲面上一条曲线的平行移动与绝对微分。 习题:
1. 证明推论2.3.1,
2. 设X,Y为Banach空间,x(t):[a,b]?X是连续抽象函数, 对有界线性算子
T:X?Y,证明:Tx在[a,b]上R-可积,并且?Tx(t)dt?T?x(t)dt。
aabb3. 设C[a,b]到C[a,b]中的算子T由(Tx)(t)??(1?s2)[x(s)]2ds给出,T在任一
at元素x处是否F-可导?若答案肯定,求导算子T?(x)。
4. 设f是Rn到R中的一个C1映射。证明:f在x0?Rn处沿方向h?Rn的G-微分df(x0;h)等于 grad f (x0) hT,
?f?f?f?f 这里 grad f =(), h?(h1,h2,?hn); ,,,??x1?x2?x3?xn在f(x1;?,x3)?x1x2?xex3???xn?1xn 和 h?(1,2,3,0,0,?,0,1),
x0?(n,n?1,?,3,2,1)的情况下计算df(x0;h),又问:f在x?Rn处的F-导数
23n是什么?当f(x)?x1?x2时求f?(x)。 ?x3???xn5. 设T:R2?R3由T(x,y)?(x2?y2,xy2?3y,4x?5y)定义,求T在(-1,2)处沿方向(1,-1)的G-微分。
?x2?y2??2y??2x????x??2?x?2?????T?y2xy?3?解:写T?,知?xy?3y?,故所求G-微分为?y???y?????4????4x?5y?5???????2?4??2?1??1??1?????????5?。 ???T???4?1?2???1?????1????????4????1?5?????6. 设X、Y是赋范线性空间,T:X?Y由Tx?Ax?y0,?x?X定义,其
y0?Y,A?B(X, Y ),证明T在?x?X处F—可微,且求其F—导算子。
解:
?x?X,?h?X,T(x?h)?T(x)?A(x?h)?yo?(Ax?yo)?Ax?Ah?yo?Ax?yo?Ah??,由于A?B(X, Y ),且?h?1?0?0,(h?0),T在x处是F—
可微的,且T?(x)?A。
7. 设T:R3?R2由T?(x,y,z)??(3x2?2y,y2?2xz)?R2,?(x,y,z)?R3确定,求T在(1,2,-1)处的F—导数。
?x??x??3x2?2y???解:采用列向量表示,T将y变换成?2,故T在?y?处的 F—导数??z??z??y?2xz??????6x?20?应是变换T的Jacobi矩阵??2z2y2x??,在(x,y,z)?(1,2,?1)处,此矩阵为
???6?20????242??,在列向量表示下,T在(1,2,-1)处的F—导数作为线性算???h1??h1??h1????6?20?????3h,?h?R,右端即?子就是此常数矩阵决定的变换:?h2???????22??242???????h???3??h3??h3?2?6h1?2h2???2h?4h?2h??R故T在(1,2,-1)处的F—导数就是将?(h1,h2,h3)变换
123??为(6h1?2h2,?2h1?4h2?2h3)的线性变换。
[备注1:这一答案保持了原题用行向量叙述的方式。]
?x??3x2?2y??x?2???R,??y??R3,我们可得[备注2:当T:R?R表示为Ty??2??z??y?2xz??z?????32?x?T在?y?处的F—导数是:
?z?????x???6xT???y??????z???2z???????1???h1?故 T???2???h2?????1???h??????3???x???h1??6x?20??h1??h1??20??h?,??h??R3, ??,即T???y???h2????????z???h??2z2y2x??h2??h2?2y2x??3??3??????3??h??6h1?2h2?,??h1??R3 ??2h?4h?2h??2?123???h3?