什么是狄利克雷函数？
在数学分析中，狄利克雷函数（Dirichlet function）是一个典型的“病态”函数，它常被用作许多反例。对于初学者而言，理解它的定义是解决“能否用图象法表示”这一问题的前提。
① 数学定义
设 D(x) 为狄利克雷函数，其定义如下：
D(x) = { 1, 若 x ∈ Q
0, 若 x ∉ Q }
其中 Q 代表有理数集，x 为实数。这意味着，当自变量 x 是有理数时，函数值为 1；当 x 是无理数时，函数值为 0。
② 直观理解
想象一条数轴，上面密密麻麻地分布着有理数和无理数。狄利克雷函数就像一个挑剔的过滤器：它只“看见”有理数，并将它们标记为 1；而所有无理数都被它忽略，标记为 0。
为什么网友关心“图象法表示”？
在中学及大学初级数学课程中，我们习惯通过 函数图象 来直观理解函数的变化趋势、极值和连续性。然而，狄利克雷函数 的行为极其诡异，它处处不连续，处处极限不存在。因此，许多网民在搜索时会产生疑问：这样一个函数，到底能不能画出来？如果能画，它长什么样？
狄利克雷函数能用图象法表示吗？
这是一个经典且极具迷惑性的问题。答案并非简单的“能”或“不能”，而是需要从不同的数学视角进行剖析。
为什么传统手绘无法完成？
在传统的笛卡尔坐标系中，图象是由所有满足 y = f(x) 的点 (x, y) 组成的集合。对于 狄利克雷函数：
- 有理数点：在直线 y = 1 上，分布着无穷多个有理数点。但由于有理数是稠密的，这些点看起来应该连成一条线。
- 无理数点：在直线 y = 0（即 x 轴）上，分布着无穷多个无理数点。同样，无理数也是稠密的，这些点也应该连成一条线。
然而，问题在于：有理数和无理数是交织在一起的。在任何两个实数之间，既有有理数也有无理数。因此，你无法用一支笔，在 y=1 和 y=0 之间跳跃而不留下痕迹。如果你试图画出一条 y=1 的线，你会发现其中夹杂着无数“空洞”（无理数点）；如果你画出一条 y=0 的线，同样夹杂着无数“实心点”（有理数点）。
结论：在严格的欧几里得几何意义下，狄利克雷函数 的图象由两条直线组成，但每条直线上都布满了“漏洞”。因此，它无法用传统的连续线条或清晰的离散点集在纸上准确表示。
通过极限过程实现可视化
虽然直接画图不可能，但我们可以通过构造一个函数序列的极限来“逼近” 狄利克雷函数 的图象。这种方法在数学分析中称为“双重极限”。
| 步骤 | 数学表达 | 图象特征 |
|---|---|---|
| 1. 固定 m | g_m(x) = lim (n→∞) (cos(m!πx))^(2n) | 当 m 增大时，cos(m!πx) 在有理数附近更频繁地接近 ±1 |
| 2. 取极限 | D(x) = lim (m→∞) g_m(x) | 随着 m 趋向无穷大，图象逐渐显现出 y=1 和 y=0 两条分离的带状 |
这种可视化方式告诉我们：狄利克雷函数 的图象可以被视为两条直线 y=0 和 y=1 的集合，但这两条直线都是“破碎”的。在计算机图形学中，我们可以通过绘制足够密集的点来模拟这种效果，但这只是近似，而非精确表示。
测度论视角：几乎处处为零
在现代数学的 勒贝格积分 理论中，我们更关注集合的“测度”（长度、面积等）。有理数集 Q 是一个可数集，其勒贝格测度为 0。而无理数集的测度为无穷大（在无限区间内）或区间长度（在有限区间内）。
这意味着，从测度论的角度来看，狄利克雷函数 “几乎处处”等于 0。换句话说，虽然它在有理数点上取值 1，但这些点“太少了”，少到在积分意义上可以忽略不计。因此，在勒贝格积分中，狄利克雷函数 的图象在视觉上可以被简化为 x 轴（y=0），而有理数点上的 1 被视为“噪声”或“奇异点”。
狄利克雷函数的核心性质解析
理解其性质有助于我们更深入地把握为何它“不可积”（在黎曼意义下）。
任意有理数都是周期
狄利克雷函数 是一个周期函数，且任何有理数都是它的周期。证明如下：若 x ∈ Q，则 x + q ∈ Q（q 为任意有理数），故 D(x+q)=1=D(x)；若 x ∉ Q，则 x + q ∉ Q，故 D(x+q)=0=D(x)。这意味着它的周期可以是任意小的有理数，这与通常理解的“最小正周期”截然不同。
偶函数
由于 -x 与 x 同为有理数或同为无理数，因此 D(-x) = D(x)。这表明 狄利克雷函数 的图象关于 y 轴对称。虽然我们无法画出完整的图象，但这一对称性是确定的。
处处不连续
在任意一点 x₀，无论 x₀ 是有理数还是无理数，在其任意邻域内都既有有理数也有无理数。因此，函数值会在 0 和 1 之间剧烈震荡，极限不存在。这使得 狄利克雷函数 在实数域上处处不连续。
黎曼不可积，勒贝格可积
在黎曼积分中，由于上下和不相等（上和为1，下和为0），狄利克雷函数 不可积。但在勒贝格积分中，由于其几乎处处为 0，其积分为 0。这是微积分发展史上的一个重要里程碑，推动了测度论的诞生。
常见问题解答 (FAQ)
从集合论的角度看，它的图象是平面上两条直线 y=0 和 y=1 上的特定点集。但由于有理数和无理数的稠密性，这两条直线都是“破碎”的，无法用连续的线条画出。因此，严格来说，它没有传统意义上的“连续图象”。
黎曼积分要求函数在小区间内的振幅足够小。然而，狄利克雷函数 在任意小区间内，最大值恒为 1，最小值恒为 0，振幅始终为 1。因此，上和始终为 1，下和始终为 0，两者不相等，故不可积。
在勒贝格积分中，由于有理数集的测度为 0，狄利克雷函数 几乎处处等于 0。因此，其在任意区间 [a, b] 上的勒贝格积分为 0。
有，例如 魏尔斯特拉斯函数（处处连续但处处不可导）、康托尔函数（几乎处处导数为 0 但单调递增）等。这些函数共同推动了现代数学分析的发展。