(1)设supS=p,由上确界的定义我们可以知道,supS=p的含义是:1)对任意x属于S有x<=p. 2)对任意e>0,存在x属于S使得|x-p|<e.
那么,下面我们证明infS~=-p
即证明对于任意x属于S~有x>=-p 并且 对任意e>0,存在x属于S~使得|x-(-p)|<e.
先证明第一部分:
对于任意x属于S~,由S~的定义我们知道 -x属于S,而supS=p,所以-x<=p,所以x>=-p,得证.
再证明第二部分:
对于任意e>0,首先存在x属于S使得|x-p|<e.设为x0.即|x0-p|<e.那么由于x0属于S,所以-x0属于S~,并且|-x0-(-p)|=|-x0+p|=|x0-p|<e.也就是说S~中存在一个x=-x0,满足|x-(-p)|<e.得证.
综合两个部分可以知道infS~=-p=-supS
(2)基本同第一小问
其实我的证明过于详细,可以简略.
参考资料:我的大脑