不动点定理习题 - 不动点定理练习题权威解析与系统训练平台

什么是不动点？——从直观到严格的定义

设 f 是定义在集合 X 上的函数，若存在某点 x ∈ X，使得 f(x) = x，则称 x 为函数 f 的一个不动点。简单来说，就是函数作用后“原地不动”的点——它被映射回自身。

这一概念看似简单，却在数学各领域中扮演着基石角色：在微分方程中用于证明解的存在唯一性；在数值分析中构成迭代算法的理论基础；在经济学中用于一般均衡模型的构建；甚至在计算机科学中，它支撑着程序语义的语义固定点理论。

两大基石定理：从离散到连续

在实数域或赋范线性空间中，有两个不动点定理最为常用：

巴拿赫压缩映射原理（Banach Fixed-Point Theorem）

设 (X, d) 是一个完备度量空间，T: X → X 是一个压缩映射，即存在常数 0 ≤ k < 1，使得对任意 x, y ∈ X，有：

则 T 在 X 中存在唯一不动点 x，且对任意初始点 x₀ ∈ X，迭代序列 xₙ₊₁ = T(xₙ) 收敛于 x。

这是不动点定理习题中最常出现的模型。其强大之处在于：
• 保证解的存在性与唯一性
• 提供构造性算法（迭代法）
• 给出误差估计：d(xₙ, x) ≤ kⁿ/(1−k) · d(x₁, x₀)

布劳威尔不动点定理（Brouwer Fixed-Point Theorem）

设 D ⊆ ℝⁿ 是一个非空、有界、闭、凸子集（如闭单位球），f: D → D 是连续映射，则 f 在 D 中至少有一个不动点。

注意：此定理不保证唯一性，且对无限维空间不成立（如希尔伯特空间中单位球面无不动点的连续自映射）。

经典直观例子：将一张地图揉成一团放在原地图上，总有一点恰好落在其实际位置正上方——这就是二维布劳威尔定理的地理版本。

不动点定理习题的常见结构类型

根据考试与竞赛真题分析，围绕不动点定理练习题的题目通常呈现以下结构：

• 存在唯一性证明型：验证压缩条件 → 应用巴拿赫定理
• 迭代逼近型：给定迭代公式，证明收敛并求极限
• 方程求解转化型：将方程 f(x) = 0 转化为 x = g(x) 形式
• 反例构造型：在非完备空间或非压缩映射下，说明不动点不存在或不唯一
• 应用建模型：建立迭代模型（如人口模型、数值算法）并分析收敛性

题型一：压缩映射下的存在唯一性证明

例题1（考研数学分析真题）设 f(x) = cos x，证明 f 在区间 [0, 1] 上存在唯一不动点，并估计迭代法 xₙ₊₁ = cos(xₙ) 的收敛速度。

实际计算：取 x₀ = 0.5，迭代得：
x₁ = cos(0.5) ≈ 0.87758
x₂ = cos(0.87758) ≈ 0.63901
x₃ = cos(0.63901) ≈ 0.80269
x₄ = cos(0.80269) ≈ 0.69478
x₅ = cos(0.69478) ≈ 0.76820
……约需10次迭代即可达到小数点后4位精度。

题型二：非压缩映射下的不动点分析

例题2设 f(x) = √(x + 2)，讨论其在 [0, +∞) 上的不动点个数。

进一步分析：计算导数 f′(x) = 1/(2√(x+2))，在 x=2 处 |f′(2)| = 1/4 < 1，故是吸引不动点；但整体非压缩（当 x→0 时 f′(x)→1/2，当 x→∞ 时 f′(x)→0），因此不能直接套用巴拿赫定理，需结合单调性与有界性用单调收敛定理。

题型三：迭代法构造与收敛性分析

例题3（数值分析经典题）为求方程 x³ − x − 1 = 0 在 [1, 2] 内的实根，构造以下迭代格式：
(a) xₙ₊₁ = xₙ + 1 − xₙ³
(b) xₙ₊₁ = ∛(xₙ + 1)

请判断哪种格式收敛，并说明理由。

题型四：布劳威尔定理在离散系统中的应用

例题4（博弈论基础）考虑二人零和矩阵博弈，支付矩阵为：

证明该博弈存在混合策略纳什均衡。

解：设玩家1采用混合策略 x = (p, 1−p)，玩家2采用 y = (q, 1−q)。
玩家1的期望收益为：
u₁(p,q) = p q·2 + p(1−q)(−1) + (1−p)q(−1) + (1−p)(1−q)·3
= 7pq − 5p − 4q + 3

对固定 p，玩家2选择 q 最小化 u₁；对固定 q，玩家1选择 p 最大化 u₁。
构造最佳反应映射：B(p) = argmax_{q∈[0,1]} u₁(p,q)，其为从 [0,1] 到自身闭凸子集的上半连续对应，满足布劳威尔-凯利条件，故存在不动点——即纳什均衡。

实际计算得混合策略均衡：p = 4/7，q = 5/7，博弈值 v = 8/7。

误区一：混淆“存在不动点”与“迭代必收敛”

许多同学认为：只要函数有不动点，迭代 xₙ₊₁ = f(xₙ) 就会收敛。这是严重错误！

误区二：忽略“完备性”条件

在非完备空间中，压缩映射可能无不动点。

误区三：误用“局部压缩”推出全局唯一

有些题目中函数仅在不动点附近满足 |f′| < 1，但全局不满足，此时迭代可能不收敛。

误区四：将“不动点”与“平衡点”等同

在微分方程 x′ = f(x) 中，平衡点满足 f(x)=0；而不动点是 g(x)=x 的解。二者需通过构造关联。

例：解 e⁻ˣ = x，等价于 x = e⁻ˣ。令 g(x) = e⁻ˣ，g′(x) = −e⁻ˣ，在 [0,1] 上 |g′(x)| ≤ 1（等号在 x=0 处取到），不严格压缩。改构造：
x = (1 + e⁻ˣ)/2 ⇒ g(x) = (1 + e⁻ˣ)/2，g′(x) = −e⁻ˣ/2，|g′(x)| ≤ 1/(2e) < 0.2，满足压缩条件！

经济学：一般均衡与博弈论

阿罗-德布鲁模型（Arrow-Debreu Model）证明经济体系存在一般均衡，其核心工具是布劳威尔不动点定理。在纳什均衡存在性证明中，纳什构造了“最佳反应映射”，并证明其存在不动点——该不动点即为纳什均衡。

经典模型：里昂惕夫投入产出模型

设 A 为技术系数矩阵（aᵢⱼ 表示生产单位第 i 种产品所需第 j 种产品的数量），价格向量 p 满足：
p = Aᵀp + v，其中 v 为附加值向量。

整理得：(I − Aᵀ)p = v。若 ρ(A) < 1（谱半径），则 I − Aᵀ 可逆，解唯一。该条件等价于：T(p) = Aᵀp + v 是压缩映射（在适当范数下）。

计算机科学：程序语义与逻辑

在程序语义学中，递归定义的函数可通过不动点理论严格化。例如，定义阶乘函数：
fact(n) = if n=0 then 1 else n × fact(n−1)

构造算子 F(f)(n) = if n=0 then 1 else n × f(n−1)，则 fact 是 F 的不动点。在偏序集（带点的CPO）中，F 是连续的，根据克雷塞尔-克林尼不动点定理，存在最小不动点——即我们熟悉的阶乘函数。

数值分析：迭代算法设计

以下常见算法本质都是不动点迭代：

• 牛顿法：解 f(x)=0 ⇒ xₙ₊₁ = xₙ − f(xₙ)/f′(xₙ)，即 x = x − f(x)/f′(x) 的不动点
• 雅可比迭代：解线性方程组 Ax=b，分解 A = D − L − U，迭代格式 xₙ₊₁ = D⁻¹(L+U)xₙ + D⁻¹b
• 幂法：求矩阵主特征值，迭代 xₙ₊₁ = Axₙ / ||Axₙ||，对应映射 T(x) = Ax / ||Ax|| 的不动点

微分方程：存在唯一性证明

考虑初值问题：
y′ = f(x, y), y(x₀) = y₀

积分得：y(x) = y₀ + ∫_{x₀}^x f(t, y(t)) dt

定义算子 (Ty)(x) = y₀ + ∫_{x₀}^x f(t, y(t)) dt。若 f 满足利普希茨条件，则在足够小区间上 T 是压缩映射（由压缩映射原理），故存在唯一解。

例：y′ = y², y(0) = 1，则 y(x) = 1/(1−x)，在 [0, 0.5] 上 |∂f/∂y| = |2y| ≤ 4，利普希茨常数 L=4，存在唯一解（但整体解在 x=1 处爆破）。

前沿拓展：非线性泛函分析中的不动点

在无限维空间中，压缩映射原理仍成立，但布劳威尔定理失效。取而代之的是：

• 舒瓦茨-施莱尔不动点定理：紧凸集上的连续映射有不动点
• 吉洪诺夫不动点定理：局部凸空间中，紧凸子集上的连续映射有不动点
• 巴拿赫空间中的不动点：如基达斯不动点定理（用于偏微分方程）

这些理论支撑着现代控制论、优化理论与机器学习中的收敛性分析。

权威教材推荐

在线资源与工具

• Wolfram Alpha：输入 "fixed point of cos(x)" 可直接求解并可视化迭代过程
• Desmos：绘制 y=x 与 y=f(x) 图像，直观观察交点（即不动点）
• MIT OpenCourseWare：课程 18.100B（Analysis I）含完整不动点理论讲义
• MathOverflow 讨论：搜索 "fixed point theorem applications" 获取前沿案例

经典题集与真题汇编

建议精练以下题目来源：

• 《数学分析习题课讲义》（谢惠民）第5章“极限与连续”补充题
• 《考研数学分析题解精粹》（钱吉林）第7章“微分中值定理与应用”
• 中国科学院数学分析真题（2015-2023年）：近10年出现7次不动点相关题
• IMO Shortlist 分析类题目：如2018-A5（函数方程+不动点思想）

网友热议TOP5

高频误区TOP3（来自网友错误率统计）

给备考学子的建议

根据近年考研真题大数据分析，涉及不动点定理习题的题目往往呈现以下特征：

• 题干中常出现“证明存在唯一解”“讨论迭代收敛性”等表述
• 函数多为初等函数（三角、指数、根式），区间为闭区间
• 需结合导数、中值定理、介值定理综合分析
• 解答题步骤分占比较高，务必写出定理条件验证过程

冲刺建议：每日精练1道典型题（如巴拿赫定理应用），3天后总结错误类型，1周后可形成稳定解题模板。

核心知识图谱

通过本页面系统学习，您将掌握：
✅ 三大不动点定理的严格表述与证明思路
✅ 典型不动点定理习题的解题套路与避坑技巧
✅ 跨学科应用的实例分析与建模能力
✅ 针对考研/竞赛的高频考点精讲与真题解析

请收藏本页，定期回顾“网友热议”与“误区指南”部分，您的错题本将成为最有效的复习资料。