推 mi981027: 第二題看起來好複雜...先看第一題好了 08/22 01:57
→ mi981027: 取a, c的補元素的glb我覺得可以理解成是因為他想證明a就 08/22 01:57
→ mi981027: 是c，所以採矛盾證法來證 08/22 01:57
→ mi981027: （假設a,c補元素的glb不為0，推導到矛盾） 08/22 01:57
→ mi981027: 然後要看到他那個b是說存在，也就是找的到就好 08/22 01:57
→ mi981027: 我們知道b一定不會是0，那假設b不是原子 08/22 01:57
→ mi981027: 代表有一個k不為0，符合k<b, <a, <c的補元素 08/22 01:57
→ mi981027: 那這時候就不要取b，取k就好啦 08/22 01:57
→ mi981027: 代表一定找的到一個原子符合我們的需求 08/22 01:57
推 mi981027: 喔喔第二題只是證明看起來很嚇人... 08/22 02:28
→ mi981027: 先看懂他的函數，這個證明是說一個有m個原子的布林代數 08/22 02:28
→ mi981027: 一定可以對應到以這m個原子為集合的power set布林代數 08/22 02:28
→ mi981027: 他的對應方法就是，假設我要對應a過去 08/22 02:28
→ mi981027: 我就從B_n中蒐集所有跟a有關係的m，作為power set的一 08/22 02:28
→ mi981027: 個子集合，這樣對就可以產生一個同構的power set布林代 08/22 02:28
→ mi981027: 數了 08/22 02:28
→ mi981027: （姑且先不討論怎麼想到這個對法的，那是天才的領域... 08/22 02:28
→ mi981027: ） 08/22 02:28
→ mi981027: 你畫線的地方仔細看，其實就是對應函數f的定義而已 08/22 02:28
→ Yueh711: 第一題了解了 感謝 08/22 07:57
→ Yueh711: 但第二題依照定義不是只能知道m<=(a join b)嗎？ 還是不 08/22 07:57
→ Yueh711: 太懂怎麼用這個結果推到m<=a或m<=b 08/22 07:57
推 mi981027: 其實可以直接把join想成or的運算比較直覺 08/22 08:56
→ mi981027: m <= (a or b), 代表m一定<=兩者中其中一人 08/22 08:56
→ mi981027: 當然也可以從偏序定義的lub來討論 08/22 08:56
→ Yueh711: 懂了! tks 08/22 16:15