微分几何 1.3 空间曲线
- 格式:ppt
- 大小:563.00 KB
- 文档页数:18
《微分几何》课程教学大纲一、课程信息课程名称:微分几何Differentia1Geometry课程代码:06S1022B课程类别:专业选修课适用专业:数学与应用数学专业(师范类)课程学时:45学时(理论35,实践10)课程学分:2.5学分修读学期:第6学期先修课程:数学分析、高等代数、解析几何、常微分方程二、课程目标微分几何是数学与应用数学专业的选修课程,是运用微积分的理论研究空间的几何性质的数学分支学科。
古典微分几何研究三维空间中的曲线和曲面,而现代微分几何开始研究更一般的空间一一流形。
微分几何与拓扑学等其它数学分支有紧密的联系,对物理学的发展也有重要影响,爱因斯坦的广义相对论就以微分几何中的黎曼几何作为其重要的数学基础。
本课程的前导课程为解析几何、高等代数、数学分析和常微分方程。
本课程旨在介绍微分几何的基本思想方法和理论,让学生了解它的研究对象、研究方法和技巧,了解一些重要概念及其几何意义,经典理论及其模型,掌握重要几何量的计算,通过重要例题的演示,让学生学会综合利用数学分析、解析几何、微分方程等的基本知识解决微分几何问题,使学生掌握三维欧氏空间中的曲线和曲面的局部微分理论和方法,培养学生分析三维欧氏空间的曲线和曲面的局部性态的能力以及对微分几何这门学科的兴趣。
(一)具体目标通过本课程的学习,使学生达到以下目标:1.了解现代几何学的发展背景,熟悉微分几何研究的基本方法和技巧,理解从欧式空间到一般几何对象的基本思想,对中学的几何课程有更好的理解,具有一定的批判精神及创新能力,具有分析问题和解决问题的能力。
【支撑毕业要求3、4、7]2.掌握向量函数的相关概念和计算;掌握一般曲线的参数表示及切线、法平面、密切平面等概念;掌握曲线的曲率、挠率及伏雷内公式;理解曲线的局部结构及空间曲线论的基本定理;了解一般螺线的概念;综合运用微积分、解析几何的知识解决微分几何的问题,具备一定的计算能力。
【支撑毕业要求3、4]3.掌握曲面的参数表示及相关概念;掌握曲面的第一基本形式及其应用,理解等距变换及曲面的内蕴性质;掌握曲面的第二基本形式及各种曲率的概念和计算;理解直纹面、可展曲面的概念;了解曲面论的基本定理;理解曲面上的测地线及其性质,了解高斯-波涅公式及其应用。
空间曲线的曲率、挠率和Frenet公式摘要:本文研究了刻画空间曲线在某点邻近的弯曲程度和离开平面程度的量—曲率和挠率以及空间曲线论的基本公式--Frenet公式,并且举例有关曲率、挠率的计算和证明.关键词:空间曲线;曲率;挠率;Frenet公式Spatial curvature,torsion and Frenet formulas Abstract:This paper studies space curves depict a point near the bend in the degree and extend of the amount of leave plane-the curvature and torsion and the basic formula of space curves-Frenet formulas,and for example the curvature and torsion of the calculation and proof.Key Words: space curves; curvature; torsion; Frenet formulas前言空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的一部分,它是以空间曲线的密切平面和基本三棱形的知识作为基础的.空间曲线的曲率、挠率和Frenet公式在空间曲线的基本理论中占有重要位置,是空间曲线的一些基本性质和基本公式.曲线的曲率和挠率完全决定了曲线的形状.当曲线的曲率和挠率之间满足多种不同的关系时,就会得到不同类型的曲线.例如:0k>时为直τ=时为平面曲线.线,0本文将从定义、公式推导和具体举例三方面逐步解析空间曲线的曲率、挠率和Frenet公式.本文第一部分讲述曲率和挠率的定义,第二部分讲述Frenet公式和曲率、挠率的一般参数表示的推导,第三部分具体举例有关曲率、挠率的计算和证明.1.空间曲线的曲率和挠率的定义1.1准备知识—空间曲线的伏雷内标架给出2c 类空间曲线()c 和()c 上一点p .设曲线()c 的自然参数表示是(),r r s =其中s 是自然参数,得dr dsr ==α 是一单位向量.α 称为曲线()c 上p 点的单位切向量.由于1=α,则⊥αα,即r r ⊥.在α上取单位向量==αr βαr, (1)β称为曲线()c 上p 点的主法向量.再作单位向量=⨯γαβ,γ称为曲线()c 上p 点的副法向量.我们把两两正交的单位向量,,αβγ称为曲线上p 点的伏雷内(Frenet)标架. 1.2 空间曲线的曲率我们首先研究空间曲线的曲率的概念.在不同的曲线或者同一条曲线的不同 点处,曲线弯曲的程度可能不同.例如半径较大的圆弯曲程度较小,而半径较小的圆弯曲程度较大.为了准确的刻画曲线的弯曲程度,我们引进曲率的概念.要从直观的基础上引出曲率的确切定义,我们首先注意到,曲线弯曲的程度越大,则从点到点变动时,其切向量的方向改变的越快.所以作为曲线在已知一曲线段PQ 的平均弯曲程度可取为曲线在P 、Q 间切向量关于弧长的平均旋转角.设空间中3c 类曲线()c 的方程为().r r s =曲线()c 上一点p ,其自然参数为s ,另一邻近点1p ,其自然参数为s s +∆.在p 、1p 两点各作曲线()c 的单位切向量()s α和()s s +∆α.两个切向量的夹角是ϕ∆,也就是把点1p 的切向量()s s +∆α平移到点p 后,两个向量()s α和()s s +∆α的夹角为ϕ∆.我们把空间曲线在p 处的切向量对弧长的旋转速度来定义曲线在点p 的曲率.定义[]1 空间曲线()c 在p 点的曲率为()lims k s sϕ∆→∆=∆, 其中s ∆为p 点及其邻近点1p 间的弧长,ϕ∆为曲线在点p 和1p 的切向量的夹角.再利用命题“一个单位变向量()t r (即()1t =r )的微商的模,()r t 的几何意义是()t r 对于t 的旋转速度”.把这个结果应用到曲线()c 的切向量α上去,则有()k s =α.由于r =α,所以曲率也可表示为()k s r =.由上述空间曲线的曲率的定义可以看出,它的几何意义是曲线的切向量对于弧长的旋转速度.当曲线在一点的弯曲程度越大,切向量对于弧长的旋转速度就越大,因此曲率刻画了曲线的弯曲程度.对于空间曲线,曲线不仅弯曲而且还要扭转(离开密切平面),所以研究空间曲线只有曲率的概念是不够的,还要有刻画曲线扭转的程度的量—挠率. 1.3 空间曲线的挠率当曲线扭转时,副法向量(或密切平面)位置随着改变(如图一),所以我 们用副法向量(或密切平面)的转动速度来刻画曲线的扭转程度(在一点离开密切平面的程度).现在设曲线()c 上一点p 的自然参数为s ,另一邻近点1p 的参数为s s +∆,在p 、1p 两点各作曲线()c 的副法向量()s γ和()s s +∆γ.此两个副法向量的夹角是ϕ∆(如图一).(图一)再利用命题“一个单位变向量()t r (即()1t =r )的微商的模,()r t 的几何意义是()t r 对于t 的旋转速度” .把这个结果应用到曲线()c 的副法向量向量γ上去, 得到lims sϕ∆→∆=∆γ, 此式的几何意义是它的数值为曲线的副法向量(或密切平面)对于弧长的旋转速度.当曲线在一点的扭曲程度越大(离开所讨论点的密切平面的程度越大),副法向量(或密切平面)对于弧长的旋转速度就越大.因此,我们可以用它来刻画曲线的扭转程度.根据(1)和曲率的定义,我们有()k s ===r ααβr α, 即()s s γ+∆()k s =αβ. (2) 对=⨯γαβ求微商,有()()k s =⨯=⨯+⨯=⨯+⨯=⨯αβαβαβββαβαβγ,因而⊥αγ.又因为γ是单位向量,所以⊥γγ.由以上两个关系可以推出//γβ. (3) 现在我们给出挠率的定义如下: 定义[]1 曲线()c 在p 点的挠率为:().s τ⎧+⎪⎪=⎨⎪-⎪⎩γγβγγβ,当和异向,,当和同向 挠率的绝对值是曲线的副法向量(或密切平面)对于弧长的旋转速度. 介绍了曲率、挠率的定义之后,为了更好的应用曲率和挠率,下面我们来看Frenet 公式和曲率、挠率的一般参数表示式的推导过程.2. Frenet 公式和曲率、挠率的一般参数表示式的推导2.1 Frenet 公式的推导 根据(3)及挠率的定义有τ=-γβ(s) (4) 另外,对=⨯βγα求微商,并利用(4)和(2),可以推导出()()()()()s k s k s s ττ=⨯=⨯+⨯=-⨯+⨯=-+βγαγαγαβαγβαγ(5)公式(2),(5),(4)称为空间曲线的伏雷内(Frenet )公式,即()()()()k s k s s s ττ⎧=⎪⎪=-+⎨⎪=-⎪⎩αββαγγβ, 这组公式是空间曲线的基本公式.它的特点是基本向量α、β、γ关于弧长s 的微商可以用α、β、γ的线性组合来表示.它的系数组成反称的方阵()0()0()0()0k s k s s s ττ⎛⎫ ⎪- ⎪ ⎪-⎝⎭2.2 曲率的一般参数表示式的推导 若给出3c 类的空间曲线()c().r r s =,则有,dr ds dsr r ds dt dt==,22,222,,222ds d s d r ds d s ds d s r r r r r r dt dt ds dt dt dt dt ⎛⎫⎛⎫⎛⎫=+=+=+ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭,所以232,,,2ds ds d s ds r r r r r r r dt dt dt dt ⎡⎤⎛⎫⎛⎫⨯=⨯+=⨯⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦,由上式得3,,,sin ds r r r r dt θ⎛⎫⨯= ⎪⎝⎭.注意上式中,1,,dsr r r r dt=⊥=, 因而有3,,,,r r k r ⨯=.由此得到曲率的一般参数表示式,,,3,r r k r⨯=.2.3挠率的一般参数表示式的推导 再由伏雷内公式的(4)式τ=-γβ(s),两边点乘β得r τ=-βββ,因而()()26,2,,,1111111,,,,kk k k k k k k r r r τ⎛⎫=-==⨯ ⎪⎝⎭⎛⎫⎛⎫⎛⎫=⨯+ ⎪⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫=⨯+ ⎪⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫ ⎪⎝⎭=⎛⎫ ⎪⎝⎭=⨯γβγβαβαααααγγγγγγγγγγ 再把,ds r rdt= 22,,2ds d s r r r dt dt ⎛⎫=+ ⎪⎝⎭323,,,233ds ds d s d s r dt dt dt dt ⎛⎫=++ ⎪⎝⎭γγγ 代入(),,,,,,r r r ⨯⨯中得()66,,,,,,,,,,,ds r r r r dt ⎛⎫⎛⎫⎛⎫⨯⨯==⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭γγγγγγ,所以得到()(),,,,,,2,,,r r r r r τ⨯⨯=⨯. 这是一般参数表示的挠率计算公式.另外说一下密切圆,曲率中心,曲率半径的定义.空间曲线()c 在一点的密切圆(曲率圆)是过曲线()c 上一点()P s 的主法线的正侧取线段PC ,使PC 的长为1k ,以C 为圆心,以1k为半径在密切平面上确定一个圆,这个圆称为曲线()c 在()P s 点的密切圆(曲率圆),曲率圆的中心称为曲率中心,曲率圆的半径称为曲率半径(如图二).(图二)3. 有关曲率、挠率的计算和证明例 1[]1求圆柱螺线{}cos ,sin ,a a b θθθ=r ()θ-∞<<+∞的曲率和挠率.解 由圆柱螺线方程{}cos ,sin ,a a b θθθ=r ,先计算{},sin ,cos ,a a b θθ=-r ,{},,cos ,sin ,0a a θθ=--r ,{},,,sin ,cos ,0a a θθ=-r ,β于是有,=r{},,,2sin cos sin ,cos ,,cos sin 0a ab ab ab a a a θθθθθθ⨯=-=---123e e e r r,,,⨯=r r代入曲率和挠率的公式得(),,,3322,,ak a b⨯===+r r r ()(),,,,,,2222422,,,,,.,ba ba b aa b τ===++r r r r r 由以上可以看出,圆柱螺线的曲率和挠率都是常数.例 2[]1 证明曲率恒等于零的曲线是直线. 证明 已知0,k =≡r 因而,=r 0由此得到 =r a (常向量). 再积分即得 ,s =+r a b 其中b 也是常向量.这是一条直线的参数方程.例 3[]1 证明挠率恒等于零的曲线是平面曲线. 证明 若0,τ≡则γ是固定向量,但是我们已知0,=αγ因而有0,=r γ积分后得a =r γ(常数),所以曲线在一个平面上,即曲线是平面曲线.以上即为有关曲率、挠率的计算和证明,充分说明了研究空间曲线的曲率、挠率对空间曲线的研究有重要意义.结语:空间曲线的曲率、挠率和Frenet公式是空间曲线基本理论的重要部分.其中Frenet公式是微分几何空间曲线论的基本公式,是研究空间曲线论的基础,在经典微分几何中占有重要地位,可以由它导出曲线的诸多重要性质和定理.参考文献:[1] 梅向明,黄敬之.微分几何(第四版)[M]. 北京:高等教育出版社,2008.精品文档精品文档。
空间曲线的曲率、挠率和Frenet 公式前言空间曲线的曲率、挠率和Frenet 公式是空间曲线基本理论的一部分,它是以空间曲线的密切平面和基本三棱形的知识作为基础的.空间曲线的曲率、挠率和Frenet 公式在空间曲线的基本理论中占有重要位置,是空间曲线的一些基本性质和基本公式.曲线的曲率和挠率完全决定了曲线的形状.当曲线的曲率和挠率之间满足多种不同的关系时,就会得到不同类型的曲线.例如:0k >时为直线,0τ=时为平面曲线.本文将从定义、公式推导和具体举例三方面逐步解析空间曲线的曲率、挠率和Frenet 公式.本文第一部分讲述曲率和挠率的定义,第二部分讲述Frenet 公式和曲率、挠率的一般参数表示的推导,第三部分具体举例有关曲率、挠率的计算和证明.1. 空间曲线的曲率和挠率的定义1.1准备知识—空间曲线的伏雷内标架给出2c 类空间曲线()c 和()c 上一点p .设曲线()c 的自然参数表示是(),r r s =其中s 是自然参数,得drdsr ==α 是一单位向量.α 称为曲线()c 上p 点的单位切向量.由于1=α,则⊥αα,即r r ⊥.在α上取单位向量==αr βαr, (1)β称为曲线()c 上p 点的主法向量.再作单位向量=⨯γαβ,γ称为曲线()c 上p 点的副法向量.我们把两两正交的单位向量,,αβγ称为曲线上p 点的伏雷内(Frenet)标架. 1.2 空间曲线的曲率我们首先研究空间曲线的曲率的概念.在不同的曲线或者同一条曲线的不同 点处,曲线弯曲的程度可能不同.例如半径较大的圆弯曲程度较小,而半径较小的圆弯曲程度较大.为了准确的刻画曲线的弯曲程度,我们引进曲率的概念.要从直观的基础上引出曲率的确切定义,我们首先注意到,曲线弯曲的程度越大,则从点到点变动时,其切向量的方向改变的越快.所以作为曲线在已知一曲线段PQ 的平均弯曲程度可取为曲线在P 、Q 间切向量关于弧长的平均旋转角.设空间中3c 类曲线()c 的方程为().r r s =曲线()c 上一点p ,其自然参数为s ,另一邻近点1p ,其自然参数为s s +∆.在p 、1p 两点各作曲线()c 的单位切向量()s α和()s s +∆α.两个切向量的夹角是ϕ∆,也就是把点1p 的切向量()s s +∆α平移到点p 后,两个向量()s α和()s s +∆α的夹角为ϕ∆.我们把空间曲线在p处的切向量对弧长的旋转速度来定义曲线在点p的曲率.定义[]1空间曲线()c 在p 点的曲率为()lims k s sϕ∆→∆=∆, 其中s ∆为p 点及其邻近点1p 间的弧长,ϕ∆为曲线在点p 和1p 的切向量的夹角. 再利用命题“一个单位变向量()t r (即()1t =r )的微商的模,()r t 的几何意义是()t r 对于t 的旋转速度”.把这个结果应用到曲线()c 的切向量α上去,则有()k s =α.由于r =α,所以曲率也可表示为()k s r =.由上述空间曲线的曲率的定义可以看出,它的几何意义是曲线的切向量对于弧长的旋转速度.当曲线在一点的弯曲程度越大,切向量对于弧长的旋转速度就越大,因此曲率刻画了曲线的弯曲程度.对于空间曲线,曲线不仅弯曲而且还要扭转(离开密切平面),所以研究空间曲线只有曲率的概念是不够的,还要有刻画曲线扭转的程度的量—挠率. 1.3 空间曲线的挠率当曲线扭转时,副法向量(或密切平面)位置随着改变(如图一),所以我 们用副法向量(或密切平面)的转动速度来刻画曲线的扭转程度(在一点离开密切平面的程度).现在设曲线()c 上一点p 的自然参数为s ,另一邻近点1p 的参数为s s +∆,在p 、1p 两点各作曲线()c 的副法向量()s γ和()s s +∆γ.此两个副法向量的夹角是ϕ∆(如图一).()s s γ+∆(图一)再利用命题“一个单位变向量()t r (即()1t =r )的微商的模,()r t 的几何意义是()t r 对于t 的旋转速度” .把这个结果应用到曲线()c 的副法向量向量γ上去, 得到lims sϕ∆→∆=∆γ, 此式的几何意义是它的数值为曲线的副法向量(或密切平面)对于弧长的旋转速度.当曲线在一点的扭曲程度越大(离开所讨论点的密切平面的程度越大),副法向量(或密切平面)对于弧长的旋转速度就越大.因此,我们可以用它来刻画曲线的扭转程度.根据(1)和曲率的定义,我们有()k s ===r ααβrα, 即()k s =αβ. (2) 对=⨯γαβ求微商,有()()k s =⨯=⨯+⨯=⨯+⨯=⨯αβαβαβββαβαβγ,因而⊥αγ.又因为γ是单位向量,所以⊥γγ.由以上两个关系可以推出//γβ. (3) 现在我们给出挠率的定义如下: 定义[]1曲线()c 在p 点的挠率为:().s τ⎧+⎪⎪=⎨⎪-⎪⎩γγβγγβ,当和异向,,当和同向 挠率的绝对值是曲线的副法向量(或密切平面)对于弧长的旋转速度. 介绍了曲率、挠率的定义之后,为了更好的应用曲率和挠率,下面我们来看Frenet 公式和曲率、挠率的一般参数表示式的推导过程.2. Frenet 公式和曲率、挠率的一般参数表示式的推导2.1 Frenet 公式的推导 根据(3)及挠率的定义有τ=-γβ(s) (4) 另外,对=⨯βγα求微商,并利用(4)和(2),可以推导出()()()()()s k s k s s ττ=⨯=⨯+⨯=-⨯+⨯=-+βγαγαγαβαγβαγ(5)公式(2),(5),(4)称为空间曲线的伏雷内(Frenet )公式,即()()()()k s k s s s ττ⎧=⎪⎪=-+⎨⎪=-⎪⎩αββαγγβ, 这组公式是空间曲线的基本公式.它的特点是基本向量α、β、γ关于弧长s 的微商可以用α、β、γ的线性组合来表示.它的系数组成反称的方阵()0()0()0()0k s k s s s ττ⎛⎫ ⎪- ⎪ ⎪-⎝⎭2.2 曲率的一般参数表示式的推导 若给出3c 类的空间曲线()c().r r s =,则有,dr ds dsr r ds dt dt==,22,222,,222ds d s d r ds d s ds d s r r r r r r dt dt ds dt dt dt dt ⎛⎫⎛⎫⎛⎫=+=+=+ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭,所以232,,,2ds ds d s ds r r r r r r r dt dt dt dt ⎡⎤⎛⎫⎛⎫⨯=⨯+=⨯⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦,由上式得3,,,sin ds r r r r dt θ⎛⎫⨯= ⎪⎝⎭.注意上式中,1,,dsr r r r dt=⊥=, 因而有3,,,,r r k r ⨯=.由此得到曲率的一般参数表示式,,,3,r r k r⨯=.2.3挠率的一般参数表示式的推导 再由伏雷内公式的(4)式τ=-γβ(s),两边点乘β得r τ=-βββ,因而()()26,2,,,1111111,,,,kk k k k k k k r r r τ⎛⎫=-==⨯ ⎪⎝⎭⎛⎫⎛⎫⎛⎫=⨯+ ⎪⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎛⎫⎛⎫=⨯+ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎛⎫⎪⎝⎭=⎛⎫ ⎪⎝⎭=⨯γβγβαβαααααγγγγγγγγγγ再把,ds r rdt= 22,,2ds d s r r r dt dt ⎛⎫=+ ⎪⎝⎭323,,,233ds ds d s d s r dt dt dt dt ⎛⎫=++ ⎪⎝⎭γγγ 代入(),,,,,,r r r ⨯⨯中得()66,,,,,,,,,,,ds r r r r dt ⎛⎫⎛⎫⎛⎫⨯⨯==⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭γγγγγγ, 所以得到()(),,,,,,2,,,r r r r r τ⨯⨯=⨯. 这是一般参数表示的挠率计算公式.另外说一下密切圆,曲率中心,曲率半径的定义.空间曲线()c 在一点的密切圆(曲率圆)是过曲线()c 上一点()P s 的主法线的正侧取线段PC ,使PC 的长为1k ,以C 为圆心,以1k为半径在密切平面上确定一个圆,这个圆称为曲线()c 在()P s 点的密切圆(曲率圆),曲率圆的中心称为曲率中心,曲率圆的半径称为曲率半径(如图二).(图二)3. 有关曲率、挠率的计算和证明例 1[]1求圆柱螺线{}cos ,sin ,a a b θθθ=r ()θ-∞<<+∞的曲率和挠率.解 由圆柱螺线方程{}cos ,sin ,a a b θθθ=r ,先计算{},sin ,cos ,a a b θθ=-r ,{},,cos ,sin ,0a a θθ=--r ,{},,,sin ,cos ,0a a θθ=-r ,于是有,=r{},,,2sin cos sin ,cos ,,cos sin 0a ab ab ab a a a θθθθθθ⨯=-=---123e e e r r ,,,⨯=r r代入曲率和挠率的公式得,,,322,,ak a b ⨯===+r r r β()(),,,,,,2222422,,,,,.,ba ba b aa b τ===++r r r r r 由以上可以看出,圆柱螺线的曲率和挠率都是常数.例 2[]1 证明曲率恒等于零的曲线是直线. 证明 已知0,k =≡r 因而,=r 0由此得到 =r a (常向量). 再积分即得 ,s =+r a b 其中b 也是常向量.这是一条直线的参数方程.例 3[]1证明挠率恒等于零的曲线是平面曲线.证明 若0,τ≡则γ是固定向量,但是我们已知0,=αγ因而有0,=r γ积分后得a =r γ(常数),所以曲线在一个平面上,即曲线是平面曲线.以上即为有关曲率、挠率的计算和证明,充分说明了研究空间曲线的曲率、挠率对空间曲线的研究有重要意义.结语:空间曲线的曲率、挠率和Frenet 公式是空间曲线基本理论的重要部分.其中Frenet 公式是微分几何空间曲线论的基本公式,是研究空间曲线论的基础,在经典微分几何中占有重要地位,可以由它导出曲线的诸多重要性质和定理.参考文献:[1] 梅向明,黄敬之.微分几何(第四版)[M]. 北京:高等教育出版社,2008.。