不动点定理和Banach压缩映像定理的应用

合集下载

压缩映像原理翻译部分

压缩映像原理翻译部分

部分1.文摘结果主题和概括。

压缩映像原理是一种研究非线性程最有用的工具,比如代数程,积分或微分程。

原则是一个不动点定理,证明了完备度量空间的压缩映像本身有一个独特的固定 点通过反复图像的映射下任意起始点的空间获得极限的定义。

因此,这是一个建设性的不动点定理并且可以实现定点的数值计算。

从古代数学(即计算古代数字平根的古代案)以来,迭代格式一直被使用并且在牛顿法求解多项式或代数程组和皮卡德的迭代过程求解初值和边值非线性常微分程的问题变得特别实用(见,[58],[59])。

在完整的赋线性空间中,这个原理首先被巴拿赫5证明在收缩映射(在巴拿赫的多结果请看[60])。

同时,豪斯多夫为完备度量空间的收缩映射(来自Caccioppoli 17, [75])提供了总体框架原则,介绍了一个抽象的度量空间的概念。

它出现在各种文本实际分析(前一个注释,[56])在这些记录中,我们用不同的形式开发压缩映像原理并且提供不同数学文献中的多应用程序。

我们的目的是向读者介绍一些关于已经发现有用的原则在不同区域的分析。

我们会讨论这些分析:牛顿法的收敛;如确定分形是固定的点集值压缩迭代函数系统;积极使用希尔伯特的度量矩阵的门阶-弗罗贝尼乌斯定理和这个无限维空间的拓展(定理Krein-Rutman); 常微分程的存在性和唯一性定理的基本理论(Picard-Lindel 定理)和各种相关的结果;Abel-Liouville 类型的积分程理论的应用程序;隐函数定理;变分不等式的基本存在和唯一性定理;非对称二次形式的Lax-Milgram 类型结果;Cauchy-Kowalevsky 基本存在性定理的偏微分程的分析条件。

这些记录已经收集了几年,最近,被用来作为研讨会中VIGRE 项目的一个部门基础部分。

我们在这里要感那些参加了研讨会的本科学生,给了我们有价值的反馈。

2.完备度量空间在本节中,我们短暂回顾大多数本科生数学课程中一些非常基本的概念。

不动点定理

不动点定理

不动点定理
(Fixed-point theorem )
举例:头皮的旋儿,指纹,地球表面无风处等,搅动杯中咖啡,两张报纸
三维空间中的情况:如果我们用一个密封的锅子煮水,那么总有一个水分子在煮开前的某一刻和煮开后的某一刻处于同样的位置。

地球绕着它的自转轴自转。

自转轴在自转过程中的不变的,也就是自转运动的不动点。

布劳威尔不动点定理
1. 区间[0,1]到[0,1]的连续映射f . 存在0[0,1]x ∈,使得00()f x x =.
2. 矩形[0,1]⨯[0,1]到自身的连续映射F . 存在00(,)x y ∈[0,1]⨯[0,1],使得0000(,)(,)F x y x y =。

3. 推广到多维情况: Brouwer 不动点定理断言:从有限维欧氏空间中的紧凸集到自身的任意连续映射具有不动点。

据调查统计90%以上的数学家都能叙述这个定理,但只有不到10%的数学家能够给出证明.
由于价格均衡原理Deberu 获得诺贝尔经济学奖(1983)
Nash 在普林斯顿的博士论文中,证明多人博弈平衡点的存在性时用的正是他重新发现的―Brouwer 不动点原理
巴拿赫压缩映像原理
先介绍压缩的含义
一维情况举例
二维情况举例,地图与真实地域关系。

三位情况举例,占满容器的海绵再压缩。

描述高维情况
庞卡莱-伯克豪夫扭转定理
(Poincare-Birkhoff Twist Theorem)
莫泽扭转定理
(Moser Twist Theorem)。

Brouwer不动点定理的几种证明

Brouwer不动点定理的几种证明

Brouwer不动点定理的几种证明学院名称:专业名称:学生姓名:指导教师:二○一一年五月摘要Brouwer不动点定理是很著名的定理.其中,关于它的证明很多有:代数拓扑的证明、组合拓扑的证明、微分拓扑的证明等.都涉及拓扑学上许多复杂的概念和结果.关于该定理,也可以用图论的方法证明,用离散离散理论解决连续系统中问题.本文试图在总结其他证明方法的基础上,对图论的方法证明Brouwer不动点定理进行详细的介绍来体现这一思想.关键词:Brouwer;不动点.ABSTRACTBrouwer fixed point theorem is very famous theorem . Among them , about its proof many : algebra topologies, proof of the proof, differential combined topology etc. The proof of topological Involves many complex on the concept of limited and results.About this theorem, also can use graph method to prove, in a discrete discrete theory in solving continuous system. This article tries to summarize the other proof method based on the method of graph theory prove Brouwer fixed point theorem for detailed introduction to reflect this thought.Keywords: Brouwer; Fixed point.目录第一章引言 (1)1.1 研究背景 (1)1.2 本课题的研究内容 (1)第二章 Brouwer不动点定理的证明 (2)2.1 Brouwer不动点定理的图论证明 (2)引理2.1.1(sperner,1982) (3)定理2.1.2 (Brouwer) (3)2.2 Brouwer不动点定理的初等证明 (5)2.2.1 基本概念与引理 (5)定理2.2.2.1(Banach不动点定理) (5)定理2.2.2.2(KKM定理) (5)2.2.3 Brouwer不动点定理的证明 (7)定理2.2.3.2 (FKKM定理) (7)定理2.2.3.5(Brouwer不动点定理) (8)2.3 Brouwer不动点定理的nor分析证明 (9)2.3.6 Brouwer不动点定理 (18)参考文献 (19)致谢 (20)第一章引言1.1 研究背景Brouwer不动点定理是非线性分析和拓扑学中的重要基本定理,它的叙述简洁,应用广泛,但证明却很不简单.不论是代数拓扑的证明[1],还是组合拓扑的证明[2],以及微分拓扑的证明[3],都涉及拓扑学上许多复杂的概念和结果.1978年著名的微分拓扑学家nor给出了一中新证明[4],只用到多变量微分学的知识和某些基本分析定理.关于该定理,也可以用图论的方法证明,这种离散理论解决连续系统中问题的思想,对我们也给了很大的启示.本文试图在总结其他证明方法的基础上,对图论的方法证明Brouwer不动点定理进行详细的介绍.1.2 本课题的研究内容整理Brouwer不动点定理的初等、图论方面的证明和nor给出的用多变量微分学和某些基本分析定理的新证明.详细介绍Brouwer不动点定理的图论方法证明,体现离散理论解决连续系统中问题的思想.12第二章 Brouwer 不动点定理的证明2.1 Brouwer 不动点定理的图论证明Brouwer 不动点定理:若2∆表示平面上一个三角形区域围成的闭区域,f 是2∆到自身的连续映射,则f 至少有一个不动点,即存在一点20p ∈∆,使得00()f p p =.首先把2∆剖分成若干小三角形区域,即221m i i δ=∆=,221,n ij i ji j mδδ≠≤≤的面积为零.把2∆的三个顶点分别标志位0,1,2.每个2i δ的顶也用{0,1,2}中的数标志.若2i δ的顶i p 在2∆上的边上,且2∆的这条边端点之标号为k 与m ,2i δ的顶也标成k 与m ,称这些标志位正常标志,在正常标志中小三角形2i δ的三顶分别标志0,1,2时,称2i δ为正常三角形,见图a.2∆的这种标志的剖分称为三角剖分.1图 2.1v v 1v 59v 10v 11图 2.23引理2.1.1(sperner ,1982)在2∆的三角剖分中,正常三角形为奇数个.证:记20δ为2∆的外部区域,22212,,...,m δδδ是2∆进行三角剖分得到三角形子区域.以{}22212,,...,m δδδ为顶集造一个图G ,对于i 与j 接非零的情形,仅当2i δ与2j δ有公共边具此边端点标志为0与1时,才在此二顶间连一边,对20δ与2(0)i i δ≠的情形,仅当2i δ的0-1标志的边落在2∆的0-1标志的边上时,在顶20δ与2i δ间连一边,见图b.由于上述图G 中奇次项的个数是偶数,如果20()d δ是奇数,则22212(),(),...,()m d d d δδδ中奇数个奇次项,又2()3,1,2,...,i d i m δ<=.故22212,,...,m δδδ中的奇次项是一次项.而仅当2i δ是正常三角形时,2()1i d δ=,所以正常三角形有奇数个.下证20()d δ是奇数.事实上,20()d δ是2∆上0-1边上以0与1为端点的小区间的个数.当的这条0-1边之内点为任何小三角形之顶时,,是奇数.当的这条边内有小三角形之顶时,由于标志是正常的,的则这种小三角形在的这条0-1边上之端点标志位0或1.这时又有两种情况,(i )在这条0-1边上的小三角形顶皆标志0或皆标志1,则,(ii )在2∆这条0-1边上的小三角形之顶点标0与标1都有时,我们把端点标号一样的小区间收缩成一点,标号不变,则f 的这条0-1边上的标号序列为0-1交错列010101…01,这里出现奇数个以0,1为端点的小区间,故20()d δ为奇数.证毕. 定理2.1.2 (Brouwer)f 是2∆到自己的连续映射,则存在'20p ∈∆,使''00()f p p =. 证:012,,p p p 是2∆的三个顶点,则对任意2p ∈∆,可以写成001122p a p a p a p =++,则0i a ≥,201i i a ==∑,其中的012,,,p p p p 是二维向量,且012(,,)p a a a =,'''012()(,,)f p a a a =.令{}2'012012(,,)|(,,),,0,1,2i i i S a a a a a a a a i =∈∆≥=. 如果能证出 012S S S φ≠,则存在012012(,,)a a a S S S ∈,且',0,1,2ii a a i ≤=;又22'01i i i i a a ====∑∑,故必有'''001122,,a a a a a a ===,即f 有不动点. 下证2i i S φ=≠.事实上,考虑2∆的正常标志的三角形剖分,使得标志i 的每个顶点属于,0,1,2i S i =.2∆上任意一点'''012012(,,),()(,,)p a a a f p a a a ==时,存在一个i S ,使i p S ∈,且0i a >;否则当每个0i a >时,'ii a a >.于是22'00ii i i a a ==>∑∑,矛盾.若一个三4角形顶点i p S ∈且0i a >时,p 标志以i ,这种标志是正常标志,例如2∆的顶点(0,1,2)i p i =有1i a =,故i i p S ∈,标成i ;在2∆的01p p 边上各点的20a =,我们只能把这边上的点标以0或1;02p p 边上的点同理只能标志0或2;12p p 上的点只能标志1或2,故正常标志.由引理知,至少有一个正常三角形,其中顶点分别属于012,,S S S .我们是剖分无限变密,且小三角形中的最大直径足够小,则有分别在012,,S S S 中的三个点,两两相距可以任意小,又f 是连续的,故012,,S S S 是闭集.于是,012S S S φ≠.证毕.52.2 Brouwer 不动点定理的初等证明2.2.1 基本概念与引理定义2.2.1.1 设E 是一线性空间,其一切子集构成的集族记为2E .子集A E ⊂称为有限闭的,若它与每一有限维平面L E ⊂的交按L 上的Eucild 拓扑是闭的;一个集族{}A λλσ∈称为有限交性质,如果它的每一有限子集的交不空.定义2.2.1.2 设E 是一线性空间,X 是E 上的任意子集,称:2E G X →是一个KKM 映像,如果对任何有限子集{}12,,...mx x xX ⊂,有:{}121,,...()m mi i x x x G x =∞⊂引理2.2.1.3 设集合n X R ⊂非空,则距离函数()inf y Xd x x y ∈=-是Lipschitz的,即有:()()d x d y x y -≤- ,n x y R ∀∈2.2.2 利用Banach 不动点定理证明KKM 定理 定理2.2.2.1(Banach 不动点定理)有限维空间中有界闭凸集上的连续自映射必有不动点. 定理2.2.2.2(KKM 定理)设E 是一线性空间,X 是E 的子集,:2E G X →是一KKM 映像.如果对于任何x X ∈,()G x 是有限闭的,则集族{}()|G x x X ∈具有有限交性质.证: 反证法.假设存在{}12,,...mx x xX ⊂使得1()m i i G x φ==.设L 是由{}12,,...mx x x 张成的有限维平面,d 是上的Eucild 的度量.令{}12,,...mD co x x x =,则D L ⊂.由假定每个1,2,...,()i i m L G x =在L 中闭,故(,())0i d x L G x =的充分必要条件是()i x LG x ∈.定义函数: 1()(,())mi i x d x L G x λ==∑由于1()mii G x φ==,故对于每一x D ∈,()0x λ>.由引理1知:6()()x y n x y λλ-≤- ,x y D ∀∈不妨设D 包含原点,否则用11m ii D x m =-∑代替D 即可.令:11()(,())()mi i i f x d x L G x x t x λ==∑ x D ∀∈ 式中,1t >是待定参数.则:f D D →连续,且对任意,x y D ∈,有:1111()()(,())(,())()()mmiii i i i f y f x d y L G x x d x L G x x t y t x λλ==-≤-∑∑1111(,())(,())()()m miii i i i d y LG x x d x LG x x t y t y λλ==≤-∑∑1111(,())(,())()()mmiii i i i d x L G x x d x L G x x t y t x λλ==+-∑∑下面对式(3)右端两项分别进行估计.首先由引理1.对任意,x y D ∈,有:1111(,())(,())()()mmiii i i i d y L G x x d x LG x x t y t y λλ==-∑∑11()()mi i x x y t y λ=≤-∑ 其次根据式(2),对任意,x y D ∈,有:1111(,())(,())()()mmiii i i i d x L G x x d x L G x x t y t x λλ==-∑∑11(,())()()()()mi i i d x L G x x x y t x y λλλλ=≤-∑1((,()))()()mi i i n d x L G x x x y t x y λλ=≤-∑综合式(3)、(4)、(5)知:(,)()()h x y f y f x x y t-≤-7式中,111(,)(,())()()()m mi i i i i nh x y x d x L G x x y x y λλλ===+∑∑.在有界闭集D D⨯上连续,因此有最大值M .取足够大的{}max ,1t M ≥,则,f 构成D 上的一个压缩映射.由Banach 不动点定理知道,,有一不动点x D ∈.令{}{}|(,())0,1,2,...i I i d x LG x i m -=>∈则()ii Ix G x -∈∉.另外:11()(,())()mi i i x f x d x L G x x t x λ---===∑{}1(,())|()()i i i i i Ii Id x LG x x x i I G x t x λ--∈∈=∈∞∈⊂∑导致了矛盾.故定理2成立.2.2.3 Brouwer 不动点定理的证明引理2.2.3.1 设集族{}A λλσ∈是n R 中的非空闭集合,其中一个有界,具有有限交性质,则该集族看非空交.证明:反证法.假设A λλσφ∈=,则它的余集为全空间,即()n CA C A R λλλσλσ∈∈==即开集CA λ.的并覆盖全空间,当然也覆盖集族中的有界闭集.由有限覆盖定理知,存在有限个开集12,,...,m CA CA CA .覆盖住0A ,即:012m A CA CA CA ⊂从而:012m CA A A A ⊃,即:012()m A A A A φ= 这与假设相矛盾,从而引理2成立.定理2.2.3.2 (FKKM 定理)设X 是n R 中的非空紧凸集,:n G X R →是闭值的KKM 映射,且存在一点0x 使0()G x 有界,则集族{}()|G x x X ∈有非空交.证明 :根据定理2知集族{}()|G x x X ∈具有有限交性质,于是根据引理2知定理3成立.引理2.2.3.3. 设X 是n R 中的非空紧凸集,映射:n G X R →连续,则至少存8在一点y X -∈使得:()inf ()x Xy G y x G y ---∈-=-引理2.2.3.4. 设X 是n R 中的非空紧凸集,映射:n G X R →连续.若对于X 中每一满足()x G x ≠的点x ,连结x 和()G x 的线段[],()x G x 至少包含X 中2点.则G 在X 中有不动点.定理2.2.3.5(Brouwer 不动点定理)设:n n G D R R ⊂→是闭集D 上的压缩映像,()G D D ⊂,则对任意0x D ∈,迭代序列:1()k k x G x += 0,1,...k =存在唯一的极限点.证明:由引理2.2.3.3,2.2.3.4可知Brouwer 不动点定理2.2.3.5成立.92.3 Brouwer 不动点定理的nor 分析证明2.3.1 考虑所有实数n 元组的集合1{{,...,}|(1)}n n i E x x x x i n ==≤≤是实数,在n E 上引进三种线性运算之后,{,,,,}n n R E =+⋅<>就称为n 维欧式空间,其中1(,...,)n x x x =称为n R 的点或向量,诸i x 称为点x 的坐标或向量x 的分量;向量(,...,)i n x x x =和(,...,)i n y y y =相加,结果是一个向量,定义为11(,...,)n n x y x y x y +=++ 实数α和向量x 相乘,结果是一个向量,定义为1,...,)(n x x x ααα=向量x 和y 的内积是一个实数,定义为 1,ni ii x y x y =〈〉=∑于是,向量的长度定义为x ==向量x 和y 的之间的距离就是x y -=由于对任何α有2,,2,,0x y x y x x x y y y αααα〈++〉=〈〉+〈〉+〈〉≥ 所以判别式2,,,0x y x x y y 〈〉-〈〉〈〉≤ 即是对任何x 和y n R ∈有Canchy By -∏不等式 |,|x y x y 〈〉≤⋅10等式成立的充要条件是:相差一个常数因子.因此我们可以定义的夹角,x y 〈〉︿的余弦为cos ,x y 〈〉︿,x y x y〈〉⋅=显然,,cos x y 〈〉≤︿1||;x 和y 相差正数因子时,,cos x y 〈〉≤︿1|;相差负数因子时,,cos x y 〈〉=-︿1||;此外由于222,x y x y x y -=+-〈〉222,cos x y x y x y +-〈〉⋅︿=2与通常的余弦定律一致,所以,cos x y 〈〉︿的定义是合理的.从而,向量x 和y 正交定义为, ,x y 〈〉︿=0.向量x 可以用从原点到点x 的有向线段来表示,也可以平行移动到任何位置,只依赖于方向和长度.因此,在图示中,两个向量相加可以用平行四边形法则,也可以用三角形法则.图 2.3(a) 图 2.3(b)2.3.2 命*I 是n R 中的一个区域.如果对任何向量*x I ∈,都相应的地有一个向量()n y x R ∈,就说y 是把*I 映入n R 的一个映像(变换).如果()y x 的诸分量1(,...,)(1)i n y x x i n ≤≤是1(,...,)n x x 的连续函数,就说y 是连续向量场.注意,在说到连续可微时,总是指函数对各个变元的一阶偏导数在包含*I 的一个n 维开领域中处处存在且连续.引理2.3.2.1 命*I 是有界闭域,v 是*I 上的连续可微向量场.于是存在Lipchitz 常数c ,使得*()(),,v x v y c x y x y I -≤-∈证明,由于v 是*I 上的连续,所以对任何*I ξ∈,存在()0δξ>,使得v 在方体 (,()){|||()(1)}n i i I x R x i n ξδξξδξ=∈-<≤≤11处处连续可微,命 *(,())sup ||iij x I jI v c x ξδξξ∈∈∂=∂ 于是,根据微分中值定理,对任何,(,())x y I ξδξ∈有22()()|(,...,)(,...,)|i n i n iv x v y v x x v y y -≤-∑1222{|(,...,)(,,...,)|i n i n iv x x x v y x x ≤-+∑1212|(,...,)(,,...,)|i n i n v y x x v y y x -+ .........1212|(,...,)(,,...,)|}i n i n v y y x v y x x -,,||ij i i ij i ji jc x y c x y ≤-≤-∑∑今证存在0δ>,不依赖于*I ξ∈,使得对任何,(,())x y I ξδξ∈,上述吧不等式成立.否则,对任何正整数p ,存在*p I ξ∈以及1,(,)p p p x y I pξ∈,使得()()p p ij p p ijx x v y c x y -≤-∑由于*I 是有界闭集,根据Bolzano-Weierstrass 定理,可设*p I ξξ→∈,从而,,p p x y ξ→.于是,当p 充分大时,,(,())p p x y I ξδξ∈,所以,()()p p ij p p ijv x v y c x y -≤-∑矛盾.这样一来,如果命 *,()()sup x y I M v x v y ∈=- ,max{,}ij i jMc c δ=∑则对任何*,x y I ∈有()()v x v y c x y -≤-引理2.3.2.2 命*I 是有界闭域,v 是*I 上的连续可微向量场.命u :*n I R →是一个变换,定义为*()(),u x x t v x x I =+⋅∈ 于是,当||t 充分小时,u 是把*I 变成区域*()u I 的一一变换,区域*()u I 的体积可以表示为t 的多项式.证明:据引理1,设是的Lipschitz 常数.于是,当1||t c<时,变换u 是一一的.因为,若x y ≠而()()v x u y =,则由(()())x y t v y v x -=- 推出||x y t c x y x y -≤-<-,矛盾. 其次,由于所以的Jacobi 行列式是12,,()[]1,0,ii j ji jv J u tx i j i jδδ∂=+∂=⎧=⎨≠⎩因而可以表为的多项式:1()1()()n n J u a x t a x t =+++其中诸()i a x t 显然是的连续函数.注意,当0t =时,这个行列式之值为1,所以只要||t 充分小,则()J u 恒为正.于是,则反函数定理,当||t 充分小时,u 是把区域*I 变成区域*()u I 的一一连续可微变换,它的逆变换也是连续可微的.因此,按照体积的积分定义以及n 重积分的换元法则,区域的体积可以表示为**1()(())n u I vol u I du du =⎰⎰*12()I J u dx dx =⎰⎰01n n a a t a t =+++其中 **1()i i n I a a x dx dx =⎰⎰*0,1,,,1i n a ==,nc k 中的1n -维单位球面定义为 1{|1}n n S x h x -=∈= 命v 是1n S -上的向量场.如果对任何1n x S -∈都有,()0x v x =,就说v 是1n S -上的向量场.今设v 是1n S -上的连续可微的单位切向量场,即是对任何1n x S -∈有()1v x =. 考虑区域图 2.4*13{|}22n I x k x =∈≤≤13命*()(),xv x x v x I x=∈ 于是,v 被扩充为*I 上的连续可微的切向量. 再考虑变换*:n u I k → *()(),u x x tv x x I =+∈ 由于()u x ==可见变换u 把半径为13()22r r ≤≤的球面1(){|}n n S r x R x r -=∈=变到半径为的球面1(n S -上.引理2.3.2.3 当t 充分小时,变换u 把1()n S r -变成1(n S -证明:设11,3t t c<<,其中c 是在上的Lipschitz 常数.对于任何固定的10(n u S -∈命*()(),w x tv x x I =∈ 由于1()2tv x t x =⋅<, 所以13()()()22tv x w x tv x <-≤≤< 此外, ()()()()w x w y t v x v y t c x y -=⋅-≤⋅⋅-而1t c ⋅<,可见w 是把欧氏空间的闭集映入自身的压缩映像,据压缩映像原理,有唯一的原动点00()x w x =,即00()x tv x =+,所以1x =000()u tv ξξ=+,其中100n x S ξ-=∈.这就证明了对任何10(n u S -∈,存在唯一的10n S ξ-∈,使得00()u u ξ=14图 2.52.3.3 现在让我们对半径为r 的n 维球体(){|}n n B r x R x r =∈≤的体积给出一个计算公式(())n n n vol B r c r =其中 111312,2221322,23n nn n n cn n n c n n c n n n π----⎧⎪⎪-=⎨--⎪⎪-⎩为偶数为奇数 事实上,例如12342,,3c c c ππ===,按归纳法有10(())2[rn n n vol B r vol B dx -=⎰ 221012()2rn n n n c r x dx --=-⎰ 2102cos nn n c r d πθθ-=⎰算出上述积分,就得到所要的结果.图 2.6152.3.4 现在我们问:球面1n S -上是否存在连续可微的单位切向量?这个问题的回答有些古怪.如果1n -是奇数,回答是肯定的,事实上我们可以给出所要的向量,例如121321()(,,,),n n n v x x x x x x x x S --=---∈但是,如果1n -是偶数,回答则是否定的定理1.偶数维球面上不存在连续可微的单位切向量场.证明:假若不然,当n 是奇数时,若1n S -上存在连续可微的单位切向量场v ,则据引理3,变换()()u x x tv x =+当t 充分小时把区域*13{|}22n I x R x =∈≤≤变成区域*(){n u I x R x =∈≤≤,所以*()u I 的体积是*(())[[n n vol u I vol B vol B =-31[()()22n n n n c =-*()n vol I =由于n 是奇数,这个体积不可能是t 的多项式,因而和引理2的结果矛盾. 定理1还可以稍加推广如下.定理2.偶数维球面上不存在处处不为零的连续向量场.证明:假若不然,命v 是1n S -上处处不为零的连续向量场, 1()n x Sm Min v x -∈=.于是0m >.据Weierstrass 逼近定理[8],中有界闭集上的连续函数可以用多项式函数均匀逼近,所以存在一个多项式映像1:n n p S R -→,即诸()i p x 都是1(,,)n x x 的多项式,图 2.716使得 1()(),n p x v x m x S --<∈ , 命 1()()(),,n u x p x p x x x x S -=-∈即 1()()()n i i j j i j u x p x p x x x =⎛⎫=- ⎪⎝⎭∑ 显然,上的联讯可微向量场,此外,21(),(),(),0,n u x x p x x p x x x x S -=-=∈所以u 是1n S -上的切向量场,最后,()0u x =蕴涵()(),p x p x x x =, 所以(),()0p x v x =,()()p x v x m -=>矛盾,从而u 在1n S -上处处不为零.因此()()()u x w x u x =就是1n S -上连续可微的单位切向量场.但是,如果1n -是偶数,定理1说,这是不可能的.例.地球表面的风的分布可以视为向量场,向量的长度和方向分别表示在该点的风力和风向.风力的分布当然是连续的,所以这个定理说,地球表面上总有一处是完全无风的.2.3.5 现在介绍一种方法,怎么样从维球体傻瓜的向量场构造出维球面上的切向量场.考虑1n k +,设111{|0}{|1}{|1}n n n n n n n k x k x S x k x B x k x +++=∈==∈==∈≤图 2.8n B 的边界球面1{|1}n n S x k x -=∈=是n S 的赤道.假设给了n B 上一个处处不为零的连续向量场u ,使得1n x S -∈时,()u x x =.首先,利用北极投影把n B 映成南半17球1{|0}n n n S x S x -+=∈≤,奇数对任何n x B ∈,从北极(0,0,1)N 到1(,,0)n x x x 的连线与n S 的交点ξ就是所要的对应点.容易验证,北极投影的确定义是2121()(2,,2,1),1n n x x x x x B x ξ=-∈+ 他的递变是111()(,,,0),1n n n x S ξξξξξ-+=∈-显然,这两个变换都是连续可微的.对于任何固定的n x B ∈, n k 中的直线()x tu x + ()t a <经过北极投影变成n S 上的球面曲线(())x tu x ξ+ (注意,北极投影显然对整个n k 上的点都有定义,不过n k 中不属于的点背变到北半球上罢了).我们来证明:这条曲线在0t ≤时速度向量()u ξ是n S -在ξ处的切向量.事实上,按定义有 0()(())|t d u x tu x dt ξξ==+ 2201[(2()),,(2()),()1]1()t d x tu x x tu x x tu x dt x tu x =⎧⎫⎪⎪=⋅+++-⎨⎬++⎪⎪⎩⎭ {22121221(1)[2(),,2(),2,()][2,,2,1]2()[1]n x u x u x x u x x x x x u x x =+⋅--++ 由于()u x 连续依赖于x ,而x 连续依赖于ξ,可见()u ξ连续依赖于n S ξ-∈.此外,{}22222221(),(1)[4,()(1)2,()][4(1)]2,()[1]u x x u x x x u x x x x u x x ξξ=+⋅+--+-+ {2222221(1)2,()(1)2,()[1]0x x u x x x u x x =+-++=可见,u 是n S -上的连续切向量场.最后,还应指出μ在n S -上处处不为零,因为()0μξ=蕴涵,()0x u x =,从而有推出所有的()0i x μ=,与假设矛盾.只要当1n x S -∈时,(),()x x u x x ξ==所以()(0,,0,1)μξ=指向正北.同样,如果我们利用南极投影和向量场u 我们将得到北半球{}1|0n n n S x S x ++=∈≥上的处处不为零的连续向量场μ,但是在赤道1n S -上这个向量场指向正南.为了得到整个球面n S 上的连续向量场,我们利用向量场u -,这样18相应的向量场μ在赤道1n S -上也指向正北.与南半球上的向量场一致.这样一来,我们从所给的向量场u 构造出在整个上处处不为零的连续向量场μ.2.3.6 Brouwer 不动点定理定理3.把n 球体映入自身的任何连续映象f 至少有一个不动点,即存在n x B ∈,使()f x x =证明:假若不然,对任何n x B ∈,()f x x ≠.命1,(),1n x x u x x y x B x y-=-∈-- 其中()x f x =显然,当1n x S -∈时,()u x x =; ()u x 连续依赖于x ,因为,1x y ≠.此外,u 在n B 上处处不为零,因为()0u x =蕴涵,x x x y y x x y --=-或,,x x x x y y x x y +=+ 所以,,,,,,x x x x y x y x x x x y +=+ 即 ,,x x y x =由此再据()0u x =即得y x =于是,u 是n B 上处处不为零的连续向量场.使得1n x S -∈时,()u x x =.据F ,可以由此构造n S 上处处不为零的连续切向量场μ.据定理2,当是偶数时是不可能的.因此,我们证明了当n 是偶数时的Brouwer 定理.奇数的情形则由偶数的情形立即推出.事实上,如果2121:k k f B B --→没有不动点,那么22:k k F B B →也没有不动点,这里12121(,,)((,,),0)k k F x x f x x -=.参考文献[1] 江泽涵,拓扑学引论(第二分册)[M].1965年,上海科技出版社,126.[2] 中国科学院数学研究所,《对策论(博弈论)》[M].1965年,人民教育出版社,1960.[3] V.Guillemin,A.Pollack,Differential Topology,Prentice-Hall,Inc.1974.[4] nor. Analytic proofs of the"Hainy Ball Theorem"and the Brouwer Fixed Point Theorem[M]. 1978年,521—524.[5] 王树禾,图论(第二版)[M].2009年,科技出版社,15.[6] 熊金城,点集拓扑讲义(第三版)[M].2003年,高等教育出版社,251.[7] 燕子宗,杜乐乐,刘永明,Brouwer不动点定理的初等证明[J].长江大学学报,2008,5(1),15-17.[8] 岳崇山,用组合发证明三维情况的Brouwer不动点定理 [J].数学学报,1962,No.7,p.33.[9] 江上欧,压缩映象原理的产生与应用,河北北方学院学报,2006,6(1),3-6.[10] J.Dieudonne,Elements d’Analyse,I.fondements de l’Analyse moderme Ganthier-Villars,1972.19致谢回首既往,自己一生最宝贵的时光能于这样的校园之中,能在众多学富五车、才华横溢的老师们的熏陶下度过,实是荣幸之极.在这四年的时间里,我在学习上和思想上都受益非浅.这除了自身努力外,与各位老师、同学和朋友的关心、支持和鼓励是分不开的.论文的写作是枯燥艰辛而又富有挑战的.老师的谆谆诱导、同学的出谋划策及家长的支持鼓励,是我坚持完成论文的动力源泉.在此,我特别要感谢我的论文指导老师刘永平老师.从论文的选题、文献的采集、框架的设计、结构的布局到最终的论文定稿,从内容到格式,从标题到标点,她都费尽心血.没有刘老师的辛勤栽培、孜孜教诲,就没有我论文的顺利完成.在此我还要感谢和我一起学习和生活的同学,与他们的交流使我受益颇多.最后要感谢我的家人以及我的朋友们对我的理解、支持、鼓励和帮助,正是因为有了他们,我所做的一切才更有意义;也正是因为有了他们,我才有了追求进步的勇气和信心.这也将是我克服困难、不断前进的精神动力.郝斌斌2011年4月于兰州城市学院20。

压缩映像原理在递推数列极限中的应用

压缩映像原理在递推数列极限中的应用
2 应 用
收稿 日期 :2006—12—16 作者简 介 :吴秉会 (1978一),男 ,黑龙 江齐 齐 哈尔 人 ,助 教. E—mail:wbh760776@163 m
维普资讯
高 师 理 科 学 刊
第 27卷
以下各例均取材于部分高校研究生入学试题 ,并进行 了一定的推广 ,使其更具一般性.
定理 1 厂为R R(或闭集 , , )的压缩映像 ,则对 。∈R(或 Vx0∈F ),迭代数列 =f(x ) = 0,l,2,…必 收敛 于 厂( )的唯一 不 动点 ,即 lim = ‘且 ‘=f(x‘)、
定义 2 厂是 【口,b] 【a,b]的映像 ,若满足 l f(x)一f(Y)l<l —Yl,Vx≠Y, ,Y∈【a,b],则称 厂 为 【a,b]到 【a,b]的广义压缩映像.
1 概念和定理
Banach不动点原理——压缩映像原理 是建立在完备的度量空间基础上的 ,由实数集 R的完备性及闭 集 , 的完备 性 ,有 如下 的定义 和定理 :
定义 1 厂为R R (或闭集 F F )的的映像 ,如果 ]0<k<l使得 lf(x)一f(Y)l<kl —Yl, , Y∈R (或 ,Y∈F )则称 厂是一个压缩映像.

值对数列极限无影响 ,从而对 的要求可以减弱为{“ }c , =m,m+l,… ,m∈N为一有限数. 在压缩映像条件常数 r (I.厂’( ) , 1)难以寻求时 ,用广义压缩映像原理. 例 2 口I=口,口川 =(口 +A/a )/2 =l,2,…; A>o),证明 {口 }收敛 ,并求 im口 .
波兰数学家 Banach在 1922年提出的压缩映像原理是对前人用逐次逼近法求解各类方程的方法的概括 , 在方程解 的存在性 、希尔伯特空间规范正交系存在性 、隐函数存在定理等诸多方面有着 广泛的应用.在此 , 我们 将压 缩 映像原 理应 用到 数列 极 限 中 ,利用不 动 点来 求得 数列 的极 限 .

不动点定理研究

不动点定理研究

前言不动点理论的研究兴起于20世纪初,荷兰数学家布劳维在1909年创立了不动点理论[1].在此基础上,不动点定理有了进一步的发展,并产生了用迭代法求不动点的迭代思想.美国数学家莱布尼茨在1923年发现了更为深刻的不动点理论,称为莱布尼茨不动点理论[2].1927年,丹麦数学家尼尔森研究不动点个数问题,并提出了尼尔森数的概念[3].我国数学家江泽涵、姜伯驹、石根华等人则大大推广了可计算尼森数的情形,并得出了莱布尼茨不动点理论的逆定理[4].最后给出结果的是波兰数学家巴拿赫(Bananch)[6],他于1922年提出的压缩映像(俗称收缩映射)原理发展了迭代思想,并给出了Banach不动点定理[6].这一定理有着及其广泛的应用,像代数方程、微分方程、许多着名的数学家为不动点理论的证明及应用作出了贡献.例如,荷兰数学家布劳威尔在1910年发表的《关于流形的映射》[2]一文中就证明了经典的不动点定理的一维形式.即,设连续函数()fx()fx把单位闭区间[0,1]映到[0,1][0,1]中,则有0[0,1]x,使00()fxx.波利亚曾经说过:“在问题解决中,如果你不能解答所提的问题,那么就去考虑一个适当的与之相关联的辅助问题”.“不动点”就是一个有效的可供选择的辅助问题。

作为Brouwer不动点定理从有限维到无穷维空间的推广,1927年Schauder 证明了下面不动点定理,我们称其为Sehauder不动点定理I:定理2设E是Banach 空间,X为E中非空紧凸集,XXf:是连续自映射,则f在X中必有不动点.Sehauder 不动点定理的另一表述形式是将映射的条件加强为紧映射(即对任意Xx,xf是紧的),这时映射的定义域可不必是紧集,甚至不必是闭集。

1935年,Tyehonoff进一步将Sehauder不动点定理I推广到局部凸线性拓扑空间,得到了下面的不动点定理,我们称其为Tyehonoff不动点定理(吉洪诺夫不动点定理)。

完备度量空间上不动点定理的推广及应用

完备度量空间上不动点定理的推广及应用

完备度量空间上不动点定理的推广及应用徐龙华【摘要】Banach 在1922年证明了完备度量空间上压缩映射不动点的存在性。

通过对 Ba-nach 不动点定理条件的研究,给出了 Banach 压缩映像原理的推广,并提出 Banach 不动点定理在存在唯一性方面的应用。

%Banach proved that the fixed point of contraction mapping existed on the complete metric spacein 1922. Based on the Banach fixed point theorem condition research,the paper provided the generalization of Banach contraction mapping principle and put forward the existence uniqueness of the Banach fixed point theorem in application areas.【期刊名称】《重庆理工大学学报(自然科学版)》【年(卷),期】2015(000)004【总页数】4页(P143-146)【关键词】完备度量空间;压缩映射;不动点【作者】徐龙华【作者单位】安康学院数学与统计系,陕西安康 725000【正文语种】中文【中图分类】O177.5把一些方程的求解问题转化为求映射的不动点,以及用逐次逼近法来求不动点,这是代数方程、微分方程、积分方程、泛函方程以及计算数学中的一个很重要的方法。

这个方法起源很早,一直可以追溯到牛顿求代数方程根时所用的切线法,后来Picard用逐次逼近法求解常微分方程。

求不动点的问题本质上是算子方程Tx=x 的求解问题。

不动点存在唯一性的判定定理一般是基于Banach不动点定理[1-3]。

1922年Banach把这个方法的基本点提炼出来,用度量空间以及其中的压缩算子的一些概念更一般地描述了这个方法[4]。

3. 一阶常微分方程解的存在唯一性

3. 一阶常微分方程解的存在唯一性

由于ϕn(x) = ϕ0(x) + ϕ1(x) − ϕ0(x) + ϕ2(x) − ϕ1(x) + · · · + ϕn(x) − ϕn−1(x) ,

故只需证明无穷级数ϕ0(x) + [ϕn+1(x) − ϕn(x)]在I上一致收敛即可。采用数学 n=0
归纳法来证明:
特别,取ϕ0(x) = y0,则 |ϕ1(x) − ϕ0(x)| =
设ϕ(x)和ψ(x)都 是 微 分 方 程(3.1)在I上 的 解。 记M = max |ϕ(x) − ψ(x)|, 根 x∈I
据Lipschitz条件,当x ∈ I时,有
|ϕ(x) − ψ(x)| ≤
x
|f (t, ϕ(t)) − f (t, ψ(t))|dt
x0 x
≤ L |ϕ(t) − ψ(t)|dt
第三章 一阶常微分方程解的存在唯一性
本章主要介绍和证明一阶微分方程解的Picard存在和唯一性定理,解的延拓,解对 初值的连续性和可微性等概念。
3.1 Picard存在唯一性定理
3.1.1 一阶显式微分方程
考虑一阶显式常微分方程的初值问题

dy dx
=
f (x, y)
y|x=x0 = y0
(3.1)

LnM n!
x
|t − x0|ndt
x0
=
LnM (n + 1)!
|x

x0|n+1
特别,当|x − x0| ≤ h时,
|ϕn+1(x)

ϕn(x)|

LnM (n + 1)!
hn+1

由于正项级数

压缩映射原理在方程解研究中的两种形式及证明

压缩映射原理在方程解研究中的两种形式及证明

压缩映射原理在方程解研究中的两种形式及证明张媛媛【摘要】进一步阐明压缩映射原理在具非线性源项的偏微分方程初边值问题整体解的存在性及唯一性研究中的作用,列出此原理常用的几种形式,并给出证明.在理论和工程技术应用上,清晰解释了压缩映射理论的内部原理,证明了解的初值对整体解存在唯一性的影响,即整体解对初值的连续依赖性.这一讨论和分析清晰地说明了压缩映射原理处理问题的内部原理.【期刊名称】《开封大学学报》【年(卷),期】2018(032)002【总页数】3页(P78-80)【关键词】压缩映射;不动点;整体解;存在唯一性【作者】张媛媛【作者单位】开封大学数学教研部,河南开封475004【正文语种】中文【中图分类】O175.290 引言压缩映射原理是《泛函分析》中的一个重要定理,它又叫Banach不动点定理.目前在书中我们所学的压缩映射原理只是波兰数学家Banach在1922年提出的第一个代数型的压缩映射原理.该原理又叫Banach不动点定理,利用该原理可以很容易地证明出具非线性项的波动方程整体解的存在性与唯一性,还可以证明某些积分方程整体解的存在唯一性.通过压缩映射原理与Galerkin、近似解逐次逼近法、变分方程等方法的结合,可以得到整体解的存在性,进而利用解对初值的连续依赖性可以得到整体解的唯一性.压缩映射原理在半线性抛物型方程和半线性波动方程中也有着广泛的应用,方程中的非线性项大多是非线性的或为积分型的非线性项.因此,压缩映射原理作为研究偏微分方程的一个重要方法开始被许多数学家使用和推广,主要用来研究各类偏微分方程整体解的存在唯一性.有很多学者应用压缩映射原理研究了一系列双曲型和抛物型偏微分方程整体解的存在唯一性,例如Dell’Oro F、Pata V、Kloeden P E等[1-5].以上这些数学学者均是利用压缩映射原理的方法来研究偏微分方程整体解的存在唯一性.目前还有很多学者活跃在这一领域,我国最具代表性的这方面的学者是云南财经大学数学与统计学院的张石生教授,他长期从事偏微分方程整体解方面的研究,特别是他对压缩映射原理的研究已经达到国际领先水平,取得了一些重要成果[6-9],从而进一步丰富和发展了压缩映射原理.波动方程解的问题是偏微分方程研究中的重要内容,也是研究的难点之一.对于有些波动方程,并不能很容易地判断出是否有唯一解.如果能将其他学科的知识或原理应用于这些波动方程解的研究,将复杂的不易求解的问题转化为简单易解决的数学问题,那么就找到了一种解决问题的有效方法和途径,这样有利于扩展数学思维的角度和提高分析问题的能力,压缩映射原理在研究这类波动方程整体解的存在唯一性问题上就具有很大的优越之处.本文主要研究压缩映射原理具有代表性的两种形式,论证不动点的存在唯一性定理.1 压缩映射原理的两种形式及证明定理1.1 设X为完备的度量空间,T:X→X且满则T在X内有唯一的不动点.证明:定义xn=Tnx0,x0为X中任意取定的一点,则根据压缩映射条件,得所以则为柯西列.由于X为完备的度量空间,所以存在x*,使得因此证毕.定理1.2 设算子T将Banach空间中的闭集A映射为其自身A,且T为A上的压缩算子,压缩系数为α( 0<α<1 ),则算子T在A内存在唯一的不动点y*.若y0为A中的任一点,作序列则序列,且yn→y*,并有误差估计所以{ y n}是柯西列,由完备性知,存在y*,使考虑到A是闭集,所以下面证y*是算子T的不动点.由于算子T在A上是压缩的,则在A上也是连续的,则y*=T( y* ) .再证y*的唯一性.假设另有一不动点y**,则而0证毕.2 结语以上我们给出压缩映射原理具有代表性的,也是在证明偏微分方程整体解存在唯一性中经常使用到的两种基本形式及其证明.利用该原理研究偏微分方程解的性质,进一步丰富和发展了压缩映射原理.压缩映射原理不仅是偏微分方程理论研究的重要组成部分,而且对偏微分方程中的非线性动力系统和流体力学方程研究也有重要的应用价值,所得结果也可以广泛应用到工程技术中,具有一定的实际意义.压缩映射原理除了在研究方程解存在唯一性中有很大的应用价值外,在概率方向上也有一定的研究价值,例如利用概率的知识模仿度量空间,定义概率度量空间,定义概率中的t-范数,由此得到概率空间上的不动点原理.另一个比较重要的应用是,在随机泛函分析中,结合随机变量的有关性质给出随机算子、随机不动点的定义,从而建立随机压缩映射原理.参考文献:【相关文献】[1]Dell’Oro F,Pata V.Long-term analysis of strongly damped nonlinear wave equations[J].Non-linearity,2011,24(4):3413-3435.[2]Kloeden P E.Pullback attractors in nonautonomous difference equations[J].J.Differ.Equations.Appl.2000,6(1):33-52.[3]Kobayashi T,Pecher H,Shibata Y.On a global in time existence theorem of smooth solutions to a nonlinear wave equation with viscosity[J].Mathematics Annalen,1993,296(1):215-234.[4]Hongyinping F,Shengjia L.Global nonexistence for a semilinear wave equation with nonlinear boundary dissipation[J].J.Math.Anal.Appl.2012,391:255-264.[5]Kavashima S,Shibata Y.Global existence and exponential stability of small solutions to non-linear viscoelasticity[J].Communications in Mathematical Physics,1992,148(1):189-208.[6]张石生,陈绍仲.随机分析中的不动点定理及其对随机逼近理论的应用[J].应用数学学报.2008,5(3):301-304.[7]张石生,田有先.关于Halpern 的公开问题[J].数学学报.2012,48(5):980-986. [8]张石生.一个多值映像的随机不动点定理[J].数学年刊.2006,4(1):180-185. [9]张石生,向淑文.概率度量空间的拓扑结构和度量化问题及其研究[J].曲阜师范大学学报.2010,16(3):1-5.。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

不动点定理和Banach压缩映像定理的应用
一、引言
在数学中,不动点定理和Banach压缩映像定理是两个非常重
要的定理。

不动点定理是一个基本定理,它能够帮助我们证明很多问题。

而Banach压缩映像定理则是一个实用定理,它能够帮助我们求解很多实际问题。

本文将重点讨论这两个定理的应用。

二、不动点定理
不动点定理(Fixed point theorem)是数学中一种基本的定理,也是一个非常重要的定理。

它的实质是给定一个运算,能够保证这个运算至少有一个不变点。

例如,在一维空间中,一条直线与 x 轴的交点就是一个不动点。

不动点定理的常用形式有 Banach定理,Brouwer定理和Kakutani定理等。

这三种定理都是确保在一定条件下,给定一个
映射,必定存在一个不动点。

其中,Banach定理是应用最广泛的一种不动点定理。

三、Banach压缩映像定理
Banach压缩映像定理(Banach contraction mapping theorem)是应用最广泛的不动点定理之一。

它是一种强化的不动点定理,能够给出一个更加精确的结论。

该定理的实质是,给定一个映射,如果它能够将任意两个点映射到更靠近一起的两个点,那么这个映射一定存在不动点。

具体来说,设 (X,d) 是一个非空完备度量空间,f:X → X是一个压缩映像,即存在常数0≤s<1,使得对于任意x,y∈ X,有:
$d(f(x),f(y))≤s\times d(x,y)$
则 f 存在唯一的不动点 z,即 f(z)=z。

在实际中,Banach压缩映像定理被广泛应用于求解非线性方程组的根。

例如,对于一个形如 f(x)=0 的方程组,可以通过适当的转化,将它表示成 g(x)=x 的形式,然后应用Banach压缩映像定理求解。

此外,Banach压缩映像定理还在优化算法、控制论等领域得到广泛应用。

四、应用举例
下面我们通过两个具体的例子来说明不动点定理和Banach压缩映像定理的应用。

1. 欧拉公式
欧拉公式是最基本的数学公式之一,它将三角函数、指数函数和虚数单位联系在了一起。

它的形式为:
$e^{ix}=cos x+isin x$
现在我们来证明欧拉公式。

首先,我们将 $e^{ix}$ 展开成无穷级数:
$e^{ix}=1+ix+\frac{(ix)^2}{2!}+\frac{(ix)^3}{3!}+...=\sum_{n=0 }^\infty \frac{(ix)^n}{n!}$
然后,我们将 $cos x$ 和 $sin x$ 展开成无穷级数:
$cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-...+\frac{(-1)^n
x^{2n}}{(2n)!}+...=\sum_{n=0}^\infty \frac{(-1)^n x^{2n}}{(2n)!}$
$sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-...+\frac{(-1)^n
x^{2n+1}}{(2n+1)!}+...=\sum_{n=0}^\infty \frac{(-1)^n
x^{2n+1}}{(2n+1)!}$
将上面三个式子代入到 $e^{ix}=cos x+isin x$ 中,我们得到:
$e^{ix}=\sum_{n=0}^\infty \frac{(ix)^n}{n!}=\sum_{n=0}^\infty \frac{(-1)^n x^{2n}}{(2n)!}+i\sum_{n=0}^\infty \frac{(-1)^n
x^{2n+1}}{(2n+1)!}=cos x+isin x$
因此,欧拉公式得证。

在这个例子中,我们用到了指数函数、三角函数和虚数单位,都是非常基础的数学对象。

欧拉公式的证明中还涉及到无穷级数和收敛性等重要概念。

不动点定理和Banach压缩映像定理在这个证明中并没有直接发挥作用,但它们作为基本定理,对我们理解数学的本质和方法是有重要帮助的。

2. 二分搜索
二分搜索是计算机科学中一个经典的算法,它能够高效地在有
序数组中查找特定元素。

在实践中,它广泛应用于各种数据处理
和搜索引擎等领域。

我们现在来介绍一下二分搜索的实现过程。

假设有一个从小到
大排好序的数组 nums,要查找其中是否存在一个特定的元素target。

我们可以先选取数组的中间元素 mid,然后比较它和 target 的大小。

如果 mid 小于 target,那么我们就在 mid 的右边继续查找;反之,如果 mid 大于 target,那么我们就在 mid 的左边继续查找。

依次类推,每次都将搜索范围缩小一半,直到找到了目标元素或
搜索范围为空。

虽然二分搜索的实现很简单,但它的正确性却需要用到不动点
定理和Banach压缩映像定理的思想。

具体来说,我们可以将二分
搜索看作是一个映射,将目标元素 target 映射到它在数组中的位置i。

设数组长度为 n,不妨将数组下标从 0 开始计数,即 $0\leq i
\leq n-1$。

则我们有:
$mid=\lfloor\frac{i+j}{2}\rfloor$
其中,j 是数组中最后一个元素的下标。

我们将单调的搜索区
间定义为 $I\subset [0,n-1]$,即 $I=[0,n-1]$ 或 $I=[0,mid-1]$ 或
$I=[mid+1,n-1]$。

显然,每次搜索都会将搜索区间缩小一半。

因此,我们可以将二分搜索看作是一个压缩映射,即对于任意两个搜索
区间 $A,B\subset I$,我们有:
$d(f(A),f(B))=\frac{1}{2}|B-A|$
其中,|B-A| 表示集合 B 和集合 A 的差集的元素个数。

因此,
二分搜索是一个压缩映射,且压缩因子 $s=\frac{1}{2}<1$。

根据Banach压缩映像定理,二分搜索必定有唯一的不动点。

因此,二
分搜索一定能正确地找到目标元素。

五、结论
不动点定理和Banach压缩映像定理是数学中两个重要的定理,它们的应用十分广泛。

虽然这两个定理是数学中的基本概念,但
它们在现代数学和物理学中的应用十分重要。

通过本文的介绍,
我们可以更加深刻地理解这两个定理以及它们的应用。

相关文档
最新文档