什么是不动点原理 还有 Brouwer 不动点定理,不动点法,不动点的运用,证明?

好像是满足f(x)=x的点,这个好像用于求近似解什么的.
网上是这么写的：
布劳威尔不动点定理得名于荷兰数学家鲁伊兹·布劳威尔（英语：L. E. J. Brouwer）.布劳威尔不动点定理说明：对于一个拓扑空间中满足一定条件的连续函数f,存在一个点x0,使得f(x0) = x0.布劳威尔不动点定理最简单的形式是对一个从某个圆盘D射到它自身的函数f.而更为广义的定理则对于所有的从某个欧几里得空间的凸紧子集射到它自身的函数都成立.
数列中,A1=1,A2=2, A(n+2)=-A(n+1)+2An （A后的括号代表下标）求An通项
这道体我当时记了个方法：原式变形后 A(n+2)+A(n+1)-2An＝0
令 X^2+X-2=0 解得X=-2 或 1 所以｛A(n+1)-An｝为公比-2的数列；｛A(n+1)+2An｝为公比1的数列
然后联立 解出来
上述方法,应该说是特征根法和不动点法.
特征根：
对于多个连续项的递推式（不含常数项）,可化为X的(n-1)次方程.
即：a0*An+a1*An+1+a2*An+2+...ak*An+k可写为：
a0+a1x+a2x^2+...akx^(k-1)=0
然后求出根（实根虚根都可以）,不同项写成C*x^(n-1),相同项写成关于n的整式,有多少同根,n的次数就是同根数减1,比如求出x1=2,x2=3,x3=3,x4=6,x5=3,通项就是：a*2^(n-1)+b*6^(n-1)+3*(cn^2+bn+d),其中abcde都是待定系数,要靠已知项联立方程求解.
不动点：
比如：已知a1=1,且a(n+1)=1+2/an (n大于等于1),求an
a(n+1)=(an+2)/an(*)
令an=x,a(n+1)=x
x=(x+2)/x
x^2-x-2=0
x1=2,x2=-1
{(an-2)/(an+1)}为等比数列
令(an-2)/(an+1)=bn
b(n+1)/bn=[(a(n+1)-2)/(a(n+1)+1)]/[(an-2)/(an+1)]
(将a(n+1)用*式换成an)
=-1/2
b(n+1)=(-1/2)bn
b1=-1/2
bn=(-1/2)^n=(an-2)/(an+1)
an=[2+(-1/2)^n]/[1-(-1/2)^n],n>=1
注：形如：a(n+1)=(Aan+B)/(Can+D),A,C不为0的分式递推式都可用不动点法求.让a(n+1)=an=x,代入化为关于x的二次方程
(1)若两根x1不等于x2,有{(an-x1)/(an-x2)}为等比数列,公比由两项商求出
(2)若两根x1等于x2,有{1/(an-x1)}为等差数列,公差由两项差求出
若无解,就只有再找其他方法了.
并且不动点一般只用于分式型上下都是一次的情况,如果有二次可能就不行了.
当你打开地图,找到你所在的位置,也许你不知道,但是你验证了一个数学中重要的定理——“不动点原理”中的“压缩影像定理”.如果你的地图还很不规则,严重的变形,那么你还做了数学家认为很困难的事—在复杂的情况下,找到了不动点.
解方程无疑是数学中非常重要的问题,诸如代数方程、函数方程、微分方程等等,这些方程都能改写成ƒ(x)=x形式,这就是不动点原理,数学家证明了很多不动点存在定理,但是具体找到不动点,除了特殊情况,依然是十分困难的事情.
不动点原理有很多种形式,涉及到很多数学分支,有关科普性的介绍可以参见【1】,【2】,在此我们不展开详细讨论.
不动点原理有着很直观的几何意义,本文我们通过几个例子,试图使大家对不动点原理抽象的概念有一个直观的理解.
不动点例子：
例一
假设你有一把精确的理想米尺A、将A缩小为B（不要求均匀按比例）,再任意的放到A上,这时在相同的位置上,A与B刻度很可能不同,例如B的10cm也许在A的15cm上.但是,不动点原理告诉我们,B上必有一点,在A,B上有相同的刻度,即所谓的“不动点”.用数学语言描述这一过程：如果一条线段经过连续变换F,但其每个点仍然在这个线段上,也就是F(A)包含在A中,则必有一点位置c不变,即F(c)=c.
如果是按比例缩小,我们可以用几何方法很容易证明这一命题【3,p136】.对一般情况,我们可以这样直观的证明：
设A的参数是t,压缩变换F: A→B（A包含B）,假设F可微分,v=dF/dt.想象两只蚂蚁a、b分别在A,B的起始端向终端爬行,a以速度1匀速运动,b以速度v（变速）运动,则a,b在相同的时刻分别在A,B的相同刻度上,直观的看,必有某个时刻T,a,b相遇,相遇的点就是“不动点”.
（但是要是具体找出这个点,随着F的复杂性会变得很困难.）
例二
我们再看二维的情景：将地图A,例如中国地图,缩小（不要求均匀按比例）后记为B,将B任意地放到原图A上,地图B的每一个点在A上都有了新的位置,也许B的北京在A的上海位置,南京在成都位置.但不动点原理告诉我们：B上必有一个点位置没有动,即该点在两张地图A、B上表示相同的位置.
如果按比例缩小,我们可以用平面几何（不很容易）证明【3,p138】.对一般情况,这个例子我们很难给出一个简单直观的证明（如果学过区间套定理,可以利用该定理证明,证明思路可参考后面列举的一段微博对话）,但我们可以给出一个很直观的解释：
想象你有一台精确的理想GPS,但是屏幕严重变形,如此,屏幕上显示一个变形且缩小的中国地图.如果我们把中国国土看作一个大的地图A,GPS屏幕上的地图看作这个地图的缩小B,那么屏幕上显示你当前位置的点就是这个所谓的“不动点”.
事实上,当你用地图查找你所处的位置,就是寻找不动点（附近）的过程,假若你的地图又很不规则,那么你正在做一件数学上很困难的事情,找到不动点（附近）.
例三
再看三维的例子：我们把一块理想的蛋糕A从各个方向（不一定各向均匀）压缩成B,并在A内部任意移动,则不动点原理告诉我们：蛋糕中必有一个点没有位移,即不动点.
类似例二,直观上,我们可以这样理
把中国国土连同1000米上空看作一个大的蛋糕,假设你有一台未来的三维精确理想的GPS,而且假设你在空中悬浮（坐飞机,热气球?）,你可以想象这个三维的GPS就是那个压缩后的蛋糕,这个GPS显示的你当前位置就是这个不动点.
看过上述3个例子,我们可以发现它们只是同一个问题在一、二、三维空间的直观描述.在这个过程中“图像压缩”了,因而,这一现象在数学中称作 “压缩影像定理”,它是诸多“不动点原理”中的一个,“压缩影像定理”有更一般的表述方式【1】,【2】.
微博上曾有一个关于压缩影像的有趣的对话：
实际上这段对话描述的就是压缩影像定理的证明思路.你可以类似的证明压缩影像定理,设压缩的函数表达为F,即F：A→A,B=B(1)=F(A),B(n)=F(B(n-1)),如果F类似我们上述三个例子的条件,则B(n)收敛,其极限就是我们要求的不动点.
下面我们再看一个很不直观的例子,及一个有趣,但有些不可思议的推论.
例四
数学家总是充满好奇,总是试图讨论更广泛的问题.按照这个思维定势,下面很自然会问,球面上会如何?球面由于其空间的结构不同,问题要复杂得多,我们有如下结论：
Brouwer定理：设F是（2维）球面到球面自身的连续映射,则必有一个点c,使得F(c)=c 或者 –c.即F或者有一个不动点,或者有一个点映射到其对径点（过c的直径在球面上连接的另一个点）.
这个命题证明很复杂,需要用到代数拓扑理论,即使直观理解起来也很困难（至少我没有办法像前面的例子那样去直观的描述）.但是,利用这个命题,数学家（不是气象学家）可以得到一个很有趣,又很不直观的断言：任何时刻,地球上总有一点不刮风（水平方向风速为零）.
这个断言看起来与Brouwer定理风马牛不相干,但证明并不难.我们可以用反证法这样证明这个断言：
为了方便起见,不妨假设地球是单位球面（半径为1）,球面上的点可以看作单位向量,而球面到球面的映射可以看作单位向量间的映射.假设在某一时刻,地球任何一点x的风速V(x)（水平方向向量）都不为零,那么向量V(x)与圆心o到点x的向量ox垂直,而V(x)/ |V(x)|,其中|V(x)|为向量V(x)的长度,可以看作（单位）球面上的点,且与ox垂直.于是我们可以构造一个（单位）球面到自身的映射F：ox→V(x)/ |V(x)|.不难看出该映射把向量ox映射到与其垂直的向量,所以既不是其自身,也不是其对径点-ox,而这与Brouwer定理矛盾.因而,假设不成立,所以在任一时刻地球上必有一点没有风.
更一般的,对所有偶数维球面上述Brouwer定理,及我们的断言仍然成立.
但是对奇数维球面上述命题并不成立,Brouwer定理有更为复杂的形式.
对奇数维球面,我们可以利用线性代数构造一个反例：
用一个偶数2n阶的没有实特征根的正交矩阵O,自然作用在2n维欧氏空间上,它将奇数2n-1维单位球面变换到自身,易证：不存在这样的点,在O的作用下,不动（特征根为1的特征向量）,或者变为对径点（特征根为-1的特征向量）.
注： Brouwer定理在有些科普书以及网上（如：【1】、【3】）错误的表述为：设F是球面到球面自身的连续映射,则必有一个点使得F(x)=x,即有不动点.
注：作为惯例,一般中文数学教科书或数学论文为了避免混淆,句号不使用“.”,而是用英文句号“.”,本文作为科普文章,没有沿袭这个惯例.
比较乱,因为我也很无知.