狄利克雷函数在0点为何能连续？相关困惑咨询

首先得纠正一个关键误解：狄利克雷函数在0点是不连续的，而且它在所有实数点上都不连续——这正是它作为经典反例的意义所在。

先明确狄利克雷函数的定义：

D(x) = 1, 当x为有理数时；
D(x) = 0, 当x为无理数时。

我们用连续性的核心定义（ε-δ准则）来拆解为什么0点不连续：
函数在x=a处连续的严格定义是：对于任意给定的正数ε，总能找到一个正数δ，使得所有满足|x - a| < δ的x，都有|D(x) - D(a)| < ε。

对于x=0来说，D(0)=1（因为0是有理数）。现在我们取ε=0.5，看看能不能找到符合要求的δ：
不管δ取多小，区间(-δ, δ)里必然同时存在有理数和无理数：

• 当x是这个区间里的无理数时，D(x)=0，此时|D(x)-D(0)|=|0-1|=1，这明显大于我们设定的ε=0.5。
• 这就意味着，无论δ怎么选，都存在满足|x|<δ的x，使得函数值与D(0)的差超过ε=0.5，完全不满足连续性的要求。

你提到的“0附近存在无理数”，恰恰是它不连续的核心原因——这些无理数对应的函数值和D(0)的差是固定的1，无法被任意小的ε“覆盖”，所以连续性根本无法成立。

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