2008-10-01

[離散][四版習題詳解] P.132 2-79

解答從 x屬於f^-1(B1)推到A1包含在f^-1(B1)裡這部份無法理解

簡單來說,就是x屬於一個W1集合,為何可以推到W1會包含在x所在的另一集合W2裡?

舉例而言,已知x屬於{1,2},現在經由其他管道推到x屬於{2},不代表{1,2}就包含在{2}裡

除非已知W1在W2裡,而這正是這題所要證明的

--------------

我認為這題是要表達A1只是部分元素對應到B1的集合,進而要去找到一個A2,是能夠蒐集全部對應到B1的元素。

1 則留言:

qq22 提到...

因為他for all
他是for all x 屬於A1
導導導
導到
x 屬於 f^-1(B1)
這樣就是 A1 包含於 f^-1(B1)

數學上證包含於 都是這樣証的
且這也符合 包含於的定義
請看四版離散1-4頁的 子集合定義

而你舉的例子 並沒有for all
你的x可能是1
而這時你的x就沒屬於 {2}
所以 {1,2} 不包含於 {2}