东华大学 2026年数学分析第0题
📝 题目
三．（20分）叙述实数完备性的有限覆盖定理，并用之证明一元函数的介值性定理．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/7
目标：叙述有限覆盖定理
有限覆盖定理（Heine–Borel定理在实数上的形式）：如果闭区间 \([a, b]\) 被一个开区间族 \(\{U_\lambda\}_{\lambda \in \Lambda}\) 所覆盖（即 \([a,b] \subseteq \bigcup_{\lambda \in \Lambda} U_\lambda\)），那么可以从这个开区间族中选出有限个开区间 \(U_{\lambda_1}, U_{\lambda_2}, \dots, U_{\lambda_n}\)，它们仍然能覆盖 \([a,b]\)。
公式：[a,b] \subseteq \bigcup_{\lambda \in \Lambda} U_\lambda \Rightarrow \exists \lambda_1,\dots,\lambda_n: [a,b] \subseteq \bigcup_{i=1}^n U_{\lambda_i}
提示：注意有限覆盖定理要求开区间族覆盖闭区间，且选出的有限个开区间仍为开区间。
步骤 2/7
目标：设定反证法前提
设函数 \(f\) 在闭区间 \([a,b]\) 上连续，且 \(f(a) < y_0 < f(b)\)（另一种情况类似可证）。假设对于任意 \(x \in [a,b]\)，都有 \(f(x) \neq y_0\)。
公式：f(a) < y_0 < f(b), \quad \forall x \in [a,b], f(x) \neq y_0
提示：反证法的假设是结论的反面，即不存在 \(c\) 使得 \(f(c)=y_0\)。
步骤 3/7
目标：利用连续性构造开区间覆盖
由 \(f(x) \neq y_0\) 及连续函数的局部保号性，对每个 \(x \in [a,b]\)，存在 \(\delta_x > 0\)，使得当 \(t \in (x-\delta_x, x+\delta_x) \cap [a,b]\) 时，\(f(t)\) 与 \(f(x)\) 同号（相对于 \(y_0\)，即要么都大于 \(y_0\)，要么都小于 \(y_0\)）。这些开区间 \(U_x = (x-\delta_x, x+\delta_x)\) 的全体覆盖了 \([a,b]\)。
公式：\forall x \in [a,b], \exists \delta_x>0: t \in (x-\delta_x, x+\delta_x) \cap [a,b] \Rightarrow (f(t)-y_0)(f(x)-y_0) > 0
提示：注意开区间可能超出 \([a,b]\)，但只需考虑与 \([a,b]\) 的交集即可。
步骤 4/7
目标：应用有限覆盖定理
根据有限覆盖定理，从上述开区间族中可选出有限个开区间 \(U_{x_1}, U_{x_2}, \dots, U_{x_n}\) 仍然覆盖 \([a,b]\)。将这些开区间按它们在数轴上的位置排序。
公式：[a,b] \subseteq \bigcup_{i=1}^n U_{x_i}
提示：有限覆盖定理保证了存在有限个开区间，但需要排序以便分析相邻关系。
步骤 5/7
目标：分析区间端点的函数值符号
由于 \(f(a) < y_0\)，包含 \(a\) 的开区间内所有函数值都小于 \(y_0\)；由于 \(f(b) > y_0\)，包含 \(b\) 的开区间内所有函数值都大于 \(y_0\)。
公式：a \in U_{x_1} \Rightarrow \forall t \in U_{x_1} \cap [a,b], f(t) < y_0; \quad b \in U_{x_n} \Rightarrow \forall t \in U_{x_n} \cap [a,b], f(t) > y_0
提示：注意开区间的排序应使得第一个包含 \(a\)，最后一个包含 \(b\)。
步骤 6/7
目标：通过相邻区间重叠导出矛盾
由于有限个开区间覆盖 \([a,b]\)，相邻开区间必有重叠（否则出现空隙无法覆盖）。在重叠部分，同一点不能同时既大于 \(y_0\) 又小于 \(y_0\)，因此相邻区间的“大于/小于”属性必须一致。从左向右传递，所有开区间内的函数值都必须小于 \(y_0\)，这与包含 \(b\) 的开区间内函数值大于 \(y_0\) 矛盾。
公式：\text{若 } U_{x_i} \cap U_{x_{i+1}} \neq \emptyset, \text{则 } \forall t \in U_{x_i} \cap U_{x_{i+1}}, f(t) \text{ 的符号一致} \Rightarrow \text{传递矛盾}
提示：重叠部分的存在性由覆盖的连续性保证，需注意开区间可能不直接相邻但通过链式重叠连接。
步骤 7/7
目标：得出结论
假设不成立，故存在 \(c \in (a,b)\) 使得 \(f(c) = y_0\)。介值性定理得证。
公式：\exists c \in (a,b): f(c) = y_0
提示：证明中仅考虑了 \(f(a) < y_0 < f(b)\) 的情况，另一种情况类似。
步骤 8/8
目标：总结结论
综上所述，介值性定理成立。
提示：注意证明中使用了有限覆盖定理，体现了实数完备性。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。