离散数学--代数系统

计算机科学学院
刘芳
第三部分 代数结构
引言 代数系统 群与环 格与布尔代数
2014-8-11 1
计算机科学学院
刘芳
引言
数学的三大核心领域 代数学：数学中研究数的部分 几何学：数学中研究形的部分 分析学：沟通形与数且涉及极限运算的部分 总体来说： 数学的三大类数学构成了整个数学的本体与核心。 在这一核心的周围，由于数学通过数与形这两个概念，与
古代中国: 算筹法 算筹计数
筹算开方法（九章算术 ）
2014-8-11 4
计算机科学学院
刘芳
1 文字叙述阶段
而古希腊则借助于几何图形的变换方法
最典型的代表是毕达哥拉斯(Pythagoras公元前585—497) 几何数论方法。
1+3+5+……+(2n-1)=n2
不要认为简单的几何图形变换只能产生简单的代数 结论，恰当地利用几何图形的变换有时也会产生重 要的代数结论
无
有 无
22
2014-8-11
对 不分配
计算机科学学院
刘芳
9.1.3 二元运算的性质
定义9.7 设 ∘为集合S上二元运算，如果对于任意元 素 x, y, zS, x θ，都有 x ∘ y = x ∘ z y = z, y∘x=z∘xy=z 成立，则称 ∘ 运算满足消去律.
例如：
1. 2. 3. 4.
2014-8-11


{1} {2} {1,2}

17
计算机科学学院
刘芳
9.1.2 运算的表示方法
例2： Z5＝ { 0, 1, 2, 3, 4 }, , 分别为模 5 加法
与乘法的运算表。 0 1 2 3 4 0 1 2 3 4
2014-8-11
0 1 2 3 4
0 1 2 3 4 0 0 0 0 0 0 1 2 3 4 0 2 4 1 3 0 3 1 4 2 0 4 3 2 1
1553《综合算术》; 用 1 0进制小数表示实数
法国数学家 F.Viete(1540-1603)
2014-8-11
是第一个系统使用字母表示数的人，韦达在代数方程、三角学等许多方面都 作了杰出的贡献。 7
计算机科学学院
刘芳
4结构代数阶段
结构代数（抽象代数、近世代数） 代数学的研究对象不再是个别的数字运算，而是
f(x1,x2,……,xn)
2.算符
用 ○ · * 等符号表示n元运算，称为算符。 几种形式，如：
前缀形式:
○ (x1,x2,…,xn)
中缀形式: x1○x2○…○xn
2014-8-11
后缀形式: (x1,x2,…,xn) ○
15
计算机科学学院
刘芳
9.1.2 运算的表示方法
2014-8-11
10
计算机科学学院
刘芳
9 .1 二元运算及其性质
9.1.1 运算的定义 9.1.2 运算的表示方法 9.1.3 二元运算的主要性质 9.1.4 二元运算的特殊元素 小结
2014-8-11 11
计算机科学学院
刘芳
9.1.1 运算的定义
定义9.2 (P166 )
设S是一个集合，函数f:S→S称为S上的一个一元
2014-8-11
普通加法和乘法满足消去律 矩阵加法满足消去律 矩阵乘法不满足消去律. 集合的并和交运算也不满足消去律
23
计算机科学学院
刘芳
9.1.4 二元运算的特异元素
1.单位元 定义9.8： 设 ∘为S上的二元运算, 如果存在el（或er）S，使得 对任意 x∈S 都有 el ∘ x = x ( 或 x ∘ er = x )， 则称 el ( 或 er )是 S 中关于 ∘运算的 左 ( 或右 ) 单位元. 若 e∈S 关于 ∘ 运算既是左单位元又是右单位元，则 称 e 为 S 上关于 ∘ 运算的单位元（幺元）.
2014-8-11 25
计算机科学学院
刘芳
9.1.4 二元运算的特异元素
3.零元
定义 9.9 设 ∘为 S 上的二元运算, 如果存在θl ( 或θr)∈S，使 得对任意 x∈S 都有 θl ∘ x =θl ( 或 x ∘θr =θr )， 则称θl ( 或θr )是 S 中关于 ∘ 运算的 左 ( 或右) 零元. 若θ∈S关于 ∘ 运算既是左零元又是右零元，则称θ 为 S 上关于∘运算的零元.
2014-8-11 26
计算机科学学院
刘芳
实例：
集合 Z, Q, R
9.1.4 二元运算的特异元素
运算 普通加法+ 普通乘法 单位元 0 零元 无 逆元 x 的逆元 x
1
0
无
x 的逆元 x1 (x-1属于给定集合)
X 逆元X
Mn(R)
矩阵加法+
矩阵乘法

E


B
X的逆元 X1 （X是可逆矩阵）
的逆元为
P(B)
并 交 对称差
B


无
B的逆元为B
X的逆元为X
27
2014-8-11
计算机科学学院
刘芳
9.1.4 二元运算的特异元素
单位元的惟一性
定理9.1：设 ∘为S上的二元运算，el 和 er 分别为 S 中关
于运算的左和右单位元，则 el = er = e 为 S 上关于∘ 运算 的惟一的单位元. 证： ∵ el = el ∘ er = er ∴el = er , 将这个单位元记作 e. 假设 e’ 也是 S 中的单位元，则有 e’ = e ∘ e’ = e. 惟一性得证. 类似地可以证明关于零元的惟一性定理5.2.
定义9.1 (P165 )
设S是一个集合，函数f:S×S→S称为S上的一个二
元运算，简称为二元运算。
问题：
如何验证一个运算是否为S上的二元运算？
S中任意两个元素可以进行这种运算，且结果唯一。 S中任何两个元素的运算结果都属于S，即S对该运算是
封闭的 。
2014-8-11 13
计算机科学学院
2014-8-11
计算机科学学院
刘芳
9.1.3 二元运算的性质
定义9.6~9.7
设 ∘和 ∗ 为 S 上两个不同的二元运算
如果对于任意的 x, y, z∈S 有
(x ∗ y) ∘ z = (x ∘ z) ∗ (y ∘ z) z ∘(x ∗ y) = (z ∘ x) ∗ (z ∘ y) 则称 ∘ 运算对 ∗ 运算满足分配律. 如果 ∘ 和 ∗ 都可交换, 并且对于任意的 x, y∈S 有 x ∘ (x ∗ y) = x x ∗ (x ∘ y) = x 则称 ∘和 ∗ 运算满足吸收律.
抽象的运算系统(如群、环、域 等)的代数结构。 事实上 不管是连续的还是离散的数学结构，常常是对 研究对象（自然数,实数,多项式,矩阵,命题,集合,图等） 定义种种运算（加,减,乘;与,或,非；交,补等） 然后讨论这些对象及运算的有关性质。
2014-8-11 8
计算机科学学院
刘芳
4结构代数阶段
2014-8-11 19
计算机科学学院
刘芳
例:
集合
Z, Q, R Mn(R)
9.1.3 二元运算的性质
运算
普通加法+ 普通乘法 矩阵加法+ 矩阵乘法 交换律 有 结合律 有 幂等律 无
有
有 无 有 有 无 有
有
有 有 有 有 无 有
无
无 无 有 有 无 无
20
P(B)
并
交 相对补 对称差
其它科学互相渗透，而出现了许多边缘学科和交叉学科。
现在已经拥有100多个主要分支学科。
2014-8-11 2
计算机科学学院
刘芳
引言
代数学
代数学是建立在集合论基础上以代数运算为研究
对象的学科。
其范畴包括：
一门科学的历史是那门科学中最宝 贵的一部分，因为科学只能给我们 知识，而历史却能给我们智慧。
2014-8-11 21
计算机科学学院
刘芳
9.1.3 二元运算的性质
集合 运算 普通加法 + 与乘法 分配律 对 + 可分配 + 对 不分配 吸收律 无
Z,Q,R
Mn(R)
P(B)
矩阵加法 + 与乘法
并 与交 交 与对称差
对 + 可分配
+ 对 不分配 对 可分配 对 可分配 对 可分配
18
0 1 2 3 4
1 2 3 4 0
2 3 4 0 1
3 4 0 1 2
4 0 1 2 3
计算机科学学院
刘芳
9.1.3 二元运算的性质
定义9.3~9.5
设 ∘为 S 上的二元运算,
如果对于任意的 x, yS 有x ∘ y = y ∘ x, 则称运算∘在 S 上满 足交换律. 如果对于任意的 x, y, zS 有 (x ∘ y) ∘ z = x ∘ (y ∘ z),则称运 算∘在 S 上满足结合律. 如果对于任意的 xS 有 x ∘ x = x, 则称运算∘在 S 上满足 幂等律. (若S中某些x满足x ○ x ＝ x,则称x是运算○的幂等 元 )。
2014-8-11 6
计算机科学学院
刘芳
3 符号代数阶段
符号代数阶段 用字母表示数，这一过程使代数学达到了现在我们看到的
这种符号演算形式。
代数学不再停留在具体的数字计算，有了真正意义的数学
公式、运算法则，并由此进化为现代数学符号系统、现代 数学公理系统。 代表数学家 德国数学家 M.Stiefel(1486-1567)