不动点理论（除了涉及下面籍等,也可参考我也早就买到的诺贝尔奖得主康托罗维奇撰写的《半序空间泛函分析》以及如他的《泛函分析》的倒数第3章的标题是“不动点理论”和江泽涵院士1979年出版的《不动点类理论》，可见研究不动点理论的方法主要来自泛函分析和拓扑学）
自泛函分析创始人Banach在1922年证实Banach压缩映像原理后,由于其结果的优美性和成功地解决了象隐函数存在定理、微分方程初值问题解的存在等一系列重大应用问题,使得不动点理论成为数学宝库中的一朵奇葩,现在,不动点理论已成为了非线性泛函分析理论的重要组成部分。还如江泽涵院士的不动点著作所说：大量的实际问题的数学模型是各种各样的数学方程。在很多情形下，解方程的问题可以归结为求某一个空间的自映射的不动点问题。
下面世界第一大学-加州理工学院Kim
Border教授80年代出版的《不动点定理在经济学和博弈论中的应用》各章都用到图论特别是closed
graph闭图和open graph开图等的相关技术，以研究海南琼州大学师爷叔们从事的博弈论-如海南琼大一个师叔就有5个学生凭博弈论的工作获的诺贝尔经济学奖，当然Border教授这书的也用图论技术等研究包括我在这里翻译的纳什奠定非合作博弈的《n人博弈中的均衡点》和《非合作博弈》--其关键点就是对不动点定理的推广和应用。其实，博弈论之父冯·诺依曼在其发展中曾多次和人合作应用推广不动点定理。
不动点理论权威Ravi
P. Agarwal在他们的专著《不动点理论和应用》序言开头所说“不动点理论最著名的结果可能就是Banach压缩映射原理”（虽下面张石生教授说“Brouwer不动点定理是非线性分析和拓扑学中最重要的基本定理”，但看期刊网可知说其最著名应是恰当的），这也看到不动点理论的发展与泛函分析、拓扑学紧密相关，正如在Banach的家乡波兰读博士的崔云安的“泛函分析及相关专业教材或参考书”《Banach空间几何理论及应用》专著共5章-其中第2章是“与不动点有关的几何性质”第4章是“集值映射不动点理论”，可想其它章也多与不动点理论相关。再如陈汝栋的书《不动点理论及应用》说其是“应用泛函分析方向研究生参考书”，足见不动点理论也是泛函分析发展之主要推动力。当然其发展已不断地拓展以及在常微分方程、偏微分方程和泛函微分方程等中也常用于处理其解及相关问题，如此下面给出一些相关介绍。
不动点理论虽萌芽于19世纪末堪称全才的拓扑学先驱庞加来的一些论文，但直到创造单纯复合形和流形概念的拓扑学家Brouwer和泛函分析创立者Banach得到下面2个不动点定理，不动点理论才成为博弈论和讨论各类方程解的存在唯一性及其它问题的重要工具：
1912年Brouwer得到的Brouwer不动点定理：设B是n维欧氏空间Rn中的闭单位球，又设T: B→B是一个连续映射，那么T必定有一个不动点xÎB（张恭庆等著《泛函分析讲义》。推论：设B是n维欧氏空间Rn中的一个紧凸子集，又设T: C→C是连续的，那么T必有一个C上的不动点）。它有许多不同的证明方法很多，有的基于代数拓扑、有的基于外微分形式、有的基于拓扑度等等，如John Milnor约翰·米尔诺的1978年的证明，Claude A. Rogers 1980年的证明等，这是因如张石生等的这篇论文的第一句说“Brouwer不动点定理是非线性分析和拓扑学中最重要的基本定理”（别人说可认胡言，但张石生教授算大师，虽过了些，但也可知其重要性）（这篇文章说“L. E. J. Brouwer(布劳威尔)和Henri
Poincare(庞加莱)，是20世纪初期的两位拓扑大师”，虽也有些过，但也可见L. E. J.
Brouwer (L. E. J.布劳威尔)对拓扑学的作用）
1922年Banach的压缩映像原理：设T是完备的距离空间(X, r)到自身的压缩映射，则存在唯一xÎX，使得T x=x，即T在X上存在唯一不动点（张恭庆等著《泛函分析讲义》）。推论：设T是完备的距离空间(X, r)到自身的映射，且对自然数n，使Tn是压缩映射，则存在唯一xÎX，使得T x=x.
至今这领域的进展已达到博大精深的广度深度。下面就先从几个经典的不动点定理开始（最后也顺便介绍近年来掀起热潮的分数阶微积分。相应于常偏微方程就可建立相应的分数阶常微分方程、分数阶偏微分方程，特别是下面泛函微分方程部分说若我读研究生3年多每天都去系里则几乎都能见到的专家的我国第一本专著也常用到不动点理论，但或许相应的分数阶泛函微分方程物理意义尚不明朗如此这学科几乎还没一篇论文，还有结合随机微分方程、模糊随机微分方程等的相应理论如何建立？）：
正如这里定理[2]一段说一些问题也用不动点理论以及组合方法结合泛函分析的《巴拿赫空间》处理，曾来信称赞海南琼大的工作的哈密顿图大师Béla
Bollobás的博士生Gowers的博士论文也用组合方法处理泛函分析的巴拿赫空间问题的并解决巴拿赫的某些重要猜想而引起组合数学界的极大兴趣-即象这里说的“主要成就在于运用组合数学的方法解决了巴拿赫空间理论中的一系列问题”其后Gowers获得数学诺贝尔奖-Fields奖，如此以前虽忙但我也就读完巴拿赫的世界名著《线性算子理论》--此书主要讲我评论的哈密顿图大师Béla
Bollobás的博士生Gowers解决和发展而据此获得诺贝尔奖的巴拿赫空间子空间相关空间性质理论及其上的线性算子理论等--此于书成于20世纪30年代初，其后，Banach空间理论又有很多发展（附线性算子理论以及更广的泛函分析的更多参考资料）
集压缩映射原理：设X是Banach空间，K是X中的有界闭集，f: K→K是集压缩映射，则f在K上存在不动点（Yusun Tong。集压缩映射定义：设X是Banach空间，K是X中的有界闭集，f: K→K是连续映射，如果存在kÎ[0,1），使得对X中一切有界非紧子集A，均有a(f(A))£ka(A) 。其中a(A)为A的非紧性测度：设X为距离空间，A是X中的有界集，记a(A)=inf{d| 存在有限个集Si ÌX, diam Si£d，∪I SiÉA}）
1930年的Schauder不动点定理：如果全连续算子A映射Banach空间E内有界闭凸集S于其自身，那么这个映象的不动点存在，即存在xÎS使Ax=x。（刘斯铁尔尼克和索伯列夫著《泛函分析概要》第276页）
角谷在1941年得到的Kakutani不动点定理：设X是Banach空间，K是X中的非空凸紧集，多值映射f:: K→2K是闭映射，而且对每个点xÎK，f (x)均是集合K的非空凸子集，则f在K上存在不动点。（Yusun Tong童裕孙，多值映射f: K→2K的不动点的定义：若存在xÎX使xÎ f (x)，则称x是f的不动点）。
Kakutani不动点定理的推论:
博弈论基本定理：设X与Y分别是两个Banach空间中的凸紧集，K(x,
y)在X´Y上连续，且对每一个xÎX，K(x, y)是关于y的凸泛函；对每一个yÎY，-K(x, y)是关于x的凸泛函，则必存在(x0,
y0)，使得 minyÎY maxxÎX K(x, y)= K
(x0, y0)= maxxÎX minyÎY K(x, y) （Yusun Tong）
有向流形的Lefschetz不动点定理：设单纯复形M是有向n维流形， f: M→M是映射，如果Lefschetz数L(f)≠0，则f有不动点（《同调论》-作者姜伯驹院士-主要研究“拓扑学中的不动点理论和低维拓扑学”-他父亲是中国现代数学的奠基人或说先驱姜立夫教授）。其中设M是n维流形，任意选取Hq(M)中的基，设同调同态f*: Hq(M)→Hq(M)的矩阵是F(q)， Lefschetz数L(f):=∑q=0dimX(-1)q
tr F(q)
胞腔复形的Lefschetz不动点定理：设K是有限胞腔复形， f: K→K是映射，如果Lefschetz数L(f)≠0，则f有不动点（姜伯驹著《同调论》。读此书要先掌握下面M. A. Armstrong的《基础拓扑学》和抽象代数的相关基本知识，而只因正如这里[2]见
我国很多大学的拓扑学课程甚至都不讲单纯形这部分，可它在不动点理论也有重要应用，那就还需要先掌握这方面更基本的概念，它们也属于已形成为拓扑学的一个分支-即这里的《同调论》的基本概念和理论。同调论的国外好参考书有如这里说我帮助引进到我国的俄罗斯福明科院士等的世界名著：《现代几何学:方法与应用 (第3卷) 同调论引论》）
其中，Brouwer不动点定理有不少重要推广，如上面Schauder用Banach空间和这里Tychonoff用局部凸空间代替Rn，证明了不动点定理仍成立，上面Kakutani不动点定理也是推广Brouwer不动点定理；而Kakutani不动点定理也有不少推广（1950年Bohnenblust和Karlin用Banach空间代替Rn，证明了不动点定理仍成立。1952年Fan Ky-樊畿和Glicksberg独立用局部凸空间代替Rn，得到：设X是Hausdorff局部凸空间E中的非空凸紧集，集值映射F: X®P0(X)上半连续，且"xÎX，F(x)是X中的非空凸紧集，则存在x*ÎX，使x*ÎF(x*)。樊畿是著名华人数学家并和他导师合著《组合拓扑导引》）；压缩映射原理（Banach不动点定理）也有许多推广-如弱压缩映射的不动点也是唯一。
今年排名世界第一大学的加州理工学院Kim Border教授的《Fixed Point Theorems with
Application to Economics and Game Theory》（尚没有中文版）第28页有Brouwer不动点定理：f:△m→△m连续，则f有不动点（该书第20页称△m为Standard
closed m-simplex即m维标准闭单形-可参考涉及单纯形的拓扑书）。当然容易得到它们都有很多推论，这些结果基本上都是互为因果的（见此书第9章给出很多这些关系）。
在Kim Border教授的此书的第29页有“r-image-映像”定义，相应地Borsuk于1967年得到下面定理：
Borsuk不动点定理：设E是紧凸集KÌRn的r-image, f:E→E连续，则f有不动点。
此书的一些概念也要注意：如第33页的U-maximal，这章经常考察它的是否紧的、非空的、闭的、
1930年Schauder不动点定理：设C是线性赋范空间B*维中的一个闭凸子集，又设T: C→C连续且T(C )列紧，则T在C上必有一个不动点。推论：设C是线性赋范空间B*维中的一个有界闭凸子集，又设T: C→C是紧的，则T在C上必有一个不动点）。
Cartan不动点定理：设(M~n,g~)是Cartan-Hadamard流形，G是M~n,g~)的一个等距子群GÎIso(M~n)，再假设存在中M~n的一点p使得G作用在p上的轨迹有界，则G在M~n中必有不动点。（Notre Dame）
此书中有足够充分的相关知识去理解博弈论
不动点理论值得注意的书还有：Andrzej Granas和James Dugundji的《Fixed
Point Theory》；D.Smart的《Fixed Point Theory》
Ravi P. Agarwal、Maria Meehan和Donal O'Regan的《Fixed
Point Theory and Applications》（都尚没有中文版）
Schauder不动点定理：设C是赋范线性空间E中的一个非空闭凸子集，设F: C→C非扩张的且T(C )是C的紧子集，则F有不动点（上面A-M-O的书的第2章第1个定理）
下面是这章的主要结果，它由Brouwer、Göhde和Kirk在1965年分别独立地证明：
B-G-K不动点定理：设C是实Hilbert空间H中的一个非空闭凸子集，则非扩张映像F: C→C有至少一个不动点（上面A-M-O的书的第2章第2个定理）
下面结果Leray和Schauder在1934年得到的吧？
Leray-Schauder不动点定理：设H是实Hilbert空间和Br={xÎH: ||x||£r, r>0}，则每个非扩张映射F: Br®H有至少下面两个结果之一成立：
（1）F在Br中有一不动点
（2）存在一xζBr和lÎ(0, 1)使x=lF(x).（它是A-M-O的书的定理2.5）
Leray-Schauder度性质：
定理：设W为含0的开集，F: W-®X为全连续映象。设F满足Leray-Schauder边界条件：xζW，m>1时，F(x)¹mx，则F在W-至少有一个不动点。（陈文㟲著《非线性泛函分析》。搜索看到很多地方把㟲的山字偏旁部写为土、三点水、虫等，这主要是以前写不出山字旁。这是一本被很多院士称赞为很不错的非线性方面的开创性著作，所以，正确点认识作者。虽然变分法、变分原理的历史很悠久，但最近却显示出极其强大的生命力，并长期来已出现很多书，但在近代的泛函分析著作中写进变分原理的书并不多，这是不多之一用一章专为它的也可能是国内的唯一，虽然变分法内容极广而在如此专著必难及一二，也可见此书高度。正如这书的在变分原理这章说，“从求解非线性方程的角度来看，变分原理和Leray-Schauder理论分别代表了两种不同观点。后者将非线性方程的解看成是某空间自映象的不动点，而前者却将它看成是某泛函的临界点”。我们知道我国著名的物理学大师钱伟长院士就写过几本变分原理的书，其中一本是结合有限元、一本是广义化）
这里定理[2]一段说一些问题也用不动点理论以及组合方法结合泛函分析的《巴拿赫空间》处理，曾来信称赞我的工作的哈密顿图大师Béla Bollobás的博士生Gowers的博士论文也用组合方法处理泛函分析的巴拿赫空间问题的并解决巴拿赫的某些重要猜想而引起组合数学界的极大兴趣-即象这里说的“主要成就在于运用组合数学的方法解决了巴拿赫空间理论中的一系列问题”其后Gowers获得数学诺贝尔奖-Fields奖，如此以前虽忙但我也粗粗的翻读完巴拿赫的世界名著《线性算子理论》--此书主要讲我评论的哈密顿图大师Béla
Bollobás的博士生Gowers解决和发展而据此获得诺贝尔奖的巴拿赫空间子空间相关空间性质理论及其上的线性算子理论等--此于书成于20世纪30年代初，其后，Banach空间理论又有很多发展（附泛函分析的更多参考资料）
下面结果没有注明是谁得到的什么时候得到的，应是上面定理的推论吧？--因时间有限我没有详细看
不动点定理：设H是实Hilbert空间和Br={xÎH: ||x||£r, r>0}， F: Br®H是非扩张映像，若对每xζBr，至下面4个条件之一成立：
（1）||F(x)||£||x|| ；
（2）||F(x)||£||x-F(x)| ；
（3）||F(x)||2£||x||2+||x-F(x)||
2 ；
（4）<x, F(x)>£||x||2
；
则F在Br中有一不动点（它是A-M-O的书的定理2.6）
在此书中有足够丰富的不动点理论的基础知识
也正如这里定理[2]段的我很早就研读完的泛函分析主要开创者Banach编著的《线性算子理论》中就已明确“有关不动点的拓扑定理可解释为微分方程解的存在性的古典定理”。于书成于20世纪30年代初，其后，Banach空间理论又有很多发展：我们知道对于每个Banach空间X，下列陈述等价：
(i) X是自反的；
(ii) X的单位球弱紧；
(iii) X的单位球序列弱紧；
(iv) X的每个可分自空间是自反的；
(v) 每个有界非空凸闭集的递减序列有非空交；
(vi) X*是自反的。
设X是Banach空间，对于t>0，令
dX(t)=inf{1-1/2
||x-y||: |x||=||y||=1, ||x-y||³1}
rX(t)=(1/2)sup{
||x+y||+||x-y||-2: |x||=1, ||y||=1}
函数dX(t)和rX(t)分别称为Banach空间X的凸性模和光滑性模。空间X称为一致凸（或乘为一致光滑），如果对t>0有dX(t)>0（或limt→0rX(t)/t=0）。1963年Lindenstrauss指出在凸性模和光滑性模在某种意义下彼此对偶。对于每个Banach空间X，下列陈述等价：
(a) X同构于一致凸又一致光滑的Banach空间；
(b) X同构于一致光滑空间；
(c) X同构于一致凸空间；
(d) 每个X是局部a可表示的Banach空间是自反的，其中a>1；
(e) 每个X局部可表示的Banach空间是自反的；
(f) 对偶空间X*满足(a)-(e)。
满足上面等价条件的Banach空间称位超自反的。
自1965年Kirk证明了具有正规结构自反的Banach空间具有不动点性质和1966年Opial证明得到了具有Opial性质的Banach空间具有弱不动点性质后，利用Banach空间几何性研究非扩张类映射的不动点性质的理论得到了迅速发展，下面是Banach空间几何性的不动点理论的一些著名工作：
定理0.1：若Banach空间X是具有弱正规结构，C是X中弱紧凸子集，T: C→C是非扩张映射，则T在C中有不动点。（Yunan Cui）
定理0.2：若Banach空间X是UKK空间，则X具有弱不动点性质。
定理0.3：一致非方的Banach空间X具有不动点性质
定理0.4：若R(X)<2，则X具有弱不动点性质。
定理0.5：设X是自反Banach空间，若limt→0Gx(t)/t<1/2，则X具有不动点性质。
2006年J.
Garcia-Falset进一步推广，得到：
定理0.6：设X是自反Banach空间，若它的接近一致光滑模满足limt→0Gx(t)/t<1，则X具有不动点性质。
定理0.7：若Banach空间X是NUS*空间，则X具有弱不动点性质。
定理0.8：若Banach空间X是UNC空间，则X具有不动点性质。
定理0.9：若Banach空间X是NUNC空间，则X具有弱不动点性质。
定理0.10：若Banach空间X具有1一致非析性质，则X具有不动点性质。
定理0.11：若Banach空间X具有Opial性质，则X具有弱不动点性质。
1969年Nadler把Banach压缩映射原理推广到集值压缩映射，得到：
定理0.12：设C为X的非空闭子集，T: C→CB(C)是压缩的，则T具有不动点。
定理0.13：设X为一致凸的Banach空间，C为X的有界非空闭子集，集值映射T: C→K(C)是非扩张的，则T具有不动点。
1990年Kirk和Massa推广Lim的结果：
定理0.14：设C为X的非空闭凸子集，集值映射T: C→KC(C)是非扩张的，若X中每一个有界序列关于C的渐近中心是非空紧集，则T具有不动点。
定理0.15：设C为X的非空有界闭凸子集，集值映射T: C→KC(C)是非扩张的，若eb(X)<1，则T具有不动点。
定理0.16：设C为Banach空间X的非空有界闭凸子集， T: C→K(X)是集值压缩映射，若对任意的xÎC都有TxÌIC(x)-，则T具有不动点。
定理0.17：设CÌX为弱紧凸子集，集值映射T: C→KC(C)是非扩张的，若满足(DL)-条件，则T具有不动点。
定理0.18：设X为自反的Banach空间且满足(DL)-条件，C为X中可分的有界闭凸子集，非自身集值T: C→KC(X)是非扩张且1-c-压缩的，若T(C )为有界集且满足Inward条件: TxÌIC(x),
"xÎC，则T具有不动点。
2006年Dhompongsa, Benavides, Kaewcharoen, Kaewkhao和Panyanak得到
定理0.19：设X为满足(D)性质的Banach空间， C为X中非空的弱紧凸子集，若T: C→KC(X)是集值非扩张映射，则T具有不动点。
莱夫谢茨不动点定理：设X是紧致可剖分空间，f: X→X是连续映射，如果Lefschetz数L(f)≠0，则f有不动点（《基础拓扑学》M. A. Armstrong），其中Lefschetz数L(f):=∑q=0n(-1)q
tracefqh
莱夫谢茨不动点定理：设X是可剖分空间，f: X→X是连续映射，如果Lefschetz数L(f)≠0，则f有不动点（Chengye You），其中Lefschetz数L(f):=∑q=0dimX(-1)q
tr(f.q)
1935年Schauder不动点定理：如果全连续算子A映射Banach空间E内有界闭凸集S于其自身，那么这个映象的不动点存在，即存在xÎS使Ax=x。
1955年Krasnoselski定理：设X是Banach空间，K是X中的闭凸集，F、T: K→X（非自映射）满足，
（1）F x+ TyÎK " x, yÎK；
（2）F为紧的、连续映射；
（3）T是压缩映射；
则存在$ x*ÎK使得x*=Fx*+ Tx*。
1950-1952年的Kakutani-Fan-Glickcberg定理：设X是局部凸Hausdorff拓扑线性空间，B是X中的紧凸集，多值映射T: B→2B是非空闭凸值，上半连续，则T在B上必有不动点。
1968年Browder不动点定理：设X是Hausdorff拓扑线性空间，B是X中的紧凸集，多值映射T: B→2B满足
（1）" xÎB，T x是非空凸；
（2）" yÎB，T-1 y是开集；
则T在B上存在有不动点。
Banach不动点定理：设T是完备距离空间(X, r)到自身的压缩映射，则存在唯一xÎX，使得T x=x，即T在X上存在唯一不动点（Guangfu Cao。推论：设T是完备距离空间(X, r)到自身的映射，且存在自然数n使Tn是压缩映射，则存在唯一xÎX，使得T x=x，即T在X上存在唯一不动点）。
更一般的拓扑空间目前仍没有结果。
代数型不动点。
（1）压缩映像原理
（2）压缩映像原理的各种推广
（3）非扩张映像d(Tx, Ty)£ d(x,
y)。
（4）扩张映像d(Tx, Ty)³ kd(x,
y), k >1
（5）多值压缩映像的不动点定理。
（6）紧凸集上的不动点。
（7）Caristi不动点定理。
（8）随机不动点定理。
（9）概率度量空间。概率赋范空间中的不动点定理。
（10）2-距离，G-度量空间，H-空间中的不动点定理。
（11）半序方法。
（12）模糊映像的不动点定理。
（12）相容映像的不动点定理。
3、几个简单的不动点定理。
定理1.1：设X是完备度量空间，T: X→X，则T的任意不动点在∩n=1¥TnX内；若∩n=1¥TnX={y}, 则y=Ty。
定理1.2：个设X是Hausdorff拓扑空间，T: X→X连续，且lim Tnx=y
, 则Ty=y.
定理1.3：设X是度量空间，BÌX闭，CÌX紧，T: B→C连续，且对任意e>0，存在x(e)使d(Tx(e), x(e))<e,则T有不动点。
定理1.3：设X是度量空间， T: X→X连续，d(Tnx,Tn+1x)®0，则{Tnx}的任一极限点都是T的不动点。
压缩型不动点定利分类及Rhoades问题 (Dongru
Chen)
按压缩条件的不同，对不动点进行如下分类：
设(X,
d)是度量空间，映射T: X→X，称满足下列第(i)个条件的映射为第(i)类压缩映射，记为TÎ(i)：
（1）1922年，Banach对于任意的x, y ÎX，有
d(Tx,
Ty)£ kd(x,
y), k Î[0，1）
（2）1962年，Rakotch，存在单调函数a(t): (0,+¥)®(0, 1)使得
d(Tx,
Ty)£ a(d(x,
y))d(x, y),x≠y.
（3）1961年，M. Edelstein,对于任意的x, y ÎX，x≠y，有
d(Tx,
Ty)< d(x,
y)
（4）1969年R. Kannan，存在hÎ(0,1/2)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h(d(x, Ty)+ d(Tx,
y))
（5） 1972年, R.M. Bianchichi, 存在hÎ(0,1)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max{d(x, Ty), d(Tx,
y)}
（6）1971年Reich，存在a,b,c³0，a+b+c<1，对于任意的x, y ÎX，有
d(Tx,
Ty)£ a
d(x, Ty)+ b d(Tx, y)+c d(x,y)
（7）1971年Reich，存在a(t),b(t),
c(t) : (0,+¥)®(0, 1)单调减少，a(t)+b(t)+c(t) <1，对于任意的x, y ÎX，有
d(Tx,
Ty)£ a
(d(x,y)d(x, Ty)+ b(d(x,y) d(Tx, y)+cd(x,y) d(x,y)
（8）1972年Roux, Socrdi，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max{d(x, Ty), d(Tx,
y) , d(x, y)}, hÎ(0,1)，
（9）1972年V. M. Sechgal, 对于任意的x, y ÎX, 任意x≠y，有
d(Tx,
Ty)£ max{d(x, Ty), d(Tx,
y) , d(x, y)}, hÎ(0,1)，
（10）1972年S. K. Chatterjea, 存在hÎ(0,1/2)，对于任意的x, y ÎX，有
d(Tx,
Ty)£
h{d(x, Ty)+ d(y,
Tx)}
（11）1973年G. E. Hardy, T.D.
d(Tx,
Ty)£ a1 d(x,y) +a2 d(x, Tx)+
a3 d(y,Ty)+ a4d(x,
Ty)+ a5 d(y,Tx)
（12）1973年S. Massa, Zamflrescu, 存在hÎ(0,1)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max {d(x,y),
1/2[d(x, Tx)+ d(y,Ty)], 1/2[d(x, Ty)+
d(y,Tx)]}
（13）1971年Ciric, 存在hÎ(0,1)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max {d(x,y),
d(x, Tx), d(y, Ty), 1/2[d(x, Ty)+ d(y,Tx)]}
（14）1977年B. E. Rhoades, 存在åai <1，其中ai
: (0,+¥)®(0, 1)单调减少，对于任意的x, y ÎX，有
d(Tx,
Ty)£ a1 (d(x,y)) d(x,y) +a2 (d(x,y)) d(x,
Tx)+ a3 (d(x,y))
d(y,Ty)+ a4 (d(x,y)) d(x, Ty)+ a5 (d(x,y)) d(y,Tx)
（15）1974年L. B. Ciric, 存在hÎ(0,1)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max {d(x,y),
d(x, Tx), d(y, Ty), d(x, Ty),
d(y,Tx)}
（16）1977年B. E. Rhoades, 对于任意的x, y ÎX，x≠y，有
d(Tx,
Ty)< max {d(x,y),
d(x, Tx), d(y, Ty), d(x, Ty),
d(y,Tx)}
上面压缩映射还可相应考虑d(Tpx, Tpy)、d(Tpx, Tqy)、d(Tp(x)x, Tq(x)y)、d(Tp(x,y)x, Tq(x,y)y)型，则可得到相应的映像，但在这些限制映射条件下，T是否有不动点？已有很多相应的研究。
压缩映像的不动点定理。
定理2.1：设X是完备度量空间，T: X→X且满足d(Tx, Ty)£ kd(x,
y), k Î(0, 1), 则T在X内有唯一不动点，且d(xn, x*)£[kn/(1-k)]d(Tx0, x0),
limxn=x*, xn=Tx0.
定理2.2：设X是完备度量空间，T: X→X且满足存在hÎ(0,1/2),使 d(Tx, Ty)£ h(d(x, Ty)+ d(Tx,
y))
则T在X内有不动点.
定理2.3：设X是完备度量空间，T: X→X, 设åai<1，其中ai : (0,+¥)®(0, 1)单调减少，对于任意的x, y ÎX，有
d(Tx, Ty)£ a1 (d(x,y)) d(x,y) +a2 (d(x,y)) d(x, Tx)+
a3 (d(x,y)) d(y,Ty)+ a4 (d(x,y)) d(x, Ty)+ a5 (d(x,y)) d(y,Tx)，则T在X内有不动点.
定理2.4：存在hÎ(0,1)，对于任意的x, y ÎX，有
d(Tx,
Ty)£ h max {d(x,y),
d(x, Tx), d(y, Ty), d(x, Ty),
d(y,Tx)}
，则$|x*, Tx*=x*, 且
limTn x0=x*，
并有估计式
d(Tn x0,x*)£[hn/(1-h)]d(x0,Tx0).
定理2.5：对于任意的x, y ÎX, 任意x≠y，有
d(Tx,
Ty)£ max{d(x, Ty), d(Tx,
y) , d(x, y)}, hÎ(0,1)，T连续，xÎX是{ Tn x0}的聚点，则x是T的唯一不动点，且Tn x0→x
非紧性测度
定义2.1：设(X, d)是度量空间，AÌX有界。令g(A)=inf{e>0, A可被有界个直径£e的集合覆盖}，则称g(A)为A的非紧性测度。显然A紧，则g(A)=0。
定义2.2：设T: X→X，称T为
（1）k集压缩(k³0)，如果对任意有界AÌX，g(TA)£ kg(A)；
（2） 进一步地，若1>k³0，则称T为严格集压缩
（3）凝聚映像，对任意有界AÌX，g(A) >0，g(TA)<g(A)；
定理2.8：设(X, d)是度量空间，映射S, T: X→X为两个凝聚映像，ST=TS，
且对于任意的x, y
ÎX, 任意x≠y，有
d(Sx,
Ty)< a1 d(x,Ty) +a2 d(x,Sx)) +d(Ty,
STy)+ a3 {(d(x,STy)+
d(x,Sx)}+ a4 (d(x,STy)) d(x, Ty)/[d(x,Ty)+d(Ty,STy)], "x,yÎX, x≠Ty, ai ³0, a1+
则S, T有不动点。当a1+
定理2.9：设(X, d)是一个有界完备度量空间，映射S, T: X→X为两个凝聚映像，ST=TS，
且对于任意的x, y
ÎX, 任意x≠y，有
d(Sx,Sy)< a1 d(x,Ty) +a2 d(x,Sy)+ a3
d(Tx,STy), "x,yÎX, x≠Ty, ai ³0, a1+a2 + a3 =1
则S, T有唯一不动点。
非线性压缩映像的若干不动点定理
定理2.9：设(X, d)是一个完备度量空间，f, g是(X,
d)上的2个连续自映像，则f, g有公共不动点的充分必要条件是存在函数Ф，满足下条件（Ф）及两个映射像S, T: X→X与f, g可交换，且
（1）
(ST)∪(TS)Ì(fX)∩(gX)
（2） d(Sx,Ty)£ Ф(max{d(fx,gy), d(fx,Sx), d(gy,Ty), 1/2[d(fx,Ty)+d(gy,Sx)]}；
则 S, T, f, g有唯一公共不动点。
其中（Ф）：Ф：[0,+¥]® [0,+¥]非增，上半连续，且Ф(t)<t, "t>0.
定义2.3：称函数Ф(t)满足Ф¢，如果Ф：[0,+¥]® [0,+¥]非负不减，且"t>0, limФ¢ (t) =0.
定理2.10：设(X, d)是一个完备度量空间，f: X→X连续, S, T: X→X与f,可交换，
若无其事（1）(ST)∪(TS)ÌfX
(2) 存在满足条件Ф¢的函数Ф，使对任意x, y ÎX,，
d(Sx,Ty)£ Ф(max{d(fx,fy), d(fx,Sx), d(fy,Ty), 1/2[d(fx,Ty)+d(fy,Sx)]}；
则 S, T, f存在唯一不动点。
从事非线泛函分析郭大钧,范先令,李万同,苏永福,姚永红,陈汝栋做了很多不动点定理论文
这里要说微分方程。众所周知，考察微分方程解的存在性和唯一性时几乎总要用不动点理论来处理，考察解的其它某些状态也偶尔要用到，这里就不说了。推而广之，也就诞生随机不动点理论：它已在随机泛函分析也起到重要的作用，许多随机积分方程、随机微分方程、随机算子方程解的存在性的研究，往往引导到在各种类型的函数空间中讨论随机不动点存在性问题，如单在Polish空间（即可分的完备度量空间），80年代左右，王梓坤、张石生、Špaček,、Hanš、Bharucha-Reid、Itoh、Kannan和Salehi讨论了许多随机不动点定理及在许多方面的应用。（与1942年伊藤清开创的经典的也称正向的随机微分方程形成鲜明对照的是：Bismut在1978年提出的倒向随机微分方程的线性情况，其后，非线性倒向随机微分方程则由我国第一个在国际数学家大会做1小时报告的山东大学彭实戈院士和Etienne
Pardoux在1990年开创（即这篇），更自1997年彭实戈院士在国内发表“倒向随机微分方程及其应用”“倒向随机微分方程和金融数学”后，我国也蓬勃发展；也还要注意多值随机微分方程、随机泛函微分方程、模糊随机微分方程等）。最近中山大学学报2012(4)一文很有趣但最后说“否能定义模糊Brown运动”似乎未有所指明？因按美国科学院Avner Friedman院士的书《随机微分方程及其应用》第一卷定义的Brown-布朗运动是满足下列条件的随机过程W(.)：如果①W(0)=0；②W(t)- W(s)具正态分布N(0, t- s),
" t ³ s³0；③（增量独立性）对0< t1< t2<…< tk W(t1), W(t2)- W(t1) …W(tk)- W(tk-1)是独立的随机变量（关于Brown运动，1828年，英国植物学家Brown发现水中花粉的运动，布朗运动的首次解释是爱因斯坦创造奇迹的1905年给出的，他证明，假设浸没的粒子连续不断地受到周围介质的分子的冲击，Brown运动就可得到解释。然而上述简洁的用以描述Brown运动的随机过程的定义是Wiener在自1918年起的一系列论文中给出的，因此Brown运动也称Wiener过程），可王光远院士等1998年的论文中已出现模糊Wiener过程等概念，而且王文中还讨论了对模糊Wiener过程求积的问题，那就不仅早已出现模糊Brown运动定义，而且还出现相关理论？因此，就相对该文来说，遗留问题应是模糊Brown运动均方一致Henstock可积或均方一致Henstock-Stieltjes可积的定义及是否有好的充要条件问题？从期刊网搜索这似乎还是新问题？（特别是,有些许遗憾和矛盾的是：在“模糊随机微分方程与模糊随机过程”兴起的九十年代，我曾研读这领域的约百篇论文，也感到有点意思，不过…）
当然，我读研究生时的大学-华南师范大学的应用数学研究所所长温立志教授的《泛函微分方程》领域我国第一本专著的问题更是常用不动点理论（可参考他的此书。因
如果t0ÎR，A³0，xÎC([t0-r, t0+A], Rn)，则对任一tÎC([t0, t0+A]，我们定义xt为xt (ɵ)= x(t+ɵ)，t取遍[-r,
0]上的一切值。因此，xtÎC。
设DÍR´C，f: D® Rn为给定函数，则关系式 x·(t)= f (t,
xt ) 称为具有有界滞量的滞后型泛函微分方程(Retarded
Functional Differential Equation-简写为RFDE)。其中x·(t)表示x(t)对t的右导数。相对有无界滞量的滞后型泛函微分方程。
设B是由(-¥, 0]映入Rn中函数所组成的某一种函数空间，如果t0ÎR，A>0，x：(-¥, t0+A] ® Rn)，则对任一tÎC([t0, t0+A]，我们定义xt为xt (ɵ)= x(t+ɵ)，t取遍(-¥, 0]上的一切值。因此，xtÎC。
设WÍR´B，f: W® Rn为给定函数，则关系式 x·(t)= f (t,
xt ) 称为无穷延滞的泛函微分方程。其中x·(t)表示x(t)对t的右导数。
x·(t)= f (t,
xt , xt·)称为中立型泛函微分方程(Neutal Functional Differential Equation-简写为NFDE)，其中f: R´C´C ® Rn，xt·ÎC是由xt· (ɵ)=d x(t+ɵ)/dɵ 所定义。更准确地应称为有限滞量的中立型泛函微分方程
还有1970年Cruz和Hale引进一种特殊但又有广泛性的中立型泛函微分方程：设WÍR´C中的开集，f:和D都是W® Rn中的连续泛函，当D(t, φ)对φ为线性时，它在集K上于0处是原子的，这里KÍRW={t: (t,
φ)ÎW}，当D(t, φ)对φ为非线性时，它在集HÍW上于0处是原子的，则关系式 d D(t, xt )/dɵ= f (t, xt
) 称为D算子型的中立型泛函微分方程。（附：线性D(t, φ) 在集上于0处是原子的定义：设DÍR´C是开集，D(t, φ)为W® Rn的连续泛函，且对φ为线性的，由Riesz定理知存在一个n´n的有界变差矩阵函数h(t, ɵ)，使得D(t, φ)=ò-r0[dɵ h(t,
ɵ)]φ(ɵ)，(t, ɵ)ÎW，对于t0= RW={t1 (t, ɵ)ÎW}及ɵ0Î[-r,
0] 如果det[h( t0,
ɵ0+)-h( t0,
ɵ0-)]≠0，则称线性泛函D(t,
φ)在t0于ɵ0处是原子的，进一步地当然任一t0ÎKÍ RW于ɵ0处是原子的，则线性泛函D(t, φ)在集K于ɵ0处是原子的。关于Riesz定理可看泛函分析-这个定理建立了希尔伯特空间与它的连续对偶空间的一个重要联系，Paul Erdős就是Leopold Fejér和Frigyes
Riesz的博士。非线性D(t,
φ) 在集上于0处是原子的定义见
（有些书分为：滞后型、超前型、混合型、中立滞等）
考察解的存在或唯一状态的：第28页的定理1的证明就用Schauder不动点定理、第30页的定理2证明的两处地方也考察不动点，第43页的定理3考察解的的两处地方也考察不动点，第45页引理1是压缩映像原理，引理2是推广到导数情形，第46页的定理1及进一步情况也利用它们，第60页的定理1也用Schauder不动点定理、第62页的定理2的用压缩映像原理，第77页的定理1也用Schauder不动点定理、第82页的定理就是Darbo不动点定理（非常多模糊积分方程的论文都要用到Darbo不动点定理）、第85页的定理1的（8）式用Darbo不动点定理、第97页也考察不动点，第101页的定理4也考察不动点、第108页定理1考察压缩映像、第109页用Darbo不动点定理、第109页的定理2考察不动点，第110页定理3解的存在、连续依赖的证明提示其类似定理1，第191页定理1的部分证明仿照第二章第2节定理1，考察压缩映像、第108页定理1考察压缩映像。非振动解的情况：第369页的定理3两处用Schauder不动点定理、以及第373页的定理4两处用Schauder不动点定理、以及第375页的定理5而定理3类似、及第376页的定理6，第419页Horn的定理4和定理5这两个不动点定理。周期解的情况：第420页的定理6的用Horn不动点定理，第421页的定理7也用Horn不动点定理处理，第433页周期解的定理4也是用也用不动点处理，第442页广义非紧性测度的Nussbaum不动点定理（定理1），第442页的推论1和推论2也是也是不动点定理，第443页用Nussbaum不动点定理考察一个方程组，第455页的定理2的证明用定理1即Nussbaum不动点定理、定理3的没有给出证明只请参考发表Nussbaum不动点定理的这篇论文，第455页还说这篇论文还考察另一个方程组， 和得到定理4和定理5，第456页的引理1是Brouwer不动点定理，第458页的定理1是证明用这引理1即Brouwer不动点定理、第461页的定理2是证明用定理1，第463页的定理1是证明用Brouwer和一苏联人的不动点定理、第468页的定理2的证明用定理1，第470页的定理3是证明用Brouwer和一苏联人的不动点定理（在期刊网见此书另一作者的论文仅14篇，《科学通报》2篇；而
郭柏灵院士“分数阶偏微分方程”讲稿，在土豆网的视频、56网的视频，郭院士也写分数阶偏微分方程的我国第一本专著，在期刊网见分数阶偏微分方程论文已有十几篇，主要在图像处理的应用
相关内容可看这偏微分方程网页的最下面附录的常微分方程部分
李万同,范先令,苏永福,姚永红,陈国谦,周勇,廖世俊,曹进德,殷朝阳,周勇,秦小龙,周定軒,
不动点定理的应用：
无限维空间中有界线性算子不变子空间的存在性是算子理论研究的一个重要问题。“博弈论之父”von
Neumann(冯·诺依曼)最先证明了无限维Hilbert空间上的紧算子有非平凡的不变子空间，其后，N. Aronszajn和K. Smith对一般的复Banach空间上的紧算子证明了非平凡的不变子空间的存在性（不变子空间定义：T: C→C，BÌC为子空间，TBÌB，则称B为T的不变子空间）。1973年Lomonosov证明了与非紧算子可交换的算子存在非平凡的超不变子空间。
1973年Lomonosov的不动点定理：设X为复Banach空间，TÎB(X)，T≠aI.。又设K是X上的非零紧算子，TK=KT，则T有非平凡的超不变子空间。
超不变子空间定义：设X是赋范线性空间，TÎB(X)，记xT={B| TB=BT,
BÎB(X)}。如果X的线性闭子空间X1是xT中所有元的不变子空间，则称X1为T的超不变子空间。
代数学基本定理：设是次复多项式P(z)=anzn+…+a1z+a0，则必存在z0，使得P(z0)=0。（Yusun Tong）。
(1)、Banach压缩映像原理的应用：例1：设fÎC[a,
b]), K(s, t)ÎC([a, b]´[a, b]), 且有常数M使得
òab |K(s, t)|
dt£M<¥ (a£s£b),
则当|l|<1/M时，存在唯一的jÎC([a, b]), 满足，
j (s)=f(s)+l òab K(s, t)j (t)dt,
令 Tj (s)=f(s)+l òab K(s, t)j (t)dt,
记a=|l|·M，则a<1且对任意j, fÎC([a, b]), 有
||Tj-Tf||¥=|l| ||òab K(s, t)j (t)dt-òab K(s, t)f (t)dt||¥£|l| max a£s£b òab | K(s, t)
|· | j(t)-f (t)|dt£|l| M max a£t£b | j(t)- f (t)|dt
£a||j-f||¥.
这说明T是C([a, b])到C([a, b])的压缩映射，从而存在唯一的jÎC([a, b])使得Tj=j，即
j (s)=f(s)+l òab K(s, t)j (t)dt,
(2)、Banach压缩映像原理推论的应用：例2：设K(s, t)是区域D={(s, t)| a£s£b,
a£t£b}上的连续函数, fÎC[a, b]), 则对任意常数l，存在唯一的jÎC([a, b]), 满足
j (s)=f(s)+l òasK(s, t)j (t)dt,
记M= max(s, t)ÎD | K(s, t)
|，令Tj (s)=f(s)+l òas K(s,
t)j (t)dt,
则对任意j, fÎC([a, b]), 有
|Tj(s)-Tf(s)|=|l| ||òasK(s, t)(j (t)-f (t))dt|
£|l| M(s-a)||j-f || ¥.
于是|T2j(s)-T2f(s)|=
|T(Tj(s))-T(Tf(s))|=|l| ||òas K(s, t)(
Tj(s)-Tf(s))dt|
£|l| òas |K(s, t)|
|l| M(t-a)|| (j (t)-f (t))||¥.dt=.|l|
应用归纳法不难证明对任意自然数n，有
|Tnj(s)-Tnf(s)|
£.|l|nMn ((s-a)n/n!||j-f || ¥
进而||Tnj-Tnf|| £.(|l|M ((b-a))n/n!||j-f || ¥
取自然数N，使a=(|l|M
((b-a))N/N！<1，则TN是压缩映射，从而存在唯一的jÎC([a, b])使得Tj=j。
上面应用(1)、(2)参考20世纪世界第一数学家、柯尔莫哥洛夫Kolmogorov的修订了八版的《函数论与泛函分析初步》
(3)、Banach压缩映像原理和Schauder不动点定理应用：例3：在Riemann-Liouville分数阶微分方程在实数域上解的性质中的应用：1996年Domenico Delbosco和Luigi Rodino在论文“Existence and
uniqueness for a nonlinear fractional differential equation. J. Math. Anal.
Appl. 204 (1996), no. 2,
609--625”利用Schauder不动点定理和Banch压缩映射原理证明了非线性分数阶微分方程Da(u)=f(x, u)解的存在性与唯一性，其中0<a<1；1993年Ahmed El-Sayed在论文“ Linear differential
equations of fractional orders. Appl. Math. Comput. 55 (1993),
no. 1, 1--12”中利用Banch压缩映射原理利用Schauder不动点定理和Banch压缩映射原理证明了线性分数阶微分方程dax(t)/dt a=f(t, x, da1x(t)/dt a1,…, danx(t)/dt an) 解的唯一性，其中a,ai ( i=1, 2, …,n)是实数，0<a1<a2<a…<an-1
<an<a；2003年Zaki El-Raheem在论文“Modification of the
application of a contraction mapping method on a class of fractional differential
equation. Appl. Math. Comput. 137 (2003), no. 2-3, 371—374”中通过修改Banch压缩映射原理证明了初值问题“①Datu(t)=f(t, u(t)), ②Dtju(t)= uj(0), j=0, 1,…,[ a]”解的全局存在唯一性，其中f(t, u)满足Lipschitz条件：| f(t, u)- f(t, v)|£L|u-
v)|.
顺注：关于前段中的基本概念分数阶微积分（参考中大何星飞莫党教授的1987年的分数阶微积分应用于物理的论文-这篇论文说关于分数阶微积分定义性质计算-参考1974年出版的书籍The Fractional Calculus（分数阶微积分）,作者：化学家 Keith
B. Oldham和陈省身大师的博士Jerome Spanier，并莫党教授在前文中说和中大化学系郑家龙教授讨论分数阶微积分，以及和Keith B.
Oldham交流过分数阶微积分的数学公式等），其可以说是和整数阶微积分几乎同时起源于300百多年前，即它的起源可追溯到
RD-a0,xf(x)=(1/G(a))òx0(x-t)a-
其中G(a)为Gamma函数
R-L导数定义：
RDa0,xf(x)= DnRD-(n-a)0,x f(x), nÎN
1867年Grunwald和1868年Letnikov用相同方法（即Gamma函数和M-L函数）给出了适用于离散化数值估算的解析定义式，即分数阶微积分的Grunwald-Letnikov（简称G-L）定义（又称为分数阶导数的级数定义）。
G-L积分定义：
GD-a0,xf(x)=limh®0+haåk=0ëx/hû(G(a+k)/(G(k+1)G(a))f(x-hk)=limh®0+haåk=0ëx/hû (a(a+1)(a+2)…(a+k-1))/( G(k+1)) f(x-hk)= limh®0+haåk=0ëx/hû (ak) f(x-hk), n-1<a<n, nÎN
G-L导数定义：
GDa0,xf(x)=limh®0+h-aåk=0ëx/hû(-1)k(G(a+1)/(G(k+1)G(a-k+1))f(x-hk)= limh®0+haåk=0ëx/hû(-1)k(a(a+1)(a+2)…(a+k-1))/k!) f(x-hk)= limh®0+haåk=0ëx/hû (-ak) f(x-hk), n-1<a<n, nÎN
1967年Caputo给出了分数阶微积分的Caputo定义。
Caputo积分定义
CD-a0,xf(x)=(1/G(a))òx0(x-t)a-
Caputo导数定义
CDa0,xf(x)= CD-(n-a)0,xDn f(x)= (1/G(n-a))òx0(x-t) n-a-
它们是迄今三种分数阶微积分基本定义，其中f(t)的范围应可怎样其定义才有意义，各位可自已考察。另外，能否推广它们？当然，发展那么久了肯定几乎没有可直接的推广，但必竟它远不如整数阶微积分那么成熟，因此能否有修补式的推广，各位也可自已尝试
不论如何，以前它仅做为数学纯理论来研究而发展缓慢。自20世纪60年代它用于控制领域和1965年美国耶鲁大学Mandelbrot教授提出分形概念，以及其后发现它也与记忆过程等现象都可建立密切联系起，自此，分数阶微积分才受到科技工作者越来越多的注意，并逐渐认识到，分数阶微积分可能是描述一些复杂运动、不规则现象、记忆特征、中间过程等方面恰当的数学工具（实际系统动态过程本质上也是分数阶的，如此运用分数阶系统模型可以更好描述系统特性）。从此，作为分形几何和分形动力学的基础，分数阶算子理论特别是分数阶微积分和分数阶微分方程的研究才得到了迅速发展，不过它的物理和几何意义则由Igor
Podlubny最近在牛津大学做访问时给出。今天，它在电子学、化学、地震分析、控制理论、机械力学、流体力学、机器人等方面有着越来越广泛的应用，还有如分数阶微积分在图像处理中的研究综述、分数阶微积分及其在飞行控制系统中的应用、基于分数阶微积分的岩土材料变形研究等）
最后，让我们看看上面原先是纯粹数学家，其后也仍在不断开拓纯粹数学的同时做为计算机之父、博弈论之父的von Neumann(冯·诺依曼)是如何为解决经济问题而创立博弈论的：“我们必须弄清楚博弈论是如何与经济理论联系起来的，这两种理论的共同点是什么。为此，最好的办法是对某些基本经济问题的性质给以简要的叙述，以便清楚地看出它们之间的相同之处，然后，就能明显地看出，建立两者之间的联系非但没有任何牵强附会，而且博弈论恰好就是用以创建一套新的经济理论的恰当工具”-《经济学中的数学方法》。他的几个最著名的师兄弟和师妹都搞图论和组合数学，而要创立也要掌控相关的知识才行
John von Neumann也曾关注组合学如他撰写的《形式主义的数学基础》-中国科学院李文林翻译说：过去几十年，重新考虑了普遍认为的古典数学之绝对有效性根源问题。由于布劳威尔、罗素和Hilbert的三个重要进展-越来越多的真正明确的数学问题而非趣味问题正在数学基础上得到研究。他说他这篇文章不讲布劳威尔、罗素而是专门讲“Hilbert在这些方法及其关系的组合学研究方面的贡献”。于Hilbert，台湾大学数学系系主任、《台湾数学期刊》总编辑曹亮吉教授说Hilbert是“他那時代最偉大的數學家”
1945年-1954年在MIT、密西根大学获得学硕博士、是伦斯勒理工学院副教授、浙江大学副校长、浙江省政协副主席