北京科技大学 2025年数学分析第0题
📝 题目
四．（10分）利用确界原理证明有限覆盖定理．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/3
目标：明确已知条件和要证明的结论，并构造集合S
设闭区间 \([a, b]\)，并设 \(\{U_\alpha\}_{\alpha \in I}\) 是 \([a, b]\) 的一个开覆盖，即每个 \(U_\alpha\) 是开集，且 \([a, b] \subseteq \bigcup_{\alpha \in I} U_\alpha\)。定义集合 \(S = \{ x \in [a, b] \mid \text{区间 } [a, x] \text{ 可以被有限个 } U_\alpha \text{ 覆盖} \}\)。显然 \(a \in S\)，因为 \([a, a] = \{a\}\) 可以被某个包含 \(a\) 的开集覆盖，所以 \(S\) 非空。且 \(S\) 有上界 \(b\)。
公式：S = \{ x \in [a, b] \mid [a, x] \text{ 能被有限个 } U_\alpha \text{ 覆盖} \}
提示：注意S的定义是左端点从a开始，右端点x可以变化，且要求整个区间[a,x]能被有限覆盖。
步骤 2/3
目标：应用确界原理得到上确界c，并证明c属于S
由确界原理，非空有上界的实数集 \(S\) 必有上确界，记作 \(c = \sup S\)，显然 \(c \in [a, b]\)。因为 \(\{U_\alpha\}\) 覆盖 \([a,b]\)，存在某个开集 \(U_{\alpha_0}\) 包含 \(c\)。由于 \(U_{\alpha_0}\) 是开集，存在 \(\delta > 0\) 使得 \((c - \delta, c + \delta) \subseteq U_{\alpha_0}\)。由 \(c = \sup S\)，存在 \(x_0 \in S\) 满足 \(c - \delta < x_0 \le c\)。根据 \(S\) 的定义，\([a, x_0]\) 可以被有限个开集覆盖，再加上 \(U_{\alpha_0}\) 就可以覆盖 \([a, c]\)（因为从 \(x_0\) 到 \(c\) 的部分落在 \(U_{\alpha_0}\) 内）。因此 \([a, c]\) 可以被有限覆盖，即 \(c \in S\)。
公式：c = \sup S, \quad (c - \delta, c + \delta) \subseteq U_{\alpha_0}
提示：关键步骤：利用开集的性质找到邻域，并利用上确界的定义找到S中的点x0，从而将区间[a,c]分成[a,x0]和[x0,c]两部分分别覆盖。
步骤 3/3
目标：证明c等于b，从而得到有限覆盖定理
假设 \(c < b\)。由于 \(c \in S\)，且 \(U_{\alpha_0}\) 包含 \(c\)，我们取 \(\epsilon > 0\) 足够小使得 \(c + \epsilon < b\) 且 \((c - \delta, c + \epsilon) \subseteq U_{\alpha_0}\)。那么 \([a, c+\epsilon]\) 就可以由覆盖 \([a,c]\) 的有限个开集再加上 \(U_{\alpha_0}\) 覆盖，因此 \(c+\epsilon \in S\)，这与 \(c\) 是上确界矛盾。所以 \(c = b\)。由 \(b = c \in S\)，可知 \([a, b]\) 可以被有限个开集覆盖，即有限覆盖定理成立。
公式：c = b, \quad [a, b] \subseteq \bigcup_{i=1}^n U_{\alpha_i}
提示：反证法：假设c
步骤 4/7
目标：利用 c 属于开覆盖中的某个开集
由于 \(c \in [a, b]\)，存在开集 \(U \in \mathcal{U}\) 使得 \(c \in U\)。因为 \(U\) 是开集，存在 \(\delta > 0\) 使得 \((c - \delta, c + \delta) \subseteq U\)。
公式：(c - \delta, c + \delta) \subseteq U
提示：开集的性质保证了存在一个邻域完全包含在 U 中。
步骤 5/7
目标：证明 c ∈ S
由 \(c = \sup S\)，存在 \(x_0 \in S\) 满足 \(x_0 > c - \delta\)。那么 \([a, x_0]\) 可被 \(\mathcal{U}\) 中的有限个开集覆盖，设为 \(U_1, U_2, \dots, U_n\)。由于 \([a, c] \subseteq [a, x_0] \cup (c - \delta, c]\)，而 \((c - \delta, c] \subseteq U\)，所以 \([a, c]\) 可被 \(U_1, U_2, \dots, U_n, U\) 这有限个开集覆盖，故 \(c \in S\)。
公式：[a, c] \subseteq [a, x_0] \cup U
提示：注意 x_0 可能小于 c，但 c-δ < x_0 保证了 [a, c-δ] 已被覆盖。
步骤 6/7
目标：证明 c = b
假设 \(c < b\)。因为 \(U\) 是开集，存在 \(\epsilon > 0\) 使得 \(c + \epsilon < b\) 且 \((c - \delta, c + \epsilon) \subseteq U\)。那么 \([a, c + \epsilon]\) 可被覆盖 \([a, c]\) 的有限个开集（即 \(U_1, \dots, U_n, U\)）覆盖，因此 \(c + \epsilon \in S\)，这与 \(c = \sup S\) 矛盾。故 \(c = b\)。
公式：c + \epsilon \in S \text{ 与 } c = \sup S \text{ 矛盾}
提示：反证法，利用开集可以向右延伸一小段。
步骤 7/7
目标：得出结论
由 \(c = b\) 且 \(c \in S\)，知 \(b \in S\)，即 \([a, b]\) 可被 \(\mathcal{U}\) 中的有限个开集覆盖。因此有限覆盖定理得证。
提示：整个证明的关键在于构造 S 并利用确界原理。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。