狄利克雷函数的定义与性质