狄利克雷函数

狄利克雷函数 (Dirichlet Function)

狄利克雷函数 (Dirichlet Function) 是以德国数学家 彼得·古斯塔夫·勒热纳·狄利克雷 (Peter Gustav Lejeune Dirichlet, 1805--1859) 命名的特殊函数，是数学分析中构造反例的经典工具。该函数的定义极为简单，却表现出违反直观的深刻性质，对理解函数连续性、可积性等核心概念具有不可替代的教学意义。狄利克雷函数的标准定义为：

其中 $\mathbb{Q}$ 表示有理数集，$\mathbb{R} \setminus \mathbb{Q}$ 为无理数集。

基本性质

狄利克雷函数具有以下显著性质。

处处不连续：在实数轴上任意一点 $x_0$，无论该点是有理数还是无理数，函数 $D(x)$ 在该点均不连续。这是因为有理数和无理数在实数轴上稠密（任意区间内同时存在无穷多个有理数和无理数），使得函数在任意点的任意邻域内既取 1 也取 0，极限不存在。这是数学分析中第一个被系统研究的处处不连续函数实例。

黎曼不可积：在任意区间 $[a,b]$ 上，狄利克雷函数不是黎曼可积的。黎曼可积的必要条件是函数的不连续点集测度为零，而狄利克雷函数的不连续点为整个实数轴（处处不连续），其不连续点集的勒贝格测度为 $b-a > 0$。具体而言，对区间 $[a,b]$ 作任意分割，每个子区间内同时包含有理数和无理数，因此达布上和始终为 1，达布下和始终为 0，二者不相等，故黎曼积分不存在。

勒贝格可积：尽管狄利克雷函数黎曼不可积，但它是勒贝格可积的。有理数集是可数集，其勒贝格测度为零，因而函数在几乎所有点上取值为 0。根据勒贝格积分理论，其在任意区间上的积分为零：

这一性质极好地说明了勒贝格积分对黎曼积分的推广意义——勒贝格积分能够处理黎曼积分无法处理的病态函数。

周期性：狄利克雷函数是周期函数，任意有理数均为其周期。对任意有理数 $r \in \mathbb{Q}$ 和任意实数 $x$，有 $D(x+r) = D(x)$。无理数不是周期，因为无理数位移将破坏有理点与无理点的对应关系。因此，该函数不存在最小正周期——任何正有理数都是周期，而正有理数集无最小值。

在经济学中的间接意义

狄利克雷函数虽为纯数学构造，但其蕴含的思想对经济学理论有间接启发。在一般均衡理论、博弈论和信息经济学中，涉及不连续对应（Discontinuous Correspondence）的情形并不罕见。例如，在具有非凸偏好或刚性价格假设的模型中，需求对应可能在某些价位处发生不连续跳跃。狄利克雷函数提供了一个极端参照：当一个行为规则的不连续性达到最大时（处处不连续），该规则在常规意义下丧失了可积性。这一极端案例提醒经济学家，当模型中出现稠密的间断点集时，需要谨慎处理均衡的存在性和唯一性问题。在机制设计理论中，狄利克雷函数的性质也常被用于说明测度论工具在分析非标准偏好和非标准行为时的必要性。

变体与推广

狄利克雷函数有多种重要变体。托马斯函数（Thomae Function），亦称黎曼函数，定义为：

该函数在所有有理点不连续但在所有无理点连续，因此是黎曼可积的。这一对比说明，函数的不连续性虽然稠密但未必处处不可积——关键在于不连续点集的测度是否为零。

指示函数视角：狄利克雷函数本质上是有理数集的特征函数（Indicator Function / Characteristic Function），即 $D(x) = \mathbf{1}_{\mathbb{Q}}(x)$。这一视角将其纳入更广泛的测度论和概率论框架：任意集合 $A$ 的特征函数 $\mathbf{1}_A(x)$ 在 $x \in A$ 时取 1，否则取 0。当 $A$ 为可数集时，特征函数几乎处处为零，勒贝格可积且积分为零。

教学意义

狄利克雷函数在数学分析教学中占据核心地位。它是学生学习连续性和可积性时遇到的第一个"反直觉"例子，打破了"函数要么连续要么有有限个间断点"的朴素认知。通过与托马斯函数的对比分析，学生可以深刻理解测度论中"几乎处处"概念的重要性——两个函数处处不连续点的拓扑性质不同（一个的间断点稠密且不可数，另一个的间断点稠密但可数），导致可积性结论截然不同。在经济学高等课程中，该函数也常被用来说明勒贝格积分相对于黎曼积分在分析非连续动态系统和不连续偏好时的理论优势。