离散数学陈瑜_第1页
离散数学陈瑜_第2页
离散数学陈瑜_第3页
离散数学陈瑜_第4页
离散数学陈瑜_第5页
已阅读5页,还剩118页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

环和域前面讨论了具有一个二元运算的代数系统——半群、含幺半群、群、子群。下面讨论具有两个二元运算的代数系统。给定两个代数系统<A,+>,<A,*>可将它们组合成一个具有两个二元运算的代数系统<A,+,*>,而这两个二元运算符+和*之间是有联系的。环,域,特别是有限域是纠错码理论的基础。7/2/20261环Ring定义16.1一个代数系统<R,+,*>,如果满足:(1)<R,+>是阿贝尔群;(2)<R,*>是半群;(3)乘法*在加法+上可分配。即对任意a,b,c

R有a*(b+c)=(a*b)+(a*c)(b+c)*a=(b*a)+(c*a)则称<R,+,*>是一个环。(联系两个二元运算,否则就不是一个系统而是两个系统)7/2/20262例16.1在加法和乘法作用下,整数、实数、有理数、偶数和复数都能构成环。<Z,+,×><R,+,×><Q,+,×><E,+,×><C,+,×>+可以交换,0是+的幺元,i的逆为-i;+,×可结合,×对+可分配7/2/20263例16.2设Zk表示整数集Z上的模k剩余类集合,即:Zk={[0],[1],[2],…,[k-1]}<Zk,

>是群(剩余类加群),<Zk,

>是半群(剩余类乘半群),∵对

[i],[j],[k]

Zk有[i]([j]

[k])=[i(j+k)]=[ij+ik]=[ij]

[ik]=([i]

[j])([i][k])∴<Zk,,>是环,称为(模k)剩余类环。特别,k=2时,称为布尔环。7/2/20264例16.2设Zk表示整数集Z上的模k剩余类集合,即:Zk={[0],[1],[2],…,[k-1]}<Zk,

>是群(剩余类加群),<Zk,

>是半群(剩余类乘半群),∵对

[i],[j],[k]

Zk有[i]([j]

[k])=[i(j+k)]=[ij+ik]=[ij]

[ik]=([i]

[j])([i][k])∴<Zk,,>是环,称为(模k)剩余类环。特别,k=2时,称为布尔环。7/2/20265例16.2设Zk表示整数集Z上的模k剩余类集合,即:Zk={[0],[1],[2],…,[k-1]}<Zk,

>是群(剩余类加群),<Zk,

>是半群(剩余类乘半群),∵对

[i],[j],[k]

Zk有[i]([j]

[k])=[i(j+k)]=[ij+ik]=[ij]

[ik]=([i]

[j])([i][k])∴<Zk,,>是环,称为(模k)剩余类环。特别,k=2时,称为布尔环。7/2/20266定理16.1(移项法则)设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a+b=c

a+b-c=θ7/2/20267定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)(-a)*b=a*(-b)=-(a*b)(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c7/2/20268定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)(-a)*b=a*(-b)=-(a*b)(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c证明:因为a*θ=a*(θ+θ)=(a*θ)+(a*θ),由移项法则a*θ=θ。同样,可得θ*a=θ。7/2/20269定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c7/2/202610定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c证明:因为(a*(-b))+(a*b)=a*(-b+b)=a*θ=θ,所以a*(-b)=-(a*b)。同理,(a*b)+((-a)*b)=(a-a)*b=θ,所以(-a)*b=-(a*b).7/2/202611定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c7/2/202612定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*b(b-c)*a=b*a-c*aa*(b-c)=a*b-a*c证明:利用②式的结果,((-a)*(-b))-(a*b)=((-a)*(-b))+((-a)*b))=(-a)*(-b+b)=(-a)*θ=θ,但是,-(a*b)又是a*b的逆,根据群<R,+>中逆的唯一性,a*b=(-a)*(-b).7/2/202613定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*ba*(b-c)=(a*b)-(b*c)证明:a*(b-c)=a*(b+(-c))=(a*b)+(a*(-c))=(a*b)-(a*c).7/2/202614定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*ba*(b-c)=(a*b)-(b*c)(b-c)*a=(b*a)-(c*a)7/2/202615定理16.2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,c

R有:a*θ=θ*a=θ(加法幺元是乘法零元)a*(-b)=-(a*b)=(-a)*b

(-a)*(-b)=a*ba*(b-c)=(a*b)-(b*c)(b-c)*a=(b*a)-(c*a)

这个定理表明,普通环的运算性质在很多方面类似于数的运算性质,但是在某些方面它们却有不同。例如在模m剩余类环<Zm,,

>中,我们特别注意到一种情况:当[i]≠[0],[j]≠[0]时,却可能[i]

[j]=[0]。例如在<Z6,,

>中,[2]

[3]=[0],[4]

[3]=[0]。7/2/202616定义16.2设<R,+,*>是环,a,b∈R。如果a≠θ且b≠θ,而a*b=θ,则称a和b是R中的零因子。例16-3模m剩余类环<Zm,,

>没有零因子当且仅当m是素数。因为当m是合数时,必有a≥2,b≥2使m=ab,从而[a]

[b]=[m]=[0],而且[a]和[b]都是零因子。当m是素数时,不存在a≥2和b≥2使m=ab,因而无零因子。

7/2/2026172设<R,+,*>是一个环,θ是加法幺元,对任意a,b,cR有:对于图a(这里设x的补元为x’)当m是素数时,不存在a≥2和b≥2使m=ab,因而无零因子。对偶原理:设X和Y是格<L,∨,∧>上的两个公式,X*和Y*是相对应的对偶公式。本章主要介绍以下几点:定义称有补分配格<B,∨,∧>为布尔格。<E,+,×><Z,+,×>保序定理(教材p203)当m是素数时,不存在a≥2和b≥2使m=ab,因而无零因子。<C,+,×>0'=1,1'=0,a'=e,d'=c,d'=e,2设<R,+,*>是一个环,θ是加法幺元,对任意a,b,cR有:∵对[i],[j],[k]Zk2设<L,>是一个偏序集,对a,bL,集合{a,b}都有最大下界(glb)和最小上界(lub),则称<L,>是一个偏序格,简称L是一个格,若L是一个有限集,则称<L,>为有限格。定义16.2设<R,+,*>是环,a,b∈R。如果a≠θ且b≠θ,而a*b=θ,则称a和b是R中的零因子。例16.3模m剩余类环<Zm,,

>没有零因子当且仅当m是素数。因为当m是合数时,必有a≥2,b≥2使m=ab,从而[a]

[b]=[m]=[0],而且[a]和[b]都是零因子。当m是素数时,不存在a≥2和b≥2使m=ab,因而无零因子。

合数是除了1和它本身还能被其他的正整数整除的正整数.

除2之外的偶数都是合数.(除0以外)7/2/20261816.2整环与域7/2/202619特殊环定义16.3设<R,+,*>是一个环:如果<R,*>是可交换的,称<R,+,*>是交换环;如果<R,*>是含幺半群,称<R,+,*>是含幺环;如果对于R中某些非零元素a≠θ、b≠θ,能使a*b=θ,称<R,+,*>是含零因子环;a、b称为零因子;如果<R,+,*>是可交换的、含幺、而无零因子,则称它是整环。7/2/202620例16.4(同前例16.3)证明(模k)剩余类环<Zk,,>无零因子当且仅当k是素数。证明:∵当k是合数时,必有a≥2、b≥2,使得k=ab,从而[a][b]=[k]=[0],即[a]、[b]都是零因子。又∵当k是素数时,不存在a≥2、b≥2,使得k=ab,从而无零因子。

∴结论成立。7/2/202621定理16.3设<R,+,*>是一个环,则R中无零因子当且仅当对

a,x,yR,当a≠0时,a*x=a*yx=y或x*a=y*ax=y(即满足可约律)证明如果R中无零因子,则当a*x=a*y时,(a*x)-(a*y)=θ,即a*(x-y)=θ.由于a≠θ,因而x-y=θ,即x=y。同理,由x*a=y*a可以得出x=y。反过来,设由a*x=a*y必然得出x=y的结论,如果R中存在b和c使b*c=θ,那么由b*c=θ=b*θ就导出c=θ。这说明R中必无零因子。

7/2/202622定理16.3设<R,+,*>是一个环,则R中无零因子当且仅当对

a,x,yR,当a≠0时,a*x=a*yx=y或x*a=y*ax=y(即满足可约律)证明如果R中无零因子,则当a*x=a*y时,(a*x)-(a*y)=θ,即a*(x-y)=θ.由于a≠θ,因而x-y=θ,即x=y。同理,由x*a=y*a可以得出x=y。反过来,设由a*x=a*y必然得出x=y的结论,如果R中存在b和c使b*c=θ,那么由b*c=θ=b*θ就导出c=θ。这说明R中必无零因子。

7/2/202623定理16.3设<R,+,*>是一个环,则R中无零因子当且仅当对

a,x,yR,当a≠0时,a*x=a*yx=y或x*a=y*ax=y(即满足可约律)证明如果R中无零因子,则当a*x=a*y时,(a*x)-(a*y)=θ,即a*(x-y)=θ.由于a≠θ,因而x-y=θ,即x=y。同理,由x*a=y*a可以得出x=y。反过来,设由a*x=a*y必然得出x=y的结论,如果R中存在b和c使b*c=θ,那么由b*c=θ=b*θ就导出c=θ。这说明R中必无零因子。

7/2/202624定理16.3设<R,+,*>是一个环,则R中无零因子当且仅当对

a,x,yR,当a≠0时,a*x=a*yx=y或x*a=y*ax=y(即满足可约律)定义16.4设<R,+,*>是一个环,S是R的非空集合,如果<S,+,*>也是一个环,则称S是R的子环。例如:<{[0],[2],[4]},,>是模6剩余类环<Z6,,>的子环。7/2/202625环的同构与同态定义16.5设<S,+,*>和<T,

,

>是两个环,如在集合S与T之间存在映射f:S

T,使得对

a,b

S,有:f(a+b)=f(a)

f(b)f(a*b)=f(a)

f(b)则称f是从<S,+,*>到<T,

,

>的环同态映射,f(S)为S的一个同态象。当f是一个满射时,则称f为满同态;当f是一个双射时,则称f是环同构映射;7/2/202626例16.5存在整数环<Z,+,*>到模m剩余类环<Zm,

,

>的同态,因为我们可以定义映射f:Z→Zm如下:使对所有x∈Z,f(x)=xmodm.在此映射下,设a,b∈Z,由同余的性质,[a+b]=[a]

[b],[a*b]=[a]

[b],所以<Z,+,*>~<Zm,

,>。7/2/202627定理16.4设f是环<S,+,*>到环<T,

,

>的同态映射,则:如果θ和e分别是S中的加法幺元和乘法幺元,则f(θ)和f(e)分别是f(S)中的

幺元和

幺元;对aS,如果-a(或a-1)是a的加法(或乘法)逆元,则f(-a)(或f(a-1))是f(S)中的

逆元(或

逆元);<f(S),

,

>也是环。7/2/202628域

给环施加进一步的限制,从而得到另一个代数系统——域。问题归结为<R-{θ},*>是否是一个群。定义16.6设<R,+,*>是一个环,如果<R,+>和<R-{θ},*>都是交换群,则称<R,+,*>是域。一般情况下,整环不是域,但当环的元素个数有限时,有以下结论:定理16.5有限整环<R,+,*>必是域。(教材p198)θ是加法幺元7/2/202629例16.6实数环<R,+,×>、有理数环<Q,+,×>、剩余类环<Zp,,>(p是素数)都是域。整数环<Z,+,×>、剩余类环<Zm,,>(m是合数)都不是域。因为<Z-{0},×>、<Zm–{[0]},>都不是群。7/2/202630习题熟记相关概念7/2/202631第17章格与布尔代数17.1格的定义与性质7/2/202632格与布尔代数下面讨论另外两个重要的代数系统—格与布尔代数,这两个代数系统与前面讨论的代数系统之间存在着一个重要区别:在格与布尔代数中,偏序关系具有重要意义。7/2/202633本章主要介绍以下几点:格的概念和基本性质子格的定义特殊的格及性质布尔代数的概念和基本性质7/2/202634格的定义定义17.1(代数格)设<L,∨,∧>是一个代数系统,如果∨,∧满足:交换律:a∨b=b∨a,a∧b=b∧a,结合律:a∨(b∨c)=(a∨b)∨c,a∧(b∧c)=(a∧b)∧c吸收律:a∨(a∧b)=a,a∧(a∨b)=a则称<L,∨,∧>是一个代数格。2个典型的格:集合代数系统<2A,∪,∩>命题逻辑系统<

,∨,∧>代数格7/2/202635定理17.1(幂等律)设<L,∨,∧>是一个代数格,a∈L,则必有a∨a=a,a∧a=a。证明:a∨a=a∨(a∧(a∨a))(吸收律)=a.(吸收律)在上两式中,把∨换成∧,把∧换成∨后,可以证明a∧a=a。7/2/202636复习:偏序关系是集合上的自反的、可传递、反对称关系,它提供比较集合元素的工具。定义:设R是集合A上的自反的、反对称的、传递的关系,则称R是A上的偏序关系(记为“

”,读作“小于等于”)。序偶<A,R>称为偏序集。定义17.2设<L,

>是一个偏序集,对

a,b

L,集合{a,b}都有最大下界(glb)和最小上界(lub),则称<L,

>是一个偏序格,简称L是一个格,若L是一个有限集,则称<L,

>为有限格。7/2/202637复习:偏序关系是集合上的自反的、可传递、反对称关系,它提供比较集合元素的工具。定义:设R是集合A上的自反的、反对称的、传递的关系,则称R是A上的偏序关系(记为“

”,读作“小于等于”)。序偶<A,R>称为偏序集。定义17.2设<L,

>是一个偏序集,对

a,b

L,集合{a,b}都有最大下界(glb)和最小上界(lub),则称<L,

>是一个偏序格,简称L是一个格,若L是一个有限集,则称<L,

>为有限格。从定义知道:有限偏序集要成为格,必须有一个最大元和最小元。7/2/202638偏序集<2A,

>中,任何两个元素X、Y

2A,都有lub(X,Y)=X∪Y,glb(X,Y)=X∩Y,则<2A,

>是一个偏序格,称为幂集格。7/2/202639定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;7/2/202640定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明(首先证明<L,≤>是偏序集。)由于a∧a=a(幂等律),因此a≤a,即“≤”具有自反性。设a≤b且b≤a,则由“≤”的定义a=a∧b(a≤b)=b∧a(交换律)=b,(b≤a),即反对称性成立。

7/2/202641定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明(首先证明<L,≤>是偏序集。)再设a≤b,b≤c,那么a∧c=(a∧b)∧c(由a≤b)=a∧(b∧c)(结合律)=a∧b(由b≤c)

=a,(由a≤b),即有a≤c,传递性成立。7/2/202642定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明其次,证明对任意x,y∈L,{x,y}在L中有最大下界和最小上界。由于x∧(x∧y)=x∧y,(结合律,幂等律)所以,x∧y≤x.同理可得x∧y≤y。这说明x∧y是{x,y}的一个下界。现在设c是x和y的任一下界,即c≤x且c≤y,那么c∧(x∧y)=(c∧x)∧y(结合律)=c∧y=c.这说明c≤x∧y,从而知道,glb(x,y)=x∧y。类似地,可以证明lub(x,y)=x∨y,只需在上述证明中把∧换成∨,把∨换成∧即可。7/2/202643定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明其次,证明对任意x,y∈L,{x,y}在L中有最大下界和最小上界。由于x∧(x∧y)=x∧y,(结合律,幂等律)所以,x∧y≤x.同理可得x∧y≤y。这说明x∧y是{x,y}的一个下界。现在设c是x和y的任一下界,即c≤x且c≤y,那么c∧(x∧y)=(c∧x)∧y(结合律)=c∧y=c.这说明c≤x∧y,从而知道,glb(x,y)=x∧y。类似地,可以证明lub(x,y)=x∨y,只需在上述证明中把∧换成∨,把∨换成∧即可。7/2/202644定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明其次,证明对任意x,y∈L,{x,y}在L中有最大下界和最小上界。由于x∧(x∧y)=x∧y,(结合律,幂等律)所以,x∧y≤x.同理可得x∧y≤y。这说明x∧y是{x,y}的一个下界。现在设c是x和y的任一下界,即c≤x且c≤y,那么c∧(x∧y)=(c∧x)∧y(结合律)=c∧y=c.这说明c≤x∧y,从而知道,glb(x,y)=x∧y。类似地,可以证明lub(x,y)=x∨y,只需在上述证明中把∧换成∨,把∨换成∧即可。7/2/202645定理17.2设<L,∨,∧>是一个代数格,定义格上的自然偏序“

”:ab当且仅当a∧b=a,则<L,

>是一个偏序格;证明其次,证明对任意x,y∈L,{x,y}在L中有最大下界和最小上界。由于x∧(x∧y)=x∧y,(结合律,幂等律)所以,x∧y≤x.同理可得x∧y≤y。这说明x∧y是{x,y}的一个下界。现在设c是x和y的任一下界,即c≤x且c≤y,那么c∧(x∧y)=(c∧x)∧y(结合律)=c∧y=c.这说明c≤x∧y,从而知道,glb(x,y)=x∧y。类似地,可以证明lub(x,y)=x∨y,只需在上述证明中把∧换成∨,把∨换成∧即可。综合以上结论,命题得证。7/2/202646定理17.3设<L,

>是一个偏序格,在格上定义“∨”、“∧”:a∧b=glb(a,b),a∨b=lub(a,b),则<L,∨,∧>是一个代数格。

证明从运算和的定义可以看出,它们满足交换律、结合律和幂等律。现证明吸收律成立。事实上,由glb(a,b)≤a≤lub(a,b),可以看出a∧(a∨b)=glb(a,lub(a,b))=a,a∨(a∧b)=lub(a,glb(a,b))=a.由此可知,<L,∨,∧>是代数格。

定理17.2和17.3表明:格的两种定义是完全等价的。以后我们将不特别加以区分,而是根据需要采用相应的定义来说明问题。7/2/202647定理17.3设<L,

>是一个偏序格,在格上定义“∨”、“∧”:a∧b=glb(a,b),a∨b=lub(a,b),则<L,∨,∧>是一个代数格。

证明从运算和的定义可以看出,它们满足交换律、结合律和幂等律。现证明吸收律成立。事实上,由glb(a,b)≤a≤lub(a,b),可以看出a∧(a∨b)=glb(a,lub(a,b))=a,a∨(a∧b)=lub(a,glb(a,b))=a.由此可知,<L,∨,∧>是代数格。

定理17.2和17.3表明:格的两种定义是完全等价的。以后我们将不特别加以区分,而是根据需要采用相应的定义来说明问题。7/2/202648定理17.3设<L,

>是一个偏序格,在格上定义“∨”、“∧”:a∧b=glb(a,b),a∨b=lub(a,b),则<L,∨,∧>是一个代数格。

证明从运算和的定义可以看出,它们满足交换律、结合律和幂等律。现证明吸收律成立。事实上,由glb(a,b)≤a≤lub(a,b),可以看出a∧(a∨b)=glb(a,lub(a,b))=a,a∨(a∧b)=lub(a,glb(a,b))=a.由此可知,<L,∨,∧>是代数格。

定理17.2和17.3表明:格的两种定义是完全等价的。以后我们将不特别加以区分,而是根据需要采用相应的定义来说明问题。7/2/202649例如图所示的八个偏序集都是格;7/2/2026507/2/202651如图所示的四个偏序集都不是格。7/2/202652作业熟练掌握相关概念、定理7/2/20265317.2子格与格同态7/2/202654定义17.3设代数系统<L,∨,∧>是一个格,S

L,若S满足:S≠Φ;运算∨和∧对子集S都是封闭的;则称<S,∨,∧>是<L,∨,∧>的子格。7/2/202655格的性质与同态定义17.4设<L,

>和<L,

′>是两个偏序格,如果偏序关系

′是的逆关系,则称此两个偏序格为对偶格。设L是由18的正因子组成的集合,则L关于整除关系构成的逆关系是倍数关系;设倍数关系用“‖”表示,那么<L,‖>是格,并和<L,∣>互为对偶。在一个格中的最大(小)元必是对偶格中的最小(大)元;即两个对偶格的Hasse图是相互颠倒的。7/2/202656格的性质与同态定义17.4设<L,

>和<L,

′>是两个偏序格,如果偏序关系

′是的逆关系,则称此两个偏序格为对偶格。设L是由18的正因子组成的集合,则L关于整除关系构成的逆关系是倍数关系;设倍数关系用“‖”表示,那么<L,‖>是格,并和<L,∣>互为对偶。在一个格中的最大(小)元必是对偶格中的最小(大)元;即两个对偶格的Hasse图是相互颠倒的。7/2/202657格的性质与同态定义17.4设<L,

>和<L,

′>是两个偏序格,如果偏序关系

′是的逆关系,则称此两个偏序格为对偶格。设L是由18的正因子组成的集合,则L关于整除关系构成的逆关系是倍数关系;设倍数关系用“‖”表示,那么<L,‖>是格,并和<L,∣>互为对偶。在一个格中的最大(小)元必是对偶格中的最小(大)元;即两个对偶格的Hasse图是相互颠倒的。7/2/202658定义17.5设<L,∨,∧>是一个格,E是格中的公式。将E中的0(最小元)和1(最大元)互换、∨和∧互换后得到的新公式E*称为E的对偶公式。对偶原理:设X和Y是格<L,∨,∧>上的两个公式,X*和Y*是相对应的对偶公式。如果X=Y,则X*=Y*。定理17.4设X和Y是格<L,∨,∧>上的两个公式,

是对应的偏序。如果X

Y,则Y*

X*。7/2/202659定义17.5设<L,∨,∧>是一个格,E是格中的公式。将E中的0(最小元)和1(最大元)互换、∨和∧互换后得到的新公式E*称为E的对偶公式。对偶原理:设X和Y是格<L,∨,∧>上的两个公式,X*和Y*是相对应的对偶公式。如果X=Y,则X*=Y*。定理17.4设X和Y是格<L,∨,∧>上的两个公式,

是对应的偏序。如果X

Y,则Y*

X*。7/2/202660定义17.5设<L,∨,∧>是一个格,E是格中的公式。将E中的0(最小元)和1(最大元)互换、∨和∧互换后得到的新公式E*称为E的对偶公式。对偶原理:设X和Y是格<L,∨,∧>上的两个公式,X*和Y*是相对应的对偶公式。如果X=Y,则X*=Y*。定理17.4设X和Y是格<L,∨,∧>上的两个公式,

是对应的偏序。如果X

Y,则Y*

X*。证明:由偏序集的定义及对偶原理有:X

YX∧Y=X(偏序定义)X*∨Y*=X*(对偶原理)Y*X*(偏序定义)7/2/202661定理17.5、17.6设<L,∨,∧>是一个格,

是对应的偏序,a,b,c,dL,则:(教材p202)a≤b

a∨c≤b∨c a≤b

a∧c≤b∧c a≤b且c≤d

a∧c≤b∧da≤b且c≤d

a∨c≤b∨da≤b且a≤c

a≤b∧ca≤c且b≤c

a∨b≤ca∨(b∧c)≤(a∨b)∧(a∨c) (a∧b)∨(a∧c)≤a∧(b∨c)

(保序性)(准分配关系)7/2/202662定理17.5、17.6设<L,∨,∧>是一个格,

是对应的偏序,a,b,c,dL,则:(教材p202)a≤b

a∨c≤b∨c a≤b

a∧c≤b∧c (保序性)证明:①a≤b

a∨b=b

(a∨c)∨(b∨c)=b∨c

a∨c≤b∨c。②a≤b

a∧b=a

(a∧c)∧(b∧c)=a∧c

a∧c≤b∧c。7/2/202663格的同态与同构将代数系统的同态与同构应用于格,可以获得格的同态与同构定义:定义17.6设<L,∨,∧>和<S,,>是两个格,ψ是L到S的映射。如果对任意x,y∈L,都有:ψ(x∨y)=ψ(x)

ψ(y)ψ(x∧y)=ψ(x)

ψ(y),则称ψ为从格<L,∨,∧>到格<S,,>的格同态映射,当ψ分别是单射、满射和双射时,ψ分别称为单一格同态、满格同态和格同构。7/2/202664格的同态与同构将代数系统的同态与同构应用于格,可以获得格的同态与同构定义:定义17.6设<L,∨,∧>和<S,,>是两个格,ψ是L到S的映射。如果对任意x,y∈L,都有:ψ(x∨y)=ψ(x)

ψ(y)ψ(x∧y)=ψ(x)

ψ(y),则称ψ为从格<L,∨,∧>到格<S,,>的格同态映射,当ψ分别是单射、满射和双射时,ψ分别称为单一格同态、满格同态和格同构。7/2/202665例设D6表示6的正因子集,证明因子格<D6,|>和幂集格<2{a,b},

>是同构的。证明:定义映射f:D6→2{a,b},使得f(1)=

,f(2)={a},f(3)={b},f(6)={a,b}∵<D6,|>对应的代数格为<D6,lcm,gcd><2{a,b},

>对应的代数格为<2{a,b},∪,∩>∴f(lcm(1,3))=f(3)={b}=

∪{b}=f(1)∪f(3)f(gcd(2,6))=f(2)={a}={a}∩{a,b}=f(2)∩f(6)f(lcm(2,3))=f(6)={a,b}={a}∪{b}=f(2)∪f(3)f(gcd(2,3))=f(1)=

={a}∩{b}=f(2)∩f(3)其余情况也可一一验证,又因为是双射,所以,命题得证。7/2/202666例设D6表示6的正因子集,证明因子格<D6,|>和幂集格<2{a,b},

>是同构的。证明:定义映射f:D6→2{a,b},使得f(1)=

,f(2)={a},f(3)={b},f(6)={a,b}∵<D6,|>对应的代数格为<D6,lcm,gcd><2{a,b},

>对应的代数格为<2{a,b},∪,∩>∴f(lcm(1,3))=f(3)={b}=

∪{b}=f(1)∪f(3)f(gcd(2,6))=f(2)={a}={a}∩{a,b}=f(2)∩f(6)f(lcm(2,3))=f(6)={a,b}={a}∪{b}=f(2)∪f(3)f(gcd(2,3))=f(1)=

={a}∩{b}=f(2)∩f(3)其余情况也可一一验证,又因为是双射,所以,命题得证。7/2/202667例设D6表示6的正因子集,证明因子格<D6,|>和幂集格<2{a,b},

>是同构的。证明:定义映射f:D6→2{a,b},使得f(1)=

,f(2)={a},f(3)={b},f(6)={a,b}∵<D6,|>对应的代数格为<D6,lcm,gcd><2{a,b},

>对应的代数格为<2{a,b},∪,∩>∴f(lcm(1,3))=f(3)={b}=

∪{b}=f(1)∪f(3)f(gcd(2,6))=f(2)={a}={a}∩{a,b}=f(2)∩f(6)f(lcm(2,3))=f(6)={a,b}={a}∪{b}=f(2)∪f(3)f(gcd(2,3))=f(1)=

={a}∩{b}=f(2)∩f(3)其余情况也可一一验证,又因为是双射,所以,命题得证。lcm:最小公倍数gcd:最大公约数7/2/202668保序定理(教材p203)定理17.7设<L1,∨,∧>和<L2,

>是两个格,对应的偏序关系为

,则有:如果f:L1→L2是一个格同态,则对

a,b

L1,a

b

f(a)

f(b);证明:对

a,b

L1,由f是函数,所以有f(a)、f(b)

L2, 因为a

b

a∧b=a,于是,由同态等式知:f(a)=f(a∧b)=f(a)

f(b) 所以:f(a)

f(b)。 即:对

a,b

L1,a

b

f(a)

f(b)7/2/202669保序定理定理17.7设<L1,∨,∧>和<L2,

>是两个格,对应的偏序关系为

,则有:如果f:L1→L2是一个格同态,则对

a,b

L1,a

b

f(a)

f(b);证明:对

a,b

L1,由f是函数,所以有f(a)、f(b)

L2, 因为a

b

a∧b=a,于是,由同态等式知:f(a)=f(a∧b)=f(a)

f(b) 所以:f(a)

f(b)。 即:对

a,b

L1,a

b

f(a)

f(b)7/2/202670定理17.8双射f:L→P为格<L,∨,∧>到格<P,⊕,

>的格同构的充分必要条件是:对任意的a,b∈L,a≤b

f(a)

f(b),其中≤和

分别是格L和P对应的偏序。证明:

7/2/202671定理17.8双射f:L→P为格<L,∨,∧>到格<P,⊕,

>的格同构的充分必要条件是:对任意的a,b∈L,a≤b

f(a)

f(b),其中≤和

分别是格L和P对应的偏序。证明:当f是L到P的格同构时,它必须满足保序定理,因此保序为必要条件是成立的。至于充分条件,只需证明由a≤b

f(a)

f(b)能导出f(a∨b)=f(a)⊕f(b)和f(a∧b)=f(a)

f(b)就行了。设a∨b=c,则a≤c且b≤c,从而f(a)

f(c),且f(b)

f(c).再由定理17-2.2第⑥条知道:f(a)⊕f(b)

f(c),这说明f(c)是f(a)和f(b)的一个上界。7/2/202672定理17.8双射f:L→P为格<L,∨,∧>到格<P,⊕,

>的格同构的充分必要条件是:对任意的a,b∈L,a≤b

f(a)

f(b),其中≤和

分别是格L和P对应的偏序。证明:当f是L到P的格同构时,它必须满足保序定理,因此保序为必要条件是成立的。至于充分条件,只需证明由a≤b

f(a)

f(b)能导出f(a∨b)=f(a)⊕f(b)和f(a∧b)=f(a)

f(b)就行了。设a∨b=c,则a≤c且b≤c,从而f(a)

f(c),且f(b)

f(c).再由定理17.5第⑥条知道:f(a)⊕f(b)

f(c),这说明f(c)是f(a)和f(b)的一个上界。a≤c且b≤c

a∨b≤c7/2/202673定理17.8双射f:L→P为格<L,∨,∧>到格<P,⊕,

>的格同构的充分必要条件是:对任意的a,b∈L,a≤b

f(a)

f(b),其中≤和

分别是格L和P对应的偏序。证明:剩下的任务要证明f(c)是f(a)和f(b)的最小上界。设f(d)是f(a)和f(b)的任意一个上界,即f(a)f(d)且f(b)f(d)。由题设条件可以得到a≤d且b≤d,从而a∨b≤d,即c≤d,于是f(c)f(d).由此,就证明了f(c)=f(a∨b)=f(a)⊕f(b)。同理可证f(a∧b)=f(a)f(b)。因此,双射f是格同构。7/2/202674定理17.8双射f:L→P为格<L,∨,∧>到格<P,⊕,

>的格同构的充分必要条件是:对任意的a,b∈L,a≤b

f(a)

f(b),其中≤和

分别是格L和P对应的偏序。证明:剩下的任务要证明f(c)是f(a)和f(b)的最小上界。设f(d)是f(a)和f(b)的任意一个上界,即f(a)

f(d)且f(b)

f(d)。由题设条件可以得到a≤d且b≤d,从而a∨b≤d,即c≤d,于是f(c)

f(d).由此,就证明了f(c)=f(a∨b)=f(a)⊕f(b)。同理可证f(a∧b)=f(a)f(b)。因此,双射f是格同构。7/2/202675例设L={1,2,3,12},在<L,|>和幂集格<2L,

>之间构造映射f:L→2L,使得对xL,f(x)={y|yL且y|x}。则:f(1)=1,f(2)={1,2},f(3)={1,3},f(12)={1,2,3,12},且x|y时,f(x)f(y)所以,f是保序映射。而f(lcm(2,3))=f(12)={1,2,3,12},f(2)∪f(3)={1,2,3}即f(lcm(2,3))≠f(2)∪f(3)所以f不是<L,|>到<2L,

>的格同态。7/2/202676例设L={1,2,3,12},在<L,|>和幂集格<2L,

>之间构造映射f:L→2L,使得对xL,f(x)={y|yL且y|x}。则:f(1)=1,f(2)={1,2},f(3)={1,3},f(12)={1,2,3,12},且x|y时,f(x)f(y)所以,f是保序映射。而f(lcm(2,3))=f(12)={1,2,3,12},f(2)∪f(3)={1,2,3}即f(lcm(2,3))≠f(2)∪f(3)所以f不是<L,|>到<2L,

>的格同态。7/2/202677习题熟练掌握相关概念、定理7/2/20267817.3分配格与有补格7/2/202679分配格定义17.7设<L,∨,∧>是一个格,如果对任意a,b,c∈L,都有:a∨(b∧c)=(a∨b)∧(a∨c)(1) a∧(b∨c)=(a∧b)∨(a∧c)(2) 则称<L,∨,∧>是一个分配格。注意:式(1)和式(2)的两个分配律是对偶的,由对偶原理,定义17.7可简化为只含式(1)和式(2)中一个的分配律。7/2/202680分配格定义17.7设<L,∨,∧>是一个格,如果对任意a,b,c∈L,都有:a∨(b∧c)=(a∨b)∧(a∨c)(1) a∧(b∨c)=(a∧b)∨(a∧c)(2) 则称<L,∨,∧>是一个分配格。注意:式(1)和式(2)的两个分配律是对偶的,由对偶原理,定义17.7可简化为只含式(1)和式(2)中一个的分配律。7/2/202681例设A为任意一个集合,则幂集格<2A,∩,∪>是否是分配格?设P为命题公式集合,∧、∨分别是命题合取与析取运算,则<P,∧,∨>是否是分配格?解:1)对任意P、Q、R∈2A,有:P∩(Q∪R)=(P∩Q)∪(P∩R)P∪(Q∩R)=(P∪Q)∩(P∪R) 所以,格<2A,∩,∪>是一个分配格。2)对任意R、S、T∈P,有R∧(S∨T)=(R∧S)∨(R∧T)R∨(S∧T)=(R∨S)∧(R∨T) 所以,格<P,∧,∨>是一个分配格。7/2/202682例设A为任意一个集合,则幂集格<2A,∩,∪>是否是分配格?设P为命题公式集合,∧、∨分别是命题合取与析取运算,则<P,∧,∨>是否是分配格?解:1)对任意P、Q、R∈2A,有:P∩(Q∪R)=(P∩Q)∪(P∩R)P∪(Q∩R)=(P∪Q)∩(P∪R) 所以,格<2A,∩,∪>是一个分配格。2)对任意R、S、T∈P,有R∧(S∨T)=(R∧S)∨(R∧T)R∨(S∧T)=(R∨S)∧(R∨T) 所以,格<P,∧,∨>是一个分配格。7/2/202683例设A为任意一个集合,则幂集格<2A,∩,∪>是否是分配格?设P为命题公式集合,∧、∨分别是命题合取与析取运算,则<P,∧,∨>是否是分配格?解:1)对任意P、Q、R∈2A,有:P∩(Q∪R)=(P∩Q)∪(P∩R)P∪(Q∩R)=(P∪Q)∩(P∪R) 所以,格<2A,∩,∪>是一个分配格。2)对任意R、S、T∈P,有R∧(S∨T)=(R∧S)∨(R∧T)R∨(S∧T)=(R∨S)∧(R∨T) 所以,格<P,∧,∨>是一个分配格。7/2/202684例证明图中a)、b)所示的两个格都不是分配格。7/2/202685证明在图a)、b)中都取b,c,d三个元素来验证。用“∧”和“∨”表示它们的交和并运算。在图a)中, b∧

(c∨d)=b∧a=b,而 (b∧c)∨(b∧d)=e∨e=e。在图b)中,b∧(c∨d)=b∧a=b,而 (b∧c)∨(b∧d)=e∨d=d。因此,在图a)和图b)中都有:b∧(c∨d)≠(b∧c)∨(b∧d)。故它们都不是分配格。7/2/202686证明在图a)、b)中都取b,c,d三个元素来验证。用“∧”和“∨”表示它们的交和并运算。在图a)中, b∧

(c∨d)=b∧a=b,而 (b∧c)∨(b∧d)=e∨e=e。在图b)中,b∧(c∨d)=b∧a=b,而 (b∧c)∨(b∧d)=e∨d=d。因此,在图a)和图b)中都有:b∧(c∨d)≠(b∧c)∨(b∧d)。故它们都不是分配格。7/2/202687整数环<Z,+,×>、剩余类环<Zm,,>(m是合数)都不是域。设L是由18的正因子组成的集合,则L关于整除关系构成的逆关系是倍数关系;现在设c是x和y的任一下界,即c≤x且c≤y,那么如图所示的八个偏序集都是格;a∧b=<a1∧b1,a2∧b2,…,an∧bn>这说明f(c)是f(a)和f(b)的一个上界。4设X和Y是格<L,∨,∧>上的两个公式,是对应的偏序。所以,f是保序映射。∵<D6,|>对应的代数格为<D6,lcm,gcd>如果对任意x,y∈L,都有:所以,f是保序映射。(DeMorgan律)a*(-b)=-(a*b)=(-a)*b证明:x=x∧(a∨x) (吸收律)所以(-a)*b=-(a*b).结论一个格是分配格,当且仅当该格中没有任何子格与图中的两个五元素格中的任何一个同构。7/2/2026886设<L,∨,∧>是一个格,是对应的偏序,a,b,c,dL,则:(教材p202)8双射f:L→P为格<L,∨,∧>到格<P,⊕,>的格同构的充分必要条件是:对任意的a,b∈L,a≤bf(a)f(b),其中≤和分别是格L和P对应的偏序。d'=a,d'=b即对任意a,b,cR有a∨(a∧b)=lub(a,glb(a,b))=a.所以:f(a)f(b)。例如在幂集格〈2S,〉中,由S中单元素构成的子集都是原子,其余的就不是原子。(1)<R,+>是阿贝尔群;又∵当k是素数时,不存在a≥2、b≥2,使得k=ab,从而无零因子。证明:x=x∧(a∨x) (吸收律)事实上,由glb(a,b)≤a≤lub(a,b),可以看出对偶原理:设X和Y是格<L,∨,∧>上的两个公式,X*和Y*是相对应的对偶公式。如果f:L1→L2是一个格同态,则对a,bL1,abf(a)f(b);在一个格中的最大(小)元必是对偶格中的最小(大)元;(-a)*(-b)=a*b如图a)~h)所示的八个图都是分配格吗?结论:1)四个元素以下的格都是分配格;2)五个元素的格仅有两个格是非分配格(前一个页面中图a)、b)),其余三个格(上图中的图f、图g、图h)都是分配格。7/2/202689定理17.9设<L,∨,∧>是分配格,对于任何a,x,y∈L,如果a∨x=a∨y且a∧x=a∧y,则x=y。证明:x=x∧

(a∨x) (吸收律) =x∧

(a∨y) (已知a∨x=a∨y) =(x∧a)∨(x∧y) (分配律) =(a∧y)∨(x∧y) (已知a∧x=a∧y) =y∧

(a∨x) (交换律,分配律) =y∧(a∨y) (已知a∨x=a∨y) =y (吸收律)注意,在定理17.9中,<L,∨,∧>是分配格,a∨x=a∨y和a∧x=a∧y三者缺一不可。7/2/202690定理17.9设<L,∨,∧>是分配格,对于任何a,x,y∈L,如果a∨x=a∨y且a∧x=a∧y,则x=y。证明:x=x∧

(a∨x) (吸收律) =x∧

(a∨y) (已知a∨x=a∨y) =(x∧a)∨(x∧y) (分配律) =(a∧y)∨(x∧y) (已知a∧x=a∧y) =y∧

(a∨x) (交换律,分配律) =y∧(a∨y) (已知a∨x=a∨y) =y (吸收律)注意,在定理17.9中,<L,∨,∧>是分配格,a∨x=a∨y和a∧x=a∧y三者缺一不可。7/2/202691有界格定义17.8设<L,≤>(或<L,∨,∧>)是一个格,若存在元素a∈L,使得对任意x∈L,都有a≤x(或x≤a),则称a为格<L,≤>的最小元(或最大元),分别记为0(或1),而具有最大元和最小元的格称为有界格。根据最大元“1”和最小元“0”的定义,对任意x∈L,1∧x=x∧1=x, 1∨x=x∨1=10∧x=x∧0=0, 0∨x=x∨0=x7/2/202692有界格定义17.8设<L,≤>(或<L,∨,∧>)是一个格,若存在元素a∈L,使得对任意x∈L,都有a≤x(或x≤a),则称a为格<L,≤>的最小元(或最大元),分别记为0(或1),而具有最大元和最小元的格称为有界格。根据最大元“1”和最小元“0”的定义,对任意x∈L,1∧x=x∧1=x, 1∨x=x∨1=10∧x=x∧0=0, 0∨x=x∨0=x7/2/202693例如下图a、b、c所示的格是有界格,其最大元和最小元都是1,0。有限格一定是有界格。但一个有界格则不一定是有限格,如<[0,1],≤>。7/2/202694例如下图a、b、c所示的格是有界格,其最大元和最小元都是1,0。图12-3.2有限格一定是有界格。但一个有界格则不一定是有限格,如<[0,1],≤>。7/2/202695有补格定义17.9、17.10设<L,∨,∧>为有界格,1和0分别为它的最大元和最小元,对于

a∈L。如果存在b∈L,使得:a∧b=0,a∨b=1(同时成立),则称a和b互为补元。若对任意a∈L,都有补元存在,则称<L,∨,∧>为有补格。7/2/202696例如下图所示的图,求其所有元素的补元(如果有的话)。7/2/202697对于图a(这里设x的补元为x’) 0'=1,1'=0,a'=e,d'=c,d'=e, c'=d,e'=a,e'=d,b无补元。对于图b 0'=1,1'=0,a'=d,a'=c, b'=d,b'=c,c'=a,c'=b, d'=a,d'=b因此图a不是有补格,图b是有补格。补元如果存在,不一定唯一,那么,在什么条件下可以保证补元是唯一的呢?7/2/202698对于图a(这里设x的补元为x’) 0'=1,1'=0,a'=e,d'=c,d'=e, c'=d,e'=a,e'=d,b无补元。对于图b 0'=1,1'=0,a'=d,a'=c, b'=d,b'=c,c'=a,c'=b, d'=a,d'=b因此图a不是有补格,图b是有补格。补元如果存在,不一定唯一,那么,在什么条件下可以保证补元是唯一的呢?7/2/202699对于图a(这里设x的补元为x’) 0'=1,1'=0,a'=e,d'=c,d'=e, c'=d,e'=a,e'=d,b无补元。对于图b 0'=1,1'=0,a'=d,a'=c, b'=d,b'=c,c'=a,c'=b, d'=a,d'=b因此图a不是有补格,图b是有补格。补元如果存在,不一定唯一,那么,在什么条件下可以保证补元是唯一的呢?7/2/2026100定理17.10在有补分配格(既是有补格又是分配格,简称为有补分配格)<L,∨,∧>中,如元素

a∈L有补元存在,则此元素的补元必唯一。证明:设a有两个补元b和c,由补元的定义知:a∧b=0=a∧c,a∨b=1=a∨c 由消去律(分配格所具有)知,b=c。7/2/2026101定理17.10在有补分配格(既是有补格又是分配格,简称为有补分配格)<L,∨,∧>中,如元素

a∈L有补元存在,则此元素的补元必唯一。证明:设a有两个补元b和c,由补元的定义知:a∧b=0=a∧c,a∨b=1=a∨c 由消去律(分配格所具有)知,b=c。7/2/2026102定理17.11、17.12(教材p206)设<L,∨,∧>是有补分配格,“≤”是该格的自然偏序,则对任意a,b∈L,都有; (对合律);;a≤b

。(DeMorgan律)7/2/202610317.4布尔代数7/2/2026104布尔代数定义称有补分配格<B,∨,∧>为布尔格。在有补分配格中每个元都有补元而且补元唯一,则可以将求元素的补元“ˉ”作为一种一元运算,则此布尔格<B,∨,∧>可记为<B,∨,∧,ˉ,0,1>,此时,称<B,∨,∧,ˉ,0,1>为布尔代数。(突出了代数特征)若一个布尔代数的元素个数是有限的,则称此布尔代数为有限布尔代数。7/2/2026105布尔代数定义称有补分配格<B,∨,∧>为布尔格。在有补分配格中每个元都有补元而且补元惟一,则可以将求元素的补元“ˉ”作为一种一元运算,则此布尔格<B,∨,∧>可记为<B,∨,∧,ˉ,0,1>,此时,称<B,∨,∧,ˉ,0,1>为布尔代数。(突出了代数特征)若一个布尔代数的元素个数是有限的,则称此布尔代数为有限布尔代数。7/2/2026106例 如图(a)、(b)、(c)所示的图中,图(a)是一个布尔代数,但图(b)、(c)都不是布尔代数。7/2/2026107布尔代数的性质布尔代数是有补分配格,有补分配格<B,∨,∧>必须满足:是格分配律成立有最大元和最小元(有界);每个元的补元存在;最大元1和最小元0可以用下面的同一律和零律来描述:在L中存在两个元素0和1,使得对任意a∈L,有:

a∧1=a,a∨0=a;a∨1=1,a∧0=0。7/2/2026108补元的存在可以用下面的互补律来描述:对任意a∈L,存在∈L,使得a∧=0,a∨=1。从本章17.1节知道格可以用交换律、结合律、吸收律、幂等律来描述。有补分配格就必须满足交换律、结合律、吸收律、幂等律、分配律、同一律、零律、互补律、消去律、DeMorgan律、有

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论