《不动点定理-网络1.doc》由会员分享，可在线阅读，更多相关《不动点定理-网络1.doc（5页珍藏版）》请在金锄头文库上搜索。
1、一、不动点算法又称固定点算法。所谓不动点，是指将一个给定的区域A,经某种变换(x),映射到A时,使得x=(x)成立的那种点。最早出现的不动点理论是布劳威尔定理(1912)：设A为Rn中的一紧致凸集, 为将A映射到A的一连续函数，则在A中至少存在一点x，使得x=（x）。其后，角谷静夫于1941年将此定理推广到点到集映射上去。设对每一xA，(x)为A的一子集。若(x)具有性质：对A上的任一收敛序列xix0，若yi(xi)且yiy0，则有y0(x0),如此的(x)称为在A上半连续，角谷静夫定理：设A为Rn中的一紧致凸集，对于任何xA，若(x)为A的一非空凸集，且(x)在A上为上半连续，则必存在xA,
2、使x(x)。J.P.绍德尔和J.勒雷又将布劳威尔定理推广到巴拿赫空间。不动点定理在代数方程、微分方程、积分方程、数理经济学等学科中皆有广泛的应用。例如，关于代数方程的基本定理，要证明(x)=0必有一根，只须证明在适当大的圆xR内函数(x)+x有一不动点即可；在运筹学中，不动点定理的用途至少有二：一为对策论中用来证明非合作对策的平衡点的存在和求出平衡点；一为数学规划中用来寻求数学规划的最优解。对于一个给定的凸规划（目前暂且认为凸规划就是非线性规划，读者注）问题：min(x)gi(x)0，i=1,2,m，在此,和g1,g2,gm皆为Rn中的凸函数。通过适当定义一个函数,可以证明：若上述问题的可行区
3、域非空，则的不动点即为该问题的解。在1964年以前，所有不动点定理的证明都是存在性的证明，即只证明有此种点存在。1964年，C.E.莱姆基和 J.T.Jr.豪森对双矩阵对策的平衡点提出了一个构造性证明。1967年，H.斯卡夫将此证法应用到数学规划中去。其后，不动点定理的构造性证明有了大的发展和改进。H.斯卡夫的证明是基于一种所谓本原集，后来的各种发展皆基于某种意义下的三角剖分。现以n维单纯形Sn为例来说明这一概念，在此,。对每一i, 将区间0xi1依次分为m1,m2等分，m1m20。由著名的施佩纳引理,在Gi中必存在一三角形i，它的n+1个顶点yi(k)的标号分别为k(k=1,2,n+1)于是
4、可得一列正数ij(j),使得(k)yk,k=1,2,n+1。根据i的作法，当ij时,收敛成一个点x。故yk=x,k=1,2,n+1。因(k)的标号为k,故ykCk,因而即x为所求的不动点。因此,求(x):SnSn的不动点问题就化为求 i(i=1,2,) 的问题。为了计算上的效果，除了上述的标号法之外，还有标准整数标号法、向量标号法等等。关于如何求i，有变维算法、三明治法、同伦算法、变维重始法等等，通过适当定义,可将上之Sn改为Rn或Rn中之一凸集。求一凸函数在一凸集上的极值问题也可化为求不动点问题。一般说来，这条途径适用于维数不高但问题中出现的函数较为复杂的情况。参考书目A.J.J.Talma
5、nVariable Dimension Fixed Point Algorithms and Triangulations, Mathematisch Centrum, Amsterdam, 1980.二、Prof. Yuguang Xu (徐裕光 教授)（ Kunming University, China (雲南省昆明學院)）Fixed point theory and its applications（在台湾成功大学所作的报告）不动点理论研究的内容属于数学的非线性泛函分析和一般拓扑学范畴。研究出的结果被广泛应用于分析数学，力学，微分方程，控制理论，最优化理论，非线性规划，数理经济学和博弈
6、论等应用性学科。(一)不动点理论的发展进程 一个简单的不动点问题（微积分中）； 1909 年， Brouwer 的著名的不动点定理及一系列的论文创立了不动点理论； 1922 年 , 波兰著名数学家 S. Banach 给出了一个既简单又实用的压缩映射原理，它也是一个不动点定理。在简单的条件下， Banach 压缩映射原理不仅指出了映射不动点的存在性和唯一性，还提供了一种逼近不动点的方法； 1967 年，美国数学家 H. E. Scarf 找到了计算单纯形连续映射不动点的组合拓扑有限算法，这也就是 Brouwer 不动点定理的构造性证明； 1941 年，日本数学家角谷静夫（ Kakutani ）
7、的集值不动点定理为博弈论建立在数学基础上作了理论准备； 1968 年的 Fan Browder 不动点定理， 1972 年的 Himmelberg 不动点定理以及 Tarafdar 在 1987 年和 1992 年分别在拓扑线性空间和 H 空间建立的不动点定理； 美国数学家 Michael （ 1956 年）， Deutsch 和 Kenderov （ 1983 年），应用集值分析中的连续选择原理在拓扑空间建立集值不动点定理和几乎不动点定理； 1990 年以后，关于不动点理论的研究达到一个高潮，在各种映射或空间条件下，讨论不动点，随机不动点，几乎不动点等，每年有上百篇论文发表，新的不动点定理和
8、各种迭代逼近方法不断涌现。(二)不动点理论的四个研究方向1. 在拓扑空间研究“不动点性质”（使用同伦群），不动点的有限算法（组合拓扑）； 丹麦数学家 Nielsen 研究不动点的个数（ Nielsen 数），开创不动点类理论的研究，大陆数学家的工作； 一般度量空间或拓扑向量空间的连续映射的不动点问题不动点的存在性问题研究映射的连续性，紧性，空间的紧性，凸性，单值或集值不动点的迭代逼近问题研究多种迭代方法，收敛性（强，弱），收敛速度，误差分析，稳定性 应用集值分析中的连续选择原理在拓扑空间建立集值不动点定理和几乎不动点定理并应用于博弈论研究。(三)不动点理论主流方向的研究现状，及研究前沿期待解决
9、的问题“一般度量空间或拓扑向量空间映射的不动点问题”是研究的主流。近 20 年来的研究发展主线： 迭代逼近算法的研究（从 Mann 迭代到杂交迭代等）； 强伪压缩映射的不动点，强增生算子方程的迭代解（两者的联系）； 迭代误差分析和稳定性研究； 有待解决的几个问题（一般情况下的收敛性问题， 迭代收敛的等价性问题，不动点存在性和迭代逼近的条件的协调性问题，关于 Schauder 猜想）。其次为“应用连续选择原理建立集值不动点定理和几乎不动点定理”的研究。现有的最好结果和需要解决的问题：a ） 上（下）半连续集值映射与其不动点存在性的拓扑同伦关系；b) 具备弱于上（下）半连续性的集值映射与其不动点的
10、存在唯一性的充要条件；c) 探索几乎均衡解与几乎不动点存在性的关系。三、维基百科中关于Kakutani fixed point theoremhttp:/en.wikipedia.org/wiki/Kakutani_fixed_point_theorem应用领域之一：博弈论MathematicianJohn Nashused the Kakutani fixed point theorem to prove a major result ingame theory.Stated informally, the theorem implies the existence of aNash equ
11、ilibriumin every finite game with mixed strategies for any number of players. This work would later earn him aNobel Prize in Economics.In this case,Sis the set oftuplesofmixed strategieschosen by each player in a game. The function (x) gives a new tuple where each players strategy is her best respon
12、se to other players strategies inx. Since there may be a number of responses which are equally good, is set-valued rather than single-valued. Then theNash equilibriumof the game is defined as a fixed point of , i.e. a tuple of strategies where each players strategy is a best response to the strategi
13、es of the other players. Kakutanis theorem ensures that this fixed point exists.翻译：数学家约翰.纳什应用角谷静夫不动点理论证明了博弈论中的大量的结论。可以说角谷静夫不动点理论意味着在每个具有任意数量玩家的混合策略有限博弈中纳什均衡是存在的！此项工作将在未来（1994年）为他赢得诺贝尔经济学奖。在这种情况下，S是博弈中每个玩家所选择的混合策略元组的集合。方程(x)给出一个新的元组，其中每个玩家的策略是在X中她对其他玩家所选策略的最优选择。由于可能有许多选择是不相上下的，所以是集值而不是单值。博弈中的纳什均衡被定义为的不动点，比如，一个策略元组，其中针对其他玩家的策略每个玩家的策略都是最优的。角谷静夫的理论确保了此不动点是存在的！四、我的理解角谷静夫不动点理论的重要性在与将布劳威尔定理中的存在某一个点xA,使得x=f(x)在A范围中成立扩展到存在A上的一个子集X*使得x=f(x),xX*。（数学表达不准确，大概是这个意思。O(_)O）这个理论正好为纳什证明“所有有限博弈至少有一个纳什均衡”提供了有力的理论工具！
