关于打字机序列在$[0,1]$上任意点极限不存在的证明合理性及优化咨询

嘿，你的证明思路整体是站得住脚的！核心逻辑——通过找到两个分别恒取1和0的子列来证明极限不存在——完全是对的，不过有些细节可以打磨得更严谨清晰，我来帮你梳理下：

一、原证明的合理性分析 #

• 你把$n$拆成$2^m + k$的形式，推导区间端点的核心逻辑没问题，而且抓住了这类“打字机序列”的本质：每个$f_n$都是一个长度为$1/2^k$（$k=\lfloor\log_2 n\rfloor$）的二进制区间的指示函数。
• 第一部分找恒取1的子列：利用分母为2的幂的分数逼近任意$x\in[0,1]$，这个方向完全正确——因为任何$x$都能被这样的区间序列覆盖，对应子列在$x$处恒取1，这部分逻辑成立。
• 第二部分找恒取0的子列：你构造的$b_m = a_{2^m -1}$计算是对的，但这里有个小漏洞：当$x=1$时，$f_{2^m -1}(1)=1$（因为区间右端点就是1），所以这个子列对$x=1$不适用，需要调整构造方式。

二、具体优化建议 #

1. 符号统一，避免混淆 #

原证明里同时用$k$表示$n=2^m+k$的参数和$\lfloor\log_2 n\rfloor$，容易造成读者混淆。建议把$n$写成$n=2^m + t$，其中$m=\lfloor\log_2 n\rfloor$，$t\in{0,1,...,2^m-1}$，这样$k$就专门用来表示$\lfloor\log_2 n\rfloor=m$，符号更清晰。

2. 简化区间表述，直击本质 #

不需要复杂的对数推导，直接利用$m=\lfloor\log_2 n\rfloor$的定义：$2^m \leq n <2^{{m+1}$，令$n=2}m + t$（$t=0,...,2^m-1$），那么$f_n$对应的区间就是：
$$\left[\frac{t}{2^m}, \frac{t+1}{2^m}\right]$$
这一步直接点明$f_n$是长度为$1/2^m$的二进制区间指示函数，后续推导会顺畅很多。

3. 修正恒取0的子列构造 #

针对任意$x\in[0,1]$，可以分情况构造更严谨的子列：

• 若$x<1$：取子列$n_m=2^{m+1}-1$，此时$m=\lfloor\log_2 n_m\rfloor=m$，对应的区间是$\left[1-\frac{1}{2^{m},1\right]$。当$m$足够大时，$x<1-\frac{1}{2}m}$，因此$f_{n_m}(x)=0$。
• 若$x=1$：取子列$n_m=2^{m$，对应的区间是$\left[0,\frac{1}{2}m}\right]$，显然$1$不在这个区间内，因此$f_{n_m}(1)=0$。

或者用更统一的构造：对任意$x\in[0,1]$，取$n_m=2^m + 2^m -1=2^{{m+1}-1$（当$x<1$时）和$n_m=2}m$（当$x=1$时），确保子列在$x$处恒取0。

4. 明确恒取1的子列构造 #

把“找递增分数序列”的表述具体化：对任意$x\in[0,1]$，取$n_m=2^m + \lfloor x\cdot2^m\rfloor$，此时对应的区间是$\left[\frac{\lfloor x\cdot2^m\rfloor}{2m}, \frac{\lfloor x\cdot2^{m\rfloor+1}{2}m}\right]$，根据向下取整的定义，$x$必然属于这个区间，因此$f_{n_m}(x)=1$对所有$m$成立。

三、修正后的核心证明框架 #

1. 对任意$x\in[0,1]$，构造子列$n_m=2^m + \lfloor x\cdot2^m\rfloor$，则$f_{n_m}(x)=1$对所有$m$成立，故该子列极限为1。
2. 对任意$x\in[0,1]$，构造子列：
   • 若$x<1$，取$n_m=2^{m+1}-1$，当$m$足够大时$f_{n_m}(x)=0$；
   • 若$x=1$，取$n_m=2^m$，则$f_{n_m}(1)=0$；
     该子列极限为0。
3. 由于两个子列极限不同，故$\lim_{n\to\infty}f_n(x)$不存在。

这样调整后，证明更严谨、表述更清晰，逻辑链也更顺畅。

备注：内容来源于stack exchange，提问作者Matcha Latte