东南大学离散数学课件第9章代数系统.pptVIP

9.1 二元运算及其性质 定理：若el和er分别是S上对于*的左幺元和右幺元,那么el=er，且这个元素就是幺元 证明： el=el *er=er 推论：一个二元运算的幺元是唯一的 证明：设e=el=er. 假设e’是S中的单位元，则 e’=e *e’=e 9.1 二元运算及其性质 左零元（右零元）：*是A上的二元运算，如果存在元素0L（或0r）?A，使得对一切x?A， 均有0L * x= 0L（或x * 0r= 0r） 则称0L（0r）是A中关于运算*的一个左零元（右零元） 若元素0既是左零元，又是右零元，则称0是A中关于运算*的一个零元 注：零元不一定是0！ 9.1 二元运算及其性质 例： 实数集合R上,对×运算而言,0是零元 P(A)上,对∪运算A是零元；对∩运算?是零元 {命题}上,对∨运算T是零元；对∧运算F是零元 9.1 二元运算及其性质 定理：若0l和0r分别是S上对于*的左零元和右零元,那么0l=0r，且这个元素就是零元。而且零元是唯一的 定理：设*为S上的二元运算，1和0分别为*运算的幺元和零元，如果S至少有两个元素，则1≠0 证明：反证法。假设1=0，任意x?S有 x=x*1=x*0=0 与假设矛盾！ 9.1 二元运算及其性质 设*是集合A上的二元运算，1?A是运算*的幺元，对于?x?A，如果存在一个元素y?A，使得x*y=1，y*x=1，则称y是x的逆元，记y=x-1，如果x的逆元存在，则称x是可逆的 如果x*y=1 ，那么关于运算*，x是y的左逆元，y是x的右逆元 例： Z上的加法运算，则任一元素的逆元就是它的相反数； 而对N上的加法运算，只有0存在逆元是0 9.1 二元运算及其性质 代数A＝{a,b,c},*由下表定义 可以看出，b是幺元。a的逆元是c, b的逆元是自身，c的逆元是a和c * a b c a a a b b a b c c b c b 9.1 二元运算及其性质 定理：设Z是集合, *是Z上的二元运算,并且是可结合的，运算*的幺元是1。若x∈Z有左逆元和右逆元,则它的左逆元等于右逆元,且逆元是唯一的。 证明： （1）先证左逆元=右逆元： 设xl和xr分别是x的左逆元和右逆元,∵x是可逆的和可结合的（条件给出） ∴ xl*x=x*xr=1 ∵ xl*x*xr=(xl*x)*xr=1*xr=xr； xl*x*xr=xl*(x*xr)= xl*1 =xl； ∴ xl=xr 9.1 二元运算及其性质 （2）证明逆元是唯一的： 假设y和z是x的二个不同的逆元, 则y=y*1=y*（x*z）=（y*x）*z=1*z=z, 这和假设相矛盾。 ∴x若存在逆元的话一定是唯一的（前提*是可结合的） 9.1 二元运算及其性质 *满足消去律：*是S上的二元运算，对于每一x,y,z∈S有 若x*y=x*z,且x≠0,则y=z； 若y*x=z*x,且x≠0,则y=z； 例： 整数集合上加法，乘法运算都满足消去律 幂集合上交和并运算不满足消去律 对称差运算满足消去律 第九章: 代数系统 第一节：二元运算及其性质 第二节：代数系统 第三节：代数系统的同态与同构 9.2 代数系统 代数系统：非空集合S和集合上k个一元或二元运算f1,…,fk所组成的系统 符号V=S,f1, f2,… fk 构成一个代数系统必须具备的条件： 一个非空集合S,称为载体 在S上的运算 9.2 代数系统 常见代数系统： N, + Z, +, · Mn(R), +, · P(S), ∪, ∩, ～ 特异元素（代数常元）： 二元运算中的单位元与零元 Z,+中的+运算的单位元0 P(S), ∪, ∩, ～中∪和∩运算的单位元?和S 9.2 代数系统 通常也可把特异元素（常数）放在代数系统之中,形成S,f1, f2,… fk,x ： N, +, 0 P(S), ∪, ∩, ～ , ?, S 代数系统的基数|V|=|S|,就是非空集合的基数 9.2 代数系统 同类型的代数系统： 两个代数系统中有相同个数的运算和常数，且对应运算的元数相同 例： V1=R, +, ·, -, 0, 1 V2=P(S), ∪, ∩, ～ , ?, S 第九章 代数系统 主要内容 二元运算及其性质 一元和二元运算定义及其实例 二元运算的性质 代数系统 代数系统定义及其实例 子代数 积代数 代数系统的同态与同构 东南大学《离散数学》 第九章: 代数系统 第一节：二元运算及其性质 第二节：代数系统 第三节：代数系统的同态与同态 第九章: 代数系统