实分析与狄利克雷函数：极限证明及连续函数列存在性问询

这就给你把这个狄利克雷函数的问题整理好啦👇

先明确两个核心函数的定义：
狄利克雷函数$f(x)$定义为：
$$f(x)=\begin{cases} 1, & \text{若 $x\in\Bbb Q$} \ 0, & \text{若 $x\in\Bbb R\setminus \Bbb Q$} \end{cases}$$
辅助函数列$f_{m,n}(x)$定义为：
$$f_{m,n}(x)=\cos^{2n}(2\pi xm!)$$

a) 证明 $\lim_{m\to\infty}\lim_{n\to\infty}f_{m,n}(x)=f(x)$ #

我们分两种情况逐一验证：

• 当$x$是有理数时：设$x=\frac{p}{q}$（$p,q$为整数，$q>0$）。当$m\geq q$时，$xm!=\frac{p}{q}\cdot m!$，由于$m!$包含因子$q$，所以$xm!$是整数，进而$2\pi xm!=2k\pi$（$k$为整数）。此时$\cos(2\pi xm!)=\cos(2k\pi)=1$，因此$\cos^{2n}(2\pi xm!)=1^{2n}=1$。当$n\to\infty$时，该值的极限为1；再令$m\to\infty$，极限仍为1，恰好等于$f(x)$。
• 当$x$是无理数时：对任意固定的$m$，$xm!$是无理数，所以$2\pi xm!$不是$2k\pi$的整数倍，此时$|\cos(2\pi xm!)|<1$。当$n\to\infty$时，$|\cos(2\pi xm!)|^{2n}$会趋近于0，即$\lim_{n\to\infty}f_{m,n}(x)=0$；再让$m\to\infty$，极限依然是0，与$f(x)$的值一致。

综上，对任意实数$x$，都满足$\lim_{m\to\infty}\lim_{n\to\infty}f_{m,n}(x)=f(x)$。

b) 是否存在$\Bbb R$上的连续函数列${f_n}$，使得$f(x)=\lim_{n\to\infty}f_n(x)$对任意$x\in\Bbb R$成立？ #

答案是不存在。

理由如下：连续函数列的极限函数属于Baire第一类函数，这类函数有一个关键性质：它的连续点集是$\Bbb R$中的稠密$G_\delta$集（由Baire纲定理可证）。但狄利克雷函数$f(x)$是处处不连续的——对任意$x\in\Bbb R$，无论取多么小的邻域，里面都同时包含有理数和无理数，函数值会在1和0之间跳变，完全没有连续点。这与Baire第一类函数的性质矛盾，因此不存在这样的连续函数列。

内容的提问来源于stack exchange，提问作者Mostafa Ayaz