§22 曲面的第一基本形式

合集下载

曲面的第一基本形式

曲面的第一基本形式

第三章 曲面的第一基本形式本章将接触到曲面论的最基本概念.类比于曲线;但内容更加丰富,特别要注意两者的差异.首先要明确曲面的局部表示和相关的基本概念;其次要明确度量几何的基本要素——弧长元素.在学习的过程中,应该注意对概念的深入理解.§1 参数化曲面一.E 3 中参数化曲面的定义r : U →E 3(u , v )→ r (u , v ) = (x (u , v ), y (u , v ), z (u , v )) .C k 阶参数化曲面,简称参数曲面;参数,或称曲线坐标或曲纹坐标,简称坐标.点. u 坐标曲线,简称u 线; v 坐标曲线,简称 v 线;坐标曲线.坐标曲线网或参数网.自然切向分别表示为∂r ∂u = r u ,∂r ∂v= r v . 连续曲面,光滑曲面.参数化通常在曲面局部有意义,在整体不一定能做到.以后不声明时在局部总考虑 C 3 类参数曲面,并简称之为曲面.二.正则曲面定义1 奇(异)点;正则点.正则曲面,正则参数. 正则点的几何意义是当参数在该点处作微小变动时动点的轨迹构成二维实体;正则点附近总存在小邻域,使得参数值与其位置向量之间保持一一对应.例5 按定义直接计算可知例1和例2中的参数曲面都是正则的.对于例3中的参数曲面,有r u = (- v sin u , v cos u , 0) ,图3-1r v = (cos u , sin u , 1) ,r u ⨯r v = (v cos u , v sin u , - v ) = v (cos u , sin u , -1) ;r u ⨯r v 当且仅当参数 v = 0 时为零向量,故参数值 (u , 0) 对应于全部非正则点——锥顶.对于例4中的旋转面,当 f (v ) = 0 时,对应点不是正则的.例6 单位圆柱面具有存在奇点的下列参数化:r (t , z ) = (cos t 2 , sin t 2 , z ) . 一般地,存在奇点的参数曲面在奇点附近的性质需要单独加以讨论,并且往往比较复杂;而对于连续可微参数曲面,正则点附近总存在较小邻域使正则性得到满足.因此将曲面论的局部基本理论建立在正则曲面之上,是具有一般性的.三.正则曲面的切平面和法线已知正则曲面 S : r = r (u , v ) .考虑过点 r (u 0, v 0) , r (u 0+∆u , v 0) 和 r (u 0,v 0+∆v ) 的平面 ∏ 当 (∆u , ∆v )→(0, 0) 时的极限位置,亦即切平面的位置.正则性保证了平面 ∏ 的极限位置平面 ∏0的法向向量确定为r u (u 0, v 0)⨯r v (u 0, v 0) .曲面上的曲线在该点处的切向量总落在平面 ∏0 上面;任给坐标曲线自然切向量的线性组合,曲面上总存在曲线以之为点 r (u 0, v 0) 处的切向.定义2 切平面;法线,法向;单位法向特指为单位向量(1.2) n (u 0, v 0) = r u (u 0, v 0)⨯r v (u 0, v 0) |r u (u 0, v 0)⨯r v (u 0, v 0)|; 正定向,简称正向;负定向,简称负向.正则曲面是有正定向的曲面.在切点 P : r (u 0, v 0) 处的切平面通常记为 T P ,它按坐标曲线自然切向量的线性组合可以理解为二维向量空间(1.3) T P = {a r u (u 0, v 0) + b r v (u 0, v 0) | (a , b )∈R 2 } ≅ E 2 ,其中的向量称为曲面的切向量,两个切向量 a 和 b 的内积 (a , b ) 规定为 E 3 的诱导内积,即(1.4) (a , b ) = a ∙b , ∀ a , b ∈T P .图3-5此时,切平面同时具有向量空间结构和度量结构.切平面的基向量组{r u, r v} 通常称为自然基,而标架场{r;r u, r v, n} 通常称为自然标架场.用经典微积分的观点来看,切平面上的微元(1.5)d r(u, v) =r u(u, v)d u+r v(u, v)d v是位置向量增量 [r(u + d u , v + d v) -r(u, v)] 的线性主部,称为切向微元;按(1.3) 式所表示的同构,其按自然基分解的系数(d u, d v) 亦可视为切平面中的微元,其方向由比例d u:d v确定.例8已知半径为a > 0 的圆柱面的经纬参数方程为r(t, z) = (a cos t , a sin t , a z) .试求其过点 (a, 0, a) 的任意切向以及分别由比例 1:2 和 1:0 确定的切向.例9已知正则曲面由隐式方程F(x, y, z) = 0 确定,其中梯度向量∇F = (F x, F y, F z) ≠0.证明该曲面上点 (x, y, z) 处的法向确定为∇F(x, y, z) .四.参数变换定义3给定正则曲面S: r= r(u, v) ,若参数变换{u=u(u*, v*)v=v(u*, v*)满足①是连续可微的一一对应;②Jacobi行列式∂(u, v)∂(u*, v*)=∂u∂u*∂v∂u*∂u∂v*∂v∂v*处处非零,u*图3-6则称之为容许参数变换;当 ∂(u , v ) ∂(u *, v *) > 0 时称之为保向的,当 ∂(u , v ) ∂(u *, v *)< 0 时称之为反向的.注记 容许参数变换只有保向或反向两种.在容许参数变换 {u = u (u *, v *)v = v (u *, v *)下,有 (1.6) ⎝⎛⎭⎫ r u * r v * = ⎝ ⎛⎭⎪⎫∂u ∂u * ∂v ∂u *∂u ∂v * ∂v ∂v * ⎝⎛⎭⎫ r ur v, (1.7) r u *⨯r v * = ∂(u , v ) ∂(u *, v *)r u ⨯r v . 由此可知,在容许参数变换下,正则性和可微性保持不变,切平面不变;单位法向在保向容许参数变换下不变,在反向容许参数变换下变号.五.参数曲面的等价类似曲线的论断:① 一个曲面点集实体允许存在多种参数化方式,有参数变换.② 曲面实体的几何属性不依赖于其参数化的方式,也不依赖于空间直角坐标系的选取.③ 两个合同的曲面实体相当于同一曲面实体的不同位置表现形式. ④ 若两张正则曲面之间仅仅相差一个容许的参数变换,则它们表示同一个几何实体,称这两张正则曲面是相同的.相同的正则曲面实际上是指正则曲面的一种等价类,其在同一实点上的切平面、法线等等几何实体分别是重合的.⑤ 定向相同的;定向相反的.⑥ 定向相同的曲面的单位法向以及有向切平面,对于每个对应点都是唯一确定的.⑦ 曲面的整体概念和整体性质是复杂的,将留待于第八章中进行较为深入的讨论.约定:在以后讨论曲面局部性质的各章中,不声明时总考虑正则曲面和容许参数变换,并分别简称为曲面和参数变换.§2 直纹面与可展曲面直纹面可以由一族直线“织成”,即:过曲面上每一点都存在过该点的直线落在该曲面上.一.直纹面及其上的参数变换直纹面的直纹或(直)母线;准线.直纹的位置和直纹上的点的相对位置,给出直纹面 S 的下列自然参数化(2.1) S : r = r (u , v ) = a (u ) + v l (u ) ,其中准线为连续可微参数曲线(2.2) C : r * = a (u ) ,过准线上点 a (u ) 处的直纹方向确定为向量l (u ) ,且 l (u ) 连续可微.此时,(2.5) r u ⨯r v = [a '(u ) + v l '(u )]⨯l (u ) = a '(u )⨯l (u ) + v l '(u )⨯l (u ) .由此可确定正则条件.例1 直纹面可按 (2.1) 式准线与直纹方向的关系归为不同的子类. ① 柱面:各直纹平行.正则性条件即为准线不与直纹相切,单位法向沿着直纹是常向量,切平面沿着直纹重合.② 锥面:各直纹相交于锥顶点.准线可以“收缩”为锥顶.不妨设已经规范为a (u ) ≡ a 0 ,则正则性条件化为(2.7) r u ⨯r v = v l '(u )⨯l (u ) ≠ 0 .故锥顶是奇点;并且,当直纹单位方向向量在单位球面上为正则曲线时,也只有锥顶是奇点.其切平面沿着直纹也重合.③ 切线面:直母线族是某条准线的切线族,即直母线族有包络线可作为准线.不妨设已经规范为a '(u ) = l (u ) ≠ 0 ,且此时不妨设准线以 u 为弧长参数,则正则性条件化为(2.8) r u ⨯r v = v T '(u )⨯T (u ) ≠ 0 .图3-7① ② ③图3-8此时的准线称为切线面的脊线,其上点点为奇点.当脊线无逗留点时,切线面上除脊线外的各点都是正则点.其切平面沿着直纹也重合.④ 主法线面:直母线族是某条准线的主法线族.⑤ 从法线面:直母线族是某条准线的从法线族.例2 正螺旋面或正螺面;其准线可取为旋转轴.正螺面相应单位法向垂直于z 轴;旋转轴上各点处的切平面公交于旋转轴.例3 Möbius 带实体无所谓“正”的定向.直纹面按照准线和直母线族的自然参数化,具有明显的几何直观.准线的转换以及直纹方向向量长度的转换,在自然参数化下,就等价于适当的参数变换;这是一种具有几何意义的参数变换.设直纹面 S 的自然参数化由 (2.1)-(2.2) 式给出.作直母线方向向量的“伸缩”变换和准线变换分别为(2.9) l *(u ) = λ(u ) l (u ) , λ(u ) ≠ 0 ,(2.10) a *(u ) = a (u ) + μ(u ) l (u ) ,其中变换系数函数 λ(u ) 和 μ(u ) 都是连续可微的.令(2.12) {u * = uv * = [v - μ(u ) ] λ(u ) , 则得到容许参数变换,与原有方程的对应关系为(2.14) r = r (u , v ) = a (u ) + v l (u ) = r *(u *, v *) = a *(u *) + v * l *(u *) . 由此可以进一步考察准线和直母线是否允许有特殊关系.引理1 已知直纹面的自然参数化由 (2.1)-(2.2) 式给出,则存在新的参数化,使其准线与直母线处处正交,并且直纹方向向量为单位向量.二.可展曲面及其局部形状分类柱面、锥面、切线面的切平面分别沿着直纹重合;而从正螺面的图形观察到,沿着所给定的直纹移动时,切平面将发生扭转.图3-9 图3-11定义1若直纹面的切平面沿着每一条直纹都分别重合,则称该直纹面为可展曲面,或称该直纹面可展.例4柱面、锥面、切线面都可展.单叶双曲面和双曲抛物面都不可展——这从图形上可以观察到;也可以在任何直纹上展开计算,而由定义得到验证.定理1(直纹面可展的解析条件)设直纹面 S: r=r(u, v) =a(u) +v l(u) 正则.S可展的充要条件为a' , l , l'共面,即(2.15) (a' , l , l' ) ≡ 0 .对指定直纹族的直纹面而言,该解析条件不依赖于准线以及直纹方向向量长度的选取.要考虑可展曲面的其它特征;除了本节将继续讨论的以外,可展曲面的“内在特征”将在后续章节中出现.注记直纹面的直纹族并不一定是唯一的,比如单叶双曲面、双曲抛物面都有两族直纹,而平面的直纹族更加随意指定.以后可以证明,两族坐标曲线都是直线的正则曲面若可展,则只能是平面(或其局部).在“较好”的准线a(u) 和直纹方向向量l(u) 之下,解析条件可以进一步化简.特别当直纹方向向量规范为单位向量场时,即|l(u)|2≡ 1 时,有l'(u)∙l(u) ≡ 0 ;进而分两种情形:①当l'(u)⨯l(u) =0时,自然总有等价条件(a'(u) , l(u) , l'(u) ) = 0 ⇔l'(u) =0;②当l'(u)⨯l(u) ≠0时,l'(u) ≠0,便有等价条件(a'(u) , l(u) , l'(u) ) = 0 ⇔∃λ(u), μ(u) 使a'=λl'+μl;从此出发,利用准线变换,对可展曲面的局部形状可构造性地进行分类.参数变换的目标是确定如例1所给出的规范参数方程.在下面定理的证明中,可注意体会几何直观对证法的启发,以及如何明确地加以表述.定理2(可展曲面局部形状分类)可展曲面必是柱面、锥面和切线面之一或由它们沿直母线所适当拼接而成.证明由引理1和定理1,设可展曲面 S: r=r(u, v) =a(u) +v l(u) 满足|l(u)|2≡ 1 ;则由简化的解析条件,可完全分类为以下三种情形:①l'≡0,则l(u) = const. ≠0;此时S为柱面.②l'≠0,∃λ, μ使a'=λl'+μl;此时要证S为锥面或切线面.(注意:锥面存在新准线C*: a*(u) 使a* = const. ,而切线面存在新准线C*:a*(u) 使关于弧长的导数d a*d s C*=l,它们的共同特征是a*'(u)∥l.)作待定的新准线C*: a*(u) =a(u) +b(u) l(u) 使a*'(u)⨯l(u) ≡0,其中待定函数b(u)连续可微,则a*'=a'+b'l+b l'= (λ+b) l'+ (μ+b') l;故取b=-λ即可满足要求.此时,a*'= (μ-λ') l.由此,当a*'≡0即λ'≡μ时,a* = const. ,则S为锥面;当a*'≠0即λ'≠μ时,l=a*'μ-λ'=d a*d s C*,则S为切线面.③其他;由以上两种情形的讨论过程可知,l'以及 (μ-λ') 的例外零点对应于曲面上相应的直母线.综合各种情形,得证.三.单参数曲面族的包络观察例5管状面.定义2单参数曲面族Sλ的包络面S*,简称包络.例6可展曲面是其本身切平面族的包络,切平面族的单参数就取为某条正则准线的参数.在求解包络时的先验假定,反验.定理3给定连续可微单参数λ正则曲面族Sλ: r(u, v; λ) .如果判别式(2.21) (r u , r v , rλ ) = 0能够决定连续可微的两个函数u(λ, t) 和v(λ, t),那么,该曲面族的包络若存在则只能确定为判别曲面r(u(λ, t), v(λ, t); λ);而若判别式无解函数u(λ, t) 和v(λ, t) ,则该单参数曲面族没有包络.注记:①判别式所确定的函数同时明确了对应点的位置.②判别式如果是平凡的,则判别曲面r(u(λ, t), v(λ, t); λ) 有可能蜕化为非正则的;此时需要反验是否符合包络条件.③如果判别曲面r(u(λ, t), v(λ, t); λ) 是正则的,则其为包络面;此时在某些具体条件下,两个函数u(λ, t) 和v(λ, t) 允许存在反函数,此即为包络面上的特殊参数变换.④对包络面r(u(λ, t), v(λ, t); λ) ,当选定参数λ=λ0时,其上曲线r(u(λ0, t), v(λ0, t); λ0) 是与族中曲面S的公切点构成的曲线,称之为包络面λ0的特征线.例7已知具有包络S* 的连续可微单参数λ曲面族Sλ: r(u, v; λ) = (x(u, v; λ),y(u, v;λ) ,z(u, v;λ))是由隐式方程F(x, y,z; λ) =0 给出的,其中梯度向量∇F=(F x ,F y, F z) ≠0.试证S* 的隐式方程为(2.22) {F(x, y, z; λ) = 0 ,Fλ(x, y, z; λ) = 0 .单参数曲面族由隐式方程给出时,其包络的判别曲面由特征线族方程(2.22) 式给出.有时,隐式方程对于表示曲面整体非常有效,比如球面、双叶双曲面等等;此时,由 (2.22) 式讨论包络是较为方便的.例8求单参数λ球面族x2+y2+ (z-λ)2= 1 的包络.定理4给定连续可微单参数t平面族T t: n(t)∙r-p(t) = 0 ,|n|≡ 1 ,n'(t) ≠0.如果 {T t} 的包络面S存在,则S可展.§3曲面的第一基本形式在指定的曲面上,测量曲线的长度并确定弧长元素、面积元素等等几何量,是曲面几何学基本的问题之一.勾股定理确定了三维 Euclid 空间的基本度量规则,作为该空间的几何子体,曲线和曲面上的度量规则由空间的度量规则而“诱导”确定;子体和原有 Euclid 空间的几何属性将在这种方式之下自然地联系在一起,构成空间几何属性的整体.本节将讨论曲面在这种方式之下的基本结果;而关于其他方式之下的讨论,将在第六章中和第八章中逐步引出和深入进行.本节总记正则曲面S的参数方程为r=r(u, v) , (u, v)∈U⊂R2.一.曲面上的弧长元素首先考虑曲面S上的曲线段的长度和弧长元素.设 C : r = r (u (t ), v (t )) , t ∈[a , b ]是 S 的正则曲线上的一个弧段.通常也用平面区域 U 上的参数方程 {u = u (t )v = v (t ), t ∈[a , b ] 表示曲线 C ;但要注意区分该表示式的双重含义:既表示平面区域 U上的一条参数曲线 C -1 ,同时也表示在曲面 S 上的对应曲线 C .为了区别不同的所在场合,当表示曲线 C时往往强调“在曲面 S 上”.记曲面上的量(3.1) E = E (u , v ) = r u ∙r u = |r u |2 , F = F (u , v ) = r u ∙r v , G = G (u , v ) = r v ∙r v = |r v |2 ,则对曲线 C 有d s 2 = d r ∙d r = [E (u , v ) d u 2 + 2F (u , v ) d u d v + G (u , v ) d v 2 ]| u =u (t ), v =v (t ) = [E ⎝⎛⎭⎫ d u d t 2 + 2F ⎝⎛⎭⎫ d u d t d v d t + G ⎝⎛⎭⎫ d v d t 2 ]d t 2 , d s = | d r d t| d t = E ⎝⎛⎭⎫ d u d t 2 + 2F ⎝⎛⎭⎫ d u d t d v d t + G ⎝⎛⎭⎫ d v d t 2 | u =u (t ), v =v (t ) d t , 则有s (b ) - s (a ) = ⎰b ad s d t d t = ⎰b a | d r d t | d t = ⎰b a E ⎝⎛⎭⎫ d u d t 2 + 2F ⎝⎛⎭⎫ d u d t d v d t + G ⎝⎛⎭⎫ d v d t 2| u =u (t ), v =v (t ) d t . 可见,使用平面区域 U 上的参数方程以及曲面的相应量,就可以得到曲面上的曲线的弧长元素和弧段长度;至于曲面及其上的曲线的位置向量如何,在上述算式中并不直接影响结果.曲面上的量对其上曲线的影响程度,将在进行进一步抽象之后,得到更明确的了解.对此应注意体会.二.第一基本形式定义1 对正则曲面 S : r = r (u , v ) , (u , v )∈U ⊂R 2 ,称二次微分式(3.2) Ⅰ = d s 2 = E (u , v ) d u 2 + 2F (u , v ) d u d v + G (u , v ) d v 2为曲面 S 的第一基本形式,或称线素,其中系数由 (3.1) 式给出.图3-13注记: 第一基本形式系数也称为第一基本量.第一基本形式是由 E 3 的欧氏度量在曲面上所诱导出来的一种Riemann 度量.曲面第一基本形式d s 2 = d r ∙d r 的几何意义可用逼近的观点解释为:切向微元 d r 是位置差向量 [r (u +d u , v +d v ) - r (u , v )] 的线性主部,而弧长元素 d s = |d r | 是相应两点之间的距离微元的主部.第一基本形式在容许参数变换下不变,且在刚体运动下不变.第一基本形式的计算较为简单;但这是关于曲面的最基本和最重要的计算.下例展示了基本运算途径;同时,所得到的结论也是基本的.例1 已知平面 ∏: r (u , v ) = r 0 + u a + v b ,其中三个常向量 r 0, a , b 满足规范条件 |a | = |b | = 1 , a ∙b = 0 .观察其第一基本形式的三种系数行为.① 平面 ∏ 的第一基本形式为d s 2 = d r ∙d r = (a d u + b d v )∙(a d u + b d v ) = d u 2 + d v 2 .② 若在平面 ∏ 上采用极坐标系 (ρ, θ) ,即 {u = ρ cos θ v = ρ sin θ,则 r ρ = a cos θ + b sin θ ,r θ = (- a ρsin θ + b ρcos θ ) ;E (ρ, θ) = r ρ∙r ρ = (a cos θ + b sin θ)∙(a cos θ + b sin θ) = 1 ,F (ρ, θ) = r ρ∙r θ = (a cos θ + b sin θ)∙(- a ρsin θ + b ρcos θ) = 0 ,G (ρ, θ) = r θ∙r θ = (- a ρsin θ + b ρcos θ)∙(- a ρsin θ + b ρcos θ) = ρ2 ;此时,平面 ∏ 的第一基本形式(在极点无意义)为d s 2 = E (ρ, θ) d ρ2 + 2F (ρ, θ) d ρd θ + G (ρ, θ) d θ 2 = d ρ2 + ρ2 d θ 2 .③ 在平面 ∏ 上取任意一条无逗留点弧长 w 参数化曲线 C : ξ(w ) ,则其切线面r (w , t ) = ξ(w ) + t T (w ) 可表示一部分平面区域,其中 T 为 C 的单位切向.局部可得r w = T + t κ N ,r t = T ;E (w , t ) = r w ∙r w = (T + t κ N )∙(T + t κ N ) = 1 + t 2κ 2 ,F (w , t ) = r w ∙r t = (T + t κ N )∙ T = 1 ,G (w , t ) = r t ∙r t = T ∙ T = 1 ;此时,在平面 ∏ 上相应区域内,第一基本形式为d s 2 = E (w , t ) d w 2 + 2F (w , t ) d w d t + G (w , t ) d t 2= [1 + t 2κ 2(w )]d w 2 + 2d w d t + d t 2 .第一基本形式系数在容许参数变换下必须满足一定的变换规律.改写(3.3) Ⅰ = d s 2 = (d u , d v ) ⎝⎛⎭⎫E F F G ⎝⎛⎭⎫d u d v ;(3.4) d r = (d u , d v )⎝⎛⎭⎫r u r v ,(3.5) d r ∙d r = (d u , d v )⎝⎛⎭⎫r u r v ⎝⎛⎭⎫r u r v T ⎝⎛⎭⎫d u d v ,(3.6) ⎝⎛⎭⎫E F F G = ⎝⎛⎭⎫r u r v ⎝⎛⎭⎫r u r v T = ⎝⎛⎭⎫r u r v ∙ (r u , r v ) ,其中各式之中的位置向量视为行向量,分块矩阵之间用“∙”表示数量积.定义2 对正则曲面 S : r = r (u , v ) ,称二次型 (3.2) 或 (3.3) 的系数矩阵,即 (3.6) 式左端,为曲面 S 的第一基本形式系数矩阵;其行列式(3.7) E F F G= EG - F 2 = |r u |2|r v |2 - (r u ∙r v )2 = |r u ⨯r v |2 > 0 , 称为曲面 S 的第一基本形式系数行列式.性质 ① 正则曲面 S 的第一基本形式 (3.2) 是正定的二次型,即:d s 2 ≥ 0 ,且等号当且仅当 d u = d v = 0 时成立;② 正则曲面 S 的第一基本形式系数矩阵是正定的.在容许参数变换 {u = u (u *, v *)v = v (u *, v *)下记Jacobi 矩阵和Jacobi 行列式分别为 (3.8) J = ⎝ ⎛⎭⎪⎫∂u ∂u * ∂v ∂u *∂u ∂v * ∂v ∂v * ,∂(u , v ) ∂(u *, v *) = |J | ; 记参数 (u *, v *) 下曲面 S 的第一基本形式为d s 2 = E *(u *, v *) d u *2 + 2F *(u *, v *) d u *d v * + G *(u *, v *) d v *2.则由 (1.6) 式和 (1.7) 式分别代入 (3.6) 式和 (3.7) 式可得(3.9) ⎝⎛⎭⎫E * F *F * G * = ⎝⎛⎭⎫ r u * r v * ⎝⎛⎭⎫ r u * r v *T = J ⎝⎛⎭⎫ r u r v ⎝⎛⎭⎫ r u r v T J T = J ⎝⎛⎭⎫E F F G J T , (3.10) E *G * - F *2 = |J |2(EG - F 2) .这是两个具有理论意义的等式.第一个等式说明,第一基本形式系数矩阵服从所谓“张量”的变换规律,从而成为张量概念的直观背景之一.第二个等式将在下一段用来支持面积元素的概念,等价地写为(3.11) E *G * - F *2 = ||J || EG - F 2 . 例2 以平面弧长参数曲线为准线作柱面 S ,考察其第一基本形式;并证明其第一基本形式在某正则参数 (u , v ) 下可以表示为 d s 2 = d u 2 + d v 2 .三.交角与面积元素确定交角和面积等几何量.交角,有向交角.在自然标架下,有关曲面以及其上曲线的交角问题和面积问题,都可以利用自然基向量的数量积或向量积进行计算,从而转化为如何用第一基本形式表述或求解的问题.一般化的算法,体现在下面的较为具体的抽象计算过程中;而计算结果的意义,需要特别注意体会.1.曲面上的曲线的交角假设曲面 S 的第一基本形式以 (3.2) 式确定;设点 (u , v ) 处的两个切向微元在自然基 {r u , r v } 下分别为 d u :d v 和 δu :δv ,确定其间夹角余弦(3.12)式——曲面上的曲线的交角,由曲面的第一基本形式以及曲线在交点处的切方向完全确定;而曲线的切方向只由参数区域上的原像即可确定.参数区域上的曲线原像之间的交角取决于区域本身,而与曲面上的交角没有必然的联系.可参考图3-13观察这个事实.定理1 对正则曲面而言,两族坐标曲线处处正交的充要条件为其第一基本形式系数矩阵处处是对角阵.定义2 正交参数,正交参数网或正交网.定理1确定了曲面正交参数网的第一基本形式特征.例3 对正则曲面 S : r = r (u , v ) ,求两族坐标曲线的二等分角轨线 C 的微分方程.2.曲面的面积元素和区域面积曲面的面积元素可以表示为(3.13) d σ = |r u ⨯r v | d u d v= EG - F 2 d u d v .任一有界区域 r (U 0) 的面积 A (U 0)可以表示为(3.14) A (U 0) = ⎰⎰ U 0 d σ = ⎰⎰ U 0 |r u ⨯r v | d u d v = ⎰⎰ U 0EG - F 2 d u d v . 在参数变换下面积元素对应相同,面积也对应相同.v )图3-14定理2正则曲面的面积元素和区域面积由第一基本形式可完全确定.§4局部等距对应曲面间的正则对应.“贴广告”的体验:保持弧长以及由弧长所完全确定的几何量都不变.一.局部等距对应定义1局部等距对应;局部等距.等距对应;等距.等距与局部等距的区别.目前通常只考虑曲面间的局部等距对应,并简称为等距对应.定理1(局部等距对应充要条件)两张曲面局部等距的充要条件是按对应关系具有相同的第一基本形式.等距的曲面之间能够作为容许参数变换的对应关系,并不一定具有明显的解析表达式;同时,第一基本形式按对应关系相同,并不意味着它们的参数已经对应相同,即它们的第一基本形式系数并不总是相等,而只是在对应关系下以变换规律 (3.9) 式相联系.一般而言,寻求等距曲面之间的等距对应关系可以归结为求解由 (3.9) 式所给定的偏微分方程组,但其求解过程往往是困难重重和具有技巧的.从定理1看,通过计算第一基本形式即可验证对应关系是否为等距对应.而对于较为直观和简单的等距对应,通过分析几何直观及其所提供的启示,也可以找到相应的对应关系.例1悬链面与正螺面之间的局部等距对应悬链面与正螺面.悬链面去掉一条母线而“剪开”后,与正螺面的“一个螺纹”之间的等距对应.定理2可展曲面总存在与平面的局部等距对应.分析这个定理的结论和证明过程,可见可展曲面局部存在到平面之间的连续变形,使得变形过程中的每一张中间曲面都是可展的,并且在对应关系下直纹总变到直纹,同时每一张也都是互相等距对应的.这就是平整的“纸张”能够“不撕破”“不褶皱”地“贴合”在可展曲面上的原因.这个定理的逆定理也是成立的,其证明在后续两章给出.形象地说,可展曲面名副其实地“可展”成平面.一般而言,讨论曲面在保持等距意义下的连续形变,是较为复杂的.二.曲面的内蕴几何学概念定义2内蕴量,内蕴性质(内在性质);内蕴几何体.内蕴几何学.内蕴几何学的核心是讨论第一基本形式的不变量以及相关的几何属性.例如,球面与平面之间不存在局部等距对应,从而具有不同的内蕴几何学;而这个事实的证明,将在第五章利用所谓的Gauss绝妙定理给出.从内蕴几何角度来看,可展曲面的代表就是平面;有理由认为它的“内在弯曲”状况是“平坦”的,尽管有许多可展曲面的“外在弯曲”状况是“弯曲”的.而球面既是“外在弯曲”的,也是“内在弯曲”的.内蕴量和内蕴性质,还可以提示和帮助确定等距对应关系.§5局部正交参数网与等温参数适当坐标系的选取是非常重要的.简化计算.另一种作用是,根据场合选取具有特定几何意义的坐标系,有时会成为揭示和解决问题的关键.本节将给出一个基础性结论,它经常用于建立所需要的局部坐标系,包括确定一些具有特定几何意义的参数曲线网的局部存在性.一.一般结论与正交网定理1设二阶连续可微正则曲面S: r=r(u, v) , (u, v)∈D上已给出两个处处线性无关的连续可微切向量场a(u, v) , b(u, v) ,则对任何点 (u0, v0)∈D满足r u*∥a , r v*存在其邻域D0⊂D,使在D0内存在参数变换{u* =u*(u, v)v* =v*(u, v)∥b,即切向量场a(u, v) , b(u, v) 的积分曲线族分别为u*, v* 曲线族.定理2在二阶连续可微正则曲面上的任一点邻近总可取到正交网.证明对曲面S: r=r(u, v) , (u, v)∈D,取a(u, v) =r u(u, v) ,b(u, v) =r v(u, v) -FEr u(u, v) ,则a, b是两个处处线性无关的连续可微切向量场,并且处处正交.由定理1,可分别取切向量场a, b的积分曲线族为局部的两族坐标曲线,则此两族坐标曲线构成正交网.□注记①曲面正交网的存在性是局部性质;至于大范围内是否存在正交网,往往受到曲面整体性质的约束.②曲面上的处处正交的单位切向量场总是存在的;但是,定理并没有保证它们可以成为自然切向量场,而只是保证它们可以处处平行于某个自然切向量场.二.等温参数定义1曲面的等温参数.在等温参数下,内蕴量的计算较为简单.同时,从(3.12) 式可见,曲面上的曲线的交角,总等于其在等温参数区域中的原像(当视为欧氏平面上的曲线时)的交角.曲面与欧氏平面在等温参数下的这种对应关系,是一类共形对应,或称为保角对应或等角对应.例1Mercator地图.等温参数的存在性是较难证明的.定理3在二阶连续可微正则曲面上的任一点邻近,总可取到等温参数网.推论二阶连续可微正则曲面局部共形对应于平面;二阶连续可微正则曲面之间总可局部共形对应.。

微分几何课件

微分几何课件

3、向量函数 r (t )的微商 r (t )仍为 t 的一个向量函数,如果函数 r (t ) 也是连续和可微的,则 r (t )的微商r (t ) 称为 r (t )的二阶微商。
( n) 类似可定义三阶、四阶微商。如r (t ), r (t ).
4、在区间 [t1,t2]上有直到 k 阶连续微商的函数称为这区间上的 k次
微分几何
第一节
向量函数
向量函数的概念:给出一点集 G ,如果对于G 中的每一个 点 x ,有一 个确定的向量 r 和它对应,则说在 G上给定了一个向 量函数,记作 r r ( x), x G, 例如 设G是实数轴上一区间 [t0 , t ] ,则得一元向量函数 r r (t ). 设G是一平面域, (u, v) G,则得二元向量函数 r r (u, v). ( x, y, z ) G,得三元向量函数 r r ( x, y, z) 设G是空间一区域, 1、1 向量函数的极限
例书中的开圆和圆柱螺线。
z
3、曲线的参数方程
坐标式
M
x x(t ) y y (t ) z z (t )
at b
x
o
y
向量式 r (t ) x(t )e1 y(t )e2 z(t )e3
例1、 开圆弧
x a cos t y a sin t
t (0, 2 )
1、5 向量函数的积分
c b (1)当a<c<b时有 a r (t )dt a r (t )dt c r (t )dt b b (2)m 是常数时有 mr (t )dt m r (t )dt
a
b
a (3)如果 m 是常向量,则有

微分几何曲面的第一基本形式课件

微分几何曲面的第一基本形式课件
03
整合第一基本形式,得到 $ds^2 = (u^2 + v^2)du^2 +
2uvdudv + (u^2 + v^2)dv^2$。
04
结果分析和讨论
01
通过计算结果,可以得出该曲面的第一基本形式,进
一步分析曲面的性质和特点。
02
可以使用该方法计算其他类型的曲面,并比较不同曲
面之间的差异和相似之处。
第一基本形式与度量张量的关系
第一基本形式与度量张量之间有 着紧密的联系,它们共同构成了
曲面的几何结构。
度量张量是曲面上各点处长度、 面积和体积等的度量标准,而第 一基本形式则提供了曲面上各点
处的曲率信息。
通过第一基本形式和度量张量的 结合,我们可以更好地理解和研
究曲面的形状和性质。
2023
PART 04
张量在物理学中的应用 张量在物理学中可以用来描述物体的运动状态和 相互作用,如力学、电磁学、相对论等领域。
2023
PART 03
第一基本形式的定义和性 质
REPORTING
第一基本形式的定 义
第一基本形式是曲面上的测地 曲率的一种表达形式,它与曲 面的第一基本张量有着密切的
关系。
在曲面上的任意一点,第一 基本形式可以定义为曲面的 第一基本张量与该点处切线
空间同胚的空间。
第一基本形式是微分几何中用于 描述曲面上的点与点之间的距离、
方向和曲率的一种方式。
研究目的和意 义
理解第一基本形式可以帮助我 们更好地理解曲面的几何性质 和特征。
通过研究第一基本形式,我们 可以研究曲面的形状、大小和 曲率等重要指标。
第一基本形式在微分几何中具 有重要的理论和应用价值。

微分几何答案(第二章)

微分几何答案(第二章)

第二章 曲面论§1曲面的概念1.求正螺面r ={ u v cos ,u v sin , bv }的坐标曲线.解 u-曲线为r ={u 0cos v ,u 0sin v ,bv 0 }={0,0,bv 0}+u {0cos v ,0sin v ,0},为曲线的直母线;v-曲线为r ={0u v cos ,0u v sin ,bv }为圆柱螺线.2.证明双曲抛物面r ={a (u+v ), b (u-v ),2uv }的坐标曲线就是它的直母线。

证 u-曲线为r ={ a (u+0v ), b (u-0v ),2u 0v }={ a 0v , b 0v ,0}+ u{a,b,20v }表示过点{ a 0v , b 0v ,0}以{a,b,20v }为方向向量的直线;v-曲线为r ={a (0u +v ), b (0u -v ),20u v }={a 0u , b 0u ,0}+v{a,-b,20u }表示过点(a 0u , b 0u ,0)以{a,-b,20u }为方向向量的直线。

3.求球面r =}sin ,sin cos ,sin cos {ϑϕϑϕϑa a a 上任意点的切平面和法线方程。

解 ϑr =}cos ,sin sin ,cos sin {ϑϕϑϕϑa a a -- ,ϕr=}0,cos cos ,sin cos {ϕϑϕϑa a -任意点的切平面方程为00cos cos sin cos cos sin sin cos sin sin sin cos cos cos =------ϕϑϕϑϑϕϑϕϑϑϕϑϕϑa a a a a a z a y a x即 xcos ϑcos ϕ + ycos ϑsin ϕ + zsin ϑ - a = 0 ;法线方程为ϑϑϕϑϕϑϕϑϕϑsin sin sin cos sin cos cos cos cos cos a z a y a x -=-=- 。

§22 曲面的第一基本形式

§22 曲面的第一基本形式

u2 + a2 − 1 . u2 + a2 + 1 70
把曲线 u + v = 0 与 u − v = 0 交点的曲线坐标 u = 0, v = 0 代入上式得二曲线的交角余弦 为 cos θ = u2 + a2 − 1 u2 + a2 + 1 = a2 − 1 . a2 + 1
u=0 v =0
3. 求曲面(域)的面积 现在我们来推导曲面 S : r = r (u, v ), (u, v ) ∈ D(平面区域) 上给定区域 D 的面积. (以下 我们只是给出直观推导, 详细的证明参见 C. Goffman 著《多元微积分》) 完整 ① 用 u -线和 v -线划分曲面域 D 成 曲边四边形. 不完整 完整四边形的面积越接近于平行四边形的面积 ② 划分加细, 不完整四边形面积越来越小, 在D 中所占比重愈小 ③ 任取一个完整的曲边四边形 P P1 P2 P3 (如图), 设四个顶点 P 、P1 、P2 、P3 对应的 径矢分别为 r (u, v ), 由 Taylor 公式, 得 − − → P P1 = r (u + ∆u, v ) − r (u, v ) = [r u (u, v ) + − − → P P2 = r (u, v + ∆v ) − r (u, v ) = [r v (u, v ) + 其中 lim
首先我们得到第一基本形式系数之间的如下关系: ¯ = ru E ¯ · ru ¯ = ru ∂u ∂v + rv ∂u ¯ ∂u ¯ · ru ∂u ∂v + rv ∂u ¯ ∂u ¯
=E ¯ = ru F ¯ · rv ¯ =E ¯ = rv G ¯ · rv ¯ =E

曲面第一第二基本形式

曲面第一第二基本形式

曲面第一第二基本形式曲面的第一第二基本形式是曲面微分几何中的重要概念,用于描述曲面的局部性质。

曲面的第一基本形式是一个二次型,描述了曲面上的长度和角度的变化;而第二基本形式是一个线性映射,描述了曲面上的曲率信息。

对于一个曲面上的点,可以通过两个正交曲线来描述它的局部性质。

这两条曲线称为曲面上的曲线坐标线,在该点处与坐标轴相切。

通过这两条曲线,可以定义曲线的长度、角度和曲率等重要几何量。

曲面的第一基本形式是一个二次型,可以表示为:[ds^2 = E du^2 + 2F du dv + G dv^2]其中,(E)、(F) 和 (G) 是曲面上的度量系数。

它们描述了曲线坐标线上的长度和夹角变化。

具体而言,(E) 表示曲线坐标线在 (u) 方向上的长度的平方,(G) 表示曲线坐标线在 (v) 方向上的长度的平方,而 (F) 则表示曲线坐标线在 (u) 和 (v) 方向上的长度乘积。

曲面的第二基本形式是一个线性映射,可以表示为:[dN = L du^2 + 2M du dv + N dv^2]其中,(L)、(M) 和 (N) 是曲面上的切向量与法向量之间的内积。

它们描述了曲面上的曲率信息。

具体而言,(L) 表示曲面的法向量在 (u) 方向上的变化率,(N) 表示曲面的法向量在 (v) 方向上的变化率,而 (M) 则表示曲面的法向量在 (u) 和 (v) 方向上的变化率乘积。

通过第一第二基本形式,我们可以计算曲面上的各种几何量,如曲率、高斯曲率和平均曲率等。

这些几何量对于曲面的形状和性质具有重要的意义,并在计算机图形学、物理学和工程学等领域中得到广泛应用。

总之,曲面的第一第二基本形式是描述曲面局部性质的重要工具,它们提供了曲面上的长度、角度和曲率等几何信息。

通过研究这些信息,我们可以深入理解曲面的形状和性质,并应用于各种实际问题的解决中。

曲面的第一基本形式

曲面的第一基本形式
ru cos ru rv rv
F EG
u-曲 线 : dv 0, v-曲 线 : u 0 .
推论3 曲纹坐标网是正交网的充分必要条件是F=0.
co s E d u u F ( d u v d v u ) G d v v Edu 2 Fdudv G dv
1 a 1 a
2
2
.
微分几何 第15讲 15
作业: P
81
3,5,6

谢!
微分几何 第15讲 16
2 2 2 2
sinh udv
2
2
的曲面上,
ds
dv sinh vdv cosh vdv ,
2 2
1 (sin h t ) (co sh t )
在曲线u = v上,由 v1到 v 2 的弧长为

v2 v1
co sh vd v = | sin h v 2 sin h v1 | .
2
dr r (r udu r vdv )( u r v ) r u v
= Edu u F ( du v dv u ) Gdv v
cos
E du u F ( du v dv u ) G dv v
§2.2 曲面的第一基本形式
1
主要内容
1. 曲面的第一基本形式
t1 t0
曲面上曲线的弧长
2 2 2 2 Ⅰ=d r d s E du 2 F dudv G dv
s (t )

r ( t ) d t =
t
t0
t1t1
0
EE d u ) 2 F d u d v G d v ) d t ( G( dt dt dt dt

微分几何 §2 曲面的第一基本形式

微分几何 §2   曲面的第一基本形式

E ru ru , F ru rv ,G rv rv ,
则有 ds2 Edu2 2Fdudv Gdv2.
设曲线(C) 上两点 A(t0 ),B(t1) ,则弧长为
s t1 ds dt t1 E( du )2 2F du dv G( dv )2 dt.
t0 dt
t0Байду номын сангаас
dt
dt dt dt
(*)是关于微分 du,dv 的一个二次形式,称
为曲面 S 的第一基本形式,用 表示:
I Edu2 2Fdudv Gdv2.
它的系数
E ru ru , F ru rv ,G rv rv ,
称为曲面 S 的第一类基本量。
对于曲面的特殊参数表示 z z(x, y) ,有
有表达式
cos ru rv E
ru rv
EG
注:曲面的坐标网正交的充要条件是F=0 。
例3 证明旋转面
r {(t) cos,(t)sin, (t)}
的坐标网是正交的。
解:
r t
{(t),cos,(t),sin,(t),}
r {(t)sin,(t)cos,0}
r {x, y, z(x, y)},

z
rx {1, 0, p}, p x ,
由(2.19)有
ry
{0,1, q}, q

z . y
E rx rx 1 p2, F rx ry pq,G ry ry 1 q2,
曲面的第一基本形式为
(1+p2)dx2 2 pqdxdy (1 q2 )dy2.
.
Edu2 2Fdudv Gdv2 Eu2 2Fu v G v2
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
§2.2 曲面的第一基本形式
2.2.1 第一基本形式 我们来考察曲面上邻近两点之间的距离. 设 P, Q 是曲面 S : r = r (u, v ) 上的两个邻近 点, 对应的径矢分别为 r (u, v ), r (u + ∆u, v + ∆v ), 应用 Taylor 展开式, 有 − − → P Q = r u ∆u + r v ∆v + o(|∆u| + |∆v |), − − → 故 P Q 长度的平方为 − − → 2 2 2 2 |P Q|2 = r 2 u ∆u + 2r u · r v ∆u∆v + r v ∆v + o(|∆u| + |∆v | ), 当 P 与 Q 无限接近时, 按通常的理解, 有 du = ∆u, )就是
2 2 I = r2 u du + 2r u · r v dudv + r v dv ,
− − → dv = ∆v , 故 |P Q|2 的主要部分(记为 I
令 E = r2 u, 则 I = Edu2 + 2F dudv + Gdv 2 . 称为曲面的第一基本形式, 它是曲面上点和方向的函数, 在给定点处它是方向的函数. E, F, G 称为曲面的第一类基本量, 在给定点处都是常数.容易验证 EG − F 2 > 0, 所以第一基本形式是 du, dv 的正定二次形式, 且 E > 0, G > 0 . 【例 1】 求柱面 r (u, v ) = ρ(u) + v b 的第一基本形式. 【解】 由参数方程计算得 r u = ρ (u),
2 Edu2 1 + F du1 dv1 + Gdv1 2 Edu2 2 + F du2 dv2 + Gdv2
条件是 Eduδu + F (duδv + dvδu) + Gdvδv = 0 .
.
由 ds2 = du2 + (u2 + a2 )dv 2 可知 E = 1, 代入上式得 cos θ = F = 0, G = u2 + a2 .
容易求出它的第一基本形式为 I= 4a4 (du2 + dv 2 ) (u2 + v 2 + a2 )2 4 2 2 = 2 (du + dv ). 1 2 2 1 + a2 (u + v )
【例 4】 旋转曲面 r (u, v ) = {f (v ) cos u, f (v ) sin u, g (v )} 的第一基本形式为 I = [f (v )]2 du2 + ([f (v )]2 + [g (v )]2 ) dv 2 . 2.2.2 第一 基本形 式的性 质 定理 2.1 曲面的第一基本形式是参数变换的不变量. u = u(¯ u, v ¯) 证明 设 是曲面 S : r = r (u, v ) 的任一容许的参数变换, 并记在参数 v = v (¯ u, v ¯) (u, v ) 和 (¯ u, v ¯) 下的第一基本形式分别为 I = Edu2 + 2F dudv + Gdv 2 , ¯ = Ed ¯ u ¯ du ¯ v I ¯ 2 + 2F ¯ dv ¯ + Gd ¯2 , 66
P0
v = v (t); v = v ∗ (t∗ ),
du∗ dv ∗ + r v dt∗ dt∗
,
P0
因此, C 与 C ∗ 在其交点 P0 (u0 , v0 ) 处夹角 φ 的余弦为 cos φ =
dv dv du r u du dt + r v dt · r u dt∗ + r v dt∗ dv r u du dt + r v dt dv r u du dt∗ + r v dt∗
设 E ∗ , F ∗ , G∗ 是曲面 S ∗ 的第一基本形式系数, 由于 T 是正交矩阵, 所以
∗ E ∗ = r∗ u · r u = (r u · T ) · (r u · T ) = r u · r u = E,
同理 F ∗ = F, G∗ = G , 这时 S 与 S ∗ 的第一基本形式相同. 2.2.3 第一 基本形 式的应 用 1. 求曲面上曲线的弧长 设 C : r (t) = r (u(t), v (t)), t ∈ [a, b] 是曲面 S : r = r (u, v ) 上一条曲线, 按照曲线论中 弧长的计算公式, 则有
首先我们得到第一基本形式系数之间的如下关系: ¯ = ru E ¯ · ru ¯ = ru ∂u ∂v + rv ∂u ¯ ∂u ¯ · ru ∂u ∂v + rv ∂u ¯ ∂u ¯
=E ¯ = ru F ¯ · rv ¯ =E ¯ = rv G ¯ · rv ¯ =E
∂u ∂u ¯ ∂v ∂u ¯ ∂u ∂v ¯ ∂v ∂v ¯
2 E = r2 u = |ρ (u)| ,
F = ru · rv ,
G = r2 v,
r v = b, 且
2 G = r2 v =b ,
F = r u · r v = ρ (u) · b,
所以, 正螺面的第一基本形式为 I = |ρ (u)|2 du2 + 2ρ (u) · b dudv + b2 dv 2 . 65
2
.
我们用 J =
表示参数变换的Jacobi矩阵, 则上述关系式可以写成如下矩阵的形式 ¯ F ¯ E E F = Jt J, ¯ G ¯ F G F
又因为
du =
∂u du ¯+ ∂u ¯ ∂v dv = du ¯+ ∂u ¯
∂u dv ¯, ∂v ¯ ∂v dv ¯, ∂v ¯
即 [du, dv ] = [du ¯ , dv ¯]J t , 于是我们有 ¯ F ¯ E ¯ = [d u I ¯ , dv ¯] ¯ G ¯ F = [d u ¯ , dv ¯]J t E F F G du ¯ dv ¯ J du dv du ¯ dv ¯
b
s=
a b
|r (t)|dt E
a b√ a
= =du dt来自2+ 2F
du dv dt dt
+G
dv dt
2
dt
I
【例 5】 求 xy 平面上, 曲线 x = x(t), y = y (t) 的弧长. 【解】 熟知 xy 平面的第一基本形式 I = dx2 + dy 2 , 因此
t2
s=
t1

t2
∂u 2 ∂u ∂v ∂v 2 + 2F +G ; ∂u ¯ ∂u ¯ ∂v ¯ ∂u ¯ ∂u ∂u ∂u ∂v ∂v ∂u +F + +G ∂u ¯ ∂v ¯ ∂u ¯ ∂v ¯ ∂u ¯ ∂v ¯ ∂u ∂v ¯
2
∂v ∂v ; ∂u ¯ ∂v ¯
+ 2F
∂u ∂v ∂v ¯ ∂v ¯
+G
∂v ∂v ¯
【例 2】 求 xy 平面的第一基本形式. 【解】 可设 xy 平面的参数表示为 r (x, y ) = {x, y, 0}, 则第一基本形式为 I = dx2 + dy 2 . 【例 3】 求球面 x2 + y 2 + z 2 = a2 的第一基本型. 【解】 在球坐标参数下, 球面有表示 r (θ, φ) = {a cos θ cos φ, a cos θ sin φ, a sin θ}; 容易求出它的第一基本形式为 I = a2 (dθ2 + cos2 θdφ2 ). 在球极投影参数下, 球面有表示 r (u, v ) = 2a2 v a(u2 + v 2 − a2 ) 2a2 u , , u2 + v 2 + a2 u2 + v 2 + a2 u2 + v 2 + a2
= [du, dv ] = I. 【注 1】
E F F G
¯ F ¯, G ¯ 一般将 当曲面选取容许参数 (¯ u, v ¯) 时, 所得到的第一基本形式系数 E,
67
与参数 (u, v ) 下的第一基本形式系数 E, F, G 不同, 但从定理2.1的证明可以看出 ¯G ¯−F ¯ 2 = ∂ (u, v ) E ∂ (¯ u, v ¯) 定理 2.2 证明
I=
t1
dx dt
2
+
dy dt
2
t2
dt =
t1
x 2 + y 2 dt.
这与曲线论(或微积分)中平面曲线的弧长公式一致. 68
【例 6】 试计算单位球面 r (θ, φ) = {cos θ sin φ, sin θ sin φ, cos φ} 上, 曲线 θ = log cot(π/4 − t/2) , 0 ≤ t ≤ π/2, φ = π/2 − t 的弧长(该曲线从赤道出发, 围绕北极点呈“龙卷风”形状). 【解】 直接计算得到球面的第一基本形式为 I = sin2 φdθ2 + dφ2 , 而且 1 dθ = , dt sin(π/2 − t) dφ = −1, dt
因此, 所求曲线的弧长为
π/2
s=
0
E
π/2 √ 0
dθ dt
2
+ 2F
dθ dφ dt dt
+G
dφ dt
2
dt
=
√ 2 dt = π/ 2.
2. 求曲面上两条曲线之间的夹角 曲面上两条曲线之间的夹角即两曲线在交点处切向量之间的夹角. 设 C 与 C ∗ 是曲面 S : r = r (u, v ) 上两条交于 P0 (u0 , v0 ) 点的曲线, 并设其参数方程分别为 u = u(t), u = u∗ (t∗ ), 它们在 P0 (u0 , v0 ) 点处的切向量为 ru ru dv du + rv dt dt ,
相关文档
最新文档