数学分析 Brouwer 不动点定理
数学分析 Brouwer 不动点定理
数学分析(二):多元微积分梅加强副教授南京大学数学系内容提要:内容提要:Brouwer不动点定理;内容提要:Brouwer不动点定理; 鼓包函数与光滑化.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.定理1(Brouwer不动点定理)设D为R n中的闭球,ϕ:D→D为连续映射,则ϕ必有不动点.函数的光滑化不失一般性,我们设D是以原点为中心的单位闭球.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.引理1设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.不失一般性,我们设D是以原点为中心的单位闭球.在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.引理1设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.证明.记f(x)=ψ(x)−x,则fS n−1≡0.我们先对f做光滑化.因为有界闭集上的连续函数具有一致连续性,任给ε>0,存在δ>0,使得当 x−y ≤δ时 f(x)−f(y) <ε/2.证明(续).取η=δ1+δ,令g (x )= f x 1−η , x ≤1−η,0, x >1−η,则g 连续,且当x ∈D 时 g (x )−f (x ) <ε/2.设φ是我们之前构造的一元鼓包函数,记φη(x )=c −1η−n φ(η−1 x ),其中c 是φ( x )在R n 中的积分.此时φη在R n 的积分为1,且其支集含于B η(0).令h (x )= R n g (y )φη(x −y )d y = R ng (x −y )φη(y )d y ,根据函数参变量积分的性质可知h 是光滑函数,再根据鼓包函数的性质可知h S n −1=0, h (x )−g (x ) ≤ε/2.记ρ(x )=x +h (x ),则ρ是满足要求的光滑函数.引理2设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.引理2设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.证明.(反证法)设ρ没有零点.在R n\{0}中记ω0=ni=1(−1)i−1 x −n x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n,直接的计算表明dω0=0.同理,记ω=ρ∗ω0=ni=1(−1)i−1 ρ −nρi dρ1∧···∧dρi−1∧dρi+1∧···∧dρn其中ρi是ρ的分量,则仍有dω=0.证明(续).利用Gauss-Green公式以及ρ(x)=x(x∈S n−1)可得0=D dω=S n−1ω=S n−1ω0=S n−1ni=1(−1)i−1x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n =Dn dx1···dx n=nν(D)>0,这就得出了矛盾.Brouwer不动点定理的证明.(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.根据引理1,存在光滑映射ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.Brouwer不动点定理的证明.(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.根据引理1,存在光滑映射ρ:D→R n,使得ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.例1设A=a ijn×n为n阶方阵,如果它的每一元素a ij都大于零,则称A为正矩阵.证明:正矩阵必有正特征值.证明.当x=(x1,···x n)∈R n时,记|x|= ni=1|x i|.考虑n−1维单形∆n={x∈R n||x|=1,x i≥0,i=1,···,n}.显然,当x∈∆n时|Ax|>0.考虑连续映射ϕ:∆n→∆n,x→Ax/|Ax|.因为∆n同胚于n−1维单位闭球,可以应用Brouwer不动点定理得到ϕ的不动点,不动点记为ξ,则|Aξ|就是A的正特征值.。
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。
不动点定理研究
前言不动点理论的研究兴起于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不动点定理(吉洪诺夫不动点定理)。
brouwer不动点定理
brouwer不动点定理什么是不动点定理?当用户程序处于某个位置时,系统就会开始和停止执行。
如果用户不动,那么系统的运行状态也会发生改变;或者用户想要删除这个程序。
这就是不动点定理的真正含义。
当你的程序启动,因为某个地方没有启动,而返回了之前运行的时候的状态时,这个代码也属于这一类。
而在 brouwer函数中定义了一个不动点,定义如下:通过公式可以看出,这种方法是由一个函数定义了一个状态值不动点而不变的情形。
当然这只是在我们使用过程中出现的一些情况,但是这个定理本身也说明了如果它是在多个地方同时发生变化的话,那它们就不再成立了。
一、当用户处于某个位置时,系统就会开始和停止执行。
这个定理最早由 TheNumber. StatisticServices ()函数给出。
它是一个面向对象程序中执行时间窗口的函数,用于指示程序是否停止执行。
在 Brouwer中定义了一个函数名为RuleName和它所处位置。
在这个函数中,用户就是我们程序中处于位置的人的地址,这个地址是系统上给出给用户执行时间的集合(如果需要),同时执行不同对象执行期间不发生任何变动为该集合中其他所有对象提供服务时不变该集合中所有用户所执行操作所需的状态,包括任何状态变量。
这个函数返回一个 RUN函数执行。
我们可以把 RuleName和 Services两个函数在同一个内存中工作;其中 JavaScript用于控制多线程并发; Dockers用于模拟内存环境; JavaScript用于代码展示工具。
它还具有其它作用。
下面我们来看一下:代码如下:我们从上面不动点定理可以看出这一类程序在不定期会发生变化,比如用户离开原来的位置运行时状态值会发生改变,但是最终会返回到初始位置(如图);而用户离开原有当前位置时没有任何变化。
因此我们认为其是不动点定理:当用户处于当前位置时,系统就会自动开始和停止执行自己状态变化而不断变化的变量运行在系统指定位置中是这个意思是如果程序突然没有响应或者暂时停止了就会有很大影响;但我们可以从后面看到它不动点不变或者是直接被删除;但是仍然可以继续运行这个程序;然后再回来开始下一步执行!这个过程需要用到它自己!所以这里我们来看一个实例:假设我们有一个正在运行的软件,但他突然停止了所有工作状态。
brouwer 不动点定理
brouwer 不动点定理Brouwer不动点定理是数学分析中的一个重要定理,它由荷兰数学家L.E.J. Brouwer于1910年提出。
该定理在拓扑学、函数分析和经济学等领域具有广泛的应用。
它的核心思想是:对于一个连续变换的闭集,至少存在一个点在变换后不发生移动,即保持不动。
为了更好地理解Brouwer不动点定理,我们可以通过一个简单的例子来说明。
假设有一个地球仪,我们将地球仪放在桌子上,然后以任意方式移动地球仪,再将它放在桌子上,这个过程可以看作是一个连续变换。
根据Brouwer不动点定理,无论我们怎样移动地球仪,至少存在一个点在移动后保持不动,这个点就是地球仪的一个不动点。
在数学上,Brouwer不动点定理可以用更严谨的方式描述。
假设有一个从一个n维球面到自身的连续函数f(x),其中x表示球面上的点。
根据Brouwer不动点定理,存在至少一个点x0,使得f(x0) = x0,即f(x0)保持不动。
要证明Brouwer不动点定理,需要使用拓扑学中的一些基本概念和定理。
首先,我们需要了解拓扑空间和连续映射的概念。
一个拓扑空间是一个集合,其中的元素被称为点,同时还有一些子集被称为开集,这些开集满足一定的性质。
一个连续映射是指在两个拓扑空间之间的映射,它将一个空间中的点映射到另一个空间中的点,并保持拓扑结构不变。
在这个基础上,我们可以引入Brouwer不动点定理的证明。
我们假设不存在不动点,即对于任意的x,f(x) ≠ x。
然后,我们构造一个函数g(x),使得g(x) = f(x) - x。
根据我们的假设,g(x) ≠ 0。
接下来,我们考虑g(x)的零点集合Z = {x | g(x) = 0}。
由于g(x)是一个连续函数,Z是一个闭集。
根据定义,球面是一个紧致空间,因此Z也是一个紧致集合。
然后,我们需要使用反证法来推导出矛盾。
假设Z是一个非空集合,那么根据Brouwer分割定理,Z的补集是连通的。
Brower不动点定理的组合证明
即,它们的顶点颜色集为f1; 2; ¢ ¢ ¢ ; ng,其中恰有一种颜色被用了两次,其它颜色只用了一次;我们同样考
虑被f1; 2; ¢ ¢ ¢ ; ng着色的n ¡ 1维表面,称为“多彩表面”. 其中,x表示在A边界上的多彩表面;y表示在A
内部的多彩表面.
证明通过两个方向上的计数快速完成.
首先,每一个r类单形恰包含一个多彩表面,s类单形则包含两个多彩表面. 除此之外,其余种类的单
交,或者具有共同的整个低维表面. 现对三角剖分T 形成的顶点着色,其中可供选择的颜色集为
C = f1; 2; ¢ ¢ ¢ ; n + 1g. 称这种着色方式是恰当的,如果
(1) 顶点Ai有颜色c(Ai) = i; (2) 在低维表面Ai1 ¢ ¢ ¢ Aik上的点只能选择fi1; ¢ ¢ ¢ ; ikg中的颜色. Sperner 引理 对n维单形的三角剖分T 恰当着色,则存在一个T 中的单形,其不同顶点被着以不同的
X
X
故 f(v)i = vi ) f(v)i ´ vi,故v即为所求不动点,证明便结束了. 不然,假设¢内的每个点都被
赋予了唯一的颜色. 容易验证这个着色是恰当的. 令±(T )为三角剖分T 中最长边的长度,则总可构造剖分序
列fTng使得±(Tn) ! 0. 由 Sperner 引理,对每个剖分Tk,都存在彩虹单形fv1k; ¢ ¢ ¢ ; vnk+1g. 由于¢有界, 因此¢是列紧集. 因此序列fv1kg含有收敛的子序列,不妨设它本身即收敛. 因为±(Tn) ! 0,故彩虹单形的 所有顶点一同收敛到同一点v. 由着色方案和映射f 的连续性,故81 6 k 6 n + 1 : f(v)i 6 vi. 根据上述讨 论,恒有vi ´ f(v)i,因此v即为所需要的不动点,证毕.
不动点定理及其应用
不动点定理及其应用摘要不动点定理是研究方程解的存在性与唯一性理论的重要工具之一.本文给出了线性泛函分析中不动点定理的几个应用,并通过实例进行了说明.同时,介绍了非线性泛函分析中的不动点定理——Brouwer不动点定理和Leray-Schauder不动点定理. 关键词不动点;不动点定理;Banach空间Fixed Point Theorems and Its ApplicationsAbstract The fixed point theorem is one of important tools in studying the existence and uniqueness of solution to functional equation .In this paper,the fixed theorem in linear functional analysis and its applications are introduced and the corresponding examples are given.Meanwhile,the Brouwer and Leray-Schauder fixed point theorems are also involved.Key Words Fixed point , Fixed point theorem, Banach Space不动点定理及其应用0 引言在线性泛函中,不动点定理是研究方程解的存在性与解的唯一性理论[1-3].而在非线性泛函中是研究方程解的存在性与解的个数问题[4],它是许多存在唯一性定理(例如微分方程,积分方程,代数方程等)的证明中的一个有力工具. 下面给出不动点的定义.定义 0.1设映射X X T →:,若X x ∈满足x Tx =,则称x 是T 的不动点.即在函数取值的过程中,有一点X x ∈使得x Tx =.对此定义,有以下理解.1)代数意义:若方程x Tx =有实数根0x ,则x Tx =有不动点0x .2)几何意义:若函数()x f y =与x y =有交点()00,y x 则0x 就是()x f y =的不动点.在微分方程、积分方程、代数方程等各类方程中,讨论解的存在性,唯一性以及近似解的收敛性始终是一个极其重要的内容. 对于许多方程的求解问题,往往转化为求映射的不动点问题,同时简化了运算.本文将对不动点定理及其变换形式在线性分析和非线性分析中的应用加以探索归纳.1 Banach 不动点定理及其应用 1.1相关概念首先介绍本文用的一些概念.定义1.1.1[3]设X 为距离空间,{}n x 是X 中的点列,若对任给的0>ε,存在0>N ,使得当N n m >,时,()ερ<n m x x ,.则称点列{}n x 为基本点列或Cauchy 点列.如果X 中的任一基本点列均收敛于X 中的某一点,则称X 为完备的距离空间.定义1.1.2[3]定义在线性空间上的映射统称为算子.定义1.1.3[3]给定距离空间()ρ,X 及映射T :X X →,若X x ∈满足x Tx =,则称x 是T 的不动点.1.2 Banach 不动点定理定理 1.2.1[3]设X 是完备的距离空间,距离为ρ.T 是由X 到其自身的映射,且对任意的X y x ∈,,不等式()(),,Tx Ty x y ρθρ≤成立,其中θ是满足不等式01θ≤<的常数.那么T 在X 中存在唯一的不动点.即存在唯一的X x ∈,使得x x T =.证明 在X 中任意取定一点0x ,令01Tx x =,12Tx x =,…,n n Tx x =+1,… 首先证明{}n x 是X 中的一个基本点列. 因为()()()()00101021,,,,Tx x x x Tx Tx x x θρθρρρ=≤=; ()()()()002212132,,,,Tx x x x Tx Tx x x ρθθρρρ=≤=; ……………………… 于是()()001,,Tx x x x n n n ρθρ≤+, ,3,2,1=n()()()()p n p n n n n n p n n x x x x x x x x +-++++++++≤,,,,1211ρρρρ()()0011,Tx x p n n n ρθθθ-+++++≤()()()0000,1,11Tx x Tx x np n ρθθρθθθ-≤--=. 又10<≤θ,故(),0∞→→n n θ即{}n x 是基本点列.由于X 完备,所以由定义1.1.1知{}n x 收敛于X 中某一点x .另外,由()(),,Tx Ty x y ρθρ≤知,T 是连续映射.在n n Tx x =+1中,令,∞→n 得x x T =,因此x 是T 的一个不动点.下面证明唯一性.设另有y 使y T y =,则()()(),,,,y x y T x T y x θρρρ≤=考虑到10<≤θ,则有(),0,=y x ρ即y x =.定理 1.2.2[3]设T 是由完备距离空间X 到其自身的映射,如果存在常数:1o θθ≤<以及自然数0n 使得(,)(,)n n T x T y x y ρθρ≤(,)x y X ∈ ()1那么T 在X 中存在唯一的不动点.证明 由不等式()1,0n T 满足定理1.2.1的条件,故0n T 存在唯一的不动点0x .现在证明0x 也是映射T 唯一的不动点.事实上10000()()()n n n T Tx T x T T x Tx +===可知,0Tx 是映射0n T 的不动点.由0n T 不动点的唯一性,可得00Tx x =,故0x 是映射T 的不动点.若T 另有不动点1x ,则由01111111n n n T x T Tx T x Tx x --=====知1x 也是0n T 的不动点.仍由唯一性,可得10x x =.1.3 Banach 不动点定理的应用1.3.1在讨论积分方程解的存在性与唯一性中的应用例1.3.1.1给定积分方程()()()()ds s x s t K t f t x ba ⎰+=,λ ()2其中()t f 是[]b a ,上的已知连续函数,()s t K ,是定义在矩形区域b s a b t a ≤≤≤≤,上的已知连续函数,证明当λ足够小时(λ是常数),()2式在[]b a ,上存在唯一连续解.证明 在[]b a C ,内规定距离()()()1212,max a t by y y x y x ρ≤≤=-令 ()()()()()ds s x s t K t f t Tx ba⎰+=,λ则当λ充分小时,T 是[][]b a b a C C ,,→的压缩映射. 因()()()()()1212,max a t bTx Tx Tx t Tx t ρ≤≤=-()()()()()()()()121212max ,max ,,,ba t baba tb aK t s x s x s dsK t s x s x s ds M x x λλλρ≤≤≤≤=-≤-≤⎰⎰其中()max ,ba t baM K t s ds ≤≤=⎰,从而当1M λ<时,T 是压缩映射,则由定理1.2.1知方程对于任一()[]b a C t f ,∈解存在并且唯一.例1.3.1.2 考虑微分方程初值问题()⎪⎩⎪⎨⎧===,,,00y y y x f dx dyx x ()3 其中()2R C f ∈,且()y x f ,关于y 满足Lipschitz 条件,即存在0>L 使()()'',,y y L y x f y x f -≤-,R y y x ∈',, ()4则初值问题()3在R 上存在唯一解.证明 微分方程(3)等价于积分方程 ()()()dt t y t f y x y xx ⎰+=0,0,取0>δ,使.1<δL 在[]δ+00,x x C 上定义映射()()()(),,00dt t y t f y x T xx ⎰+=φ则由(4)式得ϕφT T -=()()()()0max ,,xx x x x f t t f t t dt δϕφ≤≤+⎡⎤-⎣⎦⎰ ()()000maxxx x x x L t t dt δϕφ≤≤+≤-⎰,ϕφδ-≤L []δϕφ+∈00,,x x C ,已知1<δL ,故由定理1.2.1知存在唯一的连续函数[],,000δφ+∈x x C 使,00φφT =即()()()dt t t f y x xx ⎰+=0000,φφ,且()x 0φ在[]δ+00,x x 上连续可微,且()x y 0φ=就是微分方程()2在[]δ+00,x x 上的唯一解.1.3.2在数列求极限中的应用由定理1.2.1的证明可知,若f 是[]b a ,上的压缩映射,则对[]b a x ,1∈∀,由递推公式()n n x f x =+1确定的数列{}n x 收敛,且n n x x ∞→=lim 0为f 的唯一不动点.例 1.3.2.1[5]证明:若()x f 在区间[]r a r a I +-=,上可微,()1<≤'a x f 且()()r a a a f -≤-1,任取I x ∈0.令()()()n n x f x x f x x f x ===+11201,,, ,则**lim ,n n x x x →∞=为方程()x f x = 的根(即*x 为()x f 的不动点).证明 已知I x ∈0,设I x n ∈则()()(){}()a a f a x f a a f a f x f a x n n n -+-≤-+-=-+ξ'1(),(a x n ∈ξ)由已知得 ()r r a ar a x n =-+≤-+11即I x n ∈+1,从而得知,一切I x n ∈.由微分中值定理,存在ξ在n x 与1+n x 之间,即I ∈ξ使得()()()()10,11'11<<-≤-≤-=----+a x x a x x f x f x f x x n n n n n n n n ξ.这表明()n n x f x =+1是压缩映射,所以{}n x 收敛.又因()x f 连续.在()n n x f x =+1里取极限知{}n x 的极限为()x f x = 的根.例 1.3.2.2[9]设[];3,2,22,1,0,2121 =-=∈=-n x a x a a x n n 求证数列{}n x 收敛并求其极限.证明 易知20ax n ≤≤.则我们在区间⎥⎦⎤⎢⎣⎡2,0a 上考虑函数()222x a x f -=,对⎥⎦⎤⎢⎣⎡∈∀2,0,21a x x 有()()21212122122122122x x a x x x x x x x f x f -≤+-=-=- []()1,0∈a .即()x f 是⎥⎦⎤⎢⎣⎡2,0a 上的压缩映射.从而{}n x 收敛于方程的解.设22020x a x -=得110-+=a x .1.3.3在数学建模中的应用不动点定理也是连续函数的一个重要性质,在数学分析中我们就知道这样一个结论“闭区间上的连续函数必然存在不动点”.在一些数学建模题目的解答上应用不动点定理会使得求解更简单,下面就介绍几个不动点定理在数学分析中的形式及其在解决数学建模问题中的应用,进而深化对不动点定理的认识以及说明此定理应用的广泛性.引理 1.3.3.1[6-7]设()x f 在[]b a ,上连续,且()()b f a f ,异号,则()x f 在[]b a ,内至少存在一点c 使得()0=c f .定理 1.3.3.2[6-7]设()x f 是定义在[]b a ,上的连续函数,其满足()b x f a ≤≤,则在[]b a ,上至少存在一个不动点0x ,即()00x x f =.例 1.3.3.1 日常生活中常有这样一个经验:把椅子往不平的地面上放,通常只有三个脚着地,放不稳,然而只需稍挪动几次,就可以是四只脚同时着地,放稳了.我们将这个问题转化为纯数学问题.现在应用不动点定理对其进行解释说明.模型假设: 对椅子和地面做一些假设:1)椅子四条腿一样长,倚脚与地面可视为一点,四脚的连线呈正方形. 2)地面高度是连续变化的,沿任何地方都不会出现间断点(没有像台阶那样的情况).即地面可视为数学上的连续曲面.3)对于椅脚的间距和倚腿的长度而言,地面是相对平坦的,使椅子在任何位置至少有三只脚同时着地.4)椅子转动时中心不动.模型分析:在图1中椅脚连线为正方形ABCD ,对角线AC 与x 轴重合,椅子绕中心点O 旋转角度θ后,正方形ABCD转至D C B A ''''的位置,所以对角线AC 与x 轴夹角θ表示了椅子的位置.其次要把椅脚着地用数学符号表示出来.如果用某个变量表示椅脚与地面的竖直距离,那么当这个距离为零时就是椅脚着地了,椅子在不同位置是椅脚与地面的距离不同,所以这个距离是椅子位置变量θ的函数.设()θf 为C A ,两脚与地面距离之和,()θg 为D B ,两脚与地面距离之和.由假x设2)知,()θf 和()θg 都是连续的函数.由假设3),椅子在任何位置至少有三只脚同时着地,所以对于任意的θ,()θf 和()θg 中至少有一个为零.即()θf ()θg =0,当0=θ时不妨设()()0,0>=θθf g .从而数学问题就转化为求证存在0θ,使()()000==θθg f ,⎪⎭⎫ ⎝⎛<<20πθ.模型求解:令()()().θθθg f h -=因()()()0222,0000<⎪⎭⎫⎝⎛-⎪⎭⎫ ⎝⎛=⎪⎭⎫ ⎝⎛>-=πππg f h g f h .则由定理1.3.3.2知,必存在,2,00⎪⎭⎫⎝⎛∈πθ使(),00=θh 即()()000==θθg f .1.3.4在解线性方程组中的应用例1.3.4.1[1]设有线性方程组b Cx x +=其中()ij c C =是n n ⨯方阵,()Tn b b b b ,,,21 =是未知向量,证明:若矩阵C 满足1sup 1,1,2,,nij ij c i n =<=∑,则方程b Cx x +=有唯一解.证明 设X 是n R (或n C ),定义度量()i i ni y x y x -=≤≤1max,ρ,则X 是完备的度量空间.作映射.,,:X x b Cx Tx X X T ∈+=→若()(),,,,,,,,2121X y y y y X x x x x Tn Tn ∈=∈=则 ()⎪⎪⎭⎫ ⎝⎛+-⎪⎪⎭⎫ ⎝⎛+=∑∑=≤≤i j ij n j i j ij ni b y c b x c Ty Tx 11max ,ρ()()y x a y x c y x c nj ij ni j j n j ij ni ,,max max 1111ρρ=≤-≤∑∑=≤≤=≤≤而,1max 11<=∑=≤≤nj ij ni c a 所以T 是X 上的压缩映射,定理1.2.1知,存在唯一的n R x ∈*,使得b Cx x +=**.2 Leray —Schauder 不动点定理 2.1 相关概念定义2.1.1[3]称映射:f U Y →在0x U ∈处连续,是指对任给0ε>,存在0δ>,当x U ∈且0x x δ-<时,恒有0()()f x f x ε-<.若f 在U 内每一点连续,则称f 在U 上连续.定义 2.1.2[4]设,X Y 为线性赋范空间,D X ⊂,称映射:F D Y →为紧映射,如果F 将D 中的任何有界集S 映成Y 中的相对紧集()F S ,即()F S 是Y 的紧集.如果映射F 是连续的,则称F 为紧连续映射,或全连续映射.定义 2.1.3[3]设M 是U 的一个子集,如果对任意的M y y ∈21,以及满足10≤≤α的任意实数α,元素21)1(y y αα-+仍属于M ,则称M 是U 的凸集.如果M既是闭集且凸集,则称M 是U 中的闭凸集.2.2 Leray —Schauder 不动点定理及应用定理2.2.1(Brouwer 不动点定理)设Ω是n R 中的有界闭凸子集,Ω∂表示Ω的相对边界;设),(n R C f Ω∈并且满足Ω⊂Ω∂)(f .则在Ω上必有不动点.例2.2.1 设B 是实2l 空间的闭单位球,令B B f →:为(),,,,1212⎪⎭⎫ ⎝⎛-= ξξx x f ().B x k ∈=ξ则f 在B 上连续,但f 在B 上却没有不动点(否则,存在B x ∈,使()x x f =.由此推得,,,11221 ξξξ=-=x 再由2l x ∈得0=x ,这又导致()()x x f ≠= ,0,0,1,得到矛盾).在应用中,常常涉及到无穷维空间(如[][]b a L b a C ,,,2)上的算子,由上例可知,Brouwer 不动点定理对无穷维空间不再成立,尽管如此,我们注意到有线维空间的有界闭集即紧集,若将Brouwer 不动点定理中的“有界闭凸集”改为“紧凸集”,则可利用Leray —Schauder 度理论,就可以说明下述结论.定理2.2.2(Schauder 不动点定理) 设D 是实Banach 空间E 中的非空紧凸集,D D A →:连续,则A 在D 上必有不动点.定理2.2.3(Leray —Schauder 不动点定理)设D 是实Banach 空间E 中的非空有界闭凸集,若算子D D A →:全连续,则A 在D 上必有不动点.例2.2.1考察Urysohn 积分方程()()(),,x t k t s x s ds Ω=⎰ ()5解的存在性,其中Ω是n R 中的有界闭集,()u s t k ,,在R ⨯Ω⨯Ω上连续,并满足()R u s t u u s t k ∈Ω∈+≤,,,,,βα ()6 这里().1,0,0<Ω>>m ββα证明方程()5在Ω上必有连续解.证明 令)()(:Ω→ΩC C A 为()()()(),,Ax t k t s x s ds Ω=⎰,则可知A 是全连续算子.令{},|)(,)(1)(γβαγ≤Ω∈=Ω-Ω=x C x D m m 则D 是)(ΩC 中的有界闭凸集,且当D x ∈是,由()6得()()()ds s sx t k t Ax ⎰Ω≤,()()ds s x ⎰Ω+≤βα Ω+Ω≤m x m βαγβγα=Ω+Ω≤m m 故,γ≤Ax 此即D Ax ∈.由定理 2.2.3知,A 在D 上必有不动点,即存在D x ∈使()()(),,,x t k t s x s ds Ω=⎰因此x 是方程()5在Ω上的连续解. 3 总结不动点定理及其变换形式在线性分析和非线性分析中以及其他领域有着广泛的应用.本文只是总结了在线性分析和非线性分析中最基本的应用,随着不动点定理的不断发展和完善,将会有更多更广泛的应用.参考文献[1]吴翊,屈田兴.应用泛函分析[M].长沙:国防科技大学出版社,2002.[2]程其蘘,张奠宙等.实变函数与泛函分析基础[M].北京:高等教育出版社,2003.[3]王声望,郑维行等. 实变函数与泛函分析[M].北京:高等教育出版社,2003.[4]钟承奎,范先令等.非线性泛函分析引论[M].兰州:兰州大学出版社,2004.[5]钱吉林.数学分析题解精粹[M].北京:中央民族大学出版社,2002.[6]华东师范大学数学系.数学分析(上册)[M].北京:高等教育出版社,2001.[7]华东师范大学数学系.数学分析(下册)[M].北京:高等教育出版社,2001.[8]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版社,2006.[9]张卿.压缩映象原理的证明及应用[J].衡水学院学报,2008.。
brouwer不动点定理的证明
brouwer不动点定理的证明Brouwer不动点定理的证明Brouwer不动点定理是数学中的一项重要定理,它由荷兰数学家L.E.J. Brouwer于1910年首次提出并证明。
该定理是拓扑学中的基本结果,它描述了连续映射在拓扑空间上的固定点存在性。
不动点是指一个映射将某个元素映射为其本身的点,而Brouwer不动点定理则告诉我们,对于某些特定条件下的连续映射,总能够找到至少一个不动点。
为了更好地理解Brouwer不动点定理的证明过程,我们首先需要了解一些相关的概念。
在拓扑学中,一个拓扑空间是由一组集合及其上的拓扑结构组成的,其中拓扑结构描述了集合中的点之间的邻近关系。
而连续映射则是保持拓扑空间中邻近关系的映射。
Brouwer不动点定理的证明思路是通过反证法来进行的。
假设存在一个连续映射f,它在拓扑空间X上没有不动点,即对于任意的x∈X,都有f(x)≠x。
我们将通过构造一个矛盾来证明这个假设是错误的。
我们定义一个闭球B,它是X中所有与中心点x相距小于等于r的点的集合,即B={y∈X∣d(x,y)≤r},其中d(x,y)表示x与y之间的距离,r是一个正数。
由于X是一个拓扑空间,我们可以将闭球B 看作一个紧致的子集,即它是有界且闭合的。
接下来,我们考虑由映射f作用在闭球B上得到的映射f(B)。
根据连续映射的定义,f(B)也是一个紧致的子集。
然而,根据我们的假设,映射f在X上没有不动点,所以f(B)中的任意一个点都不可能与原始闭球B中的点重合。
换句话说,f(B)中的每个点都与B中的点距离至少为r。
现在,我们将在X中构造一系列的闭球B1、B2、B3...,其中Bi+1是Bi的子集,且每个闭球Bi的半径为r/i,i是一个正整数。
由于每个Bi都是紧致的,所以根据Cantor定理,存在一个点x∗,它同时属于闭球B1、B2、B3...。
换句话说,x∗是X中的一个聚点。
接下来,我们考虑f(x∗)。
根据我们之前的假设,f(x∗)≠x∗,所以根据连续映射的定义,f(x∗)与x∗之间的距离至少为r。
fan-browder不动点定理的一个推广及其应用
fan-browder不动点定理的一个推广
及其应用
Fan-Browder不动点定理(Fan-Browder Fixed Point Theorem)是一个推广的不动点定理,由Fan和Browder于1960年提出,它是一个重要的数学定理,用于描述一个给定的
函数的不动点的存在性。
它的一般形式是:
设F是一个定义在紧闭的子集K上的函数,且F是半正定的,即F(x)≥0,且当x≠y时,有F(x)≠F(y)。
则F有不动点。
Fan-Browder不动点定理的应用非常广泛,主要用于解决数学优化问题,如求解线性规划
问题、非线性规划问题、多目标规划问题等。
它还可以用于解决非线性方程组、微分方程
等问题,以及求解动力学系统的平衡点和稳定性。
计算方法7
Fan则是著名的华裔数学家樊ji1( 则是著名的华裔数学家樊ji1 Ky Fan则是著名的华裔数学家樊ji1(土 后面以畿代替),与华罗庚、 ),与华罗庚 +畿,后面以畿代替),与华罗庚、陈省身齐 1936年 樊在北京大学数学系毕业, 名。1936年,樊在北京大学数学系毕业,后 来去法国留学。1965年以后一直担任加州大 来去法国留学。1965年以后一直担任加州大 学圣巴巴拉分校数学教授.1964年 学圣巴巴拉分校数学教授.1964年,台北中 央研究院推选樊为院士.1978—1984年间 年间, 央研究院推选樊为院士.1978—1984年间, 他曾连任两届该院的数学研究所长. 他曾连任两届该院的数学研究所长.在北京 大学数学科学学院90周年(2003年 90周年 大学数学科学学院90周年(2003年)庆典 89岁的樊先生还坐着轮椅来到会场 岁的樊先生还坐着轮椅来到会场。 上,89岁的樊先生还坐着轮椅来到会场。
不动点理论( 不动点理论(fixed point theory) )
对于空间X 对于空间X到X自身的映射f,满足f(x) 自身的映射f 满足f 的点x∈X 被称为不动点。 x∈X, =x的点x∈X,被称为f的不动点。起源 于求解方程的代数问题, 于求解方程的代数问题,后转化为几何 理论中研究不动点的存在、个数、 理论中研究不动点的存在、个数、性质 与求法的理论, 与求法的理论,成为拓扑学和泛函分析 中的重要内容。 中的重要内容。
现在已经知道的是: 现在已经知道的是: n=2,只能形成一个循 n=2,只能形成一个循 :(27,45,09,81,63).例如取两个数字 例如取两个数字7 环:(27,45,09,81,63).例如取两个数字7与3, 连续不断地做K变换,得 连续不断地做K变换, :36,27,45,09,81,27,...出现循环 出现循环. 出:36,27,45,09,81,27,...出现循环. n=3,只能形成一个循环 只能形成一个循环:(495). n=3,只能形成一个循环:(495). n=4,只能形成一个循环 只能形成一个循环:(6174). n=4,只能形成一个循环:(6174). n=5,已经发现三个循 n=5,已经发现三个循 环:(53955,59994),(62964,71973,83952,749 43),(63954,61974,82962,75933).
Brouwer不动点定理
Brouwer不动点定理:历史以及其它Brouwer不动点定理是代数拓扑学中最早的一批成果之一,自1910年被提出以来至今已有百年历史,其各种等价形式,在偏微分方程、微分拓扑、博弈论等理论与应用性学科中都有广泛应用。
和其它很多著名的数学定理一样,与其众所周知的简洁结论相比,证明方法却是令人吃惊的复杂。
Brouwer不动点定理断言:从有限维欧氏空间中的紧凸集到自身的任意连续映射具有不动点。
在n=3时这个定理的一种有趣的等价描述方式为:设想一杯热咖啡,看似平静的液面下,其中数以万亿计的液体分子在进行着剧烈的无规则热运动(Brown运动)然而任一时刻,总有一个分子的位置与之前一固定时刻所在的位置重合(尽管在中间时刻它可能偏离过原位).和叙述方式的简洁明了相对立的是,Brouwer不动点定理的证明却令人惊异的复杂——即使在n=2的二维闭圆盘情形也是如此。
据调查统计90%以上的数学家都能叙述这个定理,但只有不到10%的数学家能够给出证明,见[9]。
值得一提的是,《美丽心灵》的主人翁John.Nash本科的时候曾在不知前人任何结论的基础上,重新发现并证明了这个定理的等价形式!(具体可见Nash 的那本传记,抱歉我记不清书名了,有兴趣新浪可下载吧..)。
以至于他的老师给他写的研究生推荐信里就一句话:―这是一个天才。
‖后来Nash在普林斯顿的博士论文中,证明多人博弈平衡点的存在性时用的正是他重新发现的―Brouwer 不动点原理‖。
一点历史注记严格的讲,Brouwer本人并不是第一个证明Brouwer不动点定理的人。
现今数学史家的主流看法是,Brouwer本人于1909年证明了这个定理在n=3时的情形,之后数学家Hadamard于1910年证明了这个定理对任意n维闭球体成立,紧接着Brouwer于1912年又独立用完全不同的方法证明了这个定理,见[2][9]。
据信,Hadamard证明这个定理当年是从Brouwer寄给他的一封信中得知该结论的,但即使如此,Brouwer也不是最早发现这个结论的人,在他之前Poincare和Bohl都曾独立发现并证明了这个定理的等价形式,见[9]。
不动点定理
不动点定理在经济学中的应用数本1301 王敏摘要不动点定理是拓扑学中很著名的定理,从一维到多维空间都保持这一性质。
其次,在经济学特别是在博弈论中不动点定理有着广泛的应用,比如证明纳什均衡或者一般均衡的存在性。
关键词:不动点、博弈论、纳什均衡一、不动点定理定义1:设X 是一个拓扑空间。
如果X 中有两个非空的隔离子集A 和B ,使得B A X ⋃=,则称X 是一个不连通空间;否则,称X 是一个连通空间。
]1[ 引理1:设X 是一个连通空间,R X →:f 是一个连续映射,则)(f X 是R 中的一个区间。
]1[引理2:(介值定理)设R b a f →],[:是闭区间],[b a 到实数空间R 的一个连续映射,则对于)(f a 和)(f b 之间的任何一个实数r ,存在],[z b a ∈使得z z =)(f 。
]1[ 定理:(不动点定理)设]1,0[]1,0[:f →是一个连续映射,则存在]1,0[z ∈使得z =)(z f 。
]1[证明:如果0)0(f =或者1)1(f =,则定理显然成立。
下设0)0(f >,1)1(f <。
定义映射R →]1,0[:f 使得对于任何]1,0[x ∈有)()(x f x x F -=。
容易验证f 是一个连续映射,并且这时又0)0(<F 和0)1(>F 。
因此根据介值定理可得存在]1,0[z ∈,使得0)z (=F ,即z z =)(f 。
布劳威尔不动点定理说明:对于一个拓扑空间中满足一定条件的连续函数f ,存在一个点0x ,使得00)(f x x =。
这个定理表明:在高维球面上,任意映到自身的一一连续映射,必定至少有一个点是不变的,即映射:f n E E →n 是一个连续映射,其中n E 是n 维闭球体,则存在z n E ∈,使得z z =)(f 。
二、博弈论和纳什均衡 博弈论又被称为对策论,既是现代数学的一个新分支,也是运筹学的一个重要学科。
布劳威尔不动点定理内容
布劳威尔不动点定理内容
《有趣的布劳威尔不动点定理》
嘿,大家知道布劳威尔不动点定理不?哎呀,这名字听起来好像很玄乎的样子,但其实它挺有意思的呢!
我给你们说个事儿啊,就前几天我去超市买水果。
我在那水果摊前面挑啊挑,突然就想到了这个定理。
你看啊,那些水果就像是一个个点,而水果摊就是一个空间。
不管我怎么挑挑拣拣,总有那么一个水果,它的位置相对来说是没怎么变的,就好像是定理里说的那个不动点一样。
我就在那一边挑一边想,这定理还真是神奇呀!
布劳威尔不动点定理说的就是在一个连续变化的系统里,总会有一个点保持相对不变。
就像我在超市挑水果,不管我怎么折腾,总会有个水果在那“坚守岗位”。
这真的很奇妙呢!你想想,生活中是不是也有很多这样的例子呀。
比如我们每天的生活轨迹,可能大部分都在变,但总有那么一些习惯或者地方,就像是我们的“不动点”。
哎呀呀,真没想到一个数学定理还能和我们的日常生活联系得这么紧密。
这布劳威尔不动点定理可真是个有趣的存在呀!以后我再去超市挑水果的时候,肯定还会想起它呢!
以上就是我对布劳威尔不动点定理的一些小感悟啦,是不是很有意思呀!。
布劳维尔不动点定理证明
布劳维尔不动点定理证明布劳维尔不动点定理是数学中的一个重要定理,它指出了某些映射必然存在一个不动点。
下面我们来证明这个定理。
假设$f$ 是一个从$[0,1]$ 到自身的连续函数,我们将其表示为$f(x)$。
我们定义一个序列$x_n$,其中$x_0$ 是$[0,1]$ 中的任意一点,而$x_{n+1}=f(x_n)$。
也就是说,我们从$x_0$ 开始,通过不断地应用$f$,得到一系列点$x_1,x_2,\cdots,x_n$。
我们首先证明,如果$f$ 没有不动点,那么$x_n$ 将会在$[0,1]$ 中收敛到某个极限$L$。
为了证明这一点,我们首先注意到,由于$x_n$ 是一个单调递增的序列(因为$f$ 是单调递增的),所以它要么收敛,要么趋向于$1$。
另一方面,我们注意到,如果$x_n$ 趋向于$1$,那么$f(x_n)$ 也会趋向于$1$,因为$f$ 是连续的。
因此,我们可以得到以下结论:如果$f$ 没有不动点,那么$x_n$ 必然收敛到某个$L\in[0,1)$。
现在我们来证明,如果$f$ 有不动点,那么这个不动点就是$x_n$ 的极限。
为了证明这一点,我们假设$x_n$ 收敛到$L$,而$f(L)=L$。
我们需要证明$L$ 是$f$ 的不动点。
由于$f$ 是连续的,我们可以得到:$$\lim_{n\to\infty}f(x_n)=f(\lim_{n\to\infty}x_n)=f(L)$$另一方面,由于$x_n$ 收敛到$L$,我们可以得到:$$\lim_{n\to\infty}f(x_n)=\lim_{n\to\infty}x_{n+1}=L$$因此,我们可以得到$f(L)=L$,即$L$ 是$f$ 的不动点。
综上所述,我们证明了布劳维尔不动点定理。
不动点定理-网络1
一、不动点算法又称固定点算法。
所谓不动点,是指将一个给定的区域A,经某种变换ƒ(x),映射到A时,使得x=ƒ(x)成立的那种点。
最早出现的不动点理论是布劳威尔定理(1912):设A为R n中的一紧致凸集, ƒ为将A映射到A的一连续函数,则在A中至少存在一点x,使得x=ƒ(x)。
其后,角谷静夫于1941年将此定理推广到点到集映射上去。
设对每一x∈A,ƒ(x)为A的一子集。
若ƒ(x)具有性质:对A上的任一收敛序列x i→x0,若y i∈ƒ(x i)且y i→y0,则有y0∈ƒ(x0),如此的ƒ(x)称为在A上半连续,角谷静夫定理:设A为R n中的一紧致凸集,对于任何x∈A,若ƒ(x)为A的一非空凸集,且ƒ(x)在A上为上半连续,则必存在x∈A,使x∈ƒ(x)。
J.P.绍德尔和J.勒雷又将布劳威尔定理推广到巴拿赫空间。
不动点定理在代数方程、微分方程、积分方程、数理经济学等学科中皆有广泛的应用。
例如,关于代数方程的基本定理,要证明ƒ(x)=0必有一根,只须证明在适当大的圆│x│≤R内函数ƒ(x)+x有一不动点即可;在运筹学中,不动点定理的用途至少有二:一为对策论中用来证明非合作对策的平衡点的存在和求出平衡点;一为数学规划中用来寻求数学规划的最优解。
对于一个给定的凸规划(目前暂且认为凸规划就是非线性规划,读者注)问题:mi n{ƒ(x)│g i(x)≤0,i=1,2,…,m},在此,ƒ和g1,g2,…,g m皆为R n中的凸函数。
通过适当定义一个函数φ,可以证明:若上述问题的可行区域非空,则φ的不动点即为该问题的解。
在1964年以前,所有不动点定理的证明都是存在性的证明,即只证明有此种点存在。
1964年,C.E.莱姆基和J.T.Jr.豪森对双矩阵对策的平衡点提出了一个构造性证明。
1967年,H.斯卡夫将此证法应用到数学规划中去。
其后,不动点定理的构造性证明有了大的发展和改进。
H.斯卡夫的证明是基于一种所谓本原集,后来的各种发展皆基于某种意义下的三角剖分。
泛函分析中的不动点定理及应用
泛函分析中的不动点定理及应用泛函分析是数学中的一个重要分支,主要研究向量空间中的函数和算子的性质及其相互关系。
不动点定理是泛函分析中的一项基本定理,它在数学和应用领域中有着广泛的应用。
本文将介绍不动点定理的概念、主要结果以及其在一些实际问题中的应用。
一、不动点定理的概念不动点定理是指在给定的函数空间中,存在一个函数,它在函数空间中的作用下保持不变。
具体而言,设X为一个非空集合,f为从X到X的映射,如果存在一个元素x∈X,使得f(x)=x,则称x为f的不动点。
不动点定理的证明主要基于完备度和收敛性的概念。
如果给定的空间是完备的,并且函数的映射是连续的,那么不动点定理可以成立。
常见的不动点定理有Banach不动点定理、Brouwer不动点定理和Schwarz-Zippel不动点定理等。
二、主要的不动点定理结果1. Banach不动点定理:设X为一个完备的度量空间,f为X上的一个压缩映射,即存在一个常数k(0 < k < 1),对于任意的x, y∈X,有d(f(x), f(y)) ≤ k · d(x, y)。
则f存在唯一的不动点,即存在x∈X,使得f(x) = x。
2. Brouwer不动点定理:设D是欧几里德空间中的一个非空、闭、有界的凸集,f为D到D的连续映射,则f存在不动点,即存在x∈D,使得f(x) = x。
3. Schwarz-Zippel不动点定理:设D是n维欧几里德空间中的有界凸集,f为D到D的连续映射,并且满足f(0) = 0。
如果f是单调递增的,并且存在一个点a∈D,使得f(a) ≥ a,则f存在不动点。
三、不动点定理的应用不动点定理在实际问题中有着广泛的应用,例如在经济学、力学、计算机科学等领域。
在经济学中,不动点定理可以用来证明一些重要的经济模型的存在性。
例如,通过对需求曲线和供给曲线的分析,可以利用Banach不动点定理证明市场均衡点的存在性。
在力学中,不动点定理可以用来证明牛顿方程的解的存在性。
不动点
在数学中,布劳威尔不动点定理是拓扑学里一个非常重要的不动点定理,它可应用到有限维空间并构成了一般不动点定理的基石。
布劳威尔不动点定理得名于荷兰数学家鲁伊兹·布劳威尔(英语:L. E. J. Brouwer)。
布劳威尔不动点定理说明:对于一个拓扑空间中满足一定条件的连续函数f,存在一个点x0,使得f(x0) = x0。
布劳威尔不动点定理最简单的形式是对一个从某个圆盘D射到它自身的函数f。
而更为广义的定理则对于所有的从某个欧几里得空间的凸紧子集射到它自身的函数都成立。
不动点定理fixed-point theorem如果f 是n+1维实心球Bn+1={x∈R n+1|x|≤1}到自身的连续映射(n=1,2,3…),则f 存在一个不动点x∈Bn+1(即满足f(x0)=x0)。
此定理是L.E.J.布劳威尔在1911年证明的。
不动点问题实际上就是各种各样的方程(如代数方程、微分方程、积分方程等)的求解问题,在数学上非常建立布劳威尔不动点定理是他的突出贡献.这个定理表明:在二维球面上,任意映到自身的一一连续映射,必定至少有一个点是不变的.他把这一定理推广到高维球面.尤其是,在n维球内映到自身的任意连续映射至少有一个不动点.在定理证明的过程中,他引进了从一个复形到另一个复形的映射类,以及一个映射的映射度等概念.有了这些概念,他就能第一次处理一个流形上的向量场的奇点.康托尔揭示了不同的n与空间Rn的一一对应关系.G.皮亚诺(Peano)则实现了把单位线段连续映入正方形.这两个发现启示了,在拓扑映射中,维数可能是不变的.1910年,布劳威尔对于任意的n证明了这个猜想——维数的拓扑不变性.在证明过程中,布劳威尔创造了连续拓扑映射的单纯逼近的概念,也就是一系列线性映射的逼近.他还创造了映射的拓扑度的概念——一个取决于拓扑映射连续变换的同伦类的数.实践证明,这些概念在解决重要的不变性问题时非常有用.例如,布劳威尔就借助它界定了n 维区域;J.W.亚历山大(Alexander)则用它证明了贝蒂数的不变性.不动点理论已经成为非线性分析的重要组成部分,该问题的研究已经在偏微分方程、控制论、经济平衡理论及对策理论等领域获得了极为成功的应用。
格林陶定理
格林陶定理格林陶定理,又称为格林陶不动点定理(Brouwer fixed-point theorem),是数学分析中的一个重要定理,由荷兰数学家列奥波德·格林陶(Luitzen Egbertus Jan Brouwer)于1910年提出。
该定理在拓扑学中具有广泛的应用,被认为是现代数学的基石之一。
定理的表述格林陶定理表述如下:对于任意一个连续的、从单位闭球(也称为n维球面)到自身的映射,至少存在一个不动点。
换句话说,无论如何将一个球面上的点映射到球面上的其他点,总能找到至少一个点保持不动。
定理的证明格林陶定理的证明相对较为复杂,需要运用拓扑学中的一些基本概念和定理。
下面简要介绍一种证明思路。
首先,我们需要定义什么是一个连续的映射。
在数学中,连续映射是指在给定拓扑空间中,原空间中的每个点的邻域都能被映射到目标空间中的邻域。
这种定义保证了映射的连续性,即原空间中的点在映射后仍然保持接近性。
接下来,我们引入一个重要的概念,即同伦。
同伦是指在两个拓扑空间之间存在一个连续映射,这个映射可以通过连续地变形将一个空间映射到另一个空间。
同伦的概念是格林陶定理证明的关键。
然后,我们使用反证法来证明格林陶定理。
假设不存在不动点,即对于任意的映射,所有的点都能被映射到其他点。
我们可以构造一个连续映射,将单位闭球映射到自身的边界上。
根据我们的假设,这个映射是连续的,但没有不动点。
接着,我们利用同伦的概念来推导出矛盾。
通过同伦,我们可以将单位闭球映射到球面上的一个点,这个点必定是球面上的一个不动点。
这与我们的假设矛盾,因此假设不成立,证明了格林陶定理的正确性。
定理的应用格林陶定理在数学和物理学中有着广泛的应用。
以下是一些常见的应用领域:1.经济学:格林陶定理可以用于证明经济学中的一些基本定理,如存在性定理和均衡定理。
2.地理学:该定理可以用于研究地球表面的地貌和地理现象,如山脉的形成和河流的分布。
3.计算机科学:格林陶定理可以应用于计算机图形学中的几何变换和形状生成算法的设计。
Heisenberg群上的Brouwer型不动点定理
Heisenberg群上的Brouwer型不动点定理陈俊峰;刘三阳【摘要】将欧式空间中经典的Brouwer不动点定理推广到了Heisenberg群Hn 上,主要定理可叙述为:设f:BH→BH∩ Hξ是光滑映射,则f在BH∩Hξ中必有不动点,其中(B)H为Hn中的单位闭球,Hξ是过ξ∈BH的水平平面.【期刊名称】《曲阜师范大学学报(自然科学版)》【年(卷),期】2017(043)002【总页数】5页(P1-5)【关键词】不动点;Heisenberg群;弱H凸集【作者】陈俊峰;刘三阳【作者单位】咸阳师范学院数学与信息科学学院,712000,咸阳市;西安电子科技大学数学与统计学院,710118,陕西省西安市;西安电子科技大学数学与统计学院,710118,陕西省西安市【正文语种】中文【中图分类】O177.91在欧氏空间中,Brouwer不动点定理叙述为:设f:Bn→Bn是n维闭球体≤1}到自身的一个连续映射,则必存在x∈Bn使得f(x)=x,即f必有不动点.这个结果是1912年BrouwerLEJ发表的,它有许多不同的证明方法,有的基于代数拓扑,有的基于外微分形式,有的基于拓扑度理论,参见Milnor[1],Rogers[2],LocherKF与SkrzipeMR[3]等.鉴于Brouwer不动点定理在非线性分析中举足轻重的地位和作用,本文把它推广到了Heisenberg群G上.现在,简单地介绍一下Heisenberg群.设n≥1,ξ=(x,y,t)=(x1,…,xn,y1.,…,yn,t)∈Rn×Rn×R(=R2n+1).Heisenberg群Hn是在集合R2n+1上赋以群运算法则所得到的Lie群.因此,Heisenberg群是一个2n+1维光滑流形.在Hn上定义一族齐次伸缩在Hn上定义模在Hn上定义ξ与之间的距离我们用ξ-1表示ξ的逆,它们关于群运算满足关系式:ξ-1=-ξ.定义Koranyi开球:BH(ξ,r)={η∈Hn:d(ξ,η)<r},ξ为闭球球心,r为开球半径.在Hn中,可以定义一个扭曲的凸连接:gλ=gλ(g;并且不可交换(这是由环绕空间非交换结构决定的).当λ=0时,gλ=g;当λ=1时,.设h为Heisenberg群的Lie代数,h=V1⊕V2,m=dimV1.给定一个元素g0∈Hn,定义过g0的水平平面为Hn的一个m维嵌入子流形,形式为:其中0表示h中N-m维零向量,N=dimV1+dimV2.一个子集A⊂Hn称为弱H凸集,如果对任意g∈A和g′∈A∩Hg,都有gλ=g∘δλ(g-1∘g′)∈A,其中λ∈[0,1].在Heisenberg群Hn中,是一个弱H凸集[4].本文的主要结果是定理1(Heisenberg群Hn上的Brouwer型不动点定理) 设是光滑映射,其中Hξ是过g的水平平面,是Heisenberg群Hn中的单位闭球,则f在中必有不动点.在下节我们给出定理1的证明.在H的边界上有特征点存在[5],但这些特征点的集合为零测集[6],所以H是紧致带边流形.引理2 若H是紧致带边流形,则不存在光滑映射H,使得H是恒同映射.证明反证法.假设H是光滑映射,使得H是恒同映射,则因H是无边流形,据Sard定理,H的几乎每一个点都同时是映射g的正则值和映射的正则值,因此,存在一点H同时是g和的正则值.H是从带边流形H到低一维的无边流形H的光滑映射,故据带边流形的原象定理可知g-1(z)是H的一个一维带边子流形,其边界为H.独点集{z}是H的闭集,故g-1(z)作为紧致空间H的闭子集是紧致的,可见g-1(z)是一个紧致的一维带边流形,故其边界∂g-1(z)或者是空集,或者由偶数个点组成.但是,H是恒同映射,因此,是一个独点集,这就引出来矛盾.定理1的证明反证法.假设f没有不动点,即,则经过ξ与f(ξ)的一条扭曲的凸曲线为:ξλ=ξ∘δλ(ξ;f(ξ)=ξ∘δλ(ξ-1∘f(ξ)),它与的交点可用如下方程来表示:用g(ξ)表示其中的一个交点.现在,我们的目的在于证明是光滑收缩映射,并且当G时,g(ξ)=ξ,这将与引理2矛盾,于是定理1就可以得证.为此,首先来证明g(ξ)是关于ξ的光滑收缩函数,由于g(ξ)是关于ξ,f(ξ),λ的收缩映射,并且f(ξ)关于ξ光滑,故只需找到g(ξ)对应的λ,并且说明λ关于ξ光滑即可.令,由(1)(2)(3)(5)式可以得到下面关于λ的一元四次方程其次利用(7)与(8)式可以把(6)式转化成如下形式(4B2+2AC+4D2+2tE)λ2+4(BC+tD)λ+C2+t2=1,因为ξ≠f(ξ),所以A2+E2≠0,因此(9)式又可化为如下形式令;;;,于是得到了一个关于λ的标准一元四次方程这里的b,c,d,e是与ξ有关的实常数.现在,分两种情况来说明λ关于ξ是光滑的.第一种情况:当H时,由(10)式可知,λ(ξ)=0或者λ(ξ)是一元三次方程的实根,显然λ关于ξ是光滑的. 第二种情况:当H时,将(10)式移项得给(11)两边加上2,可将(11)式左边配成完全平方式再给(12)两边同时加上得(13)式中的s是参数.当(13)式中的λ为原方程的根时,不论s取什么值(13)式总成立.特别地,取s的值使得(13)式右边是关于λ的完全平方式,这时只须(13)式右边的判别式等于零,即(14)式是关于s的一元三次方程.由根与系数的关系可知s与ξ有关,设s的实根是Rξ,将s=Rξ代入(13)式中又得到下列两种情况:第一种情况,当与同时为负时,第二种情况,当与同时为正时,或者(a)如果对(16)式取括号前的正号,那么这里.因为ⅰ)当Rξ≥0时,因为ⅱ)当Rξ<0时,因为由ⅰ),ⅱ)知Δ>0,所以(18)式成立,并且λ(ξ)∈R.(b)如果对(17)式取括号前的负号,那么这里,同理可知Δ>0,故(19)式成立.注与不能异号,否则(13)式右边就不是一个完全平方式.由ⅰ、ⅱ可知,当H时,我们总可以从(15)(18)(19)中选取一个λ(ξ)使得λ是关于ξ的光滑函数,因此是一个光滑收缩映射.当时,我们选择λ(ξ)=0,如果将λ(ξ)=0代入g(ξ)=ξ∘δλ(ξ-1∘f(ξ))中,就有g(ξ)=ξ,因此也是一个光滑收缩映射.所以对∀,总存在一个相应的λ使得g(ξ)是关于ξ的光滑收缩映射,并且当时g(ξ)=ξ,这与引理2矛盾,所以定理1得证.【相关文献】[1]MilnorJ.AnalyticproofsoftheHairyballtheoremandtheBrouwerfixedpointtheorem[J].Amer MathMonthly,1978,85:521-524.[2] Rogers C A.A less strange version on Milnor’s proof of Brouwer’s fixed-point theorem[J].Amer Math Monthly,1980,1:525-527.[3] Locher F,Skrzipek M R.Brouwer via Picard-Lindel:A short proof of the Brouwer fixed point theorem[J].Analysis,2003,23:341-345.[4] Danielli D,Garofalo N,Nhieu D M.Notions of convexity in Carnotgroups[J].Comm.Analysis and Geometry,2003,11,2:272-295.[5] Garofalo N,Vassilev D.Symmetry properties of positive entire solutions of Yamabe-type equations on groups of Heisenberg type[J].Duke Math J,2001,6:411-448. [6] Garofalo N,Vassiley D N.Regularity near the characteristic set in the nonlinear Dirichlet problem and conformal geometry of sub-Laplacians[J].Math Ann,2003,318:453-516. Kahane J P.Winding numbers and fourier series[J].Proceedings of The Steklov Institute of Mathematics-PROC STEKLOV INST MATH,2011,273,1:191-195.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
数学分析(二):多元微积分
梅加强副教授
南京大学数学系
内容提要:
内容提要:
Brouwer不动点定理;
内容提要:
Brouwer不动点定理; 鼓包函数与光滑化.
数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.
数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.
在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.
数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.
在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.
下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.
数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.
在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.
下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.
这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.
数学中的很多问题经常转化为解方程,解方程往往又转化为求不动点.
在多元函数的微分学中,我们用了压缩映像原理找不动点的方法证明了反函数定理.
下面我们介绍另一种常用的证明不动点的存在性的结果,它对映射的要求没有压缩映射那么高.
这儿我们要用鼓包函数进行光滑的技巧,以及Gauss-Green公式.
定理1(Brouwer不动点定理)
设D为R n中的闭球,ϕ:D→D为连续映射,则ϕ必有不动点.
函数的光滑化
不失一般性,我们设D是以原点为中心的单位闭球.
不失一般性,我们设D是以原点为中心的单位闭球.
在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.
不失一般性,我们设D是以原点为中心的单位闭球.
在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.
引理1
设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得
ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.
不失一般性,我们设D是以原点为中心的单位闭球.
在证明定理之前先做一点准备工作.首先,为了利用微分学的手段,我们要对连续函数进行所谓的光滑化.
引理1
设ψ:D→R n为连续的向量值函数,且当x∈S n−1=∂D时ψ(x)=x,则任给ε>0,存在光滑向量值函数ρ:D→R n,使得
ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <ε,∀x∈D.
证明.
记f(x)=ψ(x)−x,则f
S n−1
≡0.我们先对f做光滑化.因为有界闭集上的连续函
数具有一致连续性,任给ε>0,存在δ>0,使得当 x−y ≤δ时 f(x)−f(y) <ε/2.
证明(续).
取η=δ1+δ,令
g (x )= f x 1−η , x ≤1−η,
0, x >1−η,
则g 连续,且当x ∈D 时 g (x )−f (x ) <ε/2.
设φ是我们之前构造的一元鼓包函数,记φη(x )=c −1η−n φ(η−1 x ),其中c 是φ( x )在R n 中的积分.此时φη在R n 的积分为1,且其支集含于B η(0).令
h (x )= R n g (y )φη(x −y )d y = R n
g (x −y )φη(y )d y ,
根据函数参变量积分的性质可知h 是光滑函数,再根据鼓包函数的性质可知h S n −1=0, h (x )−g (x ) ≤ε/2.记ρ(x )=x +h (x ),则ρ是满足要求的光滑函数.
引理2
设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.
引理2
设ρ:D→R n为C2的向量值函数,如果当x∈S n−1时ρ(x)=x,则ρ必有零点.
证明.
(反证法)设ρ没有零点.在R n\{0}中记
ω0=
n
i=1
(−1)i−1 x −n x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n,
直接的计算表明dω0=0.同理,记
ω=ρ∗ω0=
n
i=1
(−1)i−1 ρ −nρi dρ1∧···∧dρi−1∧dρi+1∧···∧dρn
其中ρi是ρ的分量,则仍有dω=0.
证明(续).
利用Gauss-Green公式以及ρ(x)=x(x∈S n−1)可得
0=
D dω=
S n−1
ω=
S n−1
ω0
=
S n−1
n
i=1
(−1)i−1x i d x1∧···∧d x i−1∧d x i+1∧···∧d x n =
D
n dx1···dx n=nν(D)>0,
这就得出了矛盾.
Brouwer不动点定理的证明.
(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.
根据引理1,存在光滑映射ρ:D→R n,使得
ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.
根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.
Brouwer不动点定理的证明.
(反证法)设ϕ没有不动点.用直线段连接ϕ(x)和x,其延长线交球面于ψ(x).容易看出ψ:D→S n−1连续,且当x∈S n−1时ψ(x)=x.
根据引理1,存在光滑映射ρ:D→R n,使得
ρ(x)=x,∀x∈S n−1; ρ(x)−ψ(x) <1,∀x∈D.
根据引理2,ρ有零点,但这与上面的不等式以及 ψ ≡1相矛盾.
例1
设A=
a ij
n×n
为n阶方阵,如果它的每一元素a ij都大于零,则称A为正矩阵.
证明:正矩阵必有正特征值.
证明.
当x=(x1,···x n)∈R n时,记|x|= n
i=1
|x i|.考虑n−1维单形
∆n={x∈R n||x|=1,x i≥0,i=1,···,n}.
显然,当x∈∆n时|Ax|>0.考虑连续映射
ϕ:∆n→∆n,x→Ax/|Ax|.
因为∆n同胚于n−1维单位闭球,可以应用Brouwer不动点定理得到ϕ的不动点,不动点记为ξ,则|Aξ|就是A的正特征值.。