xy0v0's Blog

Back

1 确界原理的证明

定理 1.1 (确界原理). 非空、有上界的实数集必有上确界;非空、有下界的实数集必有下确界。

十进制构造

证明. 先证上确界的存在性,并以实数的无限小数表示为基础。 任取 s0Ss_0\in S,将各元素加上 1s01-s_0,集合仍有上界且含正数; 平移后集合的上确界减去 1s01-s_0,即为原集合的上确界。 故可设 SS 含有正数。

构造。不是 SS 上界的非负整数构成非空有限集: 00 不是上界,而充分大的整数都是上界。取其中最大者 a0a_0,令 p0=a0p_0=a_0。 则 p0p_0 不是上界,p0+1p_0+1 是上界。

将区间 [pk1,pk1+10(k1)][p_{k-1},p_{k-1}+10^{-(k-1)}] 十等分, 在 0,1,,90,1,\ldots,9 中取最大的数字 aka_k,使 pk=pk1+ak10kp_k=p_{k-1}+a_k10^{-k} 不是上界。因 pk1p_{k-1} 不是上界,数字 00 至少可选。 由最大性(ak=9a_k=9 时利用上一层的上界),对每个 k0k\ge0 都有 xS:x>pk,xS:xpk+10k.\exists x\in S:\ x>p_k, \qquad \forall x\in S:\ x\le p_k+10^{-k}.η=a0.a1a2\eta=a_0.a_1a_2\cdots,则 pkηpk+10kp_k\le\eta\le p_k+10^{-k}。 这里允许末尾循环 99,所以右端保留 \le

验证。若存在 xSx\in S 满足 x>ηx>\eta,取 10k<xη10^{-k}<x-\eta,则 xpk+10kη+10k<x,x\le p_k+10^{-k}\le\eta+10^{-k}<x, 矛盾,故 η\eta 是上界。任取 α<η\alpha<\eta,取 10k<ηα10^{-k}<\eta-\alpha,则 pkη10k>α.p_k\ge\eta-10^{-k}>\alpha. 由于 pkp_k 不是上界,存在 xSx\in S 使 x>pk>αx>p_k>\alpha。 故任何小于 η\eta 的数都不是上界,即 η=supS\eta=\sup S。 ◻

闭区间套证明

此处以闭区间套定理为前提:若非空闭区间 [ak,bk][a_k,b_k] 逐层包含,且长度趋于 00,则它们恰有一个公共点。

证明. 仍设 SS\ne\varnothing 且有上界。任取 x0Sx_0\in S,令 a0=x01a_0=x_0-1, 再取 SS 的一个上界 b0b_0。则 a0a_0 不是上界,而 b0b_0 是上界。

第一步:二分构造闭区间套。

[ak,bk][a_k,b_k] 已确定,取中点 mk=(ak+bk)/2m_k=(a_k+b_k)/2,并定义 [ak+1,bk+1]={[ak,mk],mkS 的上界,[mk,bk],mk 不是 S 的上界.[a_{k+1},b_{k+1}]= \begin{cases} [a_k,m_k],&m_k\text{ 是 }S\text{ 的上界},\\ [m_k,b_k],&m_k\text{ 不是 }S\text{ 的上界}. \end{cases} 于是对所有 k0k\ge0,都有 ak 不是上界,bk 是上界,bkak=b0a02k.a_k\text{ 不是上界},\qquad b_k\text{ 是上界},\qquad b_k-a_k=\frac{b_0-a_0}{2^k}. 这些闭区间逐层包含,长度趋于 00。由闭区间套定理,存在唯一实数 ξ\xi,使得对所有 k0k\ge0 都有 akξbka_k\le\xi\le b_k

第二步:验证 ξ=supS\xi=\sup S

若存在 xSx\in S 满足 x>ξx>\xi,取充分大的 kk,使 bkak<xξb_k-a_k<x-\xi。则 bkξbkak<xξ,b_k-\xi\le b_k-a_k<x-\xi, 从而 bk<xb_k<x,与 bkb_k 是上界矛盾。因此 ξ\xi 是上界。

任取 α<ξ\alpha<\xi,取充分大的 kk,使 bkak<ξαb_k-a_k<\xi-\alpha,则 ξakbkak<ξα,α<ak.\xi-a_k\le b_k-a_k<\xi-\alpha, \qquad \alpha<a_k. 由于 aka_k 不是上界,存在 xSx\in S 使 x>ak>αx>a_k>\alpha。 所以 ξ\xi 是最小的上界,即 ξ=supS\xi=\sup S。 ◻

下确界的存在性。 若非空集合 SS 有下界,则 S={x:xS}-S=\{-x:x\in S\} 有上界。 令 β=sup(S)\beta=\sup(-S),则所有 xSx\in S 都满足 xβx\ge-\beta。 任取 ε>0\varepsilon>0,存在 xS-x\in-S 使 βε<x\beta-\varepsilon<-x,即 x<β+εx<-\beta+\varepsilon。 故 infS=β\inf S=-\beta,确界原理的另一半也得证。

2 确界的性质

命题 2.1 (最大值与上确界). 设 SS\subseteq\mathbb{R} 非空,则 maxS=ηη=supSηS.\max S=\eta \quad\Longleftrightarrow\quad \eta=\sup S\ \text{且}\ \eta\in S.

证明.maxS=η\max S=\eta,则 ηS\eta\in S,且所有 xSx\in S 都满足 xηx\le\eta, 所以 η\eta 是上界。任取 α<η\alpha<\eta,直接取 x=ηSx=\eta\in S, 就有 x>αx>\alpha。因此 η\eta 是最小上界,即 supS=η\sup S=\eta

反之,若 η=supS\eta=\sup SηS\eta\in S,则由上界性, 对所有 xSx\in S 都有 xηx\le\eta,所以 maxS=η\max S=\eta。 ◻

仅有 supS=η\sup S=\eta 不能推出最大值存在;还必须有 ηS\eta\in S

命题 2.2 (两个数集的确界比较). 设 A,BA,B\subseteq\mathbb{R} 均非空,且 xA,yB,xy.\forall x\in A,\quad\forall y\in B,\quad x\le y.AA 有上确界,BB 有下确界,并且 supAinfB.\sup A\le\inf B.

证明. 任取 y0By_0\in B,则 y0y_0AA 的上界;任取 x0Ax_0\in A, 则 x0x_0BB 的下界。由确界原理,supA\sup AinfB\inf B 均存在。

对任意 yBy\in Byy 都是 AA 的上界,故由上确界的最小性, supAy(yB).\sup A\le y\qquad(\forall y\in B). 这说明 supA\sup ABB 的一个下界。由于 infB\inf B 是最大的下界, 因此 supAinfB\sup A\le\inf B。 ◻

命题 2.3 (平移与正数倍). 设 SS\subseteq\mathbb{R} 非空且有上界,记 η=supS\eta=\sup S

  1. 对任意 aa\in\mathbb{R},定义 S+a={x+a:xS}S+a=\{x+a:x\in S\},则 sup(S+a)=supS+a.\sup(S+a)=\sup S+a.

  2. 对任意 b>0b>0,定义 bS={bx:xS}bS=\{bx:x\in S\},则 sup(bS)=bsupS.\sup(bS)=b\sup S.

证明. (1)平移。 对任意 xSx\in S,有 xηx\le\eta,从而 x+aη+a.x+a\le\eta+a. 因此 η+a\eta+aS+aS+a 的上界。

任取 α<η+a\alpha<\eta+a,则 αa<η\alpha-a<\eta。 由 η=supS\eta=\sup S,存在 x0Sx_0\in S,使 x0>αa,x0+a>α.x_0>\alpha-a, \qquad x_0+a>\alpha. 由于 x0+aS+ax_0+a\in S+a,所以任何小于 η+a\eta+a 的数都不是 S+aS+a 的上界。 故 sup(S+a)=η+a\sup(S+a)=\eta+a

(2)正数倍。 由于 b>0b>0,对任意 xSx\in S,由 xηx\le\etabxbη.bx\le b\eta. 因此 bηb\etabSbS 的上界。

任取 α<bη\alpha<b\eta,则 α/b<η\alpha/b<\eta。 由 η=supS\eta=\sup S,存在 x0Sx_0\in S,使 x0>αb,bx0>α.x_0>\frac\alpha b, \qquad bx_0>\alpha. 由于 bx0bSbx_0\in bS,所以任何小于 bηb\eta 的数都不是 bSbS 的上界。 故 sup(bS)=bη\sup(bS)=b\eta。 ◻

3 课后作业

习题 1.2,第 5 题

题目:SS 为非空有下界数集,证明 infS=ξSξ=minS.\inf S=\xi\in S\quad\Longleftrightarrow\quad\xi=\min S.

证明. 先设 ξ=infSS\xi=\inf S\in S。由下确界的下界性, 对任意 xSx\in S 都有 xξx\ge\xi。又因 ξS\xi\in S,故 minS=ξ=infS.\min S=\xi=\inf S.

反之,若 SS 有最小值,记 ξ=minS\xi=\min S,则 ξS\xi\in S, 且对任意 xSx\in S 都有 xξx\ge\xi,所以 ξ\xiSS 的下界。 任取 β>ξ\beta>\xi,取 x=ξSx=\xi\in S,就有 x<βx<\beta。 因此任何大于 ξ\xi 的实数都不是 SS 的下界,故 infS=ξS.\inf S=\xi\in S. 两向均得证,且最小值存在时必等于下确界。 ◻

习题 1.2,第 6 题(1)

题目:SS 为非空数集,定义 S={x:xS}S^{-}=\{x:-x\in S\}。证明 infS=supS.\inf S^{-}=-\sup S. 这里按有限实数确界讨论,假设 SS 有上界,使 supS\sup S 存在。

证明.M=supSM=\sup S。任取 ySy\in S^{-},则 yS-y\in S,所以 yMyM.-y\le M\quad\Longrightarrow\quad y\ge-M.M-MSS^{-} 的一个下界。

任取 β>M\beta>-M,则 β<M-\beta<M。由 M=supSM=\sup S, 存在 x0Sx_0\in S,使得 x0>βx0<β.x_0>-\beta\quad\Longrightarrow\quad -x_0<\beta. 又因 x0S-x_0\in S^{-},所以任何大于 M-M 的实数都不是 SS^{-} 的下界。 因此 M-MSS^{-} 的最大下界,即 infS=M=supS.\inf S^{-}=-M=-\sup S. ◻

习题 1.2,第 7 题(1)

题目:A,BA,B 皆为非空有界数集,定义 A+B={x+y:xA,yB}.A+B=\{x+y:x\in A,\ y\in B\}. 证明 sup(A+B)=supA+supB.\sup(A+B)=\sup A+\sup B.

证明.MA=supAM_A=\sup AMB=supBM_B=\sup B。由 A,BA,B 非空可知,A+BA+B 非空。

第一步:验证上界性。

任取 zA+Bz\in A+B,存在 xAx\in AyBy\in B 使 z=x+yz=x+y。 由上确界的上界性,xMAx\le M_AyMBy\le M_B,从而 z=x+yMA+MB.z=x+y\le M_A+M_B. 所以 MA+MBM_A+M_BA+BA+B 的上界。

第二步:验证它是最小上界。

任取 c<MA+MBc<M_A+M_B,则 cMB<MAc-M_B<M_A。 由 MA=supAM_A=\sup A,可取 x0Ax_0\in A,使 x0>cMB.x_0>c-M_B. 将这个不等式移项,得到 cx0<MB.c-x_0<M_B. 于是再由 MB=supBM_B=\sup B,可取 y0By_0\in B,使 y0>cx0.y_0>c-x_0. 因此 x0+y0A+Bx_0+y_0\in A+Bx0+y0>cx_0+y_0>c,说明 cc 不是 A+BA+B 的上界。 故任何小于 MA+MBM_A+M_B 的实数都不是上界,最终得到 sup(A+B)=MA+MB=supA+supB.\sup(A+B)=M_A+M_B=\sup A+\sup B. ◻

阅读 / 下载 PDF

数学分析(一)1.2:数集与确界原理(2)
https://www.xy0v0.top/archives/mathematical-analysis-i-01-02-sets-and-suprema-2
Author xy0v0
Published at 九月 18, 2026