《离散数学课件》二元运算基本概念和性质

* ((a，b))=d 记之为
a*b =d
5/55
集合A上的代数运算
定义2 设A，B是两个非空集合。 若* 是A×A到B的一个运算， 则称 * 是集合A上的一个代数运算或二 元运算。
6/55
闭运算
设 * 是A×A到B的一个运算， 若B⊆A， 说*是集合A上的闭运算。 也说集合A对运算 * 是封闭的。
18
二元运算的特异元素
单位元
定义 设∘为S上的二元运算, 如果存在el（或er）
S，使得对任意 x∈S 都有
el ∘ x = x ( 或 x ∘ er = x )， 则称 el ( 或 er )是 S 中关于 ∘ 运算的 左 ( 或右 )
单位元.
若 e∈S 关于 ∘ 运算既是左单位元又是右单位 元，则称 e 为 S 上关于 ∘ 运算的 单位元.
0 00000 1 01234 2 02413 3 03142 4 04321
15
二元运算的性质
定义 设 ∘ 为 S 上的二元运算, (1) 如果对于任意的 x, y S 有 x ∘ y = y ∘ x, 则称运算在 S 上满足交换律. (2) 如果对于任意的 x, y, z ∈S 有 (x ∘ y) ∘ z = x ∘ (y ∘ z), 则称运算在 S 上满足结合律. (3) 如果对于任意的 x ∈ S 有 x ∘ x = x, 则称运算在 S 上满足幂等律.
8/55
(5) 设 Mn(R) 表示所有 n 阶 (n≥2) 实矩阵的集 合，即
二元运算的实例（续） Mn(R)


a11

a21

an1
a12 a22
an2


a1n
a2n


ann
aij R, i, j 1,2,...,n
{a,b} {a} {a} {b} {b} {a,b}
14
运算表的实例（续）
例5 Z5 = { 0, 1, 2, 3, 4 }, , 分别为模 5 加法 与乘法
的运算表
的运算表
01234
0 01234 1 12340 2 23401 3 34012 4 40123
01234
abc
a cab b abc c bca
∘ abc
1、集合A中任意两个元素可以进行该运算； 2、运算的结果仍然属于集合A
7/55
闭运算的例子
例1 (1) N 上的二元运算：加法、乘法. (2) Z 上的二元运算：加法、减法、乘法. (3) 非零实数集 R* 上的二元运算: 乘法、除法. (4) 设 S = { a1, a2, … , an}, ai ∘aj = ai ， ∘为 S 上二 元运算.
x, y∈R, x ∗ y = x. 那么 3 ∗ 4 = 3
0.5 ∗ (-3) = 0.5 运算表（表示有穷集上的一元和二元运算）
12
运算表的形式
∘ a1 a2 … an
a1 a1∘a1 a1∘a2 … a1∘an
a2 a2∘a1 a2∘a2 … a2∘an
.
...
.
...
.
...
an an∘a1 an∘a2 … an∘an
24
消去律
定义 设∘为V上二元运算，如果 x, y, zV， 若 x ∘ y = x ∘ z，且 x不是零元，则 y = z 若 y ∘ x = z ∘ x, 且 x 不是零元，则 y = z
那么称 ∘ 运算满足 消去律.
实例: Z, Q, R 关于普通加法和乘法满足消去律. Mn(R) 关于矩阵加法满足消去律，但是关于矩阵 乘法不满足消去律.
右逆元，则称 y 为 x 的逆元. 如果 x 的逆元存在，就称 x 是可逆的.
21
实例分析
集合
Z, Q, R
运算 普通加法+ 普通乘法
el ∘ x = x
单位元 0 1
Mn(R) 矩阵加法+ n阶全0矩阵
矩阵乘法 n阶单位 矩阵
P(B) 并

交
B
对称差

θl ∘ x =θl
零元 无 0
无 n阶全0
令 yl = yr = y, 则 y 是 x 的逆元. 假若 y’∈S 也是 x 的逆元, 则
y'= y’ ∘ e = y’ ∘(x ∘ y) = (y’ ∘ x) ∘ y = e ∘ y = y
所以 y 是 x 惟一的逆元. 说明：对于可结合的二元运算，可逆元素 x 只有 惟一的逆元，记作 x1.
• 70年代在数据库研究中人们发现关系代数理论能够 作为数据库的理论模型；
• 泛代数和多类代数是程序设计方法学研究中的有力 工具；
• 抽象数据类型代数规范理论和技术广泛应用于计算 机软件形式说明和开发以及硬件体系结构设计。
3/55
11.1 代数运算的基本概念
1.二元运算定义及其实例 一元运算定义及其实例
矩阵加法和乘法都是 Mn(R) 上的二元运算. (6) 幂集 P(S) 上的二元运算：∪,∩,－, .
(7) SS 为 S 上的所有函数的集合：合成运算∘.
9
一元运算的定义与实例（补）
定义 设 S 为集合，函数 f：S→S 称为 S 上的一 元运算，简称为一元运算. 例2 (1) Z, Q 和 R 上的一元运算: 求相反数 (2) 非零有理数集 Q*，非零实数集 R*上的一元
任取x, y, zQ, (x ∘ y) ∘ z= (x+y+2xy) + z + 2(x+y+2xy) z
= x+y+z+2xy+2xz+2yz+4xyz x ∘ (y ∘ z) = x + (y+z+2yz) + 2x(y+z+2yz
= x+y+z+2xy+2xz+2yz+4xyz 26
例题分析（续）
分析学 数学中沟通形与数且涉及极限运算的部分
代数学 数学中研究数的部分
几何学 数学中研究形的部分
这三大类数学构成了整个数学的本体与核心。 在这一核心的周围，由于数学通过数与形这两 个概念，与其它科学互相渗透，而出现了许多 边缘学科和交叉学科。
1/55
代数学
算术 初等代数——实数有理数无理数、加减乘除 高等代数——矢量矩阵、线性变换 数论 抽象代数——抽象元素、代数运算
矩阵 B 无
yl ∘ x = e
逆元 X 的逆元 x X 的逆元 x1 (x-1属于给定集合)
X逆元X X的逆元 X1 （X是可逆矩阵） 的逆元为 B 的逆元为 B X 的逆元为 X
22
惟一性定理
定理 设 ∘为S上的二元运算，el 和 er 分别为 S
中关于运算的左和右单位元，则 el = er = e 为 S 上关于 ∘ 运算的惟一的单位元.
证
el = el ∘ er = el ∘ er = er
所以 el = er , 将这个单位元记作 e. 假设 e’ 也是 S
中的单位元，则有
e’ = e ∘ e’ = e.
惟一性得证.
类似地可以证明关于零元的惟一性定理.
注意：当 |S| 2，单位元与零元是不同的；
当 |S| = 1 时，这个元素既是单位元也是零元. 23
(2) 设∘运算的单位元和零元分别为 e 和 ，则对于 任意 x 有 x∘e = x 成立，即 x+e+2xe = x e = 0 由于 ∘ 运算可交换，所以 0 是幺元.
对于任意 x 有 x ∘ = 成立，即 x++2 x = x + 2 x = 0 = 1/2
给定 x，设 x 的逆元为 y, 则有 x ∘ y = 0 成立，即
x+y+2xy = 0 y x (x = 1/2)
因此当 x 1/2时， y
x
1
2x
是
x
的逆元.
1 2x
27
例题分析（续）
例7 (1) 说明那些运算是交换的、可结合的、幂等的. (2) 求出运算的单位元、零元、所有可逆元素的逆元.
表示二元或一元运算
对二元运算 ∘，如果 x 与 y 运算得到 z，记做 x∘y = z；
对一元运算 ∘, x 的运算结果记作 ∘x
表示二元或一元运算的方法： 公式、 运算表
注意：在同一问题中不同的运算使用不同的算符
11
二元与一元运算的表示（续）
公式表示 例3 设 R 为实数集合，如下定义 R 上的二元运 算 ∗：
有
有
无
有
有
无
有
有
无
无
有
无
有
有
有
有
有
有
无
无
无
有
有
无
无
有
无
17
二元运算的性质（续）
定义 设 ∘ 和 ∗ 为 S 上两个不同的二元运算, (1) 如果 x, y, z∈S 有 (x ∗ y) ∘ z = (x ∘ z) ∗ (y ∘ z) z ∘(x ∗ y) = (z ∘ x) ∗ (z ∘ y) 则称 ∘ 运算对 ∗ 运算满足分配律. (2) 如果∘ 和 ∗ 都可交换, 并且 x, y∈S 有 x ∘ (x ∗ y) = x x ∗ (x ∘ y) = x 则称 ∘ 和 ∗ 运算满足吸收律.
单位元也叫做 幺元. 19
二元运算的特异元素（续）
零元
设 ∘ 为 S 上的二元运算, 如果存在θl（或θr）
∈S，使得对任意 x∈S 都有
θl ∘ x =θl ( 或 x ∘θr =θr )， 则称θl ( 或θr )是 S 中关于 ∘ 运算的 左 ( 或右)