离散数学 08.03 格的性质

§8.3 

8.3.1 

8.3.1.LRR 1 ,x,yL,xR 1 y,yRx 
8.2.4.P,QS,PQQP 

8.3.1.RR 1  
xL,xRx,xR 1 xR 1 xR 1 y,yR 1 x,yRx,xRy,y=x.R 1 xR 1 y,yR 1 z,yRx,zRy,zRx,xR 1 zR 1  

8.3.2(L,R)sup{a,b}=d(L,R 1 )inf{a,b}=d,(L,R)inf{a,b}=d(L,R 1 )sup{a,b}=d 

LAA(L,R)A(L,R 1 )A(L,R)A(L,R 1 ) 

8.3.3.(L,R)(L,R 1 ) 
(L,R)01. 
(L,R)(L,R 1 ) 

8.3.2.(L,R):1)0,1XXL01(L,R)2)AB(AB),(A×B)×,(L,R)3)(L,R)使1)2) 

8.3.3.(L,R)(L,R) 1 ,× 1 ;(L,R 1 ) 2 ,× 2 ;E(L,R)E 1 × 2 ,× 1  2 ,(L,R 1 )E  ,E  E 

8.3.4.(L,R),×,E(L,R)E×,×,01(E0)10(E1)E  ,E  E 

1.XRY(L,R)Y  R 1 X  (L,R 1 )X  ,Y  X,Y 
a,bL,a 1 b=a× 2 b,a× 1 b=a 2 b.X,Y,X  ,Y  LX 0 ,Y 0 ,X  0 ,Y  0 ,X  0 =X 0 ,Y  0 =Y 0 X  0 RY  0 ,Y  0 R 1 X  0 .Y  R 1 X   

1XRY(L,R)Y  RX  X  ,Y  X,Y 
XRY(L,R)X  R 1 Y  (L,R 1 )X  ,Y  X,Y 1  2 ,× 1 × 2 ,01(XY0),10(XY1)1(Y  )  R(X  )  (L,R)(Y  )  ,(X  )  Y  ,X  X  ,Y  ,(X  )  ,(Y  )  (X  )  =X  ,(Y  )  =Y  ,X  ,Y  XYY  RX  (L,R) 

H 1 ,,H m CC使H i (i=1,,m)(i=1,,m)CC  C  CCC 

a×a=a×(a(a×a))=a:aa=a(a×(aa))=aLGCGGG  CC  G   

2(L,R)HRGXRY,H  R 1 G  X  R 1 Y  H  ,G  ,X  ,Y  H,G,X,Y 

8.3.2 

8.3.1.(L,)a,bLaba×b=aab=b. 
ab,aa,a{a,b}aa×b.a×b{a,b}a×baa×b=a.a×b=a,ab=(a×b)b=bab=b,abb{a,b}ab. 

8.3.2.(L,)a,b,cLbc,a×ba×c,abac. 
bc,8.3.1.b×c=b(a×b)×(a×c)=(a×a)×(b×c)=a×(b×c)=a×b8.3.1a×ba×c 

8.3.3.(L,)a,b,cLa(b×c)(ab)×(ac),a×(bc)(a×b)(a×c). 
aab,aac,×a(ab)×(ac)(1)b×cbabb×ccac×b×c(ab)×(ac)(2)(1),(2)a(b×c)(ab)×(ac) 
 

8.3.4.(L,),a,b,cLaba(b×c)b×(ac) 
ab,8.3.1.ab=b.8.3.3a(b×c)(ab)×(ac)=b×(ac)a(b×c)b×(ac),:a(b×c)a×b×(ac)bab. 

8.3.2 

8.3.5.(L,×,)(S,,)LSg(L,×,)(S,,)a,bL,g(a×b)=g(a)g(b)g(ab)=g(a)g(b) 
LLgLSgLS 

8.3.1.S={a,b},ρ(S)={ϕ,{a},{b},{a,b}}S,(ρ(S),,)L={0,1},01,,L(L,,)g:g({a})=1,g({a,b})=1,g({b})=0,g(ϕ)=0.gρ(S)LgA,Bρ(S),g(AB)=g(A)g(B). 
(1)aAB,aA,aB,g(AB)=1,g(A)g(B)=11=1.(2)aAB,g(AB)=0, 
g(A)g(B)=⎧ ⎩ ⎨ ⎪ ⎪ 10=0,aA,aB01=0,aA,aB00=0,aA,aB  
g(AB)=g(A)g(B). 
A,Bρ(S),g(AB)=g(A)g(B). 
(1)aAB,g(AB)=1, 
g(A)g(B)=⎧ ⎩ ⎨ ⎪ ⎪ 10=1,aA,aB01 1,aA,aB11=1,aA,aB  
(2)aAB,aA,aB,g(AB)=0,g(A)g(B)=00=0.g(AB)=g(A)g(B). 
gρ(S)L 

8.3.2.S={a,b},ρ(S)={ϕ,{a},{b},{a,b}}S,(ρ(S),,)g:g(ϕ)=g({a})=ϕ,g({b})=g({a,b})={b}gρ(S)ρ(S)gA,Bρ(S),: 
bAB,g(AB)=g(A)g(B)={b};bAB,g(AB)=g(A)g(B)=ϕ.bAB,g(AB)=g(A)g(B)={b};bAB,g(AB)=g(A)g(B)=ϕ.g(AB)=g(A)g(B),g(AB)=g(A)g(B).g(ρ(S),,) 

8.3.3.S={a,b,c},ρ(S)={ϕ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}S(ρ(S),,)S 30 30×,(S 30 ,×,)gϕ1,{a}2,{b}3,{c}5,{a,b}6,{a,c}10,{b,c}15,{a,b,c}30. 
gρ(S)S 30 11A,Bρ(S),g(AB)=g(A)g(B),g(AB)=g(A)×g(B).gρ(S)S 30 g 1 S 30 ρ(S):g 1 (g(x))=x,xρ(S),g(g 1 (y))=y,yS 30 . 

8.3.5.(L,×,)(S,,)L×, L ,S, S .gLSga,bL,a L b,g(a) S g(b) 
ab,a×b=a,g(a×b)=g(a),g(a×b)=g(a)g(b)=g(a),g(a) S g(b). 

8.3.6.(L,×,)gg(L)(L,×,)(B  ). 
g(L)a  ,b  .a  ,b  La,bga  =g(a),b  =g(b),g(L,×,)a  ×b  =g(a)×g(b)=g(a×b)g(L),a  b  =g(a)g(b)=g(ab)g(L).×,g(L)(g(L),×,)(L,×,) 

8.3.7.(L,×,),(S,,)gLSgg 1 SL 
g 1 SLg 1 SLa  ,b  S,g 1 (a  )=a,g 1 (b  )=b.g(a)=a  ,g(b)=b  .g 1 (a  b  )=g 1 (g(a)g(b))=g 1 (g(a×b))=a×b=g 1 (a  )×g 1 (b  ).g 1 (a  b  )=g 1 (g(1)g(b))=g 1 (g(ab))=ab=g 1 (a  )g 1 (b  ).g 1 SL 

(L,×,)(S,,)gLa,b,a L bg(a) S g(b). L , S LS×, 

L={0,1},01.(L,)(L,,),LL n ={(a 1 ,,a n )|a i L,i=1,,n},(a 1 ,,a n ) n (b 1 ,,b n )a i b i (i=1,,n).(L n , n )n(L n , n )(L n ,×,),L n (a 1 ,,a n ),(b 1 ,,b n ),(a 1 ,,a n )×(b 1 ,,b n )=(a 1 b 1 ,,a n b n )(a 1 ,,a n )(b 1 ,,b n )=(a 1 b 1 ,,a n b n ) 

8.3.4.Snρ(S)S(ρ(S),)(L n , n ) 
S={s 1 ,,s n }.gρ(S)L n :Aρ(S),g(A)=(a 1 ,,a n ),a i =1s i A,i=1,,n.gρ(S)L n A,Bρ(S),g(A)=(a 1 ,,a n ),g(B)=(b 1 ,,b n ),g(AB)=(c 1 ,,c n ),ga i =1s i A,i=1,,nb i =1s i B,i=1,,nc i =1s i AB,i=1,,nc i =1a i =1b i =1,i=1,,n.c i =a i b i ,c i ,,c n )=(a 1 b 1 ,,a n b n )=(a 1 ,,a n )×(b 1 ,,b n )g(AB)=g(A)×g(B).g(AB)=g(A)g(B).(ρ(S),,)(L n ,×,) 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值