大连理工大学软件学院离散数学第五章函数-2nd.ppt

*/46 二元运算 定理：设*是集合X中的二元运算，且 和 。在*运算的作用下，S1和S2都是封闭的。于是在*运算的作用下 也是封闭的。 证：因为S1和S2在运算*的作用下是封闭的，所以对于每一个序偶 来说，有 ；对于每一个序偶 来说有 。因而，对于每一个序偶 来说，有 。 */46 二元运算的性质 前缀式可交换的二元运算 可表达成：对于每一个 有 ；可结合的二元运算可表达成：对于每一个 有 ；对于运算 是可分配的二元运算， 可表达成 。 对实数集合的加法和乘法运算是可交换的和可结合的，而减法则是不可交换的。函数的合成运算不是可交换的。乘法运算对于加法运算是可分配的。集合的联合与相交运算，彼此是可分配的。 */46 二元运算的特异元素 定义：设*是集合X中的二元运算 （1）如果有一个元素 ，且对于每一个 有 ，则称 为关于*运算的左单位元素或左幺元。用式子来表示即 （2）如果有一个元素 ，且对于每一个 有 ，则称 为对于*的右单位元素或右幺元。用式子来表示即 */46 二元运算的特异元素 定理：设*是对集合X的二元运算，el和er分别是对于*的左幺元和右幺元。于是对于每一个 ，有el=er=e 能使 在这种情况下，e是唯一的，并称它为对于*运算的幺元。 用式子来定义幺元是 */46 二元运算的特异元素 证明：设el和er分别是对于*运算的左幺元和右幺元。于是可有 假设e1和e2是两个不同的幺元。于是可有 与假设矛盾。因此，如果幺元存在的话，它必定是唯一的。 对于可交换的二元运算来说，左幺元也是右幺元，因此任何左幺元或右幺元都是幺元。对于加法，元素0是幺元；对于实数集合中的乘法，1是幺元。对于集合的联合运算，空集是幺元；对于全集的子集的相交运算，全集是幺元。对于从集合X到X的双射函数的合成运算，恒等函数是幺元，对于命题集合上的析取运算，永假式是幺元；合取运算，永真式是幺元。 */46 二元运算的特异元素 定义：设*是集合X中的二元运算 （1）如果有一个元素 ，且对于每一个 有 ，则称 为关于*运算的左零元。用式子来表示即 （2）如果有一个元素 ，且对于每一个 有 ，则称 为对于*的右零元。用式子来表示即 */46 二元运算的特异元素 定理：设*是对集合X的二元运算，0l和0r分别是对于*的左零元和右零元。于是对于每一个 ，有0l=0r=0 能使 在这种情况下， 是唯一的，并称它为对于*运算的零元。 对于实数集合中的乘法运算来说，元素0是零元。对于集合的相交运算，空集是零元；对于全集的各子集的联合运算来说，全集是零元。 */46 二元运算的特异元素 定义：设*是对集合X的二元运算，且 。如果有x*x=x，则称x对于*是等幂元。用式子来定义等幂元即是 对于任何二元运算*，幺元和零元都是等幂元。除了幺元和零元外，还可能有其他的等幂元素。例如，对于集合的联合和相交来说，每一个集合都是等幂元。对于命题公式的合取和析取来说，每一个命题公式都是等幂元。 */46 二元运算的特异元素 定义：设是集合X中的二元运算，并且X含有幺元e。令 （1）如果有一个元素 ，能使 ，则称xl是x的左逆元，而称x为左可逆的。用式子来定义x的左逆元即： （2）如果有一个元素 ，能使 ，则称xr是x的右逆元，而称x为是右可逆的。用式子来定义的右逆元即： （3）如果元素x既是左可逆的又是右可逆的，则称x是可