离散数学 08.02 格的定义

§8.2 

A.(L,),a,bL,L(a,b)L(inf{a,b})(sup{a,b}),(L,) 
 

8.2.1.Sρ(S)S(ρ(S),)sup{A,B}=AB,inf{A,B}=ABS 

8.2.2.IDI + a,bI + ,aDbab,(I + ,D)I + {a,b}a,b{a,b}a,b 

8.2.3.nSnS 6 ={1,2,3,6},S 24 ={1,2,3,4,6,8,12,24}.D(S 6 ,D),(S 8 ,D),(S 24 ,D)S 30 ,D)Hasse 

8.2.4.SAB,BA(S,)A,BS,sup{A,B}=ABS,inf{A,B}=ABS. 

A  :(L,)SLSL,(S,),(S,)(L,) 
(S 6 ,D)S 24 ,D) 

BL×,LL:(1)a×b=b×a,ab=ba;(2)a×(b×c)=(a×b)×c,a(bc)=(ab)c;(3)a×(ab)=a,a(a×b)=a;(L,×,) 

B×,×,La×,,a×(aa)=a,a(a×a)=aa×a=a×(a(a×a)),aa=a(a×(aa)).×,aa×a=a,aa=aB×, 

8.2.5.Sρ(S)S(),()ρ(S),(ρ(S),,)8.2.1(ρ(S),)A,Bρ(S),ABAB=AAB=B. 

8.2.6.I + ×,I + (I + ,×,)8.2.2.(I + ,D)a,bI + ,aDba×b=aab=b. 

8.2.7.nS n n×,S n (S n ,×,) 

8.2.1.AB 
i)(L,)a,bL,inf{a,b}a×b;sup{a,b}aba,b,inf{a,b},sup{a,b}×,L×,:a×(ab)=aa×(ab)a(ab)a×(ab)a;aa,aab,aaabaa×(ab),a=a×(ab)B(L,×,)ii)(L,×,)La,bL,aba×b=aa×a=a×(a(a×a))=a,aaab,ba,a×b=a,b×a=b,a×b=b×a,a=b.ab,bc,a×b=a,b×c=b,a×c=(a×b)×c=a×(b×c)=a×b=a,aca×b=aab=ba×b=a,ab=(a×b)b=b.ab=b,a×b=b×(ab)=a.a,bL,ab,ab=b{a,b}L,inf{a,b},sup{a,b},a×(ab)=a,b×(ab)=b,a(ab),b(ab).ab{a,b}cL,c{a,b}ac,bc,ac=c,bc=c,(ab)c=(ac)(cc)=(ac)(bc)=cc=c(ab)c.(ab){a,b}sup{a,b}=(ab).inf{a,b}=(a×b).(L,)(L,×,)(L,)(L,×,)(L,×,),(L,)(L,)(L,×,),×,便 

B  :(L,×,)SL(S,×,)(L,×,)×,S 
(S n ,×,)(I + ,×,)×, 
B  (L,×,)SL,(S,×,)(S,×,)(L,×,)(S,×,)(L,×,):SL(S,×,) 
(L,)(L,×,),SL(S,×,)B  (L,×,)(S,)A  (L,)(S,)A  (L,)(S,×,)B  (L,×,)(L,)L={a 1 ,a 2 ,a 3 ,a 4 ,a 5 ,a 6 ,a 7 ,a 8 }S 1 ={a 1 ,a 2 ,a 4 ,a 6 },(S 1 ,)(L,)(A  ),(L,×,)(B  )S 2 ={a 1 ,a 2 ,a 4 ,a 8 },(S 2 ,)(L,)(A  ),(S 2 ,×,)(L,×,)(B  ).a 2 ×a 4 =a 6 ,a 6 S 2 ,S 2 × 

  • 4
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值