好簡單
Let a in A, b in B.
a - b <= Sup A - b
<= Sup A - inf B ( b>= inf B)
So, Sup A - inf B is an upper bound of the set {a in A, b in B : a - b}
For all e > 0
Sup A - inf B - e = (Sup A - e/2) - (inf B + e/2)
By definition of Sup, there is an element a' in A s.t. a' > Sup A - e/2
By definition of inf, there is an element b' in B s.t. b' < inf B + e/2
hence, Sup A - inf B - e < a' - b'
i.e. Sup A - inf B is the least upper bound of the set {a in A, b in B : a - b}作者: pqrs853 時間: 10-3-21 01:05 PM
標題: 同城一,夜,情