数学分析原理答案——第一章 习题5 inf(A)=−sup(−A)

【第一章 习题5】

设$A$是非空实数集，下有界。令$-A$是所有$-x$的集，$x\in A$。证明：

$$\inf (A)=-\sup (-A)$$

【证明】

设

$$i=\inf (A)$$

$$s=\sup (-A)$$

根据最小上界、最大下界的定义，有

$$i=\inf (A)\iff \forall a\in A(i\le a)\wedge \forall r>0,\exists a^{{}^{\prime }}\in A\left(i+r>a^{{}^{\prime }}\right)$$

$$s=\sup (-A)\iff \forall a\in A(s\ge -a)\wedge \forall r>0,\exists a^{{}^{\prime }}\in A\left(s-r<-a^{{}^{\prime }}\right)$$

令

$$s^{{}^{\prime }}=-\sup (-A)$$

则

$$s^{{}^{\prime }}=-s\iff \forall a\in A\left(s^{{}^{\prime }}\le a\right)\wedge \forall r>0,\exists a^{{}^{\prime }}\in A\left(s^{{}^{\prime }}+r>a^{{}^{\prime }}\right)$$

所以

$$i=s^{{}^{\prime }}=-s$$

即

$$\inf (A)=-\sup (-A)$$