活动标架和联合微分不变量.pdfVIP

1 引言 活动标架的概念起源于力学．例如在研究刚体运动时，在运动的物体上固定一个 正交标架．当物体作刚体运动时正交标架随着运动，得到一族依赖时间t的正交标 架．这族标架完全刻化了物体的刚体运动．法国数学家cottcn，Darboux把单参数标 car￡an([1，2”则将该活动标架发展 架族的概念推广到依赖多个参数的情形．而色lie 成一种有效的计算工具，用以研究子流形及其不变量在变换群作用下的几何性质． 到了二十世纪七十年代，几位学者(参考[3，4，5，6】)开始试图将活动标 J．01ver Fels和Peter 架理论从标架丛和联络中分离出来．最近，([7，8】)Mark 建立了活动标架理论的一种新方法，能够系统地应用于一般变换群．其主旨是将活 动标架定义为变换群的一个等变映射．所有经典的活动标架都可以用这种方法重新 解释，但是这种新方法的应用要更为广泛．cartan通过正规化的过程来构建活动标 架，而这种新方法通过选择群轨道截面来进行正规化，进而得到活动标架．基于这 些基本思想，我们可以系统地构建一般群作用的活动标架及其不变量体系．活动标 架理论的应用十分广泛，其中包括一些重要的结果．如微分不变量分类基本定理的 证明、微分不变量合系的一般分类定理以及子流形的对称性、等价性等一般定理． 这些结果在广泛领域内的崭新和重要的应用已经发展起来了．在[9，lo]中， 活动标架理论被应用于创建解决多项式基本对称性和等价性问题的新算法，而多项 式基本对称性和等价性问题则构成了经典不变量理论的基础．在[11】中，射影面 的微分不变量被作了分类，并被用于生成在孤子理论中出现的可积Poisson流．在 【12】中，Faugeras首先将活动标架用于计算机显示方面，用联合微分不变量来 替代标准的微分不变量符号羞，从而提高了抗噪音的能力． 在本文中，我们将应用活动标架方法来计算一些变换群的联合不变量以及联合 微分不变量．其中我们用到的特殊群是经典的欧几里得群和射影群，考虑其作用在 二维、三维以及四维欧氏空间中的曲线，我们将会利用该理论去求得一些变换群的 基本不变量和基本联合微分不变量． 在第二节中，我们将会引进变换群以及与之相关的一些重要概念．在第三节中， 我们介绍一下群作用的延拓、jet空间以及向量场的延拓．在第四、五、六节中，我 们详尽阐述活动标架、延拓、微分不变量以及递推公式等．在最后一节中，我们将 应用这些理论去计算欧几里得群、射影群等的联合不变量、联合微分不变量．在各 节中，我们提供了一些具体例子，便于理解概念、理论． 3 在本文的完成过程中，我的导师郑驻军副教授、吴可研究员等都给了我悉心的 关怀和帮助，他们渊博的知识、严谨的治学态度和敏捷的思维都深深地影响了我， 使我受益匪浅，也为我以后从事科研工作打下了良好的基础．在此，我向他们表示 我最诚挚的谢意! 我还要感谢培育我多年的数学系，她为我们提供了优秀的教师、良好的学习氛 围和优雅的学习环境．特别要感谢数学系领导对我的关心、帮助和支持，正是他们 的鞭策和鼓励使我不断地取得进步．在过去的几年里，数学系的许多老师都给了我 很大的帮助，我的每一份成绩里面都融入了他们的心血和汗水，在此，也向他们表 示衷心的感谢! 最后，再次向所有给予我帮助的老师和同学们表示真诚的谢意1 2变换群 在本文中，我们将用G表示一个r维的李群，M表示一个m维的流形． 定义2．I．设M是一个光滑的流形．一个作用于M的局部变换群是由下列元素 给出：一个李群G，一个开子集“，满足 c甜cG×M (e}×M 其中纠是局部群作用的定义域，一个光滑影射垂：“时M，满足下列性质 (a)若(，l，z)∈甜，(g，圣(^，z))∈“以及(g·^，。)∈“，贝4 西(9，西(h，z))=西(9·^，z) (b)对于所有z∈M，