狄利克雷函数是有界函数吗？详解其有界性和无界性

狄利克雷函数是一个经典的数学函数，它在有理数和无理数上的取值不同，这导致了它在不同点上的有界性也不同。

什么是狄利克雷函数？

狄利克雷函数定义如下：

D(x) = { 1, 当 x 为有理数; 0, 当 x 为无理数 }

狄利克雷函数的有界性

在有理点处有界: 当 x 为有理数时，D(x) 恒等于 1。因此，对于任何一个有理数，我们都可以找到一个有限的区间，使得函数值始终在这个区间内。所以，狄利克雷函数在所有有理点处都是有界的。
在无理点处无界: 当 x 为无理数时，D(x) 恒等于 0。由于任意两个不同的无理数之间都存在无穷多个有理数，所以在一个包含无理数的区间内，函数值会在 0 和 1 之间无限次跳动，无法找到一个有限的区间包含所有的函数值。因此，狄利克雷函数在所有无理点处都是无界的。

结论

狄利克雷函数并非一个传统意义上的有界函数，因为它在定义域内的一部分点有界，而在另一部分点无界。这种特殊的性质使得狄利克雷函数成为研究函数连续性、可积性等数学概念的重要工具。