练习题
设函数 在 处连续,对每一个 成立 。证明: 是常值函数。
证明
任取一个 ,则
利用 在 连续,因此 (根据连续性的第二定义)
这样就知道对每一个 成立 。
设函数 是 上的连续函数,又在所有有理点上 ,证明: 。
证明
只要对 中的每个无理数 证明 成立即可。 取有理数列 ,使 。例如,取无理数 的不足近似值 ,则有
其中 。因此就有 。
由于 在点 连续,利用连续性的第二定义,就有
设函数 在 处连续,且对一切 有 。证明: 在 上连续,且 。
证明
在方程 中令 ,可知 。因此有
任取点 ,将 写成 ,计算极限
可见 处处连续。
由于 ,可见有 。因此只需讨论 为正数的情况.对正有理数 其中 ,用数学归纳法可以知道对正整数 成立
再从
得到 。因此就有
令 ,代入得到
因此,等式 对一切有理数 已成立。最后,利用例题 的结论,就知道 对一切实数 成立。
本例与例题 都是函数方程问题(参见[14,44]).但本例的结论和证明的方法具有较大的典型意义.函数方程方面的基本材料可以看[59]第一册的§1.10.在[66]的第48—50页有这方面的较新材料.此外,本题所求出的是该函数方程的连续解.实际上,这个函数方程还有不连续解.由以上证明可见,这个方程的解只要在一个点上连续,就处处连续.因此所说的不连续解一定是处处不连续的函数.有兴趣的读者可以参考[58]的第68—70页.
函数的定义为
确定 的间断点及其类型。 (对于 , 可写出 , 因此取 。)
解
以下主要是证明对每个 成立
如果这一点已得到证明,则从函数 的定义即可以知道,在所有无理点处 连续,而在所有有理点处 不连续,且为可去间断点。
取定 。由于 (5.1) 与 无关,因此无需区分 是有理点或无理点。
对给定的 ,我们只需要证明有 ,使得当 时,成立 。考虑其反面,使这个不等式不成立 (即 ) 的 是什么?当然 只能是有理数。将它写成 ,其中 为互素的整数, ,则有
这等价于 ,即
由以上分析可见,可以先取 ,然后将去心邻域
中分母为 的所有有理数 都挑出来。由于这样的有理数至多只有有限个,可以将它们记为 ,然后取
则当 时就成立 。因此 (5.1) 成立。
如果用 代替 ,则可以证明:在 中分母 的有理数 至多只有一个 (见 [42]).
- (1) 将对偶法则用于连续性的第一定义和第二定义,写出函数 在点 处不连续的两个正面叙述;
(2) 证明连续性的两个定义的等价性。
- 讨论下述函数的间断点及其类型:
(1) (2) (3) (4)
-
设函数 。若有数列 ,使得 ,证明:存在 ,使得 。
-
设函数 在 上定义,在 两点连续,且满足 。证明: 是常值函数。
-
设在区间 上函数 连续,证明: 。(可以从连续定义证,也可用公式 等。)
-
设有三个函数 ,对每个 ,定义 是三个函数值 中处于中间的一个值,证明: 。
-
证明: 为区间上连续函数的充分必要条件是:对每个正整数 ,函数
连续。
(必要性证明可用 归结为上一题。)
-
证明 函数 (其定义见第四章 小节题 ) 处处不连续,并确定其类型。
-
构造一个在 上有定义的函数,使得它在某个指定点处连续,但在所有其他点处都不连续。
-
设 ,且对任意 有 。证明:这个函数方程的解除了 之外,就是 ,其中 。
-
设 ,且对任意 有 。证明: 。
-
根据 小节中第 点给出的定义,证明:函数 在点 连续的充分必要条件是 在该点的振幅为 ,即 。
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。