狄利克雷函数有什么性质