跳到主要内容

第一章 实数集与函数

本章聚焦数学分析的语言基础:实数完备性、确界思想、函数复合与反函数。目标不是“会用结论”,而是建立后续极限与连续理论所需的严格表达习惯。

一、核心定义与定理

1. 上下确界与完备性

设非空集合 ARA\subset\mathbb{R}

  • 若存在 MRM\in\mathbb{R} 使得对任意 xAx\in A 都有 xMx\le M,称 AA 有上界。
  • β\betaAA 的上界且任意上界 MM 都满足 βM\beta\le M,称 β=supA\beta=\sup A
确界存在定理

任一非空有上界实数集必有上确界;任一非空有下界实数集必有下确界。

该定理本质上等价于实数完备性,后续单调有界定理、闭区间套、Bolzano-Weierstrass 都以此为基础。

2. 阿基米德性质与稠密性

  • 阿基米德性质:对任意 xRx\in\mathbb{R},存在 nNn\in\mathbb{N} 使 n>xn>x
  • 有理数稠密性:任意 a<ba<b,存在 qQq\in\mathbb{Q} 使 a<q<ba<q<b

这两个性质保证了“离散量可逼近连续量”,是 ϵ\epsilon-语言可操作的关键。

3. 函数复合与反函数判定

u=g(x)u=g(x)y=f(u)y=f(u)

  • 复合 fgf\circ g 有定义的必要条件:g(Dg)Dfg(D_g)\subseteq D_f
  • 反函数 f1f^{-1} 存在的充分条件:ff 在区间上严格单调且值域可确定。

二、教材化例题(4 题)

例题 1:确界计算

A={n1n:nN+}A=\{\frac{n-1}{n}:n\in\mathbb{N}_+\},求 supA\sup AinfA\inf A

点击查看解析与答案

n1n=11n<1\frac{n-1}{n}=1-\frac1n<1,故 1 是上界。

对任意 ϵ>0\epsilon>0,取 n>1/ϵn>1/\epsilon,则

11n>1ϵ,1-\frac1n>1-\epsilon,

所以 1 是最小上界,即 supA=1\sup A=1

n=1n=1 时取到最小值 0,且所有项非负,故 infA=0\inf A=0

例题 2:集合运算与确界

A,BA,B 非空有界,证明 sup(A+B)=supA+supB\sup(A+B)=\sup A+\sup B,其中 A+B={a+b:aA,bB}A+B=\{a+b:a\in A,b\in B\}

点击查看解析与答案

先证上界:任意 a+bA+Ba+b\in A+B,有 asupA,bsupBa\le\sup A,b\le\sup B,故

a+bsupA+supB.a+b\le\sup A+\sup B.

再证最小性:任意 ϵ>0\epsilon>0,取

aϵ>supAϵ/2,bϵ>supBϵ/2,a_\epsilon>\sup A-\epsilon/2,\quad b_\epsilon>\sup B-\epsilon/2,

aϵ+bϵ>supA+supBϵ.a_\epsilon+b_\epsilon>\sup A+\sup B-\epsilon.

sup(A+B)=supA+supB\sup(A+B)=\sup A+\sup B

例题 3:复合函数定义域

求函数

h(x)=ln(1x2)h(x)=\sqrt{\ln(1-x^2)}

的定义域。

点击查看解析与答案

条件 1:ln(1x2)\ln(1-x^2) 有意义,需 1x2>01-x^2>0,即 x<1|x|<1

条件 2:根号内非负,需 ln(1x2)0\ln(1-x^2)\ge0,即 1x211-x^2\ge1,得 x20x^2\le0

两条件合并得 x=0x=0

定义域为 {0}\{0\}

例题 4:反函数存在性

证明 f(x)=x+exf(x)=x+e^xR\mathbb{R} 上可逆。

点击查看解析与答案

f(x)=1+ex>0,f'(x)=1+e^x>0,

ff 严格递增,从而单射。

limx(x+ex)=,limx+(x+ex)=+,\lim_{x\to-\infty}(x+e^x)=-\infty,\qquad \lim_{x\to+\infty}(x+e^x)=+\infty,

值域为 R\mathbb{R},故满射。

因此 f:RRf:\mathbb{R}\to\mathbb{R} 双射,反函数存在。


三、章内练习(折叠答案)

练习 1:上确界

求集合 E=(0,2)QE=(0,2)\cap\mathbb{Q} 的上确界与下确界。

点击查看过程与答案

E(0,2)E\subset(0,2),任意元都小于 2;对任意 ϵ>0\epsilon>0,区间 (2ϵ,2)(2-\epsilon,2) 内存在有理数,所以可逼近 2。

同理可逼近 0 且不取到 0。

答案:supE=2,infE=0\sup E=2,\inf E=0

练习 2:绝对值不等式

证明:supAsupBsup{ab:aA,bB}\big|\sup A-\sup B\big|\le\sup\{|a-b|:a\in A,b\in B\}(假设两边存在)。

点击查看过程与答案

M=sup{ab}M=\sup\{|a-b|\}。对任意 aA,bBa\in A,b\in B,有 ab+Ma\le b+M,取上确界得

supAsupB+M.\sup A\le\sup B+M.

交换 A,BA,BsupBsupA+M\sup B\le\sup A+M,合并即

supAsupBM.|\sup A-\sup B|\le M.

练习 3:复合函数定义域

g(x)=ln ⁣(x1x+2)g(x)=\ln\!\left(\sqrt{\frac{x-1}{x+2}}\right)

的定义域。

点击查看过程与答案

根号内需严格大于 0(因为外层有对数):

x1x+2>0.\frac{x-1}{x+2}>0.

解不等式得 x(,2)(1,+)x\in(-\infty,-2)\cup(1,+\infty)

练习 4:反函数导数

f(x)=x3+xf(x)=x^3+x,记其反函数为 f1f^{-1},求 (f1)(0)(f^{-1})'(0)

点击查看过程与答案

先求 f(x0)=0f(x_0)=0,得 x0=0x_0=0

由反函数求导公式

(f1)(0)=1f(0)=1302+1=1.(f^{-1})'(0)=\frac1{f'(0)}=\frac1{3\cdot0^2+1}=1.


四、练习库入口


编者注:第一章最重要的能力是“把直觉翻译成定义”,尤其是对“上界”和“最小上界”的区分。