Skip to content

5.1.45.1.4 练习题

5.1.15.1.1

设函数 处连续,对每一个 成立 。证明: 是常值函数。

证明

任取一个 ,则

利用 连续,因此 (根据连续性的第二定义)

这样就知道对每一个 成立

5.1.25.1.2

设函数 上的连续函数,又在所有有理点上 ,证明:

证明

只要对 中的每个无理数 证明 成立即可。 取有理数列 ,使 。例如,取无理数 的不足近似值 ,则有

其中 。因此就有

由于 在点 连续,利用连续性的第二定义,就有

5.1.35.1.3(一个函数方程的连续解)

设函数 处连续,且对一切 。证明: 上连续,且

证明

在方程 中令 ,可知 。因此有

任取点 ,将 写成 ,计算极限

可见 处处连续。

由于 ,可见有 。因此只需讨论 为正数的情况.对正有理数 其中 ,用数学归纳法可以知道对正整数 成立

再从

得到 。因此就有

,代入得到

因此,等式 对一切有理数 已成立。最后,利用例题 的结论,就知道 对一切实数 成立。

本例与例题 都是函数方程问题(参见[14,44]).但本例的结论和证明的方法具有较大的典型意义.函数方程方面的基本材料可以看[59]第一册的§1.10.在[66]的第48—50页有这方面的较新材料.此外,本题所求出的是该函数方程的连续解.实际上,这个函数方程还有不连续解.由以上证明可见,这个方程的解只要在一个点上连续,就处处连续.因此所说的不连续解一定是处处不连续的函数.有兴趣的读者可以参考[58]的第68—70页.

5.1.45.1.4 (RiemannRiemann 函数的连续性)

函数的定义为

确定 的间断点及其类型。 (对于 , 可写出 , 因此取 。)

以下主要是证明对每个 成立

如果这一点已得到证明,则从函数 的定义即可以知道,在所有无理点处 连续,而在所有有理点处 不连续,且为可去间断点。

取定 。由于 (5.1) 与 无关,因此无需区分 是有理点或无理点。

对给定的 ,我们只需要证明有 ,使得当 时,成立 。考虑其反面,使这个不等式不成立 (即 ) 的 是什么?当然 只能是有理数。将它写成 ,其中 为互素的整数, ,则有

这等价于 ,即

由以上分析可见,可以先取 ,然后将去心邻域

中分母为 的所有有理数 都挑出来。由于这样的有理数至多只有有限个,可以将它们记为 ,然后取

则当 时就成立 。因此 (5.1) 成立。

如果用 代替 ,则可以证明:在 中分母 的有理数 至多只有一个 (见 [42]).

  1. (1) 将对偶法则用于连续性的第一定义和第二定义,写出函数 在点 处不连续的两个正面叙述;

(2) 证明连续性的两个定义的等价性。

  1. 讨论下述函数的间断点及其类型:

(1) (2) (3) (4)

  1. 设函数 。若有数列 ,使得 ,证明:存在 ,使得

  2. 设函数 上定义,在 两点连续,且满足 。证明: 是常值函数。

  3. 设在区间 上函数 连续,证明: 。(可以从连续定义证,也可用公式 等。)

  4. 设有三个函数 ,对每个 ,定义 是三个函数值 中处于中间的一个值,证明:

  5. 证明: 为区间上连续函数的充分必要条件是:对每个正整数 ,函数

连续。

(必要性证明可用 归结为上一题。)

  1. 证明 函数 (其定义见第四章 小节题 ) 处处不连续,并确定其类型。

  2. 构造一个在 上有定义的函数,使得它在某个指定点处连续,但在所有其他点处都不连续。

  3. ,且对任意 。证明:这个函数方程的解除了 之外,就是 ,其中

  4. ,且对任意 。证明:

  5. 根据 小节中第 点给出的定义,证明:函数 在点 连续的充分必要条件是 在该点的振幅为 ,即