跪求解答：设S为非空数集，定义S_={X|-X€S} 证明infS_=-supS

设y=-x，S_={-y|y€S}，根据inf的定义，有两个条件需要满足：
(1)对任意的y€S，都有-y<=infS_
(2)对任意的ε，必定存在一y€S使得-y+ε>infS_
稍作变形可得：
(1)对任意的y€S，都有y>=-infS_
(2)对任意的ε，必定存在一y€S使得y-ε<-infS_
根据sup的定义，-infS_是{y|y€S}这个数据集的上限
所以-infS_=supS，推出infS_=-supS。