Strongart数学笔记：为什么画不出Dirichlet函数的图像.pdfVIP

为什么画不出 Dirichlet 函数的图像 (2014-09-2613:21:22) 最近有人问我，那个Dirichlet 函数的图像是不是画不出 来的？这确实是一个很有意思的问题，下面Strongart教授就 来谈谈自己的看法。 我们先从什么是函数讲起，简单说来所谓函数，就是一 种对应关系f，它把数集A 内的任何数x，唯一映为数集B 内的某个数f （x）。这里对应的唯一性实际上是从映射上面 继承下来的，映射与函数的区别A与B不一定要是数集。映 射的英文是map，它还有一个意思就是地图，地图的主要功 能就是你可以指着地图上某个点，去对应现实中的某个点， 现实中的某个点是你的主要目的，因为不希望出现地图中的 一个点对应现实中的若干个点，这就是唯一性要求的来源 了。 对于任何函数f，假若我们把x与y=f （x）配对，那就 可以定义出它的图像： G （f）={ （x，y）；y=f （x），x∈A} 由此可见，任何函数都可以定义图像，但可以定义是一回事， 能不能在xy-坐标系内画出来又是另一回事。一般初学者容 易产生一个错觉，那就是所有函数图像都是可以在坐标系内 画出来的，但Dirichlet 函数却是一个精彩的反例。 所谓Dirichlet 函数，就是指函数D：R→R D （x）=lim （k→∞）lim （j→∞）cos （k！πx） ^ （2j） 乍一看，似乎与其他函数没什么差别，就是表达式稍微麻烦 一点。可实际上它的图像是画不出来的。这里的画不出来是 理论上的，也就是说即便用电脑程序同样也画不出来，而且 用电脑画的话可能问题还会更大。 不相信吗？让我们先算一 Dirichlet 函数的具体取值， 最后的结果是： D （x）= ，若x是有理数； D （x）=0，若x是无理数 有不少书直接把这个结果作为Dirichlet 函数的定义。 下面我们就来试着描点作图，对x轴上任何无理点，都 在对应y= 上点一点，对x轴上任何有理点，都在对应对应 y=0, （就是那个点本身）点一点。理论上的点，应该是没有 宽度的，但画出来的点却是有宽度，结果就会发现这样的点 占满了y=0与y= 两条直线。更有趣的是，我们甚至可以证 明这一点，假若在y=0或y= 上有一段空白，在这段空白上 总可以取到无理数a或有理数b，显然D （a）=0，D （b） = ，但（a，0）与（b， ）都不在函数的图像上！ 由此可见，假若我们可以画出Dirichlet 函数的图像，那 个这个图像就是y=0与y= ，但在y=0上同样包含有理点c， 在y= 上同样包含无理点d，结果就会有D （c）=0，D （d） = ，与Dirichlet 函数的定义矛盾！更糟糕的是，y=0和y= 组合到一起，根本就不是任何函数的图像，只要过任何x=t 作平行y轴的直线，就会发现D （t）竟然可以取到两个值0， ，与函数定义中的唯一性要求矛盾！ 、 假若我们用电脑来画的话，似乎就更加有意思了。一般 电脑似乎不像人脑能够直接把握无理数，一般都是用有理数 近似计算。对于一个函数的绘图要求，它可能从0，±0.0 ， ±0.02这样逐次取值（也许用的是二进制有理数），然后描 点作图的话，所得到的Dirichlet 函数的图像就是y= ，显然 与原来的函数是不同的。 假若有更加先进的电脑，能够像人脑一样认识无理数， 那么它的程序就可能是这样的：先考虑区间[0,0.1]， [0.1,0.2]，……当然还有反方向的[-0.1.0]，[-0.2,-0.1]……，然 后再区间内随机取十个点描点作图，注意到取无理数的概率 是 ，那么得到的Dirichlet 函数图像几乎就是y=0，显然也 是与原来的函数不同。 假若这个电脑程序再聪明一点，能够注意到函数是分段 定义的，那么在各个区间随机取十个无理数，再取十个有理 数， 那么得到的结果就和人脑差不多了，是两条直线y=0 与y= ，但它根本就不是函数的图像！ Dirichlet 函数有什么特别之处，使得它的图像不可画 呢？主要是它高度非连续性，函数连续性的分析定义就是极 限点的像等于像的极限点。函数f在点x连续，若当x_n→x 时，f （x_n）→f （x）. 直观上看，连续性就是局部能够与整体协调，只要选适 当的有限个点来表示整个图像了。假若是