答：不存在。
千万不要因为有理数集、无理数集都在实数集上稠密，于是认为不可能存在“在有理数点连续，在无理数点不连续的函数”，下文会告诉你，存在“在有理数点不连续，在无理数点连续的函数”，这和是不是稠密无关。不管怎么说，要对万事心存好奇之心，如果一切都觉得理所当然，不是骄傲就是无知。
如果读者学习过实变函数论，甚至拓扑学，那么这个结论的证明思路一般都是：证明函数的连续点集必定是
集，然后利用贝尔纲定理反证有理数集不是
集。然而，考虑到本文读者不一定具备这些专业知识，下面将介绍一种更简单的证明方法，其中只用到一些分析学的知识。
不直接进入主题，我们先来看看“在有理数点不连续，在无理数点连续的函数”，黎曼函数：
如果
为无理数，定义
；
如果
，其中
已经是既约分数，即已经约去分子分母公因子的分数，且
，
；
特别地，对
、
、
这些整数，都记为
、
、
等，然后沿用上文定义，即
。
该函数在
上的图像大致如下：
注意到
在每个有理数点都取非零值，而每一个有理数的任意小邻域都存在无理数，于是：对有理数
，取
满足
，则无论正数
多么小，
上都存在无理数
使得
所以，
在有理数点不连续。
接着，当
为无理数时，对任意
，满足
的正整数
最多只能是有限多个，于是，在
上满足
的有理数
也最多只能是有限多个。设这有限多个
里边离
最近的是
（如果不存在满足
的
，则取
），那么当
时，有
。于是，
在无理数点上连续。
事实上，利用该证明思路，我们可以得到一个一般性的定理。
定理
，存在定义在实数集上的函数，它在
上不连续，在
上连续。
设
的全部元素为
、
、
……定义函数如下：
是可数集，那么
必定处处稠密。如果
并且
，取
，那么无论正数
多么小，
上都存在
使得
所以函数
在
上不连续。接着，如果
，对任意
，满足
的正整数
最多只能是有限多个，取正整数
满足
，定义：
于是在
上都有
，从而函数
在
上连续。
证毕。
好了，至此可以说，一个函数的不连续点集和连续点集都可以是处处稠密的。下面这个定理可以立即推导出不存在“在有理数点连续、在无理数点不连续的函数”。
定理
、
是定义在闭区间
上的函数，
和
的连续点都在
上稠密，那么，
和
存在公共连续点。
先定义几个符号：
、设
，令
即
表示中点和
相同，大小是
的一半的闭区间；
、令
表示
，即
的
闭邻域；
、对集合
和函数
，令
，这里
表示上确界。
称为
在
上的振幅。
下面先证明一个引理：
引理
：设
，
并且
。
任取
的一个连续点
时，有
令
，
是非单点的闭区间，
，且对任意
，有
所以函数
在
上的振幅
。在
上取
的连续点，重复上述证明可得非单点闭区间
，满足
。因为
，必定有
，所以
即是引理所求。
证毕。
下面证明定理
：
取序列
，
，
……
令
可得，对任意正整数
，存在非单点的闭区间
并且
。
区间
，应用闭区间套定理可得，存在
满足对任意的
有
。可以断言
和
都在
连续。
事实上，任给
，存在
，从而存在
使得
。又因为
、
，所以当
有：
根据定义可得
和
都在
连续。
证毕。
因为有理数集和无理数集都是处处稠密的，如果
在有理数点处连续，在无理数点处不连续，再取
为上文的黎曼函数，它在无理数点连续，在有理数点不连续。根据定理
，
和
存在共同连续点，然而根据假设这是不可能的，矛盾，所以不存在在有理数点处连续，在无理数点处不连续的函数。
结合使用定理
，即使去掉无理数集的一个可数子集得到集合
，也不可能存在在
上不连续，在
上连续的函数。
本文原创，禁止未经授权的转载，禁止抄袭。
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
