[离散数学-同态和同构.pptVIP

离散数学(二)第二讲 计算机学院: 焦晓鹏 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 同态和同构 主要内容: 重点和难点: Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 两个代数在结构上是一致的, 大致地说, 有以下3点要求: (1) 两个代数必须有相同的构成成分; (2) 两个代数的运算和常数必须遵循相同的规则; (3) 两个代数的载体必须有相同的基数。 这种结构上的一致性, 数学上叫同构, 可以用与代数的“运算” 和“常数”密切相关的一个双射函数来精确地刻画。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 同态定义: 设A=S, *, △, k和A′=S′, *′, △′, k′是具有相同构成成分 的代数, h是一个函数。如果满足 (1) h∶S → S′； (2) 对所有a，b∈S,均有h(a*b) = h(a)*′h(b)； (3) 对所有a∈S均,有h(△a) = △′h(a)； (4) h(k) = k′； 则称h是从A到A′的同态, h(S), *′, △′, k′称为A在映射h下的 同态象。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 同态的分类: 根据函数h的特点，可将同态分成如下几类： (1) 如果h是单射，那么称h是单一同态; (2) 如果h是满射的, 那么称h是满同态; (3) 如果h是双射的,那么称h是从A到A′的同构; (4) 如果A=A′, 那么称h是自同态; (5) 如果A=A′且h是同构, 那么称h是自同构。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 同态的图示: h是从A到A′的同态, h(S), *′, △′, k′称为A在映射h下的同态象 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 例1(a)：R＋：正实数集， R：实数集，试证明： R＋, ·, 1 与R, +, 0同构。 证明：设f∶ R＋→ R, f(x)=logx, 由于 (1) 证明f∶ R＋ → R 双射。 易见f∶ R＋→ R单射,因为对数函数单调增加； f∶R＋→R满射：任意y∈R,存在x=ey∈R＋,使得f(x)=logey=y; (2) 运算保持。对所有 x，y∈ R,均有f (x·y)=log(x·y) =logx+logy=f (x)+f (y)； (3) 常元运算保持。f(1)=log1=0。 所以R＋, ·, 1与R, +, 0同构。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、同态与同构 例1(b)：集合A={1, 2, 3, 4}, 函数f∶A → A, f ={1, 2, 2, 3, 3, 4, 4, 1}, f 0表示A上的恒等函数；f 1表示f；f 2表示合成函数f·f；f 3表示f 2·f； f 4表示f 3·f；则f 4=f 0。设F={f 0, f 1, f 2, f 3}, 则代数F, ·, f 0可以用左下方的运算表给定, 这里f 0是么元。集合