变换群.docVIP

??在初等数学中我们已经接触过变换，比如：坐标的平移变换、旋转变换、极坐标的变换等等，在数学分析中我们还学习了傅里叶变换、积分变换等。在现实生活中，我们也能遇到各种各样的变换，比如：我们小时候做过的滑梯，它就相当于平移变换，再如当阳光斜照时，窗玻璃上的纸花投影到地面上，得到窗花的影子，这是投影变换；等等，如果你留意的话还可以发现好多，我不在一一举例了。因为变换可以把抽象的问题具体化，把复杂的问题简单化，因此变换的思想在各个领域中都有广泛的应用。今天我们主要研究群论中的变换。现在我们来学习近世代数第二章第5节变换群。（写标题） 究竟什么是变换群呢？从字面上看，首先我们能肯定它是一类群，哪位同学能回答一下什么是群，我们前面讲过的（时海婷），很好，请坐。时海婷回答的非常准确，群就是一个含有代数运算的非空集合，这个运算满足结合律，有左单位元，有左逆元。其次，它应该和变换有关，因此我们首先要回顾一下关于变换的相关知识 课件第二页 这些内容其实我们在第一章里已经讲过。在我们数学的语言中，变换是什么呢？谁能回答？（程巧娜你来说一说） 变换（板书） 对，变换就是一个非空集合到它自身的一个映射，我们习惯上用来表示变换。 接下来我们看一看关于变换的集合，我们用T M 来表示所有变换作成的集合，之所以这样来表示是因为变换是由英文单词transformation而来的，我们用它的首字母来表示变换作成的集合，而这个M是指集合M上的变换。对于全体双射变化作成的集合我们用S M 来表示，因为双射变换也就是一一变换，它是一一对应的，有对称性，所以用英文单词对称性symmetic的首字母来表示，M同样是指集合M上的变换。 下面是两个变换集合的记号，大家要记牢。 （板书：2. T M 1，2，3.。。。。。 和S M 全体双射变换 ） 课件第三页 前面我们讲过关于变换有一种运算，同学们还记得是什么吗？ 对，就是变换的乘法（板书：3.变换的乘法） 关于变换的乘法的含义就是。。。。。 我们还知道变换的乘法有两个非常有用的性质： 它满足结合律 它是T M 和S M 上的代数运算 这些知识在第一章里我们已经证明过，这里就不在细述。 在变换里还有一个非常特殊而且形式优美的一个变换，就是恒等变换，即它把任一个元素都映称这个元素本身，（板书：4.恒等变换） 5. 恒等变换我们通常用表示。提出就是单位元。 要想知道什么变换群，我们先看一个简单的例子。 （课件第四页） 让学生自己找出集合M的所有变换（提问一个学生），提出第四个变换恰好就是恒等变换。 提问：（1）所有变换的个数问题。 集合里只有两个元素时，它的所有变换个数是4个，即2的2次方个，那么如果集合M中有n个元素呢？ 会不会是n的n次方个呢？我们来看一下，1的像有n种选法，2的像也有n种选法。。。。，根据乘法原理，共有n的n次方个。 （2）这四个变换里双射变换有几个？ 大家猜测一下，如果集合M中有n个元素，则M的所有双射变换有多少个呢？ 1的像有n中选法，因为是一一变换，1选过的像2就不能选了，所以有n-1中选法，一次进行下去，根据乘法原理，共有n!种选法。课件一一变换比所有变换少多了。 令T M 1，2，3，4 ，现在的目的是想要T M 做成一个群，我们知道要让一个集合M作成群要在M上定义一个运算，现在我们要T M 作成一个群也需要在他上面定义一个运算，T M 中的元素是一些变换，因此我们在T M 上定义变换的乘法，我们看它关于变换的乘法能否做成一个群。 先看第一个：略 非常遗憾，前三条都满足了，可是它没有左逆元，所以这个集合对于所有的变换不能作成群。 我们中学时就学过，如果1 恒等变换，那么应该是一个逆映射，那么什么时候才有逆映射呢？映射是一一映射的时候。现在我们看第二个问题，S M 关于变换的乘法是否能作成群。 从这个例子看，M的所有变换做成的集合不一定能作成群，而全体双射变换做成的集合可以做成群，那么有没有非双射变换作成的集合可以做成群的呢？ 看例2.略 从这几个例子看并不是所有的变换都能作成群，因此我们给出变换群的定义。（课件第 5页） 大家注意定义中的某些字眼，双射变换群中所有的元素都是双射变换，非双射变换群中所有元素都是非双射变换。 （课件第6页） 思考题:根据变换群的定义，我们回到前两个例子看，例二是什么样的群？（集体回答），例1的2是什么样的群？（集体回答），例1中的第2小题中M 1,2 时它全体双射变换作成的集合关于变换的乘法能做成群，现在同学们思考一下这样的问题，如果M中有n个元素，它的全体双射变换作成的集合关于变换的乘法能做成群吗？（课件第7页） 同学回答：能。那我找个同学分析一下，为什么能作成群。 从预备知识我们知道变换的乘法也是S M 的代数运算，同样也满足结合律，而且