下载文档原格式
第四章 曲面论基本定理§4.1 自然标架的运动公式1、设有参数变换),('2'1u u u u aa=，命''a a a a u u a ∂∂=，假定0)det('>aa a ，证明：ββαααββαββαααββααααα'''''''',b b g g ====2、证明：在上题的参数变换下，(g αβ)的逆矩阵(g αβ)的变换规律是ββααβααβαα''''g g =3、如果用βα′′Γ′y 记关于(βα′′g )的Christoffel 记号，证明：在习题1的参数变换下有变换规律γγβγαγγββαααβγβαγααααα′′′′′′′∂∂+Γ=Γu， 其中(ααα′)是(ααa ′)的逆矩阵，即αααααuu ∂∂=′′。
4、验证：曲面的平均曲率H 可以表示成αβαβg b H 21=， 并且H 在习题1的参数变换下是不变的。
5、证明下列恒等式： (1)αγβξαγβξξαβγξug g g ∂∂−=Γ+Γ。
(2)αβξγξαγξβξγαγβαβΓ−Γ=∂∂−∂∂g g u g u g 。
(3)2122211)(,121g g g g ung−=∂∂=Γ其中ααββ§4.2 曲面的唯一性定理1、推导函数)(),(),(u f u f u f ααβ所满足的方程组(4)。
2、已知函数)(),(),(u f u f u f ααβ满足方程组(4)。
命22)(f f f g f f g g u F ++≡γααγγδαββδαγ证明：0)(=∂∂ξuu F§4.3 曲面论基本方程1、证明：若(u ，v )是曲面上的参数系，使得参数曲线网是正交的曲率线网，则主曲率k 1，k 2满足下列方程：1212121(),21().2vuE k k k v EG k k k u G∂ =− ∂∂ =− ∂2、证明：平均曲率为常数的曲面或是平面，或是球面，或是它的第一基本形式和第二基本形式可以表示成I ＝λ[(d u )2＋(d v )2],II ＝(1+λH )(d u )2－(1－λH )(d v )24、设S 是E 3中的一块曲面，它的主曲率是两个不相等的常值函数。
微分几何科普(1):浅谈度规和曲率Shanqin（萍踪浪迹）前言：从现在开始，写一些大学理科生可以轻松看得懂的科普帖子,作出的牺牲就是让其他更高学历的人看起来很平庸.从现在开始,要把看起来要写比较长的文章分开写，不在一个帖子里搞连载。
这样主要是为了避免没有时间续写自己的主题而让自己的帖子变成TJ帖（啥叫TJ呢？就是和DJ有一定联系的……）。
正文：初步的微分几何,必须掌握基本的曲线论,必须适应以弧长为参数的方程.Frenet公式是曲线论基本公式, Frenet标架是活动标架在曲线时的特殊情形.两条曲率和挠率都一样的曲线可以通过刚体运动重合在一起,这是曲线论基本定理.曲线的内蕴曲率为零。
所以所有曲线都可以拉直而不改变其上任意两点间弧长.我们知道,曲面论中这一点通常不能成立,除非此曲面可以等距映射为平面,我们称这种可以和平面进行等距映射的曲面为平坦曲面,如柱面.因此,我们必须深入研究曲面的曲率问题,首先要熟悉曲线坐标,在切平面上讨论问题,这个是整个微分几何的基础.因为即使到高维情形,我们仍要讨论切空间及其上的Levi-Civita联络.在切平面上任意点引入切矢量基(du,dv),切向量在这个基下的分量则为r_u,r_v,定义切向量内积系数:E=< r_u. r_u>=g_11,F=< r_u. r_v>=< r_v. r_u>=g_12,G=< r_v. r_v>=g_22,这三个量就是极其重要的度量(度规)系数.曲面的第一基本形式于是可以写成:Ⅰ=<dr.dr>=Edudu+2Fdudv+Gdvdv=g_ijdu_idu_j最后一式我们将du,dv写成du_1,du_2,i,j取值为1,2,这里采用了Einstein求和约定:重复指标自动求和.这样的符号约定和求和约定可以让我们轻松将2维情形推广到n维流形的n维切空间,其上切向量内积系数(度量系数)就是g_ij(i,j=1,2,…,n),若n等于4,就是广义相对论中的度规张量情形.我们开始讨论曲面的第二基本形式.引入曲面上任意点的法向量n,定义两点间法向量的变化: dn=n_udu+n_vdv.其中n_u,n_v为dn在基(du,dv)下的展开系数.则我们可以定义内积:L=-< r_u. n_u>=h_11M=-< r_u. n_v>=< r_v. n_u>h_12N=-< r_v. n_v>=h_22L,M,N(h_11, h_12, h_22)称为第二形式基本量,于是第二基本形式可以写成:Ⅱ= -<dr.dn>= Ldudu+2Mdudv+Ndvdv= h_ijdu_idu_j.最后一个等式采用的符号和求和约定同上.第一基本形式决定了曲面的内蕴结构,以后我们会发现,联络系数(Christoffel符号)由度规张量和度规张量的一次导数决定,而曲面的Gauss曲率(广而言之,流形的Riemann截面曲率)由联络系数及其一阶导数决定.什么是Gauss曲率和Riemann截面曲率?我们可以从曲面的法曲率出发,定义主曲率.我们想象拿着一把刀,贴着曲面上某点(u,v)的法线往下切,在曲面上切出一条曲线,这条曲线的曲率就是曲面在该点(u,v)沿(du,dv)方向的法曲率.如果想象我们切一个椭球面,在同一点贴着法线,沿不同方向切下去,切出的所有曲线(称为法截线,相应的这一刀所在的平面称为法截面)的曲率不一定一样.我们把这些曲线的曲率进行比较,最大和最小的法曲率称为主曲率,记为k_1, k_2.这两个法曲率对应的法截线必定垂直.定义Gauss曲率为k_1, k_2的乘积:K= k_1.k_2. 若K=0,则曲面必然平坦.定义平均曲率为k_1, k_2的算术平均: H=( k_1+_2)/2.若H=0,则该曲面就是极小曲面.Gauss绝妙定理指出, Gauss曲率K在曲面的等距变换下保持不变.即曲面的内蕴性质由第一基本形式决定决定,与它在外围空间中的形状无关.而曲面的第二基本形式则决定了曲面在外围空间中的形状.这些结论可以可以推广到高维空间中的超曲面(维数比外围空间低一的曲面称为超曲面).1854年Riemann推广了Gauss的想法,将抽象曲面研究推广到高维抽象弯曲空间(流形)进行研究.在高维情形,我们将面对切空间.与前面类似,我们定义度规系数g_ij(i,j=1,2,…,n),此时我们可以让其他方向都退化,留下两个方向,用曲面论观点看问题.这样就可以将Gauss曲率搬到这里,由于方向很多,我们将面对不止一个的Gauss曲率,我们将这些曲率称为Riemann截面曲率.显然,当弯曲空间为2维曲面时, Riemann 截面曲率就是Gauss曲率.Riemann截面曲率为常数的空间称为常曲率空间,如果这个常曲率空间是单连通的,我们就称为“空间形式”,最重要的三种空间形式分别是正曲率的球空间,零曲率的欧空间,负曲率的双曲空间.Riemann在世时,并未将这个想法进行详细发展,后世的Christoffel进行了很大的扩充,这个曲率由Christoffel符号的导数和乘积表示, 所以Riemann截面曲率也称为Riemann-Christoffel曲率.将Riemann截面曲率缩并(取迹,即让R_ijkl中的两个字母相同而求和),就得到了Ricci曲率R_ij,将Ricci 曲率缩并,就得到标量曲率(数量曲率,纯量曲率)R.这些概念在后来Einstein创立的引力论(GR)之中都成为核心概念.GR确定了时空曲率和物质分布的关系.其基本方程就是Einstein方程:R_ij-1/2 R g_ij+Λg_ij=8πT_ij其中R_ij为时空的Ricci曲率,R为时空的标量曲率, g_ij为时空的度规张量. Λ为宇宙学常数, T_ij为物质的物质的能-动张量.我们可以记G_ij=R_ij-1/2 R g_ij, G_ij就是通常所说的Einstein张量.因此我们研究四维时空时,只要知道它的度规张量(第一基本形式系数),就可以直接以这个四维时空为研究对象,而不用考虑将这个时空嵌入更高维数的空间进行研究.所以不管是Minkowski空间,de Sitter空间还是反de Sitter空间,都是写成度规后进行研究.但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维欧氏空间R^5里面的双曲面.而在广义相对论中我们以Lorentz流形作为基本研究框架(尽管我们可以赋予时空其他形式的度规结构,但是我们最经常使用的还是Lorentz度规.)我们通常要研究Lorentz流形中的类空超曲面M^3,为了研究其上的内蕴特征和外在特征在时间演化下的变化,就必须引入初始数据集(M^3,g_ij, h_ij),此处g_ij, h_ij 分别为M^3上的度规张量和第二基本形式量. g_ij和h_ij必须满足的相容性条件是著名的Gauss-Codazzi方程.因为Gauss-Codazzi方程是(超)曲面存在的充分必要条件.因此可见看似初等的微分几何曲面论中的一些概念在广义相对论的现代研究中实际上是非常重要的.但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维欧氏空间R^5里面的双曲面.===================================================昌海兄，请将上面这一段替换成下面这一段，然后删除此回帖：但是在很多时候,我们要研究时空中的超曲面. 即使是de Sitter空间和反de Sitter空间,我们也可以将它们分别嵌入五维伪欧氏空间（pseudo-Euclidean spaces）R^5里面的双曲面。
曲面论知识点总结曲面是三维空间中的一个特殊的几何概念，它在数学中有着重要的地位。
曲面理论研究曲面的性质、形状以及与其他几何概念之间的关系，广泛应用于物理学、计算机图形学、工程等领域。
本文将就曲面的定义、参数化、曲面的性质等知识点进行总结。
一、曲面的定义曲面是三维空间中的一种二维对象，可以用各种数学方法描述，常见的方法有参数方程和隐式方程。
常见的曲面包括球面、圆柱面、圆锥面等。
曲面的定义可以用数学语言描述为：在三维空间中，一般点(x, y, z)可以用参数形式描述为：P(u, v) = (x(u, v), y(u, v), z(u, v))，其中u和v分别表示曲面上的两个参数。
根据参数的不同取值，曲面上的点可以覆盖整个曲面。
二、曲面的参数化曲面的参数化是指用参数的方法来描述曲面上的点。
参数化的目的是将曲面上的点与参数空间中的点建立起一一对应的关系，以方便对曲面上的点进行计算和研究。
不同的曲面可以采取不同的参数化方法，一般来说，可以采用自然参数化、球坐标参数化等方法来描述曲面。
例如，球面可以用球坐标参数化描述为：P(u, v) = (r * sinu * cosv, r * sinu * sinv, r * cosu)，其中u和v分别表示极角和方位角，r表示球的半径。
通过参数化，我们可以方便地对球面上的点进行计算和研究。
三、曲面的性质曲面有许多重要的性质，包括曲率、法线、切平面等。
这些性质可以帮助我们更好地理解曲面的形状和结构，从而在实际问题中应用。
以下就曲面的性质进行详细介绍：1. 曲率：曲率是描述曲面弯曲程度的重要概念，可以分为高斯曲率、平均曲率等多种类型。
曲率的计算可以通过偏微分方程或直接计算曲面上某点的曲率向量而得到。
2. 法线：曲面上的每一点都有一个与曲面垂直的法线，它可以用来描述曲面的方向。
法线在计算机图形学中有着重要的应用，可以用来进行阴影计算、光照计算等。
3. 切平面：曲面上的每一点都有一个切平面，它与曲面在该点的切线垂直。
