连续函数迭代一致收敛时证f(x)=x的技术问询

首先咱们明确问题核心：给定连续函数$f:[0,1]\to[0,1]$，仅有的不动点是0和1（也就是只有$x=0$和$x=1$满足$f(x)=x$），且它的迭代序列$f_n$（$f_1=f$，$f_{n+1}=f\circ f_n$）一致收敛，要证明$f(x)=x$对所有$x\in[0,1]$成立。

严谨证明过程 #

咱们用反证法来推导：假设$f$不是恒等函数，那根据题设，必然存在某个$a\in(0,1)$使得$f(a)\neq a$，不妨先假设$f(a)>a$（$f(a)<a$的情况完全对称，换个方向推导就行）。

第一步：迭代序列的单调性与极限分析 #

因为$f$连续，且只有0和1是不动点，对于这个$a$，我们可以推出迭代序列${f_n(a)}$是严格单调递增的：

• 首先$f_1(a)=f(a)>a$；
• 假设$f_n(a)>a$，那$f_{n+1}(a)=f(f_n(a))$必然大于$f_n(a)$——不然的话，如果$f(f_n(a))\leq f_n(a)$，结合$f(a)>a$，根据连续函数的介值定理，肯定存在某个$c\in(a,f_n(a))$使得$f(c)=c$，这就和“仅0和1是不动点”的题设矛盾了。

这个递增序列有上界1，所以必然收敛到某个极限$L$。再利用$f$的连续性，$f(L)=f(\lim_{n\to\infty}f_n(a))=\lim_{n\to\infty}f_{n+1}(a)=L$，也就是说$L$是$f$的不动点，那只能是$L=1$（因为$L>a>0$，不可能是0）。

同理，如果存在$b\in(0,1)$使得$f(b)<b$，那${f_n(b)}$会严格单调递减收敛到0。

第二步：利用一致收敛的连续性导出矛盾 #

因为${f_n}$是一致收敛的连续函数序列，它的极限函数$g$必然是连续函数（这是一致收敛的核心性质之一）。但根据第一步的分析：

• 所有满足$f(x)>x$的$x\in(0,1)$，迭代序列都会收敛到1，也就是$g(x)=1$；
• 所有满足$f(x)<x$的$x\in(0,1)$，迭代序列都会收敛到0，也就是$g(x)=0$。

现在看集合$A={x\in(0,1)|f(x)>x}$和$B={x\in(0,1)|f(x)<x}$：因为$f$连续且在$(0,1)$上没有不动点，所以$A$和$B$都是非空的开集，而且它们的并集是$(0,1)$，交集是空集。

这就产生了矛盾：$g$在$A$上恒等于1，在$B$上恒等于0，而$A$和$B$的边界点必然在$(0,1)$内，在这个边界点上，$g$的左极限和右极限一个是0一个是1，明显不连续，这和“一致收敛的连续序列极限必连续”的性质冲突！

所以咱们的假设不成立，只能是$f(x)=x$对所有$x\in[0,1]$成立。

对你提出的两个思路的点评 #

思路一：假设存在非不动点，找不含不动点的开区间推导矛盾 #

这个思路完全找对了方向！咱们的证明就是沿着这个逻辑展开的：从非不动点出发，利用连续函数的介值性和不动点的唯一性，结合一致收敛极限的连续性，最终导出矛盾。这个思路的核心是抓住“一致收敛的连续序列极限必连续”这个关键性质，和迭代序列的单调性结合起来，非常直接有效。

思路二：令$g_n=f_n-f$尝试证明 #

这个思路可以作为辅助验证的手段，但不如思路一直接。如果$f_n$一致收敛到$g$，那$g_n=f_n-f$会一致收敛到$g-f$。从$f_{n+1}=f\circ f_n$出发，两边减去$f(x)$可得$g_{n+1}=f(f_n(x))-f(x)$，当$n\to\infty$时，$f(f_n(x))$收敛到$f(g(x))$，而根据迭代的极限性质，$g(x)=f(g(x))$，所以最终能推出$g(x)=f(x)$，进而$g(x)=f(x)=x$。不过这个推导需要先明确极限函数$g$的性质，不如思路一的反证法直接有力。

内容的提问来源于stack exchange，提问作者Squirrel-Power