请求验证连续函数证明：有理数上f=g则全体实数上f=g

问题描述 #

设$f, g: \mathbb{R} \longrightarrow \mathbb{R}$为连续函数，且对所有$r \in \mathbb{Q}$有$f(r) = g(r)$。证明对所有$x \in \mathbb{R}$有$f(x) = g(x)$。

你的证明过程 #

$\mathbb{Q}$在$\mathbb{R}$中稠密，故$\mathbb{R} \subset \bar{\mathbb{Q}}$。任取$x \in \mathbb{R}-\mathbb{Q}$，存在序列$(x_{n})$满足对所有$n \in \mathbb{N}$，$x_{n} \in \mathbb{Q}$且$\lim x_{n} = x$。由于$f, g$连续，故$\lim f(x_{n}) = f(x)$且$\lim g(x_{n}) = g(x)$。但对所有$n \in \mathbb{N}$有$f(x_{n}) = g(x_{n})$，因此对所有$x \in \mathbb{R}-\mathbb{Q}$有$f(x) = g(x)$。证明完毕。

证明正确性判断 #

这个证明完全正确！

这里的逻辑链条非常清晰严谨：

• 你精准抓住了$\mathbb{Q}$在$\mathbb{R}$中稠密的核心性质——这保证了任何实数（无论有理还是无理）都能被一个有理数序列逼近，对于无理数的情况就是你构造的$(x_n)$序列。
• 接着利用了连续函数的序列连续性等价定义：函数在某点连续当且仅当所有收敛到该点的序列，对应的函数值序列收敛到该点的函数值，这一步完美把稠密性和函数值的相等性联系了起来。
• 最后因为两个序列${f(x_n)}$和${g(x_n)}$每一项都相等，它们的极限自然也相等，所以$f(x)=g(x)$对所有无理数成立，再加上已知的有理数点相等，整个实数集上$f$和$g$就完全一致了。

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