第一章 实数集与函数
本章聚焦数学分析的语言基础:实数完备性、确界思想、函数复合与反函数。目标不是“会用结论”,而是建立后续极限与连续理论所需的严格表达习惯。
一、核心定义与定理
1. 上下确界与完备性
设非空集合 。
- 若存在 使得对任意 都有 ,称 有上界。
- 若 是 的上界且任意上界 都满足 ,称 。
该定理本质上等价于实数完备性,后续单调有界定理、闭区间套、Bolzano-Weierstrass 都以此为基础。
2. 阿基米德性质与稠密性
- 阿基米德性质:对任意 ,存在 使 。
- 有理数稠密性:任意 ,存在 使 。
这两个性质保证了“离散量可逼近连续量”,是 -语言可操作的关键。
3. 函数复合与反函数判定
设 ,。
- 复合 有定义的必要条件:。
- 反函数 存在的充分条件: 在区间上严格单调且值域可确定。
二、教材化例题(4 题)
例题 1:确界计算
设 ,求 与 。
点击查看解析与答案
,故 1 是上界。
对任意 ,取 ,则
所以 1 是最小上界,即 。
当 时取到最小值 0,且所有项非负,故 。
例题 2:集合运算与确界
设 非空有界,证明 ,其中 。
点击查看解析与答案
先证上界:任意 ,有 ,故
再证最小性:任意 ,取
则
故 。
例题 3:复合函数定义域
求函数
的定义域。
点击查看解析与答案
条件 1: 有意义,需 ,即 。
条件 2:根号内非负,需 ,即 ,得 。
两条件合并得 。
定义域为 。
例题 4:反函数存在性
证明 在 上可逆。
点击查看解析与答案
故 严格递增,从而单射。
又
值域为 ,故满射。
因此 双射,反函数存在。
三、章内练习(折叠答案)
练习 1:上确界
求集合 的上确界与下确界。
点击查看过程与答案
有 ,任意元都小于 2;对任意 ,区间 内存在有理数,所以可逼近 2。
同理可逼近 0 且不取到 0。
答案:。
练习 2:绝对值不等式
证明:(假设两边存在)。
点击查看过程与答案
令 。对任意 ,有 ,取上确界得
交换 得 ,合并即
练习 3:复合函数定义域
求
的定义域。
点击查看过程与答案
根号内需严格大于 0(因为外层有对数):
解不等式得 。
练习 4:反函数导数
设 ,记其反函数为 ,求 。
点击查看过程与答案
先求 ,得 。
由反函数求导公式
四、练习库入口
编者注:第一章最重要的能力是“把直觉翻译成定义”,尤其是对“上界”和“最小上界”的区分。