例如 实数集上对+可分配,但+ 对不可分配; 集合上的运算, ;,命题集合P上的,都是相互可分配
例 题4
设集合A={ ,}, A上定义的二元运算如表所示. 对*可分配吗? * 对 ?
代数结构 >运算性质
定义5-2.6 设,△是定义在集合A上的两个二元运 算,如果对 x y∈A,都有 x (x△y) = x x△(x y) =x 则称运算和运算△满足吸收律。
代数系统 >代数系统的引入
二元运算的例子 • N上 +, 是N上二元运算,而-, 不是. • 整数集I上 +,-, 是I上的二元运算, 而 不是. • R-{0}上的 , 是R-{0}上的二元运算,而+,-不是. • 矩阵的 +, 是N阶实矩阵集合上的二元运算,但不是 全体实矩阵集合上的二元运算. • ,,, 是真值集合{0,1}上 的二元运算. • ,, 是幂集P(A)上的二元运算. 一元运算的例子 • R上的 求绝对值|X|运算. • 整数 I上求负运算是一元运算,但不是N上的一元运算.
n 例如 实数集上的+, ; 集合上的运算, ;,命题 集合P上的,都是可结合的.
例题3
A为非空集合,*定义为:对任意的a,bA,有 a*b=b. 证*可结合的.
代数结构 >运算性质
定义5-2.4 设是定义在集合A上的一个二元运算, x∈A,若xx=x,称x是等幂元; 若对x∈A,都有
2 独异点(monoid)
定义5-3.3 含有幺元的半群称为独异点。 独异点的判定: 对给定集合S 及运算*, 1)是封闭的, 即对x,y∈S, 有 xy∈S (是代数系统) 2)是可结合的,即对x,y,z∈S, 有(x y) z= x (y z) 3) 有幺元,即e∈S, 对x∈S,有ex=xe=x. 例如 <R, +>是独异点,幺元为0, <I+,+ >不是. <R, * >, <I, * >都是独异点,幺元为1 <{0,1}, > , <{0,1}, >都是独异点,幺元分别为0和1. < P(S), >和 < P(S), >是独异点?
