微分几何第一章
微分几何第一章曲线论第三节空间曲线
![微分几何第一章曲线论第三节空间曲线](https://img.taocdn.com/s3/m/5daa4df40242a8956bece490.png)
P
(C )
基本向量的计算公式 (1)若曲线(C ) : r r (t ), t为一般参数. r r r ; ; r r r r r r ( r r ) r r r r r r r (r r )r ( r r )r . r r r (2)若曲线(C ) : r r ( s ), s为自然参数. r r r r r ; . r ; r r r r
X 1 Y 0 1 1 0 Z 1 0, 即Y Z 0. 0 X 1 Y Z . 副法线的方程为: 0 1 1
3.2 空间曲线的基本三棱形
设曲线(C ) : r r ( s) C 2, P P( s) (C )是非逗留点, dr r 单位切向量, ds (C ) , 1, 即r r , r 主法向量, 副法向量, r 伏雷内标架 { P; , , }; 定义 (基本向量,, ;
P
T
定义 (密切平面) 切平面的极限位置
叫做曲线(C )在点的P密切平面.
Q
T
P
过点P与密切平面垂直的直线 r ( t 0 t ) 叫做曲线(C )在P点的副法线. (C ) O 方程 设曲线(C ) : r r (t ) C 2,
r (t0 )
O
微分几何
![微分几何](https://img.taocdn.com/s3/m/cf34294a59eef8c75fbfb3a8.png)
第二章曲线的概念4学时
第三章空间曲线12学时
第四章曲面的概念4学时
第五章曲面的第一基本形式8学时
第六章曲面的第二基本形式12学时
第七章直纹面和可展曲面6学时
第八章曲面论的基本定理8学时
第九章曲面上的测地线10学时
第十章常高斯曲率的曲面4学时
如果总课时数少于70,可以只讲授第一至第八章。
第八节高斯曲率的几何意义
教学要求
领会:理解曲面第二基本形式,曲面上曲线的曲率、曲面的渐进(线)方向、共扼方向、主方向和曲率线,主曲率、Gauss曲率和平均曲率等的意义。
掌握:曲面的第二基本形式,曲面上曲线的曲率、曲面的渐进(线)方向、共扼方向、主方向和曲率线,主曲率、Gauss曲率和平均曲率,曲面的局部结构等基本概念及它们的相关运算。
第一章向量函数4学时第二章曲线的概念4学时第三章空间曲线12学时第四章曲面的概念4学时第五章曲面的第一基本形式8学时第六章曲面的第二基本形式12学时第七章直纹面和可展曲面6学时第八章曲面论的基本定理8学时第九章曲面上的测地线10学时第十章常高斯曲率的曲面4学时如果总课时数少于70可以只讲授第一至第八章
教学目的
引入正则参数曲面,曲面的切平面,切向量,法线,单位法向量等概念,为进一步学习曲面论作好铺垫。
主要内容
第一节简单曲面及其参数表示
第二节光滑曲面曲面的切平面和法线
第三节曲面上的曲线族和曲线网
教学要求
掌握:简单曲面的参数表示;简单曲面及其上面曲线族(网)的特征;曲面的法线、切面的求法。
第五章曲面的第一基本形式
第二节空间曲线的基本三棱形
第三节空间曲线的曲率、挠率和伏雷内(Frenet)公式
第四节空间曲线在一点邻近的结构
微分几何习题及答案解析
![微分几何习题及答案解析](https://img.taocdn.com/s3/m/6b884dfc58fb770bf68a559a.png)
第一章 曲线论§2 向量函数5. 向量函数)(t r具有固定方向的充要条件是)(t r×)('t r= 0 。
分析:一个向量函数)(t r一般可以写成)(t r=)(t λ)(t e的形式,其中)(t e为单位向量函数,)(t λ为数量函数,那么)(t r 具有固定方向的充要条件是)(t e具有固定方向,即)(t e 为常向量,(因为)(t e 的长度固定)。
证 对于向量函数)(t r ,设)(t e 为其单位向量,则)(t r =)(t λ)(t e ,若)(t r具有固定方向,则)(t e 为常向量,那么)('t r =)('t λe ,所以 r ×'r=λ'λ(e ×e )=0 。
反之,若r ×'r =0 ,对)(t r =)(t λ)(t e 求微商得'r ='λe +λ'e ,于是r×'r =2λ(e ×'e )=0 ,则有 λ = 0 或e ×'e =0 。
当)(t λ= 0时,)(t r =0 可与任意方向平行;当λ≠0时,有e ×'e =0 ,而(e ×'e 2)=22'e e -(e ·'e2)=2'e ,(因为e具有固定长, e ·'e = 0) ,所以 'e =0 ,即e为常向量。
所以,)(t r 具有固定方向。
6.向量函数)(t r平行于固定平面的充要条件是(r 'r ''r )=0 。
分析:向量函数)(t r 平行于固定平面的充要条件是存在一个定向向量)(t n,使)(t r ·n = 0 ,所以我们要寻求这个向量n 及n 与'r ,''r的关系。
微分几何习题解答(曲线论)
![微分几何习题解答(曲线论)](https://img.taocdn.com/s3/m/a767625af242336c1eb95e7d.png)
第一章 曲线论§2 向量函数5. 向量函数)(t r具有固定方向的充要条件是)(t r×)('t r= 0 。
分析:一个向量函数)(t r一般可以写成)(t r=)(t λ)(t e的形式,其中)(t e为单位向量函数,)(t λ为数量函数,那么)(t r 具有固定方向的充要条件是)(t e具有固定方向,即)(t e 为常向量,(因为)(t e 的长度固定)。
证 对于向量函数)(t r ,设)(t e 为其单位向量,则)(t r =)(t λ)(t e ,若)(t r具有固定方向,则)(t e 为常向量,那么)('t r=)('t λe ,所以 r ×'r =λ'λ(e ×e )=0 。
反之,若r ×'r =0 ,对)(t r =)(t λ)(t e求微商得'r ='λe +λ'e ,于是r ×'r =2λ(e ×'e )=0 ,则有 λ = 0 或e ×'e =0 。
当)(t λ= 0时,)(t r =0 可与任意方向平行;当λ≠0时,有e ×'e =0 ,而(e ×'e 2)=22'e e -(e ·'e 2)=2'e ,(因为e具有固定长, e ·'e = 0) ,所以 'e =0 ,即e 为常向量。
所以,)(t r 具有固定方向。
6.向量函数)(t r平行于固定平面的充要条件是(r 'r ''r )=0 。
分析:向量函数)(t r 平行于固定平面的充要条件是存在一个定向向量)(t n,使)(t r·n = 0 ,所以我们要寻求这个向量n 及n 与'r ,''r 的关系。
微分几何答案+(1)
![微分几何答案+(1)](https://img.taocdn.com/s3/m/60ad6a9c227916888486d7fc.png)
第一章 曲线论§2 向量函数5. 向量函数)(t r具有固定方向的充要条件是)(t r×)('t r= 0 。
分析:一个向量函数)(t r一般可以写成)(t r=)(t )(t e的形式,其中)(t e为单位向量函数,)(t 为数量函数,那么)(t r 具有固定方向的充要条件是)(t e具有固定方向,即)(t e 为常向量,(因为)(t e的长度固定)。
证 对于向量函数)(t r ,设)(t e 为其单位向量,则)(t r =)(t )(t e ,若)(t r具有固定方向,则)(t e 为常向量,那么)('t r=)('t e ,所以 r ×'r = ' (e ×e )=0 。
反之,若r ×'r =0 ,对)(t r =)(t )(t e求微商得'r =' e + 'e ,于是r ×'r =2 (e ×'e )=0 ,则有 = 0 或e ×'e =0 。
当)(t = 0时,)(t r=0 可与任意方向平行;当0时,有e ×'e =0 ,而(e ×'e 2)=22'e e -(e ·'e 2)=2'e ,(因为e具有固定长, e ·'e= 0) ,所以'e =0 ,即e为常向量。
所以,)(t r 具有固定方向。
6.向量函数)(t r平行于固定平面的充要条件是(r r 'r ''r )=0 。
分析:向量函数)(t r 平行于固定平面的充要条件是存在一个定向向量)(t n,使)(t r ·n = 0 ,所以我们要寻求这个向量n 及n 与'r ,''r的关系。
证 若)(t r 平行于一固定平面π,设n 是平面π的一个单位法向量,则n 为常向量,且)(t r·n = 0 。
微分几何习题解答(曲线论)
![微分几何习题解答(曲线论)](https://img.taocdn.com/s3/m/5d7f20b91a37f111f1855b16.png)
微分几何主要习题解答第一章 曲线论§2 向量函数5. 向量函数)(t r具有固定方向的充要条件是)(t r×)('t r= 0 。
分析:一个向量函数)(t r一般可以写成)(t r=)(t λ)(t e的形式,其中)(t e为单位向量函数,)(t λ为数量函数,那么)(t r 具有固定方向的充要条件是)(t e具有固定方向,即)(t e 为常向量,(因为)(t e 的长度固定)。
证 对于向量函数)(t r ,设)(t e 为其单位向量,则)(t r =)(t λ)(t e ,若)(t r具有固定方向,则)(t e 为常向量,那么)('t r=)('t λe ,所以 r ×'r =λ'λ(e ×e )=0 。
反之,若r ×'r =0 ,对)(t r =)(t λ)(t e求微商得'r ='λe +λ'e ,于是r ×'r =2λ(e ×'e )=0 ,则有 λ = 0 或e ×'e =0 。
当)(t λ= 0时,)(t r =0 可与任意方向平行;当λ≠0时,有e ×'e =0 ,而(e ×'e 2)=22'e e -(e ·'e 2)=2'e ,(因为e具有固定长, e ·'e = 0) ,所以 'e =0 ,即e 为常向量。
所以,)(t r 具有固定方向。
6.向量函数)(t r平行于固定平面的充要条件是(r 'r ''r )=0 。
分析:向量函数)(t r 平行于固定平面的充要条件是存在一个定向向量)(t n,使)(t r·n = 0 ,所以我们要寻求这个向量n 及n 与'r ,''r 的关系。
微分几何 陈维桓 绪论-第一章-第二章讲稿_百度文库.
![微分几何 陈维桓 绪论-第一章-第二章讲稿_百度文库.](https://img.taocdn.com/s3/m/aaa3924c0242a8956aece441.png)
四、正交坐标变换与刚体运动,等距变换. .......................................................................... 3§ 1.2向量函数. .............................................................................................................................. 4第二章曲线论. ..................................................................................... 6
对微分几何做出突出贡献的数学家:欧拉(Euler,蒙日(Monge,高斯(Gauss,黎曼(Riemann.克莱因(Klein关于变换群的观点. E. Cartan的活动标架方法.
微分几何:微积分,拓扑学,高等代数与解析几何知识的综合运用.
引言........................................................................................................................................... 2§ 1.1三维欧氏空间中的标架. ........................................................................................................ 2
微分几何
![微分几何](https://img.taocdn.com/s3/m/73bada73a417866fb84a8e9b.png)
微分几何几何学是数学的一个重要分支,它采用不同方法对几何图形及其数量关系进行研究。
微分几何是高师数学专业(本)的专业基础课之一,其出发点是微分几何。
本课程重点讲授微分几何中最基础的部分——二维欧氏空间中的曲线和曲面的局部理论,在方法上给以更新,这样使学生能够从较浅的内容去学习近代的处理方法,对新方法接受起来阻力比较小一些;另一发面,对微分几何有兴趣的学生,在掌握新方法之后,可运用这些方法去学习微分几何的近代内容。
本课程教学时数为60小时。
第一章曲线论目的要求:在中学教材中,对于曲线的概念,平面曲线的参数方程中参数的个数问题,都只初步涉及,进一步理解有赖于对曲线的精确定义。
1)掌握曲线的概念,空间曲线的基本三棱形,曲面挠率和Frenet公式。
2)掌握特殊曲线:平面曲线、一般螺线3)理解Bertrand曲线4)了解曲线上一点邻近的结构和空间曲线论的基本定理。
计划课时数:24学时教学内容:第一节向量代数复习(2学时)向量的基本概念、运算及有关定理第二节向量函数(2学时)向量函数的极限、连续、微分、Taylor展式及积分、向量函数具有固定长的充要条件等第三节曲线的概念(4学时)曲线的基本概念、切线和法面的求法,曲线的弧长,自然参数的引进第四节空间曲线(10学时)曲线的密切面、基本三棱形,曲率、挠率、Frenet公式,曲线的局部结构和基本定理第五节特殊曲线(6学时)平面曲线论、一般螺线,Bertrand曲线第二章曲面论目的要求:1)曲面的局部概念是建立整体概念和过渡到微分流行研究的基础,简单曲面的向量参数表示要与中学所讲曲线、曲面的参数方程对照,从理论上理解中学教材内容中遗留的问题。
掌握:(1)曲面的概念及其参数表示(2)曲面的第一基本形式(3)曲面的第二基本形式,曲面上曲线的曲率,主方向与曲率线网(4)主曲率、Gauss曲率和平均曲率2)直纹面和可展曲面是常见的特殊曲面,联系解析几何中的直纹面,理解直纹面的构成,掌握曲面可展的含义和可展的条件。
微分几何 陈维桓 绪论-第一章-第二章讲稿
![微分几何 陈维桓 绪论-第一章-第二章讲稿](https://img.taocdn.com/s3/m/c8efacfff705cc175527093b.png)
目录绪论 (1)内容简介 (1)第一章预备知识 (2)引言 (2)§ 1.1 三维欧氏空间中的标架 (2)一、向量代数复习 (2)二、标架 (3)三、正交标架流形 (3)四、正交坐标变换与刚体运动,等距变换 (3)§ 1.2 向量函数 (4)第二章曲线论 (6)§ 2.1 参数曲线 (6)§ 2.2 曲线的弧长 (9)§ 2.3 曲线的曲率和Frenet标架 (10)§ 2.4 曲线的挠率和Frenet公式 (14)§ 2.5 曲线论基本定理 (16)§2.7 存在对应关系的曲线偶 (21)§2.8 平面曲线 (21)绪论几何学是数学中一门古老的分支学科. 几何学产生于现实生产活动. “geometry”就是“土地测量”.Pythagoras定理和勾股定理(《周髀算经》). 数学:人类智慧的结晶,严密的逻辑系统. 以欧几里德(Euclid)的《几何原本》(Elements)为代表.《自然辩证法》和《反杜林论》:数学与哲学;数与形的统一:解析几何;坐标系:笛卡儿和费马引入.对微分几何做出突出贡献的数学家:欧拉(Euler),蒙日(Monge),高斯(Gauss),黎曼(Riemann). 克莱因(Klein)关于变换群的观点. E. Cartan的活动标架方法.微分几何:微积分,拓扑学,高等代数与解析几何知识的综合运用.内容简介第一章:预备知识. 第二章:曲线论. 第三章至第五章:曲面论. 第六章:曲面上的曲线,非欧几何. 第七章*:活动标架和外微分.第一章 预备知识本章内容:向量代数知识复习;正交标架;刚体运动;等距变换;向量函数 计划学时:3学时难点:正交标架流形;刚体运动群;等距变换群引言为什么要研究向量函数?在数学分析中,我们知道一元函数()y f x =的图像是xy 平面上的一条曲线,二元函数(,)z f x y =的图像是空间中的一张曲面.采用参数方程,空间一条曲线可以表示成()()(),(),()r r t x t y t z t ==.这是一个向量函数,它的三个分量都是一元函数.所有这些例子中,都是先取定了一个坐标系. 所以标架与坐标是建立“形”与“数”之间联系的桥梁.§ 1.1 三维欧氏空间中的标架一、向量代数复习向量即有向线段:AB ,r ,r . 向量相等的定义:大小和方向. 零向量:0,0. 反向量:a -.向量的线性运算. 加法:三角形法则,多边形法则. 向量的长度. 三角不等式. 数乘. 内积的定义::||||cos (,)ab a b a b =∠ 外积的定义.二重外积公式:()()()a b c a c b b c a ⨯⨯=⋅-⋅;()()()a b c a c b a b c ⨯⨯=⋅-⋅ba⨯a b内积的基本性质:对称性,双线性,正定性. 外积的基本性质:反对称性,双线性.二、标架仿射标架{};,,O OA OB OC . 定向标架.正交标架(即右手单位正交标架):{};,,O i j k . 笛卡尔直角坐标系. 坐标. 内积和外积在正交标架下的计算公式. 两点距离公式. 三维欧氏空间3E 和3.三、正交标架流形取定一个正交标架{};,,O i j k (绝对坐标系). 则任意一个正交标架{}123;,,P e e e 被P 点的坐标和三个基向量{}123,,e e e 的分量唯一确定:123111121322122233313233,,,.OP a i a j a k e a i a j a k e a i a j a k e a i a j a k ⎧=++⎪=++⎪⎨=++⎪⎪=++⎩ (1.6) 其中123(,,)a a a a =可以随意取定,而(,1,2,3)ij a i j =应满足31ikjk ij k aa δ==∑, (1.7)即过渡矩阵()ij a A =是正交矩阵. 又因为123,,e e e 是右手系,det 1A =,即矩阵111213212223313233(3)a a a A a a a SO a a a ⎛⎫ ⎪=∈ ⎪ ⎪⎝⎭(1.8, 1.9) 是行列式为1的正交矩阵. 我们有一一对应:{正交标架}←→3(3)E SO ⨯,{}123;,,(,)P e e e a A ←→.所以正交标架的集合是一个6维流形.四、正交坐标变换与刚体运动,等距变换QOPki1e j2e 3e空间任意一点Q 在两个正交标架{};,,O i j k 和{}123;,,P e e e 中的坐标分别为(,,)x y z 和(,,)x y z ,则两个坐标之间有正交坐标变换关系式:111213121222323132333,,.x a xa ya za y a xa ya za z a xa ya za =+++⎧⎪=+++⎨⎪=+++⎩ (1.10) 如果一个物体在空间运动,不改变其形状和大小,仅改变其在空间中的位置,则该物体的这种运动称为刚体运动.在刚体运动33:E E σ→下,若σ将正交标架{};,,O i j k 变为{}123;,,P e e e ,则空间任意一点(,,)Q x y z 和它的像点(,,)Q x y z (均为在{};,,O i j k 中的坐标)之间的关系式为111213121222323132333,,.x a xa ya za y a xa ya za z a xa ya za =+++⎧⎪=+++⎨⎪=+++⎩ (1.11) 定理1.1 3E 中的刚体运动把一个正交标架变成一个正交标架;反过来,对于3E 中的任意两个正交标架,必有3E 的一个刚体运动把其中的一个正交标架变成另一个正交标架.空间3E 到它自身的、保持任意两点之间的距离不变的变换33:E E σ→称为等距变换.刚体运动是等距变换,但等距变换不一定是刚体运动. 一般来说,等距变换是一个刚体运动,或一个刚体运动与一个关于某平面的反射的合成(复合映射).仿射坐标变换与仿射变换.§ 1.2 向量函数所谓的向量函数是指从它的定义域D 到3中的映射3::()r p r p →D .设有定义在区间[,]a b 上的向量函数()((),(),()),r t x t y t z t a t b =≤≤.如果(),(),()x t y t z t 都是t 的连续函数,则称向量函数()r t 是连续的;如果(),(),()x t y t z t 都是t 的连续可微函数,则称向量函数()r t 是连续可微的. 向量函数()r t 的导数和积分的定义与数值函数的导数和积分的定义是相同的,即QO ()P O σ=ki1e j2e 3e ()Q Q σ=000()()limt t t r t t r t dr dtt∆→=+∆-=∆0000000()()()()()()lim ,,t x t t x t y t t y t z t t z t t t t ∆→+∆-+∆-+∆-⎛⎫= ⎪∆∆∆⎝⎭()000(),(),()x t y t z t '''=,0(,)t a b ∈, (2.6)()1()lim ()(),(),()nbb bbi i aaaai r t dt r t t x t dt y t dt z t dt λ→='=∆=∑⎰⎰⎰⎰, (2.7)其中01n a t t t b =<<<=是区间[,]a b 的任意一个分割,1i i i t t t +∆=-,1[,]i i i t t t -'∈,并且{}max |1,2,,i t i n λ=∆=. (由向量加法和数乘的定义可以得到)向量函数的求导和积分归结为它的分量函数的求导和积分,向量函数的可微性和可积性归结为它的分量函数的可微性和可积性.由(1.6)可得()()()()()(),()()()()()()a t b t a t b t t a t t a t t a t λλλ''''''+=+=+.定理2.1 (Leibniz 法则) 假定(),(),()a t b t c t 是三个可微的向量函数,则它们的内积、外积、混合积的导数有下面的公式:(1) ()()()()()()()a t b t a t b t a t b t '''⋅=⋅+⋅;(2) ()()()()()()()a t b t a t b t a t b t '''⨯=⨯+⨯;(3) ()()()()(),(),()(),(),()(),(),()(),(),()a t b t c t a t b t c t a t b t c t a t b t c t ''''=++.定理2.2 设()a t 是一个处处非零的连续可微的向量函数,则 (1) 向量函数()a t 的长度是常数当且仅当()()0a t a t '⋅≡. (2) 向量函数()a t 的方向不变当且仅当()()0a t a t '⨯≡.(3) 设()a t 是二阶连续可微的. 如果向量函数()a t 与某个固定的方向垂直,那么 ()(),(),()0a t a t a t '''≡.反过来,如果上式成立,并且处处有()()0a t a t '⨯≠,那么向量函数()a t 必定与某个固定的方向垂直.证明 (1) 因为()()22()()()()|()|a t a t a t a t a t '''==,所以|()|a t 是常数2|()|a t ⇔是常数()()0a t a t '⇔⋅≡.(2) 因为()a t 处处非零,取()a t 方向的单位向量1()|()|()b t a t a t -=. 则()()()a t f t b t =,其中()|()|f t a t =连续可微. 于是()()2()()()()()()()()()()(),.a t a t f t b t f t b t f t b t f t b t b t t ''''⨯=⨯+=⨯∀“⇒”由条件知()b t c =是常向量,()0b t c ''==. 从而()()0a t a t '⨯≡.“⇐”由条件得()()0b t b t '⨯≡,所以()b t ,()b t '处处线性相关. 因为()b t 是单位向量,处处非零,所以()()()b t t b t λ'=. 用()b t 作内积,得()12()()()()()0t b t b t b t b t λ''=⋅=⋅≡. 于是()0b t '≡,()b t c =是常向量.(3) 设向量函数()a t 与某个固定的方向垂直,那么有单位常向量1e 使得1()0a t e ⋅≡. 求导得到1()0a t e '⋅≡,1()0a t e ''⋅≡. 从而(),(),()a t a t a t '''共面,()(),(),()0a t a t a t '''≡.反之,设()(),(),()0a t a t a t '''≡. 令()()()b t a t a t '=⨯. 由条件,()b t 处处非零. 且()b t '=()()a t a t ''⨯连续. 根据二重外积公式,()()()()()()()()()()()(),(),()()(),(),()()(),(),()()0.b t b t a t a t a t a t a t a t a t a t a t a t a t a t a t a t a t a t ''''⨯=⨯⨯⨯''''''=-'''=≡ 根据已经证明的(2),()b t 的方向不变. 设这个方向为1e . 则1()|()|b t b t e =. 用()a t 作内积,得()1|()|()()()()()()0b t a t e a t b t a t a t a t '⋅=⋅=⋅⨯≡.由于()b t 处处非零,得到1()0a t e ⋅≡,即()a t 与固定方向1e 垂直. □课外作业: 1. 证明定理2.1.2. 设33:E E σ→为等距变换. 在3E 中取定一个正交标架{};,,O i j k . 令3为3E 中全体向量构成的向量空间. 定义映射33::()()AB A B σσ→. 如果()O O σ=,证明是线性映射.3. 设向量函数()r t 有任意阶导(函)数. 用()()k r t 表示()r t 的k 阶导数,并设()(1)()()k k r t r t +⨯处处非零. 试求()()(1)(2)(),(),()0k k k r t r t r t ++≡的充要条件.第二章 曲线论本章内容:弧长,曲率,挠率;Frenet 标架,Frenet 公式;曲线论基本定理 计划学时:14学时,含习题课3学时. 难点:曲线论基本定理的证明§ 2.1 参数曲线三维欧氏空间3E 中的一条曲线C 是一个连续映射3:[,]p a b E →,称为参数曲线. 几何上,参数曲线C 是映射p 的象.取定正交标架{};,,O i j k ,则曲线上的点()([,])p t t a b ∈与它的位置向量()Op t 一一对应. 令()()r t Op t =. 则()()()()((),(),())r t x t i y t j z t k x t y t z t =++=,[,]t a b ∈, (1.3) 其中t 为曲线的参数,(1.3)称为曲线的参数方程.由定义可知()()01()lim(),(),()()()t r t x t y t z t r t t r t t∆→''''==+∆-∆,(,)t a b ∈. (1.4)如果坐标函数(),(),()x t y t z t 是连续可微的,则称曲线()r t 是连续可微的. 此概念与标架的取法无关. (为什么?)导数()r t '的几何意义:割线的极限位置就是曲线的切线.如果r ()r t '是该曲线在()r t 处的切线的方向向量,称为该曲线的 曲线在正则点的切线方程为()()()X u r t ur t '=+, 其中t 是切线上点的参数,()X u 是切线上参数为u 的点的位置向量定义. 如果()r t 是至少三次以上的连续可微向量函数,并且处处是正则点,即对任意的t ,()0r t '≠,则称曲线()r t 是正则参数曲线. 将参数增大的方向称为曲线的正向.上述定义与3E 中直角坐标系的选取无关. 正则曲线:正则参数曲线的等价类.曲线的参数方程中参数的选择不是唯一的. 在进行参数变换时,要求参数变换()t t u =满足:(1) ()t u 是u 的三次连续可微函数;(2) ()t u '处处不为零. 这样的参数变换称为可允许的参数变换. 当()0t u '>时,称为保持定向的参数变换.根据复合函数的求导法则,[]()(())()()d d du dt t t u r t u r t t u ='=⋅.这种可允许的参数变换在所有正则参数曲线之间建立了一种等价关系. 等价的正则参数曲线看作是同一条曲线,称为一条正则曲线. 以下总假定()r t 是正则曲线.如果一条正则参数曲线只允许作保持定向的参数变换,则这样的正则参数曲线的等价类被称为是一条有向正则曲线. (返回Frenet 标架)()r t y()X u ()r t t +∆()r t '2-1例1.1 ),其中()()sin ,cos ,r t a t a t b '=-,22|()|0()0r t a b r t ''=+>⇒≠所以圆柱螺线是正则曲线.例1.2 半三次曲线32()(,),()r t t t t =∈.2()(3,2)r t t t '=,(0)0r '=.这条曲线不是正则曲线.连续可微性和曲线的正则性(光滑性)是不同的概念. (与数学分析中的结论比较) 平面曲线的一般方程()y f x =和隐式方程(,)0F x y =. 空间曲线的一般方程(),()y f x z g x == (1.6)和隐式方程(,,)0,(,,)0.F x y zG x y z =⎧⎨=⎩ (1.8) 这些方程可以化为参数方程. (习题4:正则曲线总可以用一般方程表示)曲线(1.8)的切线方向,正则性.y()r t btQαβγ课外作业:习题2,5§ 2.2 曲线的弧长设3E 中一条正则曲线C 的方程为(),[,]r r t t a b =∈. 则|()|bas r t dt '=⎰ (2.1)是该曲线的一个不变量,即它与正交标架的选取无关,也与曲线的可允许参数变换无关.不变量s 的几何意义是该曲线的弧长,因为1max||01|()|lim|()()|i nbi i at i s r t dt r tr t +∆→='==-∑⎰.其中01n a t t t b =<<<=是区间[,]a b 的任意一个分割,1i i i t t t +∆=-,max λ={|1,i t i ∆=}2,,n . (为什么?)令()|()|tas t r d ττ'=⎰. (2.4)则()s s t =是曲线C 的保持定向的可允许参数变换,称为弧长参数. 它是由曲线本身确定的,至多相差一个常数,与曲线的坐标表示和参数选择都是无关的. 因此任何正则曲线都可以采用弧长s 作为参数,当然,允许相差一个常数.注意|()|ds r t dt '=也是曲线的不变量,称为曲线的弧长元素(或称弧微分).虽然理论上任何正则曲线都可以采用弧长参数s ,但是具体的例子中,曲线都是用一般的参数t 给出的. 由(2.4),即使|()|r t '是初等函数,()s t 也不一定是初等函数. 下面的定理给出了判别一般参数是否是弧长参数的方法.定理2.1 设(),[,]r r t t a b =∈是3E 中一条正则曲线,则t 是它的弧长参数的充分必要条件是|()|1r t '=. 即t 是弧长参数当且仅当(沿着曲线C )切向量场是单位切向量场.证明. “⇐”由(2.4)可知,s t a =-. “⇒”如果t 是弧长参数,则s t =,从而|()|1dsr t dt'==. □以下用“﹒”表示对弧长参数s 的导数,如()r s ,()r s 等等,或简记为,r r 等等. 而“'”则用来表示对一般参数t 的导数.课堂练习:4课外作业:习题1,2(1),3.§ 2.3 曲线的曲率和Frenet 标架设曲线C 的方程为()r r s =,其中s 是曲线的弧长参数. 令()()s r s α=. (3.1)对于给定的s ,令θ∆是()s α与()s s α+∆之间的夹角,其中0s ∆≠是s 的增量.定理 3.1 设()s α是曲线()r r s =的单位切向量场,s 是弧长参数. 用θ∆表示向量()s s α+∆与()s α之间的夹角,则lim|()|ss s θα∆∆∆→=. (3.2)证明. ()001||lim lim ()()s s d s s s ds s s ααααα∆→∆→∆===+∆-∆∆ ()()2200022sin sin lim lim lim ||s s s s s s θθθθθ∆∆∆∆→∆→∆→∆∆===∆∆∆, 因为arccos[()()]s s s θαα∆=+∆,所以0lim 0s θ∆→∆=. □定义 称函数():|()|s s κκα==为曲线()r r s =在s (即()r s )点处的曲率,称()s α为该曲线的曲率向量.把曲线C 的单位切向量()s α平移到原点,其端点所描出的曲线称为曲线的切线象. 其方程就是()s αα=. (3.3)例如圆柱螺线的切线象是单位球面上的一个圆.()r s 0s =图2-5O()s αs L=()s s α+∆()r s s +∆()s s α+∆()s α()()s s s αα+∆-θ∆圆柱螺线的切线象2()πα圆柱螺线()(cos r t a =()(r t a '=-221()(a b t a α+=-(0)α(0)α2()πα()απ()απ32()πα32()πα当然,s . 切线象()s αα=的弧长元素为|()|()ds s ds s ds ακ==. (3.4)所以dss dsκ==, (3.5) 即曲率κ是切线象的弧长元素与曲线的弧长元素之比.由|(α()()0s s αα⋅=. 所以曲率向量()s α是曲线的一个如果在一点s 处()s κ≠,则向量11()|()|()()()s s s s s βαακα--==称为曲线在该点的. 于是在该点有()()()s s s ακβ=. (3.6)在(s κ处,令()()()s s s γαβ=⨯. (3.7)它是曲线的第二个法向量场,称为在该点的次法向量场(副法向量场). 这样,在正则曲线上()0s κ≠的点,有一个完全确定的正交标架}(),()s s γ,称为曲线在该点的Frenet 标架(见图2-2). 它的确定不受曲线的保持定向的参数变换的影响.注意. 如果在一点0s 处0()0s κ=,则一般来说无法定义在该点的Frenet 标架. 1. 若()0s κ≡,则C 是直线,可以定义它的Frenet 标架.2. 若0s 是κ的孤立零点, 则在0s 的两侧都有Frenet 标架. 如果00()()s s ββ-+=,则可以将Frenet 标架延拓到0s 点.3. 在其他的情况下将曲线分成若干段来考察.切线、主法线和次法线,法平面、从切平面和密切平面,以及它们的方程.切线:()()()u r s u s ρα=+;主法线:()()()u r s u s ρβ=+;次法线:()()()u r s u s ργ=+ 法平面:[()]()0X r s s α-=;从切平面:[()]()0X r s s β-=;密切平面:[()]()0X r s s γ-=在一般参数t 下,曲率κ和Frenet 标架的计算方法.3|()()|()|()|r t r t t r t κκ'''⨯==',()|()|r t r t α'=',()()|()()|r t r t r t r t γ'''⨯='''⨯,βγα=⨯. (3.13)证明. 设()s s t =为弧长参数,()t t s =为其反函数. 则由(2.4),()|()|dss t r t dt''==. 故(())()()()|()|(())()(),():(())|()|dr s t ds t r t r t r t s t s t t s t ds dt r t αααα''''====='. (3.12)由曲率κ的定义,||0κα=≥,可知主法向量||αβα=满足ακβ=. 上式再对t 求导,得 2d d dsr s s s s s s dt ds dtααααακβ'''''''''''=+=+=+.于是2333()()||r r s s s s s r r s αακβκαβκγκ'''''''''''''⨯=⨯+=⨯=⇒⨯=.所以33|()()||()()||()|r t r t r t r t s r t κ''''''⨯⨯==''. 代入上式得()()|()()|r t r t r t r t γ'''⨯='''⨯. □例3.1 求圆柱螺线()(cos ,sin ,),()r t a t a t bt t =∈的曲率和Frenet 标架,其中0a >.解. ()(sin ,cos ,)r t a t a t b '=-,()(cos ,sin ,0)r t a t a t ''=-,2|()|r t a '=+2(sin ,cos ,)(sin ,cos ,)r r ab t ab t a a b t b t a '''⨯=-=-,2||r r a a '''⨯=所以密切平面()s α()s γ()s β()r s322()()||()|r t r t r t a b '''⨯='+21()t a α=22()()1(sin |()()|r t r t b r t r t a bγ'''⨯=='''⨯+(cos ,sin ,0)t t βγα=⨯=--维维安尼(Viviani)曲线2221,.y z y x +==一般方程例3.2 标架. 解法()(cos r t =. 点(0,0,1)对应的参数为2t k ππ=+,其中k 不妨设t π=22()(2sin cos ,cos sin ,cos )r t t t t t '=--, ()(2cos2r t t ''=-于是当/2t π=时,(0,0,1),(0,1,0),(2,0,1)r r r '''=-=,||1,(1,0,2)r r r ''''=⨯=(0,1,0)α=-,15(1,0,2)γ=,15(2,0,1)βγα=⨯=-.所以在点处的曲率5κ=,Frenet 标架为(0,0,1)r =,(0,1,0)α=-,15(2,0,1)β=-,15(1,0,2)γ=□解法2. 设曲线的弧长参数方程为(),(),()x x s y y s z z s ===,(,)s εε∈-,(0,0,1)对应的参数为0s =. 则有(0)((0),(0),(0))(0,0,1)r x y z ==, (1)以及22222222()()()1,(,).()()()0,()()()1,x s y s z s s x s y s x s x s y s z s εε⎧++=⎪∀∈-+-=⎨⎪++=⎩ (3.14) 求导得到()()()()()()0,2()()2()()()0,()()()()()()0.x s x s y s y s z s z s x s x s y s y s x s x s x s y s y s z s z s ++=⎧⎪+-=⎨⎪++=⎩(3.15)令0s =,由(1)和上述方程组得到(0)(0)0x z ==,(0)1y =±. 通过改变曲线的正方向,可设(0)1y =,于是(0)((0),(0),(0))(0,1,0)x y z α==. (3.16)对(3.15)前两式再求导,利用(3.14)得22()()()()()()1,2()()2()2()()2()()0.x s x s y s y s z s z s x s x s x s y s y s y s x s ++=-⎧⎨+++-=⎩ (3.17) 令0s =,由(3.15)和(3.16)得(0)0y =;由(1)和(3.17)第1式得(0)1z =-;再由(3.17)第2式得(0)2x =. 所以(0)(0)((0),(0),(0))(2,0,1)r x y z α===-.由此得(0)(0,0,1)r =处的曲率(0)|(0)|5κα==,Frenet 标架为:(0)(0,0,1)r =;(0)(0,1,0)α=,11(0)5(0)(0)(2,0,1)κβα==-,15(0)(0)(0)(1,0,2)γαβ=⨯=--. □课外作业:习题1(2,4),4,7§ 2.4 曲线的挠率和Frenet 公式密切平面对弧长s 的变化率为||γ,它刻画了曲面偏离密切平面的程度,即曲线的扭曲程度. 定义4.1 函数τγβ=-⋅,即()()()s s s τγβ=-⋅称为曲线的挠率. 注. 由0γγ⋅=,()0γαγαγκβ⋅=-⋅=-⋅=可知//γβ. 因此可设γτβ=-, (4.1)从而||||τγ=,即挠率的绝对值刻画了曲线的扭曲程度.定理4.1 设曲线C 不是直线,则C 是平面曲线的充分必要条件是它的挠率0τ≡. 证明. 设曲线C 的弧长参数方程为()r r s =,[0,]s L ∈. 因为C 不是直线,0κ≠(见定理3.2 ),存在Frenet 标架{};,,r αβγ.“⇒” 设C 是平面曲线,在平面:()0X a n ∏-=上,其中a 是平面上一个定点的位置向量,n 是平面的法向量,a 和n 均为常向量. 则有(())0,[0,]r s a n s L -=∀∈.求导得()0,()()0()0,s n s s n s n s ακββ==⇒=∀.于是()//s n γ, 由于|()|||1s n γ==,所以()s n γ=±是常向量,从而0γ≡,||||0τγ=≡. 即有0τ≡.“⇐”设0τ≡. 由(4.1)得0γτβ=-=. 所以()0s c γ=≠是常向量. 由(())()()()0dr s c r s c s s dsαγ=== 可知()r s c 是一个常数,即0()()r s c r s c =,其中0[0,]s L ∈是固定的. 于是曲线C 上的点满足平面方程0[()()]0r s r s c -=,其中0()r s 是平面上一个定点的位置向量,c 是平面的法向量. □设正则曲线C 上存在Frenet 标架. 对Frenet 标架进行求导,得到Frenet 公式,,,.r αακββκατγγτβ⎧=⎪=⎪⎨=-+⎪⎪=-⎩ (4.8)上式中的后三式可以写成矩阵的形式00000ακαβκτβγτγ⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪=- ⎪ ⎪ ⎪⎪ ⎪ ⎪- ⎪⎝⎭⎝⎭⎝⎭. (4.9)作为Frenet 公式的一个应用,现在来证明定理4.2 设曲线()r r s =的曲率()s κ和挠率()s τ都不为零,s 是弧长参数. 如果该曲线落在一个球面上,则有222111d a ds κτκ⎡⎤⎛⎫⎛⎫+= ⎪ ⎪⎢⎥⎝⎭⎝⎭⎣⎦, (4.10) 其中a 为常数.证明. 由条件,设曲线所在的球面半径是a ,球心是0r ,即有()220()r s r a -=. (4.11)求导得到()0()()0r s r s α-=.这说明0()r s r -垂直于()s α,可设0()()()()()r s r s s s s λβμγ-=+. (4.12)再求导,利用Frenet 公式得()()()()[()()()()]()()()()()s s s s s s s s s s s s s αλβλκατγμγμτβ=+-++-.比较两边,,αβγ的系数,得1λκ=-,λμτ=,μλτ=-, (4.13)其中略去了自变量s . 所以1λκ=-,111d d ds ds λλμτττκ⎛⎫===- ⎪⎝⎭. (4.14)将(4.12)两边平方可得()22220r r a λμ+=-=,再将(4.14)代入其中,即得(4.10). □注记 由证明过程中的(4.13)第3式还可得110d d ds ds τκτκ⎡⎤⎛⎫+= ⎪⎢⎥⎝⎭⎣⎦. (4.16) 在一般参数下挠率的计算公式.2(,,)||r r r r r τ''''''='''⨯. (4.18)证明. 因为()|()|dss t r t dt''==,利用Frenet 公式,有 ()()(())ds dr r t s t s t dt dsα''==,2()()(())()(())(())r t s t s t s t s t s t ακβ'''''=+,23(())()()(())3()()(())(())()(())()(())[(())(())(())(())].d s t r t s t s t s t s t s t s t s t s t dts t s t s t s t s t s t κακββκκατγ''''''''''=++'+-+ 于是3()()()(())(())r t r t s t s t s t κγ''''⨯=,从而()362()()()()(())(())()(),(),()()(())(()).r t r t r t s t s t s t r t r t r t r t s t s t s t κγκτ''''''''''''''''=⨯⋅=⋅'=由(3.13)可知622()(())|()()|s t s t r t r t κ''''=⨯,代入上式即得(4.18). □定理4.3 曲线()r r t =是平面曲线的充要条件是(,,)0r r r ''''''=. □ 例 求圆柱螺线()(cos ,sin ,)r t a t a t bt =的挠率.解. ()(sin ,cos ,)r t a t a t b '=-,()(cos ,sin ,0)r t a t a t ''=-,2|()|r t a '=+2(sin ,cos ,)(sin ,cos ,)r r ab t ab t a a b t b t a '''⨯=-=-,2||r r a a '''⨯=()(sin ,cos ,0)r t a t t '''=- 所以2(,,)r r r a b ''''''=,22b a b τ=+. □课外作业:习题1(2, 4),4,10§ 2.5 曲线论基本定理已经知道正则参数曲线的弧长、曲率、挠率是曲线的不变量,与坐标系取法及保持定向的参数无关,都是曲线本身的内在不变量. 在空间的刚体运动下,弧长、曲率、挠率保持不变(为什么?). 反之,这三个量也是曲线的完备不变量系统,对确定空间曲线的形状已经足够了,即有定理5.1 (唯一性定理) 设111222:(),:()C r r s C r r s ==是3E 中两条以弧长s 为参数的正则参数曲线,[0,]s l ∈. 如果它们的曲率处处不为零,且有相同的曲率函数和挠率函数,即12()()s s κκ=,12()()s s ττ=,则有3E 中的一个刚体运动σ将1C 变成2C .证明 选取3E 中的刚体运动σ将2C 在0s =处的Frenet 标架{}2222(0);(0),(0),(0)r αβγ变为1C 在0s =处的Frenet 标架{}1111(0);(0),(0),(0)r αβγ. 则这个刚体运动σ将2C 变为正则曲线3C . 设3C 的弧长参数方程为33()r r s =. 由于在刚体运动下,弧长、曲率、挠率保持不变,1C 与3C 也有相同的曲率和挠率函数:13()()s s κκ=,13()()s s ττ=.且在0s =处它们有相同的Frenet 标架:13131313(0)(0),(0)(0),(0)(0),(0)(0).r r ααββγγ====令{}1111();(),(),()r s s s s αβγ和{}3333();(),(),()r s s s s αβγ分别为1C 和3C 的Frenet 标架. 则它们都满足一阶线性常微分方程组初值问题,,,.r αακββκατγγτβ⎧=⎪=⎪⎨=-+⎪⎪=-⎩ (5.6) 1111(0)(0),(0)(0),(0)(0),(0)(0).r r ααββγγ=⎧⎪=⎪⎨=⎪⎪=⎩ (5.7)根据解的唯一性(见附录定理1.1),有13()()r s r s =,即1C 与3C 重合. □注 常微分方程组(5.6)中,共有12个未知函数:()()(),(),()r s x s y s z s =,()123()(),(),()s s s s αααα=,()123()(),(),()s s s s ββββ=,()123()(),(),()s s s s γγγγ=.初始条件为:()1123(0)(,,)(0),(0),(0)r a a a x y z ==,()123111213(0),(0),(0)(,,)a a a ααα=,()123212223(0),(0),(0)(,,)a a a βββ=,()123313233(0),(0),(0)(,,)a a a γγγ=.定理5.2设111222:(),:()C r r t C r r u ==是3E 中两条正则参数曲线,它们的曲率处处不为零. 如果存在三次以上的连续可微函数()u t λ=([,]t a b ∈),()0t λ'≠,使得这两条曲线的弧长函数、曲率函数和挠率函数之间满足121212()(()),()(()),()(())s t s t t t t t λκκλττλ===, (5.4) 则有3E 中的一个刚体运动σ将1C 变成2C .证明 不妨设()0t λ'>. 对2C 作可允许参数变换()u t λ=,可将2C 的参数方程写成32()(())r t r t λ=. 则1C 的弧长为11()|()|tas t r d ξξ'=⎰,2C 的弧长为()23322()()|()||()|(())()ttt aa a dr s t r d d d s t r du λλξξλξξηλη'''====⎰⎰⎰. 由条件,可取132()()()s s t s t s t λ===作为1C 和2C 的弧长参数. 因为13()()s t s t =有相同的反函数()t s μ=,即111111322()s s s s μλλ-----====,12s λμ-=. 于是1111112222()()()()()()s s s s s s s s κκκμκλμκκ--≡===≡.同理,21()()s s ττ= 根据定理5.1,有3E 中的一个刚体运动σ将1C 变成2C . □定理 5.3 (存在性定理) 设(),()s s κτ是定义在区间[,]a b 上的任意二个给定的连续可微函数,并且()0s κ>. 则除了相差一个刚体运动之外,存在唯一的3E 中的正则曲线:()C r r s =,[,]s a b ∈,使得s 是C 的弧长参数,且分别以给定的函数()s κ和()s τ为它的曲率和挠率.证明 唯一性由定理5.1即得. 只要证明存在性.考虑含有12个未知函数的一阶线性常微分方程组初值问题(5.6),(5.7).:,,,.drds d ds d ds d dsαακββκατγγτβ⎧=⎪⎪⎪=⎪⎨⎪=-+⎪⎪⎪=-⎩ (5.6) 0000(0),(0),(0),(0).r r ααββγγ=⎧⎪=⎪⎨=⎪⎪=⎩ (5.7)根据解的唯一存在定理(见附录定理1.1),对任意给定的初始条件(5.7),(5.6)都有定义在区间[,]a b 上的解. 取(5.6)的满足初始条件(0)0,(0),(0),(0)r i j k αβγ==== (5.7)’的解,其中{};,,O i j k 是一个正交标架(即右手单位直角标架). 为了使用求和号,记123,,,ij i j e e e g e e αβγ====, (5.9)[,]a b 11[,]a b [0,]l λ1s 2s 1κ2κμ11121321222331323300000a a a a a a a a a κκττ⎛⎫⎛⎫⎪ ⎪=- ⎪ ⎪-⎝⎭⎝⎭. (5.5) 因为123,,,r e e e 是(5.6)的解,所以()r r s =是三阶连续可微的. 下面来证明()r r s =就是所要求的曲线. 由(5.6)可得311,,1,2,3iij j j de dre a e i dsds ====∑ (5.6)’ 首先来证明(),,1,2,3ij ij g s i j δ==. (5.10)由(5.6)得333111()()ij i j j ij i ik k j jk i k ik kj jk ki k k k dg d e e de de e e a e e a e e a g a g dsds ds ds =====+=+=+∑∑∑, 由初始条件(5.7)’可知有(0)(0)(0)ij i j ij g e e δ==,,1,2,3i j =. 这说明9个函数()ij g s 满足一阶线性常微分方程组初值问题31()ij ik kj jk ki k dF a F a F ds==+∑,(0)ij ij F δ=,,1,2,3i j =.另一方面由(5.5)可知ij ji a a =-,,1,2,3i j =. 于是9个函数()ij ij F s δ=也满足上面的一阶线性常微分方程组初值问题. 由解的唯一性,必有()()ij ij ij g s F s δ==.因此123(),(),()e s e s e s 是两两正交的单位向量. 从而混合积()123(),(),()1e s e s e s =±. 但是函数()123()(),(),()f s e s e s e s =是连续的,并且由初始条件得()123(0)(0),(0),(0)1f e e e ==. 所以123(),(),()e s e s e s 构成右手系.现在,由(5.6)’可知11dre ds==. 所以()r r s =是正则曲线,并且s 是:()C r r s =的弧长参数,1()()s e s α=是C 的单位切向量场. 由(5.6)第2式及()0s κ>可知C 的曲率为()s κ,主法向量场为2()()s e s β=. 最后,因为123(),(),()e s e s e s 是右手单位正交基,所以3()()s e s γ=是次法向量场. 再由(5.6)第3式可知C 的挠率为()()()s s s γβτ-=. □例 求曲率和挠率分别是常数00κ>,0τ的曲线C 的参数方程.解 我们已经知道圆柱螺线()(cos ,sin ,)r t a t a t bt =的曲率和挠率都是常数,分别为22a a b +和22b a b +. 根据定理5.1,曲线C 一定是圆柱螺线. 由022a a b κ=+和022ba b τ=+解出02200a κκτ=+,02200b τκτ=+. 因此所求曲线C 的参数方程为()00022001()cos ,sin ,rt t t t κκτκτ=+. 因为C 的弧长参数s ==,将上式中的t 就可得到C 的弧长参数方程:))()0022001()cos,sin,r s κκτκτ=+. □课外作业:习题1,4,6§ 2.6 曲线参数方程在一点的标准展开对于定义在区间[,]a b 上的n 次连续可微的函数()f x ,可以在区间(,)a b 内任意一点0x 邻近展开为Taylor 展式:2()11000000002!!()()()()()()()()()n n n n f x f x f x x x f x x x f x x x o x x '''=+-+-++-+-.同样,对于一条三次连续可微的弧长参数曲线(),(,)r r s s εε=∈-,可在0s =处展开为233112!3!()(0)(0)(0)(0)()r s r sr s r s r o s =++++, (6.1)其中3()o s 是一个向量函数,满足330()lim 0s o s s→=. (6.2) 由Frenet 公式可得2(0)(0),(0)(0)(0),(0)(0)(0)(0)(0)(0)(0)(0)r r r ακβκακβκτγ===-++ (6.3)代入(6.1)得23233300000()(0)(0)(0)(0)()6266r s r s s s s s o s κκκκταβγ⎛⎫⎛⎫=+-++++ ⎪ ⎪⎝⎭⎝⎭,其中000(0),(0),(0)κκκκττ===.以0s =处的Frenet 标架{}(0);(0),(0),(0)r αβγ建立右手直角坐标系,则曲线C 在0s =附近的参数方程为2330123300233003(),6(),26().6x s s o s y s s o s z s o s κκκκτ⎧=-+⎪⎪⎪=++⎨⎪⎪=+⎪⎩(6.4)上式称为曲线:()C r r s =在0s =处的标准展开式.在标架{}(0);(0),(0),(0)r αβγ下,考虑C 的近似曲线232300000011:(),,(0)(0)(0)(0)2626C r s s s s r s s s κκτκκταβγ⎛⎫=≡+++ ⎪⎝⎭. (6.5)近似曲线1C 与原曲线C 在0s =处有相同的Frenet 标架{}(0);(0),(0),(0)r αβγ,有相同的曲率0κ和相同的挠率0τ. 这是因为s 是1C 的一般参数,并且1(0)(0,0,0)(0)r r ==,1(0)(1,0,0)(0)r α'==,100(0)(0,,0)(0)r κκβ''==,10000(0)(0,0,)(0)r κτκτγ'''==, 从而1(0)1r '=,111(0)(0)(0)(0)r r αα'==',()1100(0)(0)(0)(0)(0)r r ακβκγ'''⨯=⨯=,110(0)(0)r r κ'''⨯=,111031(0)(0)(0)(0)r r r κκ'''⨯==',11111(0)(0)(0)(0)(0)(0)r r r r γγ'''⨯=='''⨯,111(0)(0)(0)(0)(0)(0)βγαγαβ=⨯=⨯=,2111001022011(0)(0)(0)(0)(0)(0)r r r r r κτττκ''''''⨯⋅==='''⨯. 在0s =邻近,近似曲线1C 的性状近似地反映了原曲线C 的性状. 近似曲线1C 的图形见下图,其在各坐标平面上的投影见书上图2-6.在密切平面上的投影是抛物线:20,,02x s y s z κ===,在从切平面上的投影是三次曲线:300,0,6x s y z s κτ===,在法平面上的投影是半三次曲线:230000,,26x y s z s κκτ===.定义 设两条弧长参数曲线111222:(),:()C r r s C r r s ==相交于0p ,012(0)(0)Op r r ==. 取1122,p C p C ∈∈,使得0102p p p p s ==∆. 若有正整数n 使得121200|||()()|limlim 0n n s s p p r s r s s s ∆→∆→∆-∆==∆∆,1210|()()|lim 0n s r s r s s +∆→∆-∆≠∆, (6.9) 则称1C 与2C 在0p 处有n 阶切触.定理 6.1 设两条弧长参数曲线111222:(),:()C r r s C r r s ==在0s =处相交. 则它们在0s =处有n 阶切触的充分必要条件是()()12(0)(0)k k r r =,1,2,,k n =,(1)(1)12(0)(0)n n r r ++≠. (6.10)证明 在0s =处,有0s s s ∆=-=. 因为12,C C 在0s =处相交,所以12(0)(0)r r =. 根据Taylor 公式,α0γ0β(0)r12()()12121()()()(0)(0)!k n n k k k s r s r s o s r r k ++=-=+⎡⎤-⎣⎦∑. 充分性. 由(6.10),12(1)(1)1212()()()(0)(0)(1)!n n n n s r s r s o s r r n ++++-=+⎡⎤-⎣⎦+,所以 2(1)(1)12121210001()||()()lim lim lim ||0(0)(0)(1)!n n n n n n s s s o s p p r s r s s r r n s s s++++∆→→→-===+⎡⎤-⎣⎦+∆, 2(1)(1)1212121110001()||()()lim lim lim 0(0)(0)(1)!n n n n n n s s s o s p p r s r s r r n s s s++++++∆→→→-==≠+⎡⎤-⎣⎦+∆. 即12,C C 在0s =处有n 阶切触.必要性. 由条件,12,C C 在0s =处有n 阶切触,则1n ≥. 如果12(0)(0)r r ''≠,则12121200||()()lim lim 0(0)(0)s s p p r s r s r r s s∆→→-''==>-∆, 从而120||lim0n s p p s ∆→≠∆,矛盾. 设1m ≥是满足 ()()12(0)(0)k k r r =,1,2,,k m =,(1)(1)12(0)(0)m m r r ++≠的正整数. 由充分性,12,C C 在0s =处有m 阶切触. 由条件得m n =,故(6.10)成立. □ 推论 (1) 一条曲线与它在一点的Taylor 展开式中的前1n +项之和(即略去()n s ∆的高阶无穷小)至少有n 阶切触;与它在一点的切线至少有1阶切触;与它在一点的近似曲线至少有2阶切触.(2) 两条相交曲线在交点处有二阶以上切触的充分必要条件是这两条曲线在该点处相切,且有相同的有向密切平面和相同的曲率.曲率圆(密切圆):在弧长参数曲线:()C r r s =上一点()r s 处的密切平面上,以曲率中心1()()()r s s s βκ+为圆心,以曲率半径1()R s κ=为半径的圆. 它的方程是: ()11()()()cos ()sin ()()()X t r s s t s t s s s βαβκκ=+++. 曲线与曲面的切触阶,密切球面,曲率轴. (略)课外作业:习题2,3§2.7 存在对应关系的曲线偶设两条正则参数曲线111222:(),:()C r r t C r r u ==之间存在一个一一对应关系()t u t ↔=,()0u t '≠. 对曲线2C 作参数变换,可设222:()C r r t =,从而12,C C 之间的一一对应就是参数相同的点之间的一一对应.定义7.1 如果两条互不重合的曲线12,C C 之间存在一个一一对应,使得它们在对应点有公共的主法线,则称这两条曲线为Bertrand 曲线偶,其中每一条曲线称为另一条曲线的侣线,或共轭曲线.每一条正则曲线(:()(C r r s x ==证明 设s ()()(),()s x s y s α=是C 的单位切向量场,()()(),()n s y s x s =-. 取充分小的非零实数λ使得|()|1s λκ<∀11:()()()C r s r s n s λ=+是曲线C 的侣线.事实上,因为21n n x y αα⋅=+=⋅=,所以0nn =,n n ⊥. 另一方面由0n =可知n α⊥. 因此//n α. 设r n κα=. 于是C 的曲率()22()|()|||()()|()|||(),()r s s x s y s n s x s y s κακ===+==.当常数λ充分小时,1()[1()]()0r r s s s λκα'=+≠,所以1C 是正则参数曲线. 因为0λ≠,所以曲线C 和1C 不重合.现在来证明在对应点C 和1C 有相同的主法线. 在相同的参数s 点处,C 的主法线l 是过()r s (的终)点且垂直于()s α的直线,所以l 的方程为()()()X u r s un s =+,u ∈.同理,在相同的参数s 点处,1C 的主法线1l 是过1()r s 点且垂直于1()//()rs s α'的直线. 所以1//l l (因为它们都垂直于()s α). 由定义可知1()r s 在直线l 上,所以l 与1l 重合. □下面考虑空间挠曲线,即挠率0τ≠的曲线.定理7.1 设1C 和2C 是Bertrand 曲线偶. 则1C 和2C 在对应点的距离是常数,并且1C 和2C 在对应点的切线成定角.证明 设曲线1C 的弧长参数方程为11()r r s =,Frenet 标架为{}1111();(),(),()r s s s s αβγ,曲率和挠率分别为1()s κ和1()s τ. 因为1C 和2C 之间存在一一对应,设2C 上与1()r s 对应的点是22()r r s =,s 是2C 的一般参数,2C 的Frenet 标架为{}2222();(),(),()r s s s s αβγ,曲率和挠率分别为2()s κ和2()s τ. 再设2C 的弧长参数为()s s s =.由条件,2()r s 在曲线1C 上的点1()r s 处的主法线11()()()X u r s u s β=+上,所以()121//()()()s r s r s β-,并且12()()s s ββ=±. 因此可设211()()()()r s r s s s λβ=+,21()()s s βεβ=, (7.3)αn其中1ε=±是常数,()121()()()()s s r s r s λβ=-是可微函数.将(7.3)两边对s 求导,利用Frenet 公式,得21111()()()()()()[()()()()]s s s s s s s s s s s ααλβλκατγ''=++-+111[1()()]()()()()()()s s s s s s s s λκαλβλτγ'=-++. (7.4)以21βεβ=分别与上式两边作内积,可得()0s λ'=,()s c λ=是常数. 再由(7.3)得211|()()||()()|||r s r s s s c λβ-==,即1C 和2C 在对应点的距离是常数||(0c >,因为1C 和2C 不重合).设12()((),())s s s θαα=∠,则()12()()cos ()s s s ααθ=. 因为()112212122211120d s s dsκβακαβεκβαεκαβαα''=+=+=, 所以()cos ()s θ是常数,从而()s θ是常数. □定理7.2 设正则曲线C 的曲率κ和挠率τ都不为零. 则C 是Bertrand 曲线的充分必要条件是:存在常数,λμ,且0λ≠,使得1λκμτ+=.证明 必要性. 设曲线C 有侣线1C ,它们的参数方程分别是()r s 和1()r s ,其中s 是C 的弧长参数. 如同定理7.1的证明过程一样,设{}();(),(),()r s s s s αβγ和{}1111();(),(),()r s s s s αβγ分别是C 和1C 的Frenet 标架,11,κτ分别是1C 的曲率和挠率,s 是1C 的弧长参数. 现在(7.3)和(7.4)分别成为 1()()()r s r s s λβ=+,1()()s s βεβ=, (7.3)1()()[1()]()()()s s s s s s s αλκαλτγ'=-+. (7.5)其中0λ≠是常数. 因此由0τ≠得|()|[10s s '=≠,1()[1s s ε'=其中11ε=±也是一个常数.由定理7.1,1()()s s c αα=是常数. 用()s α与(7.5)两边作内积,得22221()(1)[1()][()]c s c s c s ελκλκλτ=-⇒--=.由()0s λτ≠可知2(1)0c -≠,从而1()()s s λκμτ-== 是常数. 这就是说,存在常数0,λμ≠,使得1λκμτ+=.充分性. 设正则弧长参数曲线:()C r r s =的曲率κ和挠率τ满足1λκμτ+=,其中,λμ是常数,且0λ≠. 令1()()()r s r s s λβ=+,则1()[1()]()()()()[()()]0r s s s s s s s s λκαλτγτμαλγ'=-+=+≠.所以由参数方程11()r r s =定义的曲线1C 是正则曲线,并且与曲线C 不重合(因为0λ≠).由于21||r τλ'=1C 的单位切向量场1()[sin ()cos ()]s s s αθαθγ=±+,其中arctan(/)θμλ=是常数,满足sin θ=,cos θ=.设s 是1C 的弧长参数,利用Frenet 公式,有111(sin cos )d ds ds dsακβθκθτβ==±-. 如果sin cos 0θκθτ-≠,则有1ββ=±,从而曲线1C 是C 的侣线,1C 和C 是Bertrand 曲线偶(在参数s 相同的点,1C 和C 得主法线有相同方向,并且1()r s 在()r s 处的主法线上).如果sin cos 0θκθτ-=,则μκλτ=. 结合1λκμτ+=可知κ和τ都是非零常数,C 是圆柱螺线,从而是Bertrand 曲线. □定义7.2 如果两条曲线12,C C 之间存在一个一一对应,使得曲线1C 在任意一点的切线正好是2C 在对应点的法线(即垂直于2C 在该点的切线),则称曲线2C 是1C 的渐伸线. 同时称曲线1C 是2C 的渐缩线.定理7.3 设:()C r r s =是正则弧长参数曲线. 则C 的渐伸线的参数方程为1()()()()r s r s c s s α=+-. (7.7)证明 设渐伸线1C 上与()r s 对应的点为1()r s . 则1()r s 在曲线C 上()r s 点处的切线上,故有函数()s λλ=使得1()()()()r s r s s s λα=+. (7.8)由渐伸线的定义,1()()r s s α'⊥,所以10()()[()()()()()()]()1()r s s s s s s s s s s ααλαλκβαλ'''==++=+.由此得()1s λ'=-,()s c s λ=-. 代入(7.8)即得(7.7). □曲线C 的渐伸线可以看作是该曲线的切线族的一条正交轨线,位于C 的切线曲面∑上. 定理7.4设:()C r r s =是正则弧长参数曲线. 则C 的渐缩线的参数方程为()111()()()tan ()()()()r s r s s s ds s s s βτγκκ=+-⎰. (7.10) 证明 设渐缩线1C 上与()r s 对应的点为1()r s . 由定义,1[()()]()()rs r s r s s α-⊥=,可设 1()()()()()()r s r s s s s s λβμγ=++. (7.11)求导得1()()()()()[()()()()]()()()()()r s s s s s s s s s s s s s s αλβλκατγμγμτβ'''=++-++- [1()()]()[()()()]()[()()()]()s s s s s s s s s s s λκαλμτβμλτγ''=-+-++.。
微分几何习题及答案解析.pdf
![微分几何习题及答案解析.pdf](https://img.taocdn.com/s3/m/955d3b89a0116c175f0e488e.png)
第一章 曲线论
§2 向量函数
5.
向量函数
r (t
)
具有固定方向的充要条件是
r (t)
×
r'
(t
)
=
0。
分析:一个向量函数
r (t
)
一般可以写成
r (t)
=
λ (t )
e (t )
的形式,其中
e (t )
为单位向
量函数,λ
(t)
为数量函数,那么
r (t
)
具有固定方向的充要条件是
'
(
e
×
e
)= 0 。
反之,若 r × r ' = 0
,对
r (t)
=
λ (t )
e (t )
求微商得 r' = λ '
e + λ
e'
,于是
r
×
r
'
=
λ
2
(
e
×
e'
)=
0
,则有
λ
=0
或
e
×
e'
=
0
。当
λ
(t)
=
0
时,r(t)
=
0
可与任意方
向平行;当 λ
≠
0
时,有
e
×
e
'
λr + µ
r'
①
26
微分几何主要习题解答
令 n = r × r' ,则 n
≠
0
,且
r(t
)
⊥
n(t)
大专高等数学微分几何教材
![大专高等数学微分几何教材](https://img.taocdn.com/s3/m/8b70f24630b765ce0508763231126edb6f1a76f1.png)
大专高等数学微分几何教材导言:微分几何是现代数学中的重要分支,它研究的是曲线、曲面以及其它高维空间中的各种几何性质。
微分几何在物理学、工程学等领域中有着广泛的应用,对于大专学生来说,学习微分几何是提高数学素养和应用能力的重要一步。
本教材将系统、全面地介绍大专高等数学微分几何的基本概念、定理和方法,以期帮助学生深入理解和掌握微分几何的核心内容。
第一章曲线的参数方程1.1 曲线的描述与参数化1.2 曲线的一阶曲率与二阶曲率1.3 曲线的切线与法平面1.4 曲率半径与主法曲率第二章曲线的弧长与曲率2.1 弧长与速度向量2.2 曲线的弧微分与弯曲度2.3 极坐标下的曲线2.4 曲线的整体性质第三章曲面的参数方程3.1 曲面的定义与参数化3.2 一阶偏导数矩阵与法向量3.3 曲面的切平面与法线3.4 曲面的切向量与法向量场第四章曲面的曲率与法平面4.1 曲面的一阶、二阶曲率与法平面4.2 曲面的主曲率与平均曲率4.3 曲率曲面与渐近线4.4 曲面的高斯曲率与平均曲率第五章曲面的全微分与法线场5.1 曲面的全微分与法线场5.2 一阶可微曲面与隐函数定理5.3 二阶局部特征与带有局部图的曲面5.4 曲面的几何应用第六章曲面的曲线长度与曲率6.1 曲面上的曲线长度与弧微分6.2 曲面上的一阶、二阶曲率6.3 极坐标下的曲面6.4 曲面的整体性质结语:通过本教材的学习,学生将掌握曲线和曲面的参数化、曲率与法平面的概念与计算方法,能够准确描述和分析各种几何对象的形状和性质。
希望本教材能够成为大专高等数学学习者的有效工具,提高他们的数学思维和实际应用能力。
同时,鼓励学生进一步挖掘微分几何在科学研究和实际工作中的应用前景,为建设创新型国家作出贡献。
《微分几何第一节》课件
![《微分几何第一节》课件](https://img.taocdn.com/s3/m/dd9be3b5bb0d4a7302768e9951e79b89680268e7.png)
曲面的参数化表示
1
曲面的参数式表示
2
通过参数方程描述曲面在空间中的运动。
3
曲面的一般式表示
用方程系统描述曲面的参数化表示。
常见曲面的参数化标准式
如平面、球面、圆柱面等常见曲面的参数化 表达。
常见的微分几何量
切矢场、法矢场
描述切矢、法矢随空间的变化情况。
曲率、扭率
刻画曲线、曲面的弯曲程度和旋转性质。
第二基本形式
描述曲面的几何性质和内在结构。
微分几何的坐标表示
1 在欧几里得空间中的坐标表示
2 在流形上的坐标表示
使用笛卡尔坐标系或其他坐标系描述几何对象。
利用不同坐标系描述流形上的几何对象。
微分几何的基本定理
1
Poincaré-Hopf定理
2
研究向量场的拓扑特征和曲面的欧拉特征。
3
Gauss-Bonnet定理
描述曲面的整体几何性质与局部性质之间 的关系。
Stokes定理
连接微分几何和微积分,揭示曲面与流形 上的积分关系。
总结
1 微分几何的重要性
应用广泛且深入,是现代ຫໍສະໝຸດ 学和科学的重要组成部分。2 微分几何的学习建议
加强数学基础,掌握基本概念和定理,进行实际问题的应用探索。
2 切矢、法矢的概念
刻画曲线、曲面上的切向量、法向量。
3 切平面、法平面的概念
描述曲面的局部性质,如曲面上的切平面与法平面。
曲线的参数化表示
1
曲线的一般式表示
用联立方程方式表达曲线的参数化表示。
2
曲线的参数式表示
通过参数方程描述曲线在空间中的运动。
3
常见曲线的参数化标准式
如直线、圆、椭圆等常见曲线的参数化表达。
微分几何讲义 王幼宁
![微分几何讲义 王幼宁](https://img.taocdn.com/s3/m/7243b26f31b765ce0508146d.png)
目 录
第一章 预备知识 ···································································································1 §1 向量代数复习 ··················································································· 1 一.E3 中 Descartes 直角坐标系 O-xyz 中的点与向量····················· 1 二.向量空间 R3 (起点自由) ······················································ 1 三.E3 中向量的乘积 ······································································· 2 四.在初等几何中的应用例示 ························································ 3 §2 向量函数微积分 ··············································································· 4 一.E3 中实变向量函数 ··································································· 4 二.向量函数的极限、连续和微积分简介 ····································· 5 三.常用几何条件的解析判定式 ···················································· 7 §3 标架和标架场 ··················································································· 9 一.E3 中的单位正交右手标架及其变换 ······································ 10 二.E3 中的刚体运动与等距变换 ·················································· 12 三.E3 中的正交标架场的运动公式 ·············································· 13 四.E3 中的仿射标架 ····································································· 13 第二章 曲线的局部微分几何············································································ 15 §1 参数化曲线与曲线的参数表示 ······················································ 15 一.E3 中参数化曲线的定义 ························································· 15 二.正则曲线 ················································································· 16 三.曲线的等价 ············································································· 18 §2 曲线的弧长和弧长元素 ·································································· 21 一.E3 中正则曲线段的长度 ························································· 22 二.弧长和弧长参数 ····································································· 23 §3 曲线的曲率和 Frenet 标架 ······························································ 25 一.曲率························································································· 25 二.Frenet 标架 ·············································································· 27 §4 曲线的挠率和 Frenet 公式 ······························································ 33 一.挠率························································································· 33 二.Frenet 公式 ·············································································· 36 §5 曲线在一点附近的结构 ·································································· 38
微分几何第一章曲线论第二节曲线的概念
![微分几何第一章曲线论第二节曲线的概念](https://img.taocdn.com/s3/m/a99811e3aeaad1f346933f5d.png)
定义 对于曲线(C ):r r (t ), r (t )叫做曲线在对应点的切 向量. 非零的切向量, 注 (1)因为曲线在正常点总有 从而曲线在正常点总有 唯一的切线 . 正则曲线处处有唯一的 切线. 问题:曲线在非正常点 处是否有切线? (2)切向量的方向总是与曲 线的参数增值方向一致 . PR总是与曲线(C )的参数t R P T 的增值方向一致, Q R Q lim PR r ( t 0 )总与参数t t 0 Q P t 0 r (t0 ) r (t0 t ) 的增值方向一致. O 参数t的增值方向也叫曲线的 正向.
n
P2 P P0
Pi Pn
(C ) r r (t )
l ( T ) 0
l ( T ) 0
i 1
则称这个极限值为曲线 段P0 Pn的弧长. 存在性和计算公式 对于曲线(C ) : r r (t ) C 1[a, b],
lim n lim Pi 1 Pi 存在, 且
2.2 光滑曲线 曲线的正常点
定义 对于曲线(C ):r r (t ) (a t b), 如果r (t ) C k , 则称曲线为C k 类曲线. C 1类曲线称为光滑曲线 . C 0类曲线称为连续曲线 . 1 定义 对于C 类曲线r r (t )上的点r (t0 ), 如果r (t0 ) 0, 则称该点为曲线的正常 点. 而r (t0 ) 0的点叫做非正常点 . 如果曲线上的点全是正 常点,则称该曲线为
第一章
曲线论
§2 曲线的概念
主要内容
1.曲线的概念; 2.光滑曲线,曲线的正常点; 3.曲线的切线和法面; 4.曲线的弧长,自然参数.
微分几何第一章曲线论第一节向量函数第5小节
![微分几何第一章曲线论第一节向量函数第5小节](https://img.taocdn.com/s3/m/a3f660c955270722182ef7d7.png)
即 微商的分量等于分量的微商
3
定义 (C k类函数) rr((tt))称称为为rr((tt))的的二三阶阶微微商商;;
二阶
及二
阶以
上的
微 商叫r(t
)的 高
阶微
商.
在区间[t1, t2 ]上有直至k阶连续微商的函数称为C k类函数. 连续函数称为C 0类函数. 无限可微的函数称为C 类函数.
命解题析4函r数(t)称 {为xC(t)类, y函(t)数 , z.(t)} C k[t1, t2 ]
a
a
即 积分的分量等于分量的积分
命题5
若r
r (t
)在[a,
b]上
连
续,
则r(t
)在[a,
b]上
可
积
,而且
(1)
b
r (t
)dt
c r (t)dt
b r (t)dt
a
(2) b
mr (t)dt
a
m
b
c r (t)dt
(m为
常
数);
a
(3) b
m
r (t)dt
a m
b
r (t)dt
x(t) y(t) z(t)
a1 a2 . a3
即 极限的分量等于分量的极限
命 命题题23..且rr((rtt))(t){{xx{((txt)),(,tyy)(,(tyt),)(z,t(z)t(,)t}z)}(可连t)}微续.
x(t), y(t), z(t)均连续.
x(t), y(t), z(t)均可微.
4
定定注对义义于若则设二r对 rrrru(uv(u元于 u,,v{llv向二x)uivi)mm u,00量元{yrr{xu((x向 函(uu,(uz,uu量 ,v数 },vv,)也函)u,r,,vy,yvv可 (数uv(ur))u{,定,xvvrrv)r),(,(义(,uzuyuz(,,v(u,v偏 v,uv,z)),v)v},v微 )}).},商urvr是.. 、定全义微在分平等面概区念域. D
微分几何第一章
![微分几何第一章](https://img.taocdn.com/s3/m/b48ada66af1ffc4ffe47acc5.png)
q
1.1 向量代数-混合积的计算公式
设 ai = (xi , yi , zi)( i = 1, 2, 3 )是 R3 中的三 个向量,则有:
x1 (a1 , a2 , a3 ) x2 x3
y1 y2 y3
z1 z2 . z3
两个向量垂直的充分必要条件是它们的内 积为零,两个向量平行的充分必要条件是 它们的叉积为零,三个向量共面的充分必 要条件是它们的混合积为零.
返回章首
1.1 向量代数-拉格朗日公式
设 a、b、c、d 是 R3 的四个向量,则
a c a d (a b) (c d ) bc bd
(a c)(b d ) (a d )(b c).
特别地有
a a a b |a b| | a |2 | b |2 (a b)2 . ba bb
k a O i
返回章首
j
1.1 向量代数-线性运算
设 a1 = (x1, y1, z1),a2 = (x2, y2, z2),则它们 的和定义为 a1 + a2 = (x1 + x2, y1 + y2, z1 + z2).
a1
a1+a2 a2
再设 a = (x, y, z),l∈R,则 l 与 a 的数 乘定义为 la = lxi + lyj + lzk = (lx, ly, lz).
2
看证明
返回章首
练习题 1.证明 (a ∧ b) ∧ c = (a ⋅ c) b – (b ⋅ c) a (提 示:用分量验证,并由此证明拉格朗日公 式.
返回章首
1.2 向量分析
内容:向量函数的导数、积分、泰勒公式、 复合函数求导的链式法则 重点:链式法则
微分几何前五章知识点总结
![微分几何前五章知识点总结](https://img.taocdn.com/s3/m/4b248c7a42323968011ca300a6c30c225801f04c.png)
微分几何前五章知识点总结微分几何是数学的一个分支,它研究了曲线、曲面等几何对象上的微分和积分运算。
微分几何在数学中有着非常广泛的应用,特别是在物理学和工程学中。
在微分几何的学习过程中,我们首先需要了解一些基本的知识点,然后逐步深入学习更加复杂的内容。
在微分几何的前五章中,我们学习了一些基本的概念和定理,下面就让我们来对这些知识点进行总结。
第一章:Euclidean Space R^n在微分几何中,我们首先要了解的是欧几里德空间R^n,它是n维空间中所有点的集合。
在R^n空间中,我们可以定义点之间的距离,以及点和点之间的向量。
我们还可以定义点的坐标,并且可以进行向量的加法和数乘操作。
欧几里德空间R^n在微分几何中有着非常重要的作用,我们可以在其上定义一些基本的几何对象,比如球面、圆柱面等,然后进行微分几何的相关研究。
第二章:Curve在微分几何中,曲线是一种最基本的几何对象。
曲线是一种一维的几何对象,在欧几里德空间R^n中可以通过参数方程或者参数化函数来描述。
在这一章中,我们学习了曲线的弧长、切向量、曲率以及曲线的导数等概念。
这些概念对于我们研究曲线的性质和特征非常重要,比如曲线的弧长可以帮助我们计算曲线的长度,切向量和曲率可以帮助我们研究曲线的走向和弯曲程度。
第三章:Surfaces在微分几何中,曲面是一种二维的几何对象。
曲面可以被参数化为一个映射函数,这个映射函数把一个二维的参数空间映射到欧几里德空间R^n中。
在这一章中,我们学习了曲面的第一和第二基本形式,以及曲面上的曲线、曲率等概念。
这些概念对于研究曲面的局部性质非常重要,比如曲面的第一和第二基本形式可以帮助我们计算曲面上的切向量、法向量和曲率等,这些信息对于我们研究曲面的局部形状非常有帮助。
第四章:Gaussian Curvature高斯曲率是一个非常重要的曲面特征,它描述了曲面在一个点处的弯曲程度。
在这一章中,我们学习了高斯曲率的定义、计算方法以及它和曲面的几何意义。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1.1 向量代数-混合积的几何意义
注意:|(a, b, c)| 等于由向量 a、b、c 张成
的平行四面体的体积. (如图)
a ∧b bc
q q
|c|cosq
|a ∧ b| a
|(a, b, c)| = |(a ∧ b) ⋅ c|
=|a ∧ b| |c|cosq
=平行四面体的体积
返回章首
1.1 向量代数-混合积的计算公式
每个分量求极限.这样,向量函数的极限就转
化成普通函数的极限.
返回章首
1.2 向量分析-向量函数的极限的性质
推论. (极限的运算性质)设当 t→t0 时, 有 r(t) → a ,s(t) → b ,l(t) → c ,则我们 有: r(t)±s(t) → a±b,l(t)r(t) → ca. r(t) ⋅ s(t) → a ⋅ b. r(t) ∧ s(t) → a ∧ b.
微分几何
用代数的方 法研究图形 的几何性质
解析 几何
用微积分方 法研究几何 图形的性质
初等 几何
几何 学
微分 几何
包括平面几 何和立体几 何
其它 几何
金融几何 代数几何 计算几何 …………
教材与参考书
教材 • 彭家贵、陈卿:《微分几何》,高等教育出版社
(2002) 参考书书 • 梅向明、黄敬之:《微分几何》(第四版),高 等教育出版社出版(2008) • 陈维桓:《微分几何初步》,北京大学出版社 (1999) • 周振荣、杨文茂、郑高峰、赵玮:《微分几何》, 武汉大学出版社(2008)
示:用分量验证,并由此证明拉格朗日公 式.
返回章首
1.2 向量分析
内容:向量函数的导数、积分、泰勒公式、 复合函数求导的链式法则 重点:链式法则
返回章首
1.2 向量分析-向量函数的极限
一元向量函数是形如 r(t) = (x(t) , y(t) , z(t)) 的向量,其中 x(t)、y(t)、z(t) 是普通的一元 函数,叫该向量函数的分量函数.
返回章首
1.1 向量代数-两个不等式
定理. 对任意的两个向量 a、b∈R3 有下
面两个不等式成立: 许瓦滋不等式
a ⋅ b ≤ |a| ⋅ |b|. 闵可夫斯基不等式
|a + b| ≤ |a| + |b|. 这两个不等式中的等式成立的充分必要条 件是 a∥b.
返回章首
1.1 向量代数-两向量的夹角
返回章首
1.2 向量分析-具有固定长度和固定方向的向量函数
可导的向量函数 r(t) 具有固定长度的充要条 件是 r' (t) 垂直于 r(t).
可导的向量函数 r(t) 具有固定方向的充要条 件是 r' (t) 平行于 r(t).
看证明
返回章首
1.2 向量分析-一元向量函数的链式法则
定理. (一元向量函数的链式法则)设 r(u) 可微的向量函数,u = u(t) 是可微的普通函 数,则复合函数 r(t) = r(u(t)) 也可微,并 且
符号说明
蓝色字母代表向量、向量函数或者矩阵,
如 a 、 r (u,v)、A 等
粉红色字母代表特殊常数,如圆周率 p 和 自然对数的底数 e 等
黄色字母代表特殊函数(如正弦函数 sinq
等)、特殊空间(如欧氏空间 R3 、平面 R2 和实数集 R)、特殊向量(如单位坐标 向量,如 i 、 j 、 k )或者变换群
a
|a|sinq q
b
返回章首
1.1 向量代数-混合积
三个向量 a、b、c 的混合积定义为
(a, b, c) = (a ∧ b) ⋅ c. 向量的混合积满足轮换不变性:
(a, b, c) = (b, c, a) = (c, a, b). 向量的混合积满足反 交换性,即交换两个 向量的位置改变混合积的符号,如 (a, b, c) = – (c, b, a),等等.
1.1 向量代数-向量积的计算公式
设 ai = (xi , yi , zi)(i = 1, 2)是 R3 中的两个 向量,则有:
i jk
a1 a2 x1 y1 z1 x2 y2 z2
注意:| a ∧ b | 等于由 a 和 b 张成的平行 四边形的面积.(如图)
|a|⋅|b| sinq |a ∧ b|
k a
O i
j
返回章首
1.1 向量代数-线性运算
设 a1 = (x1, y1, z1),a2 = (x2, y2, z2),则它们 的和定义为 a1 + a2 = (x1 + x2, y1 + y2, z1 + z2).
a1
a1+a2
a2
再设 a = (x, y, z),l∈R,则 l 与 a 的数 乘定义为 la = lxi + lyj + lzk = (lx, ly, lz).
距离定义为 d(a,b) = |a – b|.在 R3 上装备 了这样的距离函数之后就叫欧氏空间. 距离具有如下性质: 正定性.d(a, b) ≥ 0,等式成立当且仅当 a = b; 对称性.d(a, b) = d(b, a); 三角不等式.d(a, b) ≤ d(a, c) + d(c, b).
返回章首
例如 i = (1,0,0),j = (0,1,0),k = (0,0,1) 是 R3 的三个向量。
除了 i 、j 、k 这三个向量以外,我们一般用 蓝色小写英文字母或希腊字母表示向量,如a 、 r 、a、 b 等。
几何上,我们用一个箭 头表示向量,箭头的起点 叫向量的起点,箭头的末 端点叫向量的终点。
字母右上角的撇号代表对一般参数求导数, 右上角或者顶上的圆点代表对弧长参数求
导数
第一章内容概要
本章讨论三维欧氏空间的向量代数、向量微 积分、合同变换群等内容,这些内容是后面 讨论曲线曲面的微分几何时所需要的.
向量代数包括向量的线性运算(加法和数 乘)、向量积、内积、混合积、向量的长度 和夹角等内容,其中拉格朗日公式是这一节 的重点.
1.1 向量代数-向量积
设向量 a、b 的夹角为 q,则它们的向量积
(也叫外积)a ∧ b 是这样一个向量,其长度
为 |a ∧ b| = |a|⋅|b| sinq,方向满足右手法则:
伸出右手,让大拇指和四指垂直,让四指从 向量 a 朝向量 b 旋转一个较小的角度(小于 180º)到达 b,则大拇指所指的方向就是 a ∧ b 的方向.(如图)
向量 a 与 b 的夹角为
q arccos a b .
| a || b |
如果两个向量的夹角是 p/2,就称这两个 向量相互垂直或正交.因此两向量正交的充 分必要条件是它们的内积为零.
由许瓦兹不等式可知 | cosq | ≤ 1.
返回章首
1.1 向量代数-距离
两个向量 a、b 作为 R3 的点,它们之间的
向量函数的微积分和普通函数的微积分基本 类似,所以本节作为一般了解.
返回章首
1.1向量代数 内容:向量积、内积、混合积的性质与计 算 重点:拉格朗日公式
返回章首
1.1 向量代数-向量
集合 R3 = {(x, y, z) | x, y, z∈R} 称为三维实向 量空间,其元素 (x, y, z) 叫做一个向量。
设 r(t) 是一个向量函数,a 是常向量,如果对
任意的 e > 0,存在 d > 0,使得当 0 < |t – t0| < d 时,|r(t) – a| < e 成立,则称 a 是 r(t) 当 t 趋
向于 t0 时的极限,记为 为 r(t)→a (当 t→t0) .
lim r(t) a
t t0
设 ai = (xi , yi , zi)(i = 1, 2)是 R3 中的两个 向量,它们的内积定义为
a1 ⋅ a2 = x1x2 + y1y2 + z1z2. 内积具有如下性质: 正定性.a ⋅ a ≥ 0,等式成立当且仅当 a = 0; 对称性.a ⋅ b = b ⋅ a; 线性性.a ⋅ (kb + hc) = ka ⋅ b + ha ⋅ c. 向量 a 的长度为 |a| = (a ⋅ a)1/2;长度为 1 的向量叫单位向量.
u 0
u
存在,则称它为函数 r(u,v) 在点 (u0,v0) 处关 于 u 的偏导数,记为 ru(u0,v0);同样,我们 可以定义关于 v 的偏导数 rv(u0,v0).
返回章首
1.2 向量分析-二元向量函数的微分
设 r(u,v) 是二元向量函数,令 r = r(u0 + u, v0 + v) – r(u0, v0).
a
la
返回章首
1.1 向量代数-向量
设 i = (1,0,0),j = (0,1,0),k = (0,0,1) ,则任意 向量 a = (x, y, z) 可表示为 a = xi + yj + zk.(如 图)
k zk
a = xi+yj+zk
yj
O
xi i
xi+yj
返回章首
1.1 向量代数-内积
返回章首
1.2 向量分析-向量函数的连续性
如果当 t → t0 时有 r(t) → r(t0) 成立,则称 向量函数 r(t) 在 t0 处连续;如果 r(t) 在它 的定义域内的每一点都连续,则称 r(t) 是 连续函数. 连续函数的和、差、积(内积、向量积、 混合积、数乘)是连续的. r(t) = (x(t), y(t), z(t)) 在 t0 处连续的充分必要 条件是每个分量 x(t)、y(t)、z(t) 都在 t0 处 连续.
,
或者记
返回章首
1.2 向量分析-向量函数极限的计算