电子科技大学 第12章 代数系统..ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12.4 同态与同构 在现实社会中，存在着很多代数系统，但仔细分析这些众多的代数系统发现，有些代数系统，他们之间表面上似乎不相同，但他们实际上 “相同” 。 如有两个代数系统{奇，偶}，*和{正，负}，，其运算“*”和“”分别定义如下表 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 定义12.4.1 设A, ?和B, ?为两个二元代数系统，ψ是A到B的映射。对任意x, y∈A，都有 ψ(x?y) = ψ(x) ? ψ(y)， (1) 则称ψ是从A, ?到B, ?的同态映射，称ψ(A)为同态象，其中ψ(A) = {ψ(x) | x∈A}。 如果存在一个从A, ?到B, ? 的同态映射，则称A, ?与B, ? 同态，记为A, ?∽B, ? 。 当A = B时，称其同态为自同态。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 定义12.4.1（续） 当同态映射ψ分别是单射、满射、双射时，分别称ψ是单一同态映射、满同态映射、同构映射。 如果存在一个从A, ?到B, ? 的同构映射（单一同态映射、满同态映射），则称代数系统A, ?与B, ? 同构（单一同态、满同态）。 用A, ?≌B, ? 表示A, ?与B, ? 同构。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 同态与同构 同态与同构是代数系统中一个非常重要的概念，它体现了两个代数系统之间的某种联系，后面章节将会学习半群、群、格、布尔代数等典型的代数系统，那么将同态与同构的概念应用到这些典型的代数系统，就会得到半群、群、格、布尔代数的同态与同态。 注意，后面章节中半群、群、格、布尔代数的同态与同态本质上就是把半群、群、格、布尔代数看作一般代数系统的同态与同构，即定义12.4.1。因此，后面不再赘述半群、群、格、布尔代数中同态与同构的定义。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 例12.4.1 设代数系统Z, +和E, +中，Z、E分别是整数集和偶数集，“+”是加法，证明Z, +≌E, +。 分析 证明两个代数系统同构，关键是找出同构映射。假设f是Z, +到E, +的同构映射，根据同构映射的定义，有 ?x, y∈Z，f(x + y) = f(x) + f(y), 特别取x = 0, y = 0，有 f(0) = f(0 + 0) = f(0) + f(0)，可得f(0) = 0。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 例12.4.1（续） ?n∈Z, f(n) = f(n?1 + 1) = f(n?1) + f(1), 可得递推公式如下： f(n) = f(n?1) + f(1), 如果f(1) 0，则f(n)是递增函数， 0 = f(0) f(1) f(2)， 而f又是Z到E的双射，因此此时必有 f(1) = 2， 同理，如果f(1) 0，可得 f(1) = ?2。 根据以上分析可知， ?n∈Z, f(n) = 2n或f(n) = ?2n， Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * 例12.4.1（续） 以上说明，如果f是同构映射，则 f(n) = 2n或f(n) = ?2n， 因此需进一步验证f(n) = 2n或f(n) = ?2n是否是同构映射。 证明 ?n∈Z，令f(n) = 2n，则显然f是Z到E的双射，又对?