区间

引入

区间可以看作是一种特殊的集合，它默认在实数上使用。因为实数具有连续性，我们可以用简洁的数学符号来表示。

区间原来也是可以进行运算的！

为什么极限定义里必须出现”邻域”这个说法？

正文

定义

区间是一种集合，表示两个实数间所有的实数，可包含或不包含这两个实数，对应开区间和闭区间。

数学表示

类型	记号	集合描述
开区间	$(a,b)$	$\{x\in \mathbb{R}\mid a<x<b\}$
半开半闭	$[a,b)$	$\{x\in \mathbb{R}\mid a\le x<b\}$
半开半闭	$(a,b]$	$\{x\in \mathbb{R}\mid a<x\le b\}$
闭区间	$[a,b]$	$\{x\in \mathbb{R}\mid a\le x\le b\}$
无穷区间	$(-\infty ,+\infty )$	$\mathbb{R}$

无穷一侧必须是开区间：$\infty$ 不是实数，不能用闭括号包含它。

区间计算

区间支持基本的四则运算（以闭区间为例）：

$[a,b]+[c,d]=[a+c,b+d]$

$[a,b]-[c,d]=[a-d,b-c]$

$[a,b]\times [c,d]=\left[\min \{ac,ad,bc,bd\},\max \{ac,ad,bc,bd\}\right]$

$\frac{[a,b]}{[c,d]}=\left[\min \left\{\frac{a}{c},\frac{a}{d},\frac{b}{c},\frac{b}{d}\right\},\max \left\{\frac{a}{c},\frac{a}{d},\frac{b}{c},\frac{b}{d}\right\}\right]$

乘法要取四个乘积的最小与最大：因为负数的介入会改变端点的对应关系。例如 $[-1,1]\times [-1,1]=[-1,1]$，但 $[-2,-1]\times [1,2]=[-4,-1]$。

除法要求 $0\notin [c,d]$，否则分母可能为零。

邻域

定义

设 $a$ 为一实数，$\delta >0$，则数集 $U(a,\delta )=\{x\mid |x-a|<\delta \}=(a-\delta ,a+\delta )$ 称为 $a$ 的**$\delta$ 邻域**，$a$ 称为中心，$\delta$ 称为半径。

邻域服务于函数的极限定义——去心邻域的来历。

概念	记号	集合
邻域	$U(a,\delta )$	$(a-\delta ,a+\delta )$
去心邻域	$U_0(a,\delta )$	$(a-\delta ,a)\cup (a,a+\delta )$
左邻域	$U_{-}(a,\delta )$	$(a-\delta ,a)$
右邻域	$U_{+}(a,\delta )$	$(a,a+\delta )$

邻域默认为开区间：因为极限关心的是”靠近 $a$“，不要求包含 $a$ 本身。

去心邻域去掉的正是中心点。这就是为什么极限定义中写的是 $0<|x-a|<\delta$，而不是 $|x-a|<\delta$。

为什么极限要用邻域

表述	问题
”靠近 $a$ 时 $f(x)$ 靠近 $A$"	"靠近”没有精确含义
”在 $a$ 附近 $	f(x)-A
”在 $a$ 的某个 $\delta$ 邻域内”	精确，可验证

邻域把”附近”变成了一个可以用数值描述的对象。这是 $\epsilon$-$\delta$ 语言能成立的前提。

区间的运算性质

性质	说明
交集	两个区间的交仍是区间（可能为空）
并集	不一定仍是区间（如 $[0,1]\cup [2,3]$）
数乘	$\lambda [a,b]$ 在 $\lambda <0$ 时端点交换
单调性	区间上的连续函数保持连通性

数乘要注意符号：$\lambda <0$ 时 $\lambda [a,b]=[\lambda b,\lambda a]$，端点顺序反转。

常见误区

错误说法	问题
”$(-\infty ,+\infty )$ 可以写成 $[-\infty ,+\infty ]$”	$\infty$ 不是数
”区间乘法直接端点相乘”	需取四种组合的最值
”邻域就是闭区间”	邻域默认开区间
”去心邻域去掉了端点”	去掉的是中心
”两个区间的并一定是区间”	可能断裂

引出

在一些国家，使用 $]a,b[$ 表示开区间。这种表示减少了符号的使用，也更直观地感受到开和闭的区别。

为什么区间运算要取四个乘积的最值？

邻域在多元函数中如何推广？

• 集合：区间的集合基础
• 函数的极限：邻域的使用场景
• 函数的连续性：闭区间上的性质
• 二次函数的图像与性质：解集用区间表示
• 数学分析：数学分析的整体框架