《李群理论中切触变换的作用.docx》由会员分享，可在线阅读，更多相关《李群理论中切触变换的作用.docx（15页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、李群理论中切触变换的作用（自然科学史研究杂志）2014年第一期1李关于切触变换的研究1.1李研究切触变换的缘由遭到普吕克尔几何思想的影响，李接受了将直线看作空间基本元素的做法，并将线几何看作是对几何学，尤其是笛卡尔(.Descartes，15961650)创立的解析几何学局限性的哲学考虑。李在1872年的博士论文前言中写到:本世纪几何学的快速发展与笛卡尔几何性质的哲学观点有着严密联络，并严重依靠于此，也就是普吕克尔在早期的数学研究中所阐述的具有最一般形式的哲学观点。那些深入地理解了普吕克尔数学工作本质的人，对将任意的三参数曲线当作空间基本元素的想法，不会感到陌生。但据我所知，没有人将这种想法付
2、诸施行，原因有可能是人们很难看到这样做能带来的直接好处。在这方面我已经进行了广泛而一般的研究，进而发现通过一种比拟巧妙的变换方式，能够将通常的主切线理论转变成为相应的曲率理论。(18，156157页)深入地理解了普吕克尔的几何思想，李构造出和普吕克尔的线几何类似的球几何，即李球几何。在这种情况下，新构造的几何系统与原有几何系统的关系就至关重要。李试图去证实这些几何系统都是相容的，甚至在某种意义下是等价的。这就需要在射影意义(乃至更广泛的意义)下空间元素之间的“等价变换，其实就是广义的“对偶原理。于是，李开场研究各种空间元素之间的变换，如点和直线的变换彭赛莱(J-V.Poncelet，17881
3、867)等研究过的对偶变换、线球变换等，这方面的研究直接导致李创立了一般意义上的切触变换。另一方面，早在1872年李就将几何变换与微分方程严密地联络在一起。数学中经常用坐标变换来化简微分方程，用来证实一类微分方程等价于某一标准形式或典范形式。在此经过中，切触变换是主要的实现方法。在李群理论发展初期(18701880)，李的研究主要集中在切触变换和一阶偏微分方程。他在1874年创立了切触变换的不变量理论，逐步建立起了系统的变换群理论，并于1888年到1893年出版了三大卷两千余页的（变换群理论）。这三卷本（变换群理论）常被列为该领域主要原始文献和参考书目。但在这三卷巨著中，我们很难发现李创立李群
4、理论的主要动机，也无法领略到李的几何思想。对此李的好友、德国数学家克莱因(C.F.Klein，18491925)在1893年的演讲中有着精辟阐述，他讲:“要全面了解索福斯李的数学天赋，我们不能去看他和恩格尔新近共同出版的著作，而是要去看他在科学研究生涯初期发表的文章，那些显示出李是一个纯粹的几何学家。19其中“新近出版的著作指的便是李和恩格尔在1888年到1893年间出版的三大卷（变换群理论）。李也曾在Math.Ann.杂志发表文章讲:我在偏微分方程和切触变换方面的数学研究，可参见发表在本杂志第九卷的文章，这是我最好的文章之一。其次能够参考我在本杂志第八卷上的文章，接下来是本篇文章。(4，46
5、4页)对此笔者以为，要具体了解某一理论的诞生经过，就必须探寻能体现该领域最初思想和方法的早期论文，而不应仅局限于后期系统专著。因而，本文对李在切触变换方面的研究主要集中于他19世纪70年表的几篇文章，即参考文献2、3、4。1.2对切触变换的定义文献2中，李对切触变换给出若干定义，有的用文字描绘方式给出，不甚严谨。如其中一个定义为:(1)很明显古尔萨的定义局限于曲线和二元函数范围，李的定义更为广泛和一般，并不仅限于二元函数。(2)古尔萨根据“曲线相切的先验条件定义了切触变换，并将其理解为保持曲线间的相切关系不变的变换。李则从微分方程出发，根据雅可比(C.G.J.Jacobi，18041851)的
6、理论，在微分方程不变性限制下得出了充要条件，由李的条件能够推出古尔萨的条件。(3)造成以上不同的原因是多方面的，与数学家的知识背景、研究方法都不无关系。古尔萨是法国分析学派的典型代表，他从纯粹分析角度来定义切触变换，其观点仍然是处理与变量密切相关的函数及其关系等问题，属典型的分析学派。而正如克莱因所言，李是几何学家，遭到普吕克尔几何思想的影响，他不再拘泥于坐标间关系的限制，并将普吕克尔的线几何推广为李球几何。李定义的切触变换使一般的平面几何、普吕克尔的线几何和李球几何具有了切触变换意义下的等价性和相容性。1.3李对切触变换的研究在文献2的第一部分中，李专门研究了切触变换(2，218248页)。
7、这一部分共八节，前六节分别为:1.切触变换的定义2.任意的切触变换确实定3.将x1，xn，p1，pn的函数变换成x1，xn，p1，pn的函数的切触变换4.特征的某种关系确实定5.齐次切触变换6.无穷小的齐次切触变换以上这些均以切触变换本身为研究对象，其中很大一部分都是特殊的切触变换，如齐次切触变换、无穷小齐次切触变换等。将李关于切触变换的工作与前人比拟，我们发现:(1)李所创立的切触变换与前人的定义保持了某些统一性。从历史上看，勒让德(A.M.Legendre，17521833)引入勒让德变换将欧拉拉格朗日方程化为线性方程，普法夫(J.F.Pfaff，17651825)则将n变元的偏微分方程变
8、换为2n变元的方程。雅可比也得到了与普法夫类似的结果，并创立了雅可比第一方法。从勒让德、普法夫、雅可比给出的变换到李所给出的定义，变换形式越来越一般，而应用范围却越来越广。更重要的是李将前人关于切触变换的零星的特殊研究统一起来，使进一步的研究及统一结论成为可能。(2)在研究目的、定义方式、研究方法等方面，李的切触变换与前人有着明显不同。在李的研究出现之前，切触变换只是被当作一种应用工具，很少有数学家去关注其本身性质，而只是在某种实际问题的特殊要求(为了使微分方程更好求解，或为了使微分方程具有某种一致的对称性等)下，寻找某种特殊变换;即便所得到的变换具有某种一般性，但既没有出现统一定义，也没有体
9、现出统一性质。李对切触变换的研究则与前人迥然不同，体如今下面方面。首先是研究目的不同。李最初研究切触变换的目的也是寻求偏微分方程的某种不变性，但在给出切触变换的定义后，李转而研究其本身性质，其目的是变换本身的某种不变性，而不仅是其他数学对象在切触变换之下的不变性。这种转变是最本质、最具决定性的。其次是定义方式不同。李之前的各种切触变换定义带有明显的应用特征，李不仅真正给出切触变换严格的当代定义，还给出了切触变换的充要条件。其定义更基本、更一般，涵盖范围也更广泛。第三是研究方法不同。李根据将特定偏微分方程化为全微分方程的条件，确定能够实现这种转化的切触变换，分析该切触变换知足的充要条件，并由此创
10、始了一整套研究方法。1.4李群理论的诞生背景一般以为，真正将李引导到连续变换群的是他18691872年的工作以及和克莱因的一些合作21。现有研究文献，或以人物及其工作为研究主线，如15，或从不同数学分支分述，如16，或两者并重，如22，但少有文献注意到切触变换基础上无穷小变换与微分方程的关系。其实切触变换和无穷小变换与微分方程都有密切联络，在李的变换群理论创立中起着举足轻重的作用。早在1871年克莱因和李就开场研究无穷小变换及其构成的“封闭系统(23，54页)，并初次将无穷小变换与微分方程联络起来。对于齐次微分方程引入变换yx=t，则方程变为可分离变量方程，并可通过积分求解。克莱因和李对于方程
11、的这种性质非常着迷，以为容许一个变换才是该方程化为可分离变量方程的真正原因。他们写到:我们想要探寻方程具有这种性质的真正的内在原因。(23，81页)1876年李连续发表了两篇文章“变换群理论(I，II)6，7，给出了无穷小变换的详细表示，并得到了微分算子Ak(f)=ni=1Xkifxi及微分算子的关系式:Ah，Ak=lclhkAl。后来他直接将微分算子Ak(f)称作无穷小变换dxi=Xkidt(1in)的“象征。(7，165页)不久便将微分算子Ak(f)本身称作“无穷小变换(24，588589页)。另外，切触变换理论和无穷小变换通过微分方程发生了联络，进一步促使李产生了变换群的思想。1876年
12、李证实每一个r-参数群包含了r个互相独立的无穷小变换，并用如下的记号来表示一个无穷小变换:假如一个变换能够写为xi=xi+tX(x1，xn)，其中t为一个无穷小量，则将该变换称为无穷小变换。我们经常将上方程写为xi=tXi(x1，xn)。(7，155156页)2李创立的变换群理论1872年10月克莱因发表了爱尔兰根纲领(ErlangerProgramm)，主要讨论了几何图形在变换群之下的不变性质，不仅一举解决了当时若尔当(C.Jordan，18381922)考虑的问题，还将其结果纳入本人的研究纲领，创始了用群论研究几何的新时期。李的变换群理论也正肇始于此时期。本部分以切触变换为中心，从变换群概
13、念的诞生方面进行阐述。2.1“群的观念其实李早就有了群的观念，只是在早期研究中没有给出“变换群的定义，也没有对“群(Gruppe)加以定义和讲明，而仅是研究了知足某些带有“群的特征的集合。1870年李初次使用了“群这个术语，但并没有事先定义“群的概念。这里的“群和当代意义上的“群相去甚远，仅指对应某一线丛的几何图形的全体，大多数情况下仅具有“集合的意义25。在1871年的论文中23，李和克莱因用“封闭系统来表示知足封闭性的某种变换的集合。这时他们已经有了变换群的观念，并研究了群的某些性质，只是由于概念和工具限制，他们的理论缺乏一般性而难以推广。在1872年的文章中26，“群出现了10次，同样李
14、也没有定义和解释“群的概念，“群的含义与1870年的情形大致一样。在1874年的文章中李明确给出了“群的概念，该文第二部分的标题就是“群论(TheoriederGruppen)(2，248页)。但他定义的“群只是知足一定条件的变换的集合，并没有十分强调该集合应该知足的封闭等性质。因而，从“群的角度来讲，将1874年文章第二部分出现的“变换群称作特殊的“变换组则更为适宜一些。1874年到1880年李发表了十几篇关于变换群的文章，这里的“群充其量只是具有了封闭性的特殊函数或某些变换的集合，并不能真正称得上“群。在李看来，连续变换群概念必需要知足下面性质:(1)它是一类切触变换;(2)在此种切触变换
15、下，偏微分方程具有某种不变性;(3)这种切触变换最好是由一个无穷小生成的变换或称作与一个无穷小增量所对应的变换;(4)所有切触变换的集合依靠于r个参数，就构成了一个连续变换群。正由于连续变换群承载了如此多的含义和作用，真正意义上的“连续变换群概念的产生必然是一个缓慢而渐进的经过。2.2变换群概念的出现众所周知，群中单位元素(在变换群里即为恒等变换)和逆元素(在变换群里即为逆变换)的存在非常重要。由于要研究在合成作用下稳定的所有变换的集合，李逐步意识到恒等变换与逆变换的重要性。1876年李以为能够证实在具有封闭性的变换的集合中必定先验地存在恒等变换及一个无穷小变换，并假设所研究的变换群总能够成对
16、的表示为变换及其逆变换。61880年李正式给出了“变换群的定义，不过这里给出的定义也仅仅是知足了合成法则的特殊的变换组。他给出的变换群的定义如下:众所周知，置换理论中已经证实:一个置换群的元素与其逆元素能够以为是成对出现的。而置换群和变换群理论的不同点仅在于，前者含有有限元，而后者则包含有无限个变换。不过很自然(将上述做法推广)以为变换群的一个变换与其逆变换也是成对出现的。(28，444445页)1884年恩格尔构造了一个有限连续群，不包含恒等变换，其元素也并不总能成对的表示为变换及逆变换(11，174175页)。由此李意识到之前假设是错误的，并证实引入新的参数以及解析延拓后，总能够到达他最早
17、给出的论断。(16，414页)定义了变换群后，李进一步定义了两变换群类似的概念。随后，李和恩格尔于18881893年出版了三大卷的（变换群理论），在第一卷总结得到了李代数的三条基本定理，给出了李群的局部特征的表示。此外，李也研究了连续变换群的分类和同构问题，最早尝试对李群进行分类，为基灵(W.Killing，18471923)和嘉当(.Cartan，18691951)李代数构造的研究开启了大门。3切触变换在李群理论中的作用本部分我们试图对下面问题进行初步探索:李创立连续变换群的主要目的是什么?或者讲出于什么动机?李是沿着何种道路怎样到达这些目的?切触变换在其中究竟起到什么作用?3.1以微分方程
18、为中心的研究目的李曾在克里斯蒂安尼亚大学(今奥斯陆大学)受教于希罗(P.L.Sylow，18321918)。希罗则是当时欧洲大陆能够读懂伽罗瓦理论的少数数学家之一。李意识到了伽罗瓦理论强大的气力，希望将代数方程的伽罗瓦理论推广用来解决微分方程，并考虑偏微分方程的解在切触变换下的不变性。他自豪地宣称要将连续群的概念应用到微分方程上去。(27，60页)众所周知，伽罗瓦理论的一个基本结果为:代数方程可根式解的充要条件是该方程的伽罗瓦群是可解群。与此相类似，在皮卡-韦西奥理论中，引入了线性齐次常微分方程的伽罗瓦群，并将之称作微分伽罗瓦群，而线性齐次常微分方程可用积分解的充要条件就是其微分伽罗瓦群是可解
19、群。李则更多地从分析的角度来考虑问题，即:对于一个给定的微分方程组，考虑使该微分方程组保持稳定的底空间的微分同胚群，也就是考虑该微分方程组的解的置换。布尔巴基曾比拟贴切地评论道:实际上，对李来讲，变换群的理论就像是微分方程的积分工具一样，就像代数方程中的伽罗瓦理论一样重要。(16，416417页)尽管李的目的和出发点遭到伽罗瓦理论的强烈影响，但他对伽罗瓦理论的理解却值得我们考虑。在李1874年写给迈耶(A.Mayer，18391908)的信中讲:在伽罗瓦之前，代数方程理论的问题是:能否方程能够根式解，怎样解?伽罗瓦之后的问题是，用根式解方程的最简单方法是什么?我相信是时候应该在微分方程领域也进
20、行类似的工作了。(24，586页)在李看来伽罗瓦理论对代数方程的最直接影响是给出了根式解方程的最简单方法，这与我们如今的看法多少有些不同。如今以为:对代数方程来讲，伽罗瓦理论最要紧之处是给出代数方程可解性的判据。另一方面，对“群构造的不断探索深化了人们关于“抽象群的认识，李在这方面也作出了尝试。1880年他写道:我们的问题能够表述为:确定一个流形的所有r参数群。(28，443页)。他将本人的目的描绘为:发展出一套关于变换的一般理论，并将其应用到微分方程上去。一方面要寻找能将一个给定的微分方程或者是解析表达式变成给定形式的变换的存在条件，另一方面则在其存在时求出该变换。(29，538页)事实上，
21、用变换来研究给定微分方程的方法已出如今欧拉(L.Euler，17071783)、拉格朗日(J-L.Lagrange，17361813)和勒让德的著作中。但这些数学家从未想过研究这些变换的本身性质，也没有建立包含所使用的特殊变换的一般理论，更很少对这些变换分类。他们只是将变换当做解微分方程的一种工具，更不要讲从群的角度来研究微分方程。李的研究动机和目的显而易见，即:将连续变换群应用到微分方程上去，为微分方程发展出一套积分理论，其中包含了一种变换理论，它能够判定一个微分方程能否变成给定的形式，并求出该变换。正是通过这种变换理论，李发展出了解微分方程的理论，该理论通过寻求微分方程在变换下的不变性而简
22、化求解经过。在这个经过中，切触变换和无穷小变换两个概念起重要作用，这也正是他研究的出发点。3.2以切触变换为基础的研究方案在1884年的文章中，李具体的介绍了他的思路:首先建立切触变换的理论基础，然后引入无穷小变换的重要概念。首要目的是建立切触变换的不变量，也就是讲研究微分方程在所有切触变换(或所有的点变换)之下的不变性。第二步是建立带有有限参数的连续变换群理论，并建立将其应用到微分方程上去的一般理论。(29，538页)在此基础上，李研究了微分方程在切触变换下的不变性和该不变性与无穷小变换的关系。1871年他开场研究使得微分方程不变的无穷小变换，并考虑了可交换的变换及其构成的群，这就有可能“或
23、者由此得到一些积分方法，或者能够将问题分成几个更简单的问题。(29，547页)首先，李将对微分方程的研究转变为对使该方程不变的切触变换的研究;借助无穷小变换与切触变换的关系，构成变换群的概念。由此对于微分方程的分类就相当于对变换群的分类。对此，李以为:给定任意阶的两变量的微分方程，它可能容许一个将本身变为本身的切触变换，而这些切触变换构成的群一定属于上面列出中的某一个。在此基础上，能够对这些方程进行分类，也就给出了对其进行积分的一个正确理论。(4，541页)作为应用，李将一个平面切触变换的所有有限连续群化为典范形式，同时研究了属于这些群的一阶、二阶和三阶微分方程的不变量。以此为基础就能够原则上
24、解决微分方程的分类问题，进而大大简化微分方程的积分理论。(4，529542页)由此我们总结得到李的研究方案，并得出切触变换在李群创立经过中的中心作用:(1)研究切触变换，建立切触变换的不变量理论，研究微分方程在切触变换下的不变性;(2)将无穷小变换的概念与微分方程联络起来，探寻微分方程在切触变换下不变性的真正原因，并将结果应用于微分方程的积分理论的研究中;(3)将微分方程所容许的变换与无穷小变换结合，产生有限参数的连续变换群的概念;研究将任意的变换群化为典范形式的方法，或研究能否将典范群变换成给定的变换群，在此基础上构造典范群的不变微分方程，对变换群进行分类;(4)将有限参数的连续变换群的性质
25、归结为无穷小变换的性质;通过互相独立的无穷小变换的个数对变换群分类，进而对微分方程分类;在此基础上建立微分方程的系统理论。4结语一段时期内(19世纪70年代)，李群理论几乎完全依靠于李个人的研究工作。一方面李创始了一般意义上的切触变换理论，将其由一种应用工具上升为数学研究对象及理论，另一方面将切触变换应用于微分方程，通过无穷小变换，在初步的“群的观念下，研究使微分方程不变的某些切触变换所构成的“群及无穷小变换的关系，进而创立了连续变换群理论。更重要的是，在应用于微分方程的指引下，李将问题导向了对变换群的分类。由此，该领域有了独立的研究对象连续变换群，产生了相对独立的研究方法，出现了推动该领域发
26、展的主要问题对连续变换群进行分类。由此，李群理论正式宣告诞生。当然，任何数学领域的创立都不是一朝一夕之功，也很难仅凭一人之力维持发展，随着三大卷（变换群理论）的出版，李群理论的接力棒交到了基灵和嘉当手中。基灵和嘉当在19世纪末期使李代数构成了本人的研究方法，而嘉当在20世纪初的一系列研究则加强了上述方法，并构成了李代数最开场的中心问题:复和实的有限维李代数的构造及表示理论。由此构成了早期李群的中心问题:李群及其李代数的构造和分类问题(也涉及李群的线性表示问题)，从19世纪70年代李创立连续变换群理论直到1925年，这个主题从未改变。1925年外尔创立整体李群理论，发展出真正融合了几何、代数和分析的李群表示理论。以此为标志李群理论进入了真正意义上的当代李群发展阶段，数学学科也进入了一个飞速发展时代。在与其他数学分支乃至其他学科不断的穿插浸透下，到20世纪50年代中期，李群李代数理论不仅成为了数学科学的中心，还对物理、化学等学科影响颇深，在理论和应用上也产生了多方面重要影响。这为数学史、科学史工作者提供了大量研究素材，同时也为我们提出了很多愈加深入和重要的研究课题。