第一章-9同构-自同构.ppt

第九节

同构、自同构一、定义：我们说，一个A与间的一一映射是一个对于代数运算来说的A与间的同构映射（简称同构），假如在之下，不管a,b是A的那两个元只要，就有假如在A与间，对于代数运算来说，存在一个同构映射，我们说，对于代数运算A与同构，并用符号来表示。例1：A={1，2，3}，B={4，5，6}123456133346662333566633336666二:同构的内涵A={1，2，3}，B={4，5，6}假定对于代数运算来说A与同构,那么对于代数运算来说A与没有什么本质性的区别,只有命名上的不同,若一个集合有一个只于这个集合的代数运算有关的性质,那么另一个集合有一个完全类似的性质.三:自同构定义2:对于代数运算和来说的一个A与A间的同构映射叫做一个对于代数运算来说的A的自同构.例2:A={1，2，3}123133323333333,对于来说A的自同构.思考：P2612第十节等价关系与集合的分类一:定义1：一个到D的映射R叫做A元间的一个关系.若R(a,b)=对,我们说a和b符合关系R或aRb若R(a,b)=错,我们说a和b不符合关系R例1:A={所有实数},若是b-a是正的,若是b-a不是正的是A的元间的一个关系,这也就是我们普通“”.定义2：集合A的元间的一个关系叫做一个等价关系：假如满足以下规律1:反射律2:对称律3:推移律例2:“等于”这个关系就是一个等价关系.定义3:若把一个集合A分成若干个叫做类的子集,使得A的每一个元属于而且只属于一个分类,那么这些类的全体叫做集合的一个分类。定理1:集合A的一个分类决定A元间的一个等价关系.证明:我们利用给的一个分类来做一个等价关系,我们规定:,当且仅当a,b同在一类的时候.这样A的元间的一个关系,我们证明它是一个等价关系1:a与a同类,所以2:若是a,b在同一类,那么b,a也在同一类,所以3:若是a,b在同一类,b,c在同一类,那么a,c在同一类所以定理2:集合A的元间的一个等价关系决定A的一个分类.证明:我们利用给定的等价关系来做一个A的一个非内,把所有同A的一个固定元a等价的元放在一起做成一个子集,这个子集,这个子集用[a]来表示,我们说这样的道德子集就做成A的一个分类,我们分三步来证明.(1)假定,那么由等价关系的性质以及[a]和[b]定义这就是说这就是说故.(2)A的每一个元a只能属于一个类假定那么由得定义,这样由1,2,得,于是由1,(3)A的每一个元啊a的却属于某一个类.定义4:假定我们有一个集合的一个分类,那么一个类里的任何元叫做这个类代表刚好有每一个类俄一个代表做成的集合叫做全体代表团.例3:A={…-2,-1,0,1,2,…}我们取一个固定的整数n0,利用这个n我们规定A的元间的一个等价关系R,aRb当且仅当,这个等价关系叫做模n的同余关系并用来表示.[0]={kn|kZ}