※ 引述《mqazz1 (無法顯示)》之銘言：
: let (L, ≦) be a complemented lattice
: if x,y屬於L, we define x*y as the least upper bound of {x,y}
: then * is a binary operation on L
: which of the following statements are ture?
: (a) (L,*) is a group
: (b) (L,*) is a monoid but not a group
: (c) (L,*) is not a monoid
: 原始: http://ppt.cc/~rOG
試著證明
1. x * (y * z) 是 x, y 和 z 的上界;
2. 任意 x, y, z 的上界都比 x * (y * z) 大。
由此證明 * 滿足結合律是 semi-group。
對所有 x 都滿足 x * e = x = e * x 代表
x 是 x 跟 e 的上界, 也就是說任意 x 都滿足 x >= e
得知 e 是最小元素。在 complemented lattice 存在，
故為 monoid 。
至於最後個條件就畫畫圖找找看，它並不是 group
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 78.109.182.40
※ 編輯: xcycl 來自: 78.109.182.40 (03/01 19:39)