摘要本文首先介绍Banach空间中的不动点定理、在其他线性拓扑空间中不动点定理的一维推广形式、在一般完备度量空间上的推广形式.其次，通过分析近几年全国各地高考数学卷中一些试题特点，总结了利用不动点定理求解有关数列的问题.其中包括数列通项、数列的有界性问题.最后介绍了不动点定理中的吸引不动点和排斥不动点在讨论数列的单调性及收敛性方面的应用.关键词：Banach不动点定理，数列通项，有界性，单调性，收敛性.AbstractThis article firstly introduced the Fixpoint Theorem in Banach space, the one-dimensional extended form of the Fixpoint Theorem in other linear topological space and the extended form in general complete metric space. Then, we summarized the problem on sequence of number using Fixpoint Theorem, analyzing the characteristics of tests emerged on math papers of all parts of our country recent years, including the problem of general term and boundedness of a sequence of number. At last, attractive fix point and rejection fix point in Fixpoint Theorem v/ere introduced v/hich can solve the problem about the monotonicity and astringency of sequence of number.Keywords:Banach fixed point theorem, Sequence, Boundedness, Monotonicity Convergence.第1章绪论 (1)1.1导论 (1)1.1.1选题背景 (1)1.1.2选题意义 (2)1.1.3课题研究内容 (2)1.2研究现状 (2)1.3本章小结 (3)第2章不动点定理 (4)2.1有关概念 (4)2.2不动点定理和几种推广形式 (4)2.3本章小结 (7)第3彖不动点定理在数列中的应用 (8)3.1求数列的列项公式 (8)3.2数列的有界性 (9)3.3数列的单调性及收敛性 (11)3.3.1数列的单调性、收敛性的重要结论 (11)3.3.2数列的单调性、收敛性的证明 (14)3.4本章小结 (17)第6章结束语 (18)参考文献 (19)第1章绪论1.1导论不动点理论的研究兴起于20世纪初，荷兰数学家布劳维在1909年创立了不动点理论⑴.在此基础上，不动点定理有了进一步的发展，并产生了用迭代法求不动点的迭代思想.美国数学家莱布尼茨在1923年发现了更为深刻的不动点理论，称为莱布尼茨不动点理论⑵.1927年，丹麦数学家尼尔森研究不动点个数问题, 并提出了尼尔森数的概念⑶.我国数学家江泽涵、姜伯驹、石根华等人则大大推广了可计算尼森数的情形，并得出了莱布尼茨不动点理论的逆定理［句.不动点理论一个发展方向是只限于欧氏空间多面体［5】上的映射，不动点理论的另一个发展方向是不限于欧氏空间中多面体上的映射，而考察一般的距离空间或线性拓扑空间上的不动点问题.最后给出结果的是波兰数学家巴拿赫(Bananch)【6】，他于1922年提出的压缩映像原理发展了迭代思想，并给出了Banach不动点定理⑹.这一定理有着及其广泛的应用，像代数方程、微分方程、积分方程、隐函数理论等中的许多存在性与唯一性问题均可以归结为此定理的推论.1.1.1选题背景不动点定理在微分方程、函数方程、动力系统理论等中有极为广泛的应用. 函数的“不动点“理论虽然不是中学教材的必修内容，但是它的存在确实使一些数学问题在无法想象中得到了解决•已知递推公式求其数列通项，数列有界性、数列的单调性及收敛性等，历来是高考的重点和热点题型，对那些已知递推关系但乂难求通项的数列综合问题，充分运用函数的相关性质是解决这类问题的着手点和关键.因此，它就自然成为各类数学竞赛和选择性考试必选的内容之一，尤其在近年的高考中对该定理的应用越来越频繁.1.1.2选题意义利用“不动点”法巧解高考题，递推公式求数列的通项，证明数列的有界性、数列的单调性及收敛性等，历来是高考的重点和热点题型，那些已知递推关系但乂难求通项的数列综合问题，充分运用函数的相关性质是解决这类问题的着手点和关键.与递推关系对应的函数的“不动点”决定着递推数列的增减情况，因此本文对函数“不动点''问题的研究结果，来简化求数列的通项公式、数列的有界性、数列的单调性及收敛性等问题具有指导意义和理论意义.1.1.3课题研究内容本文通过介绍不动点定理的证明，不动点定理的迭代思想和不动点定理的推论，研究了以下的内容：①利用不动点定理的迭代思想，简化求递推数列的通项问题.②以不动点定理为指导思想，证明数列的有界性.③利用不动点及特征函数的性质研究数列的单调性及收敛性，并借此解决一些高考题.1.2研充现状不动点理论一直是一个既比较古老的问题，乂比较有新生命力的领域，它的历史悠久，却乂是近现代一个发展较快的理论定理.自不动点理论问世以来，特别是最近的二三十年来，由于学术上的不断发展和数学工作者的不懈努力，这门学科的理论及应用的研兖已经取得了重要的进展，不断有新的不动点理论研究成果涌现，并日臻完善.不动点的有关理论是泛函分析中最重要的原理之一，它依据于著名的巴拿赫(Banach)压缩映射定理，如今已广泛应用于数学分析的务个方面.许多著名的数学家为不动点理论的证明及应用作出了页献.例如，荷兰数学家布劳威尔在1910年发表的《关于流形的映射》〔2]一文中就证明了经典的不动点定理的一维形式.即，设连续函数f(x) /(x)把单位闭区间[0,1]映到[0,1] [0,1] 中，则有x o e[O,l],使/(x°) =知波利亚曾经说过：“在问题解决中，如果你不能解答所提的问题，那么就去考虑一个适当的与之相关联的辅助问题”・“不动点” 就是一个有效的可供选择的辅助问题.近年来，有不少人研究中学数学中所涉及到的不动点问题，将拓扑学不动点定理的一些基本思想，采用通俗易懂的语言和形象生动的例子运用到初等数学中去，扩大中学生的知识领域，加深中学生对数学基础知识的掌握•在中学中，不动点有关知识常常用来解决一些初等数学中的问题，例如以“不动点”为载体、将函数、数列、不等式、方程以及解析儿何等知识有机地交汇在一起的数学问题，从而体现了用不动点有关知识来求解这些问题有时是非常简单和巧妙的.1.3本章小结本章介绍了选题的背景和意义，并对课题的要求和研究内容作了分析，对不动点定理的现况作了概要性的说明，是不动点定理及其应用的前期研兖基础・第2章不动点定理2.1有关概念函数的不动点，在数学中是指被这个函数映射到其自身的一个点，即函数/(X)的取值过程中，如果有气,使/(x) = x).就称气为/(W的一个不动点.对此定义，有两方面的理解：⑴代数意义：若方程f(X0) = X0有实数根X。
，则/(x0) = x0有不动点气.⑵儿何意义：若函数y = /(X)与y = x有交点(x0,>0)»则工0为y = /(x)的不动点.为了介绍不动点的一般概念，本文先介绍以下相关概念.定义1⑺度量空间：设X是一个集合，p.XxX—R.如果对于任何x,y,zeX,有(1) <正定性)p(x,y)>0,并且p(x,y) = 0当且仅当x = y ；⑵(对称性)/?(x,y) = Q(y,x)；(3)(三角不等式)p(x,z) <p(x,y) + y,z).则称p是集合X的一个度量，偶对(X, p)是一个度量空间.定义2〔刀压缩映射：给定(X,Q)如果对于映射T.X^X存在常数K ,0<K< 1使得p(TxJy} <Kp(x,y), (Vx, y e X)则称丁是一个压缩映射.定义3S Cauchy列：给定(X,Q), {x”} u X ,若对任取的£>0,有自然数N使对Pm,n>N ef都成立「(％,%)<£则称序列{易}是Cauchy列.定义45完备度量空间：给定(X/),若X中任一Cauchy列都收敛，则称它是完备的.定义5〔8】不动点：给定度量空间(7,Q)及X T X的映射『如果存在xeX使Tx=x则称X*为映射r的不动点.定义6闵凸集：设X是维欧式空间的一点集，若任意的两点否e XE€ X的连线上的所有的点网+ (1 - g V x, (0 e A1)；则称X为凸集.2.2不动点定理和几种推广形式不动点理论是关于方程的一种一般理论.数学里到处要解方程，诸如代数方程、微分方程、函数方程等，种类繁多，形式各异，但是它们常能改写成/(X)= X的形状这里的X是某个适当的空间X中的点，f是X到X的一个映射，把每个X移到/(X).方程/(x)=工的解恰好就是在/这个映射下被留在原地不动的点，故称不动点，于是解方程的问题就是化成了找不动点的这个几何问题，不动点理论就是研究不动点的有无、个数性质与方法.首先，本文介绍Banach不动点定理的证明定理I (Banach不动点定理一一压缩映射原理【询)设(X,p)是一个完备的度量空间『是(X,Q)到其自身的一个压缩映射，则『在X中存在惟一的不动点.证明首先，证明丁存在不动点取定x o eX以递推形式x/t+1=Tx n确定一序列化}是Cauchy列.事实上，由) = Pg，Tx m_{) < Kp(x『s) = Kp(Tx m_},Tx in_2)< K：pg*x m_2)<..•《K”0(X],)任取自然数〃 ?, n，不妨设m<〃那么P(x m，七)V P(x m, %])+♦•• + p(x n_ly x n)< (K'n + K 妇 + • • • + K"~l )p(A P X o)1 _TT-mQ0，x。
)匕必玉，吒)1 — K 1 — A从而知(x M )是一Canchy列,故存在x* e X使x H T x*且x*是T的不动点，因为P{x ,Tx*)< p(x，匕)+ p{x n, 7V) = p{x，L)+K )->(〃 T S)故p{xjx )=。