Riemann函数（黎曼函数）
定义与背景
Riemann函数，又称为黎曼的不可微连续函数，是由德国数学家Bernhard Riemann在其研究中提出的一个重要的数学构造。这个函数展示了即使在高度不规则的情况下，一个函数仍然可以是连续的但不可微。它对于理解实分析中的连续性和可微性之间的关系具有重要意义。
构造方法
Riemann函数的定义域为区间[0,1]，其值域也是[0,1]。具体构造如下：
对于有理数：设x = p/q是(0,1)内的任意有理数，其中p和q是互质的正整数，且q > 1。则Riemann函数f(x)定义为： [ f(x) = \frac{1}{q} ] 特别地，当x=0或x=1时，我们规定f(0)=f(1)=0。
对于无理数：若x是(0,1)内的无理数，则Riemann函数f(x)定义为： [ f(x) = 0 ]
性质
连续性：尽管Riemann函数在有理数点上取值非零而在无理数点上取值为零，但它在整个区间[0,1]上是连续的。这一性质的证明需要利用到实数系的基本性质和极限理论。
不可微性：在任何有理数点上，由于附近有无穷多个有理数和无理数交替出现，使得函数在这些点的导数不存在。同时，由于无理数是稠密的，即任意两个有理数之间都存在无理数，这也导致了函数在无理数点上的导数同样不存在。因此，Riemann函数在其定义域内处处不可微。
分段常数逼近：可以通过一系列的分段常数函数来逼近Riemann函数，这些分段常数函数在每个小区间内取该区间内所有有理数的最小分母值的倒数作为常数值。随着分段的细化，这种逼近会越来越精确。
应用与意义
Riemann函数在数学分析中是一个重要的反例，它揭示了连续性与可微性之间的微妙关系。在传统观念中，人们往往认为连续的函数应该是光滑的、可微的，但Riemann函数的存在打破了这一直觉。它表明，即使一个函数在某一点附近的变化非常剧烈（如有理数点处），只要这种变化以一种“均匀”的方式分布（如通过分母q来控制），该函数仍然可以保持整体的连续性。这为我们深入理解和分析复杂函数的性质提供了新的视角和方法。
