不动点定理

不动点定理

三年后的我-seatbelt

2023年3月20日发(作者：何兰芬)

………………………………………………最新资料推荐………………………………………

I/20

摘要

本文首先介绍Banach空间中的不动点定理、在其他线性拓扑空

间中不动点定理的一维推广形式、在一般完备度量空间上的推广形式.

其次,通过分析近几年全国各地高考数学卷中一些试题特点,总结了

利用不动点定理求解有关数列的问题.其中包括数列通项、数列的有界

性问题.最后介绍了不动点定理中的吸引不动点和排斥不动点在讨论

数列的单调性及收敛性方面的应用.

关键词：Banach不动点定理,数列通项，有界性，单调性，收

敛性.

Abstract

ThisarticlefirstlyintroducedtheFixpointTheoremin

Banachspace,theone-dimensionalextendedformofthe

FixpointTheoreminotherlineartopologicalspaceandthe

,we

summarizedtheproblemonsequenceofnumberusing

FixpointTheorem,analyzingthecharacteristicsoftests

emergedonmathpapersofallpartsofourcountryrecent

years,includingtheproblemofgeneraltermand

,attractivefix

pointandrejectionfixpointinFixpointTheoremwere

introducedwhichcansolvetheproblemaboutthe

monotonicityandastringencyofsequenceofnumber.

Keywords:Banachfixedpointtheorem,Sequence,

Boundedness,MonotonicityConvergence.

目录

第1章绪论3

1.1导论3

1.1.1选题背景3

1.1.2选题意义2

1.1.3课题研究内容4

………………………………………………最新资料推荐………………………………………

II/20

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

………………………………………………最新资料推荐………………………………………

3/20

第1章绪论

1.1导论

不动点理论的研究兴起于20世纪初,荷兰数学家布劳维在1909年

创立了不动点理论[1]．在此基础上，不动点定理有了进一步的发展，并产生了用

迭代法求不动点的迭代思想．美国数学家莱布尼茨在1923年发现了更为深刻的

不动点理论，称为莱布尼茨不动点理论[2]．1927年，丹麦数学家尼尔森研究不

动点个数问题，并提出了尼尔森数的概念[3]．我国数学家江泽涵、姜伯驹、石根

华等人则大大推广了可计算尼森数的情形，并得出了莱布尼茨不动点理论的逆定

理[4]．

不动点理论一个发展方向是只限于欧氏空间多面体[5]上的映射,不动点理论

的另一个发展方向是不限于欧氏空间中多面体上的映射，而考察一般的距离空间

或线性拓扑空间上的不动点问题．最后给出结果的是波兰数学家巴拿赫

(Bananch)[6]，他于1922年提出的压缩映像原理发展了迭代思想，并给出了

Banach不动点定理[6]．这一定理有着及其广泛的应用，像代数方程、微分方程、

积分方程、隐函数理论等中的许多存在性与唯一性问题均可以归结为此定理的推

论．

1.1.1选题背景

不动点定理在微分方程、函数方程、动力系统理论等中有极为广泛的应用.

函数的"不动点"理论虽然不是中学教材的必修内容，但是它的存在确实使一些数

学问题在无法想象中得到了解决.已知递推公式求其数列通项，数列有界性、数

列的单调性及收敛性等，历来是高考的重点和热点题型，对那些已知递推关系但

又难求通项的数列综合问题，充分运用函数的相关性质是解决这类问题的着手点

和关键．因此，它就自然成为各类数学竞赛和选择性考试必选的内容之一，尤其

在近年的高考中对该定理的应用越来越频繁.

1.1.2选题意义

利用“不动点”法巧解高考题，递推公式求数列的通项，证明数列的有界

性、数列的单调性及收敛性等，历来是高考的重点和热点题型，那些已知递推关

系但又难求通项的数列综合问题，充分运用函数的相关性质是解决这类问题的着

手点和关键．与递推关系对应的函数的“不动点”决定着递推数列的增减情况，

因此本文对函数“不动点”问题的研究结果，来简化求数列的通项公式、数列的

有界性、数列的单调性及收敛性等问题具有指导意义和理论意义.

………………………………………………最新资料推荐………………………………………

4/20

1.1.3课题研究内容

本文通过介绍不动点定理的证明，不动点定理的迭代思想和不动点定理的推

论，研究了以下的内容：

①利用不动点定理的迭代思想，简化求递推数列的通项问题.

②以不动点定理为指导思想，证明数列的有界性.

③利用不动点及特征函数的性质研究数列的单调性及收敛性，并借此解决

一些高考题．

1.2研究现状

不动点理论一直是一个既比较古老的问题，又比较有新生命力的领域，它的

历史悠久，却又是近现代一个发展较快的理论定理.自不动点理论问世以来，特

别是最近的二三十年来，由于学术上的不断发展和数学工作者的不懈努力，这门

学科的理论及应用的研究已经取得了重要的进展，不断有新的不动点理论研究成

果涌现，并日臻完善.

不动点的有关理论是泛函分析中最重要的原理之一，它依据于著名的巴拿赫

（Banach）压缩映射定理，如今已广泛应用于数学分析的各个方面.

许多著名的数学家为不动点理论的证明及应用作出了贡献.例如，荷兰数学

家布劳威尔在1910年发表的《关于流形的映射》[2]一文中就证明了经典的不动

点定理的一维形式.即,设连续函数()fx()fx把单位闭区间[0,1]映到[0,1][0,1]

中，则有

0

[0,1]x，使

00

()fxx.波利亚曾经说过：“在问题解决中，如果你不能

解答所提的问题，那么就去考虑一个适当的与之相关联的辅助问题”.“不动点”

就是一个有效的可供选择的辅助问题.

近年来，有不少人研究中学数学中所涉及到的不动点问题，将拓扑学不动点

定理的一些基本思想，采用通俗易懂的语言和形象生动的例子运用到初等数学中

去，扩大中学生的知识领域，加深中学生对数学基础知识的掌握.在中学中，不

动点有关知识常常用来解决一些初等数学中的问题，例如以“不动点”为载体、

将函数、数列、不等式、方程以及解析几何等知识有机地交汇在一起的数学问题，

从而体现了用不动点有关知识来求解这些问题有时是非常简单和巧妙的.

1.3本章小结

本章介绍了选题的背景和意义，并对课题的要求和研究内容作了分析，对不

动点定理的现况作了概要性的说明，是不动点定理及其应用的前期研究基础.

………………………………………………最新资料推荐………………………………………

5/20

第2章不动点定理

2.1有关概念

函数的不动点，在数学中是指被这个函数映射到其自身的一个点，即函数

()fx的取值过程中，如果有

0

x,使

0

()fxx.就称

0

x为()fx的一个不动点．

对此定义，有两方面的理解：

⑴代数意义：若方程

00

()fxx有实数根

0

x，则

00

)(xxf有不动点

0

x．

⑵几何意义：若函数

)(xfy

与xy有交点),(

00

yx，则

0

x为

()yfx

的不

动点．

为了介绍不动点的一般概念，本文先介绍以下相关概念.

定义1[7]度量空间:设X是一个集合，RXX:.如果对于任何

Xzyx,,，有

⑴（正定性）(,)0xy,并且(,)0xy当且仅当yx；

⑵（对称性）(,)(,)xyyx；

⑶（三角不等式）(,)(,)(,)xzxyyz，

则称是集合X的一个度量,偶对

,X是一个度量空间.

定义2[7]压缩映射：给定,X

如果对于映射T:XX存在常数

K,10K使得(,)(,)TxTyKxy，(,)xyX则称T是一个压缩映射.

定义3[7]Cauchy列：给定(,)X,

n

xX,若对任取的0,有自

然数N使对



Nnm,,都成立(,)

mn

xx则称序列

n

x是Cauchy列.

定义4[7]完备度量空间：给定(,)X，若X中任一Cauchy列都收

敛,则称它是完备的.

定义5[8]不动点：给定度量空间(,)T及XX的映射T如果存在

Xx*使**xTx则称*x为映射T的不动点.

定义6[9]凸集：设X是维欧式空间的一点集，若任意的两点

XxXx

21

,

的连线上的所有的点)10(,)1(

21

Xxx;则称X为

凸集.

2.2不动点定理和几种推广形式

………………………………………………最新资料推荐………………………………………

6/20

不动点理论是关于方程的一种一般理论.数学里到处要解方程，

诸如代数方程、微分方程、函数方程等，种类繁多，形式各异，但是

它们常能改写成()fxx的形状这里的x是某个适当的空间X中的点，

f是X到X的一个映射，把每个x移到()fx.方程()fxx的解恰好就

是在

f

这个映射下被留在原地不动的点，故称不动点，于是解方程的

问题就是化成了找不动点的这个几何问题，不动点理论就是研究不动

点的有无、个数性质与方法.

首先,本文介绍Banach不动点定理的证明

定理l（Banach不动点定理——压缩映射原理[10]）设(,)X是

一个完备的度量空间T是(,)X到其自身的一个压缩映射,则T在X中

存在惟一的不动点.

证明首先,证明T存在不动点

取定Xx

0

以递推形式

nn

Txx

1

确定一序列

n

x是Cauchy列.事

实上，由11112

2

1210

(,)(,)(,)(,)

(,)(,)

mmmmmmmm

m

mm

xxTxTxKxxKTxTx

KxxKxx













任取自然数nm,,不妨设nm那么

11

1110

1010

(,)(,)(,)()(,)

1

()(,)(,)

11

mmn

mnmmnn

nmm

m

xxxxxxKKKxx

KK

Kxxxx

KK



















从而知

n

x是一Canchy列,故存在Xx*使*xx

n

且*x是T的不

动点,因为

******

1

(,)(,)(,)(,)(,)()

nnnn

xTxxxxTxxxKxxn





故**(,)0xTx,即**xTx,所以*x是T的不动点.

其次,下证不动点的惟一性

设T有两个不动点*

1

*,xx,那么由**xTx及*

1

*

1

xTx有

******

111

(,)(,)(,)xxTxTxKxx

设*

1

*xx,则**

1

(,)0xx,得到矛盾，从而*

1

*xx，唯一性证毕.

………………………………………………最新资料推荐………………………………………

7/20

作为Brouwer不动点定理从有限维到无穷维空间的推广，1927

年Schauder证明了下面不动点定理，我们称其为Sehauder不动点定理

I：

定理2设E是Banach空间，X为E中非空紧凸集，XXf:是连

续

自映射，则

f

在X中必有不动点.

Sehauder不动点定理的另一表述形式是将映射的条件加强为紧

映射(即对任意Xx，

xf是紧的)，这时映射的定义域可不必是紧集，

甚至不必是闭集，有下面定理，我们称其为Schauder不动点定理II：

定理3设E是Banach空间，X为E中非空凸集，XXf:是紧的连

续自映射，则

f

在X中必有不动点.

定义6设E是线性拓扑空间，如果E中存在由凸集组成的零邻域

基，则称E是局部凸的线性拓扑空间，简称局部凸空间.

1935年，Tyehonoff进一步将Sehauder不动点定理I推广到局部

凸线性拓扑空间，得到了下面的不动点定理，我们称其为Tyehonoff

不动点定理：

定理4设E是局部凸线性拓扑空间，X是其中的非空紧凸集，

XXf:是连续自映射，则f必有不动点，即存在Xx

0

，使得

00

()fxx.

1950年，Hukuhara将Schauder不动点定理II与Tyehonoff不动点

定理结合起来得到下面的定理，我们称其为Sehauder--Tychonoff不

动点定理：

定理5设E是局部凸线性拓扑空间，X是其中的非空凸集，

XXf:是紧连续自映射，则f必有不动点，即存在Xx

0

，使得

00

()fxx.

从20世纪30年代起，人们开始关注集值映射的不动点问题.所谓

集值映射的不动点，

定义如下：

定义7设X是拓扑空间，XXT2:是集值映射，其中X2表示X的

所有非空子集的集合.若存在Xx

0

，使

00

()xTx，则称

0

x是T的不动

………………………………………………最新资料推荐………………………………………

8/20

点.

1941年，kllcIltani把Bmuwer不动点定理推广到集值映射的情

形，得到下面的不动点定理，我们称其为Kakutani不动点定理：

定理6设mRX是凸紧集，且XXT2:是具闭凸值的上半连续集

值映射，则T必有不动点.

1950年，Botmenblust，Karlin把Sehauder不动点定理I推广到

集值映射的情形：

定理7设E是Banach空间，X是E中的非空紧凸集，XXT2:是

具有闭凸值的上半连续集值映射，则T必有不动点.

1952年，Fan，Glicksberg分别把Tyehonoff不动点定理推广到集

值映射的情形，成为Kakutani-Fan-Glicksberg不动点定理或K-F—G

不动点定理.即：

定理8设E是局部凸的Hausdorff线性拓扑空间，X是E中的非

空紧凸集，XXT2:是具有闭凸值的上半连续集值映射，则T必有不

动点.

1968年，Browder又证明了另一种形式的关于集值映射的不动点

定理，本文称此定理为Fan-Browder不动点定理：

定理9设X是Hausdorff线性拓扑空间E中的非空凸紧子集，集值

映射XXS2:满足：

(1)对任意Xx，()Sx是X中的非空凸集

(2)对任意1,():()yXSyxXySx是Z中的开集

则存在Xx

0

，使

00

()xSx.

本章小结

本章详细介绍了Banach不动点定理及其证明，概况了对不动点

定理的几种推广形式.

第3章不动点定理在数列中的应用

在高考试题中，数列向所对应函数的不动点收敛的问题，常可以用单调性

结合数学归纳法的方法来解决．“不动点”问题虽不是高考大纲的要求，但在函

数迭代、力程、数列、解析几何中都有重要的价值和应用，在历年的高考中也经

………………………………………………最新资料推荐………………………………………

9/20

常看到“不动点”的影子以全国卷I为例，2007年，2008年、2010年高考的

压轴题都是可以用“不动点”的方法比较容易地去解决．

用“不动点”的方法在学生平时解题中主要是求数列的通项公式、数列的单

调性、有界性及收敛性等.

3.1求数列的通项公式

定理10已知数列

n

x满足

dcx

bax

xfxfx

nn







,

1

,其中

0,0bcadc，设p是xf唯一的不动点，则数列













px

n

1

是一个等差

数列.

证明因为p是

xf唯一的不动点，所以p是方程

dcx

bax

x





，亦即

p是一元二次方程02bxadcx的唯一解.得

apcppdb

c

da

p



2,

2

所以





dcx

pxpca

dcx

apcpxpca

dcx

pdbxpca

p

dcx

bax

px

n

n

n

n

n

n

n

n

n









































1

1

1

2

1

1

1

1

1





pxcpa

cpd

pca

c

px

cpdpxc

pcapxpca

dcx

px

n

n

n

n

n

n





































1

1

1

1

1

1

11

把

c

da

p

2



代入上式，得:

pxda

c

px

nn











1

121

令

da

c

k





2

，可得数列













px

n

1

是一个等差数列.

………………………………………………最新资料推荐………………………………………

10/20

在初等数学中经常会遇到求这类问题，已知数列

n

x的首项，数

列的递推关系，求数列的通项，这类问题往往难度很大，通过不定点

定理，大大降低了此类问题的难度.

例1若

1

12

1

,1







n

na

aa（*Nn，且2n）求数列

n

a的通项公

式.

解根据迭代数列

1

2

1







n

na

a，构造函数

x

xf





2

1

，易知

xf有

唯一的不动点1p，

根据定理可知2,1,1,0dcba，

则

1

1

1

1

1

1







nn

aa

即数列













1

1

n

a

是以首项

2

1

，公差为1的等差数列.则对应的通项

公式为

nn

a

n



2

1

11

2

1

1

1

解得

n

n

a

n21

23







又1

1

a也满足上式.所以

n

a的通项公式为

n

n

a

n21

23





.

对于此类形式的数列，已知数列

n

x满足

dcx

bax

xfxfx

nn







,

1

,

其中0,0bcadc，求其通项.运用不动点定理，可以简单快捷地解

………………………………………………最新资料推荐………………………………………

11/20

答.即数列













1

1

n

a

是以首项

1

a，公差为

da

c



2

的等差数列.

推论已知数列

n

x满足baxxfxfx

nn





,

1

,其中0a，设p是

xf唯一的不动点，则数列px

n

是一个公比为a等比数列

例2若32,1

11



nn

aaa，（*Nn，且2n），求数列

n

a的通项

公式.

解根据迭代数列32

1



nn

aa，构造函数32xxf，易知xf有

唯一的不动点3p，

根据推论可知3,2ba，

则

323

1



nn

aa

所以

323

1



nn

aa

所以3

n

a是以23

1

a为首项，2为公比的等比数列，

则当2n时，有n

n

a23，

故32n

n

a

又1

1

a也满足上式.

所以

n

a的通项公式为32n

n

a.

在高中阶段，学生在学习了数列之后，经常会遇到已知

1

a及递推公式，求数

列

nn

afa

1

的通项公式的问题，很多的题目令人感到非常棘手.而不动点定理

给出了一个“公式”性的方法——不动点法，应用此法可巧妙地处理此类问题.

3.2数列的有界性

在高考中会经常出现证明数列有界性的问题，不等式问题是高考中的一个难

点，数列与不等式结合，使得这类问题更加的棘手了，而不动点定理却给了我们

思想上的一个指导，即解决这类问题，我们可以先求出不动点，然后用数学归纳

法证明.

例3(2008年全国II)函数xxxxfln.数列

n

a满足



nn

afaa

11

,10．证明:1

1



nn

aa．

………………………………………………最新资料推荐………………………………………

12/20

分析函数xxxxfln的不动点是1x显然此题就是要证明数

列向不动点1x收敛

证明当

1,0x时，

0ln'xxf，所以xf

在区间1,0内是增

函数；又10

1

a，所以

11ln

111121

faaaafaa；

假设kn时有

1

1



kk

aa，因为xf

是增函数1,0x，所以

11

1





fafaf

kk

，即

1

21



kk

aa，当1kn时结论也成立．故原

不等式成立

这类问题可以以各种类型的函数与数列为载体．考查导数、单调性、方程的

根等问题．对学生综合能力有较高的要求，在2010年的高考中此类问题进一步

拓展，又有了一些新变化：利用数列的有界性求含参数列中参数的取值范围.

例4（2010年全国I)已知数列

n

a中，

n

na

caa

1

,1

11





，求使不

等式

3

1



nn

aa成立的c的取值范围.

解:该数列应该是向其某个不动点收敛.不妨设该不动点为

0

x，则

有

31

0

x，即方程xxf在3,1有一个实根．我们继续用不动点的思

路方法解决该问题.

因为

3

1



nn

aa对任意自然数都成立，所以首先应有3

21

aa，

可得42c．

设

x

cxf

1

，则xf是增函数，,0x.

令

xxf，即01,

1

2cxxx

x

c.当2c时，该方程有2个不等

的实数根．设为

2121

,,xxxx，由韦达定理1

21

xx，可知

21

1xx只要

让

3

2

x即可.

令

3

10

03,12cgcxxxg.

即当

3

10

c时，xf在3,1上存在不动点

0

x(

0

x就是

2

x)所以c的取

………………………………………………最新资料推荐………………………………………

13/20

取范围是













3

10

,2.再用数学归纳法证明结论的正确性：

因为

31

0

x且

x

cxf

1

在,0是增函数，所以当

3

10

2c时，

有

0021

11xfxfaa.

假设kn时，有3

01





xaa

kk

．因为xf

是增函数，故



01

xfafaf

kk





，即

021

xaa

kk





，当1kn时结论也成立，所以

当c的取值范围是













3

10

,2时，



x

cxf

1

有在区间3,1内的不动点

0

x，数列

n

a单调递增向该不

动点收敛.

3.3数列的单调性及收敛性

近几年一些地区高考试题对利用不动点解决递推数列的问题比较青睐，如求

数列的通项公式，利用不动点研究数列的单调性等等．下文利用不动点及特征函

数的性质研究数列的单调性及收敛性，并借此解决一些高考题．

3.3.1关于数列单调性、收敛性的重要结论

定义8设RIf:，其中I是R的一个区间，数列

n

x由aa

1

和递

推关系

nn

xfx

1

来定义.则数列

n

x称为递推数列.

xf称为数列

n

x

的特征函数，

xfx称为数列

n

x的特征方程，ax

1

称为初始值.

若设f是连续的，若

n

x收敛而且有极限

0

x，



010

limlimxfxfxx

nn





.因此问题就变为寻找方程

xfx解(即f

的不动点)，并验证数列是不是收敛于数

0

x．

定理11设f是定义在I上的一个压缩映射，则由任何初始值

bax,

1

和递推数列

nn

xfx

1

，*Nn生成的数列

n

x收敛．

证明：由于f是

ba,上的一个压缩映射，故babaf,,，则

bax

n

,，且1,0k，使得*,Npn，有

………………………………………………最新资料推荐………………………………………

14/20



.

11

1

22

2

1111

bak

xxkxxk

xxkxfxfxx

n

p

n

pnn

pnnpnnpnn

















于是，0（不妨设ab)，只要取

*,,ln/lnNpnk

ab

N



















，都有

pnn

xx根据Cauchy收敛准则，

n

x

收敛．[证毕]

定义9在不动点

0

x处，若1

0

'xf，则称

0

x为xfy的吸引不动

点；若1

0

'xf，则称

0

x为xfy的排斥不动点．

定理12若xfy是定义在I上的连续可导函数，

0

x是吸引不动

点，则存在

0

x的邻域区间U，对一切Ux，都有1'xf且

0

lim()n

n

fxx



．这里的记号1`()(())nnfxffx.

证明：因为

xf连续可导，又1

0

'xf，则这样的区间显然存在．

对任意一点Ux，在

0

,xx为端点的闭区间上，由拉格朗日中值定

理得



00

'

00

xxxxfxfxfxxf

所以，

Uxf由定理1可得数列xfn收敛，且

0

lim()n

n

fxx



．[证

毕]

定理表明吸引不动点在迭代过程中，可以吸引周边的点．下面研

究数列

n

x将以何种方式收敛于

0

x.

定理13若xfy是定义在I上的连续可导函数，只有一个不动

点

0

x，且为吸引不动点，初始值

01

xx,递推数列*

1

,Nnxfx

nn





，

则(1)当f在I上递增时，则数列

n

x单调且收敛于

0

x；(2)当f在I上

递减时，则

n

x的两个子列的

12k

x和

k

x

2

一递增一递减，且收敛于

0

x．

证明：(1)当f在I上递增时，若



121

xxxf

，则由数学归纳法

可证明



nnnn

xxfxfx

11

，

n

x递增；若



121

xxxf

，则由数学归

………………………………………………最新资料推荐………………………………………

15/20

纳法可证明

nnnn

xxfxfx

11

，

n

x递减．

(2)当

f

在I上递减时，此时复合函数

xff递增，而子数列

12k

x

和

k

x

2

中有一个递增，另一个递减．若

13

xx，用数学归纳法可证明



12k

x单调递增．事实上，若

1212



kk

xx，则

2212122



kkkk

xxfxfx，



3222212



kkkk

xxfxfx，由此可得

k

x

2

单调递减；若

13

xx，证明

类似．[证毕]

定理14若xfy是定义在I上的连续可导函数，有且只有两个

不动点,且1,1''ff

，异于,的初始值

1

x，递推数列

*

1

,Nnxfx

nn





．则两个不动点,至多只有一个吸引不动点．

证明：设函数

xxfxg，则1''xfxg.假设两个不动点,

同为吸引不动点，则1,1''ff从而0,0''gg.又

0gg，可得,,00



U,使得0'xg

，则

0,,0



gagUa，同理,b，使得0bg．由xg连

续及零点存在定理，得xg

在区间

ba,上必有一个零点．这与xg

仅

有两个零点矛盾．因此假设不成立，则两个不动点,，至多一个

为吸引不动点．[证毕]

定理15若xfy是定义在I上的连续可导的凸函数，有且只有

两个不动点,，且,，中有一个吸引不动点，

1,1''ff．异于,的初始值

1

x，递推数列*

1

,Nnxfx

nn





，

则为吸引不动点，



为排斥不动点，且当



1

x

n

x单调递增

且收敛于；当

1

x时，

n

x单调递减且收敛于；当

1

x时，



n

x单调递增且不收敛；

证明：由xfy为凸函数，可得xf'为增函数．由且中有

一个吸引不动点及定理4得

''1ff，即为吸引不动点，为

排斥不动点．构造函数

xxfxg，则1''xfxg为增函数且

0,0''gg．于是,x，使得0'xg，于是xg在x,上

递减，在,x

上递增．下面分四种情况进行说明：

(1)当



1

x时，0

1

gxg即

11

xxf，所以

12

xx，结合数学

归纳法易证

n

x单调递增且收敛于；

(2)当xx

1

时，0

1

gxg即

11

xxf，所以

12

xx，结合数

学归纳法易证

n

x单调递减且收敛于；

………………………………………………最新资料推荐………………………………………

16/20

(3)当

1

xx时，0

1

gxg即

11

xxf所以

12

xx，结合数学

归纳法易证

n

x单调递减且收敛于；

(4)当

1

x时，0

1

gxg即

11

xxf，所以

12

xx，结合数学

归纳法易证

n

x单调递增且不收敛．

综上，当

1

x时，

n

x单调递增且不收敛；当

1

x时，

n

x单

调递减且收敛于；当



1

x

时，

n

x单调递增且收敛于[证毕]

定理表明初始值也将影响数列

n

x收敛与否、以何种方式收敛于

.

3.3.2数列的单调性、收敛性的证明

当初始值与特征函数都确定的情况下，主要判断特征函数的单调

性，及不动点是否为吸引不动点，借助定理13可以解决．

例5(2007广东理)已知函数

12xxxf,,是方程0xf的

两个根(),xf'是

xf的导数．设





),2,1(,1

'

11





n

af

af

aaa

n

n

nn

.(1)求,的值；(2)证明：对任意的正

整数n,都有



n

a；(3)略．

解：(1)易得.

2

51

,

2

51







(2)

12'xxf，则

12

1

12

122

1













n

n

n

nn

nna

a

a

aa

aa，特征函数



12

12







x

x

xg，特征方程

12

12







x

x

x，即012xx，于是不动点

2

51

,

2

51





，







22

2

'

12

2

12

22











x

xf

x

xx

xg，













0

12

2

,0

12

2

2

'

2

'





















f

g

f

g,可得,均为吸引不动点．

又1

3

2

,1

121

agaa,当

0,,'xgx,由定理13可得

………………………………………………最新资料推荐………………………………………

17/20

数列

n

a单调递减，且



nn

n

aaa,lim.

本题的背景是牛顿切线法求方程0xf的近似解.本题特征函数



12

12







x

x

xg在定义域上不连续，有两个吸引不动点．由于初始值

1

1

a且不动点的导数值恰为0，使得,x时恒有0'xg

，使

问题简单化．

例6(2009陕西22)已知数列

n

x满足，*

11

,

1

1

,

2

1

Nn

x

xx

n

n









.

⑴猜想数列

n

x的单调性，并证明你的结论；(2)略．

解：由

n

nx

x





1

1

1

得特征函数

x

xf





1

1

,在1,、,1上分

别单调递减．由特征方程

x

x





1

1

得不动点

2

51

,

2

51





.由

于

2

'

1

1

x

xf



，则

1

51

4

2

'



f，



1

51

4

2

'



f

，可得

为排斥不动点，



为吸引不动点．

由

x

xf





1

1

在

,1上单调递减，又

2

1

1

x且

0

2

1

2

21

2

1

1

1

1

1

1

1

1

1

2

1

1

2

111

1

1

1

1

1

1

2

13

































x

xx

x

xxx

x

x

x

x

x

x

x

xx

由定理13得数列

n

x的两个子列

12k

x单调递增，

k

x

2

单调递减．

由于特征函数



x

xf





1

1

在

,1上单调递减，结合定理13，可

………………………………………………最新资料推荐………………………………………

18/20

得如下结论：

当,1

1

x时，可得

13

xx，数列

12k

x单调递增，

k

x

2

单调递减；

当

1

x时，数列

n

x为常数列；当,

1

x时，可得

13

xx，数列

12k

x

单调递减，

k

x

2

单调递增．

当初始值或特征函数中出现未知量或参数时，难度有所增加，

考虑降低难度要求的需要，高考题给出的特征函数一般为凹或凸函

数，此时主要结合定理15进行判断即可．

例7(2009安徽21)首项为正数的数列

n

a满足

*

2

1

,3

4

1

Nnaa

nn





．

(I)略；(II)若对一切n∈N，都有

nn

aa

1

，求

1

a的取值范围.

解：（II）记3

4

1

2xxf，则xxf

2

1

'，

2

1

''xf，于是xf为

凸函数.令3

4

1

2xx得不动点3,1.由对一切*Nn，都有

nn

aa

1

，得数列

n

a为递增，根据定理15得，

1

a或

1

a，又0

1

a，

所以

1

a的取值范围10

1

a或3

1

a

本题已知数列的单调性，求首项的取值范围，利用不动点定理可

以证明数列的单调性及收敛性，所以此题是对数列单调性及收敛性的

逆向考查，是高考中的难题，继续采用不动点定理的思想，根据定理

15可以很简单快捷地求出首项的取值范围，有别出心裁的效果.

3.4本章小结

本章详细研究了利用不动点定理解决求数列通项，数列有界性，

数列的单调性及收敛性问题，对这类问题的解决方法做了简单的概

括.

第6章结束语

本次的毕业论文创作过程是对大学四年学习的一个总结.在历时

将近半年的时间里，我通过到图书馆翻阅资料，上网，质询指导老师，

收集了足够的质料，按照指导老师提供的要求按时完成了我的论文.

………………………………………………最新资料推荐………………………………………

19/20

通过撰写毕业论文，对不动点定理有了自己的认识和进一步的理

解.不动点定理虽然是拓扑学中的一个著名的定理，但它在初等数学

中也有极其广泛的运用，运用不动点定理可以简单快捷地解决初等数

学中的一些问题，例如本文中提到的求数列通项、数列的有界性问题，

数列的单调性及收敛性方面的问题；当然本文所涉及的不动点定理的

应用不是很全面,还有很多方面的内容没有涉及.

本次毕业论文，我按照老师的要求完成了大部分论文的内容.不

动点定理，我论文中有了详细的说明，不动点定理在数列中的应用文

中也作了详细的分析.

这次毕业论文让我在数学理论知识应用上成熟了很多，是大学四

年学习的总结，也是今后工作的宝贵经验和财富.

随着全国教育体系的逐步完善，我相信数学的学习深度将进一

步提高，我希望本论文对读者了解不动点定理及其在数列中的应用有

所帮助.

参考文献

[1]CLARKSONJA．UniformlyConvex

Spaces[J]．Trans．Amer．Math．Soc．,1936,40(3)：396~414．

[2]CLARKSONJA．1nhevonNeumannConstantsfor

LebesgueSpace[J]．AnnofMath,1937，38(1)：114~115.

[3]JAMESRC．UniformlyNon—squareSpaces0]．Annof

Math,1964,80(3)：542~550．

[4]KIILXAAFixedPointTheoremforMappingsWhichDoNot

IncreaseDistances[J]．Amer．Math．Monthly,1965,72(9)：

1004~1006．

[5]AKSOYAG,KHAMSIMA．NonstandardMethodsinFixed

PointTheory[M]．

Heidelberg：Springer-Verlag,1990：11~13．

[6]江秉华．隐函数存在定理及隐函数组定理的一个证明方法[J]．湖

北师范学院学报(自然科学版)，2005，25(1)：87~89．

[7]龚怀云．应用泛函分析[M]．第1版．西安：西安交通大学出版社，

………………………………………………最新资料推荐………………………………………

20/20

1985．

[8]谭长明.龙丽．不动点定理在方程解方面的应用[J]．吉林师范大学

学报(自然科学版)，2007，28(1)：84~86．

[9]张学山．刘裕维．高等数学辅导与测试[M]．北京：高等教育出版

社，2004．

[10]刘炳初.泛函分析[M].北京:科学出版社,1998.

11]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版

社,1993

[12]林武忠,等.常微分方程[M].北京:科学出版社,2003.`

[13]李思华.积分方程[M].天津:天津大学出版社,1993.

14]张恭庆,等.泛函分析讲义[M].北京:北京大学出版社,1990.

[15]程其襄．数学分析[M](第二版)．北京：高等师范出版社，

1991．56~58．

[16]华东师范大学教学系．数学分析上册[M]．北京：高等师范教育

出版社．2000．56~58．

[17][不动点定理的方法与应用[J]．德州师范学院报，2005，10(2)：

5~7．

[18]李德本．微分中值定理的新证法[J]．四平师范学院学报，1982，

1(4)；32~34．

[19]刘炳初.泛函分析[M].北京:科学出版社,1998.

[20]裴礼文.数学分析中的典型问题与方法[M].北京:高等教育出版

社.1993．

[21]林武忠,等.常微分方程[M].北京:科学出版社,2003.

[22]李思华.积分方程[M].天津:天津大学出版社,1993.

[23]张恭庆,等.泛函分析讲义[M].北京：北京大学出版社,1990.