x/y=空集，證明x屬於y~

2007-12-25 4:04 am

設X/Y=空集
X/Y為空集，不存在x<-X ，且 x</-Y
任意x<-X，如果 x</-Y，則同不存在x<-X 且 x</-Y矛盾，所以只有x<-Y

但這有證明x屬於y嗎？

如果x屬於某集合，那麼y也必然屬於該集合的意思
不是只證明y屬於x，沒有證明到x屬於y嗎?

回答 (1)

2007-12-28 7:45 pm

✔ 最佳答案

Ｘ／Ｙ：應該是指
ｘ集合中扣掉ｘ和ｙ的交集所剩下的集合

說明：
ｘ＝｛ｘ交集ｙ｝＋｛ｘ交集ｙ′｝
ｘ／ｙ＝｛ｘ交集ｙ′｝＝空集合
推得ｘ＝｛ｘ交集ｙ｝＋空集合
ｘ＝｛ｘ交集ｙ｝
推得ｘ屬於ｙ

👍 0 👎 0