狄氏函数的定义假如如下一例:
1 x为有理数
D(x)={
0 x为无理数
函数在一点连续的定义首先要求函数在该点存在极限。
而由数学分析中的柯西准则的推论:若函数在x趋向x0时函数f(x)存在极限,则取x趋向x0的子序列时,极限存在且取不同的序列时极限相同。
而用有理数序列趋近,和用无理数序列趋近时的极限不同。由原命题与逆否命题的等价性,故狄里赫勒函数不是连续函数。