查看一般空间微分几何学的源代码
←
一般空间微分几何学
跳转至:
导航
、
搜索
因为以下原因,你没有权限编辑本页:
你刚才请求的操作只对属于该用户组的用户开放:
用户
您可以查看并复制此页面的源代码:
'''一般空间微分几何学'''([[英语]]:differential geometries of generalized spaces),在19世纪中,已经出现了[[黎曼几何]]。它是以定义空间两邻点间的距离平方的二次微分形式为基础而建立起来的。20世纪以来,因受到[[广义相对论]]的影响,黎曼几何发展很快,从此产生了以更一般的曲线长度积分为基础的芬斯勒空间,以超曲面的面积积分为基础的嘉当空间,以二阶微分方程组为基础的道路空间和K展空间等等,而这些通称'''一般空间'''。 '''芬斯勒空间''' 设M是参考于一系坐标x<sup>i</sup>(i=1,2,…,n)的n维集合,并且它的曲线xx<sup>i</sup>=xx<sup>i</sup>(t)的“弧长”是按照积分 ::[[文件:一般空间微分几何学1.gif|一般空间微分几何学1.gif]] 定义起来的(其中, ::[[文件:一般空间微分几何学2.gif|一般空间微分几何学2.gif]] ρ>0)。这时,称M为芬斯勒空间。特别是,当 ::[[文件:一般空间微分几何学3.gif|一般空间微分几何学3.gif]] 时,得到[[黎曼空间]]。[[P.芬斯勒]](1918)在其学位论文中曾经把黎曼空间的一些结果拓广到这个空间来,但是它的微分几何到[[É.嘉当]](1934)才逐渐趋于完整。例如,这个空间仿射联络的确定,曲率论的建立等研究,都是以后才发展起来的。仅仅要指出,芬斯勒空间的测地线(即上列积分的极值曲线)的微分方程具有如下的形式: ::[[文件:一般空间微分几何学4.gif|一般空间微分几何学4.gif]] 式中 ::[[文件:一般空间微分几何学5.gif|一般空间微分几何学5.gif]] 是由 F( x, ẋ)确定的某种函数组。 近年来,无限维的芬斯勒流形在非线性分析中有重要作用。 '''嘉当空间''' 在n维空间里,以(n-1)维超曲面领域的表面积概念为基础而构成的几何,称n维嘉当空间几何。设(x)=(x<sup>1</sup>,x<sup>2</sup>,…,x<sup>n</sup>)表示空间一点的坐标,(u)=(u<sub>1</sub>,u<sub>2</sub>,…,u<sub>n</sub>)表示该点切空间的(n-1)维子空间的齐次坐标,(x,u)称为点(x)的超平面素。以B表示超平面素所成的一个区域,采用一个在B是正则的而且取正值的函数L(x,u),这里L关于ui是正齐一次的,L(x,ρu)=ρL(x,u),(ρ>0),并约定,在超平面素(x,u)的(n-1)维表面积元素为 ::[[文件:一般空间微分几何学6.gif|一般空间微分几何学6.gif]] 为了改写dO,设 ::[[文件:一般空间微分几何学7.gif|一般空间微分几何学7.gif]] 是光滑超曲面 F的正则参数表示。从( n-1)× n矩阵 ::[[文件:一般空间微分几何学8.gif|一般空间微分几何学8.gif]] 删去第 k行,而且用(-1)<sup>k+1</sup>p<sub>k</sub>表示这样得出的( n-1)阶行列式。那么,从上列的约定便导出一个在有向超曲面 F的区域上的( n-1)重积分 ::[[文件:一般空间微分几何学9.gif|一般空间微分几何学9.gif]] 它表示了这个区域的“( n-1)维表面积”。 从基本函数L(x,u)作 ::[[文件:一般空间微分几何学10.gif|一般空间微分几何学10.gif]] 且令 α=det| α<sup>i k</sup>|,嘉当的测度张量可表成 ::[[文件:一般空间微分几何学11.gif|一般空间微分几何学11.gif]] 这样,这种空间微分几何便有了发展的基础,特别重要的是研究面积积分的第一和第二变分,以及极值离差理论,即能保持极值超曲面的无穷小变形的方程。 '''K展空间''' 设在N维空间S<sub>N</sub>里给定了一组K维流形,使得组中有一个且仅有一个流形通过一般位置下的任何K+1个邻近点,或者和任何一个已知的K维元素(按照一点和其衔接的K维平坦流形组成的元素)相切。这些K维流形简称K展,具有这种结构的N维空间S<sub>N</sub>称K展空间。特别是,当K=1时,S<sub>N</sub>就是道路空间。 设(x<sup>i</sup>;i=1,2,…,N)是S<sub>N</sub>的一点的坐标,那么每个K展可表成 ::[[文件:一般空间微分几何学12.gif|一般空间微分几何学12.gif]] 或简写为 ::[[文件:一般空间微分几何学13.gif|一般空间微分几何学13.gif]] ,式中各函数是变数 u和参数 α的解析函数(或充分光滑的函数)。从定义易知 ::[[文件:一般空间微分几何学14.gif|一般空间微分几何学14.gif]] 如果由 K展的表达式消去参数α,便获得仿射K展空间的偏微分方程组 ::[[文件:一般空间微分几何学15.gif|一般空间微分几何学15.gif]] 式中函数 ::[[文件:一般空间微分几何学16.gif|一般空间微分几何学16.gif]] 是 p的齐二次函数。 根据[[J.道格拉斯]]导进一个仿射联络到仿射K展空间S<sub>N</sub>: ::[[文件:一般空间微分几何学17.gif|一般空间微分几何学17.gif]] 从而把上列偏 微分方程组改写成 ::[[文件:一般空间微分几何学18.gif|一般空间微分几何学18.gif]] 。从这个仿射联络 ::[[文件:一般空间微分几何学19.gif|一般空间微分几何学19.gif]] 不但可以导出仿射曲率张量 ::[[文件:一般空间微分几何学20.gif|一般空间微分几何学20.gif]] ,还可作出射影联络以及有关的偏微分方程组的可积分条件,还可证明;嘉当的“平面公理”的成立与空间为射影平坦是等价的。 ===参见=== *[[数学]] *[[数学基本条目]] *[[几何学]] *[[微积分]] [[Category:数学]] [[Category:数学史]] [[Category:几何学]] [[Category:微积分]] [[Category:中文词典]] [[Category:Y音词语]] [[Category:一]]
返回
一般空间微分几何学
。
导航菜单
个人工具
创建账户
登录
名字空间
页面
讨论
变种
查看
阅读
查看源代码
查看历史
操作
搜索
导航
首页
最近更改
随机页面
工具箱
链入页面
相关更改
特殊页面
页面信息
扫描二维码可以用手机浏览词条