五千年(敝帚自珍)

主题:数学闲话(闲话开始前的闲话) -- 明日枯荷包

共:💬112 🌺684
分页树展主题 · 全看首页 上页
/ 8
下页 末页
    • 家园 数学闲话(一)——代数结构(3) 同余

      一上来,看见被游识猷兄推举认证了,感谢一下游兄,也感谢一下支持的朋友。没说的,继续写。

      话说光说不练假把式,光练不说傻把式,要又练又说,那才是真把式。前面谈了的代数结构啥的,大家说啦,你这加减乘除群环域都抽象出来,还叫抽象代数,可举些例子还是自然数实数之类大家都听厌了的,有新鲜一点的东西没?

      这篇就讲个稍微新鲜点的东西。不过要开练了,就需要推导证明,数学就这样。所以也许会比较枯燥点,也需要大家自己拿张纸算算写写,以求能够较好地理解。这篇里的东西也是为把如何分摊秘密那篇东西继续写下去所做的准备工作之一,所以如果打算继续看那篇东西的朋友,这篇就不好跳过去不了解其中内容。

      “同余”又是个行话,很牛B似的,其实很简单,就是“余数相同”的意思。

      先取好一个自然数做被除数,比如10。每个整数都可以除以10,得到一个0到9之间的余数。如果整数以十进制表示就很简单,如果是大于等于0的整数,它除以10的余数就是十进制表示的个位数:

      123456789/10 = 12345678*10 + 9

      如果是小于0的整数,那么它除以10的余数,就是10减去十进制表示的个位数(如果个位是0,那就不用减了,余数当然还是0):

      -123456789/10 = -12345679*10 + 1

      如果有人问,123456*777777除以10的余数是多少,大家一般不会傻到先老老实实把123456*777777算出来,再除以10看余数。只要看两数的个位数,算6*7=42,42除以10的余数是2,所以123456*777777除以10的余数也是2。

      又比如,算3^1001被10的余数是多少,拿3去自乘1001遍再看个位?也没人愿意那么干。可以这么算:

      3^4=9^2=81, 个位是1

      于是

      3^1000=(3^4)^250是一个个位为1的数字的250次方,它的末尾数字当然也是1。于是3^1001次方的个位是1*3=3。

      我们可以看出来,在做加法乘法甚至是多少次方这些运算的时候,如果只要知道结果被10除后的余数,那么参加运算的那些数具体是什么不是很重要,我们可以先用它们除以10后的余数来代替它们,然后再做运算,再算余数。要算123456*777777除以10的余数,我们就可以用6来代替123456,用7来代替777777。

      其实呢,何止6可以代替123456,16也可以,-4也可以,甚至是123456789876也可以,只要是除以10的余数是6的那些数都可以代替123456,用它来计算123456*777777除以10的余数。当然方便不方便另讲,但是结果一定不会错。

      123456,16,-4还是123456789876,除以10的余数是相同的(都是6),以行话来说,它们“对模10同余”。行话的真正目的当然不是吓唬人,而是为了把话说得精练而严格。看见行话的应付方法就是把行话翻译成你熟悉的话。比方说有人问:“25和-36对模10同余吗?”这是在问25和-36除以10的余数是否相同,你知道一个是5一个是4,不同,于是你回答“否。”

      可以模10当然也可以模其他,比如问“7和21对模7同余吗?”,7和21除以7的余数都是0,所以答案是“是”。计算123456*777777除以7的余数是多少也一样,同样不用先计算乘积再计算余数,而可以先计算余数再计算乘积:尤其是777777除以7余0,0乘啥都是0,所以123456*777777除以7的余数是0。

      3^1001被7的余数是多少?

      3^3=27,而27和-1对模7同余(余数都是6),所以

      3^999=(3^3)^333除以7的余数和(-1)^333的余数是一样的,后面这个我们一下看出来(-1)^333=-1。于是

      3^1001除以7的余数和-1*3*3=-9除以7的余数一样,是5。

      通过观察上面的计算,我们有一种感觉,就是要计算一些数互相加减乘后对除以某数的余数,我们不一定要先算出加减乘的结果再算余数。我们完全可以选择我们觉得方便的,和这些数同余的数去做计算。比如说刚才在算3^999=(3^3)^333除以7的余数时,3^3=27除以7的余数是6,但是接下去如果算6^333还是麻烦,而-1和6对模7同余,并且(-1)^333很好算,于是我们就拿-1来算。

      既然如果是互相同余的(当然那个模几先要固定下来的,否则6和-1对模7同余,对模10可不同余),我们就可以换着用而不影响最终结果,那么我们也就不需要区别谁是谁了,对于模7来说,-1就是6,6就是-1;0就是7,7就是0;1就是8就是15就是22就是……

      于是如果我们固定好模7,整数集合就被分成了7部分:和0同余的那些数,和1同余的那些数,和2同余的那些数,……,和6同余的那些数,我们可以分别把它们写成[0],[1],[2],……,[6]。想想[7],[8]或者[-1]等都是什么?和8同余的那些数不多不少正是和[1]同余的那些数,于是[1]=[8],同样地[0]=[7],[-1]=[6]。

      这些[0],[1]……我们叫它们同余子集,因为每一个都是整数集的子集合。把每个子集合看作一个东西的话,按照前面所说,它们之间是可以做运算的:

      [0]+[1] = [1]

      [1]+[1] = [2]

      ……

      [5]+[1] = [6]

      [6]+[1] = [7] = [0]

      最后这个式子有点特别对吧,但是其实很容易理解:除以7余数为6的数,加上除以7余数为1的数,其结果除以7的余数是0。同样地我们也有比如

      [6]+[5] = [11] = [4]

      [3]+[4] = [7] = [0]

      减法也没问题。[0]这个东西很特别,无论谁加[0]还是它自己,跟整数里的0一样,行话叫”零元“。

      乘法也一样,比如:

      [5]*[5] = [25] = [4]

      [2]*[4] = [8] = [1]

      等等。[1]这个东西很特别,无论谁乘[1]还是它自己,跟整数里的1一样,行话叫”么元“。

      如果我们考虑乘法的逆运算是除法,上面两个式子暗示着我们似乎有

      [4]/[5] = [5]

      [1]/[4] = [2]

      这点其实是最有趣的地方,不过我们晚点再来看这事。

      考虑模10的话也能定义出这些东西来,只不过现在有10个同余子集[0],[1],……,[9]。也有类似的加法和减法和乘法,乘法有点特别,比如

      [2]*[5] = [10] = [0]

      两个不是0的东西乘在一起成[0]了。在模7的时候你就找不到这种情况,大家可以想想这是为什么。

      无论如何,在模7或者模10的时候,我们可以推广到模n(其中n>1)的时候,我们都能够把整数集分割成n个子集,如果把这些子集看作单个的东西,这些东西之间可以做加减乘的运算。于是,按照我们前面所说,可以做加减乘,这就是一个环。我们把它记作Zn(书上这个n是写成下标的,Z黑体,西西河上不好写下标,就将就这么写了)。比如上面我们看到,Z10里有10个元素,分别是[0],[1],……,[9]。我们前面看到的整数环,有理数域等等,里面都有无穷个元素,现在我们看到了一些只有有限个元素的环。

      注意到Z7里有[0],[1],[2]等等,Z10里也有[0],[1],[2]等等,但此[0]非彼[0],之间没有关系。Z7里的元素们可以互相作运算,Z10里的也一样,但是你不可以用Z7里的[2]去加Z10里的[5],这就乱套了。当我们说这些[2]啊[5]啊的时候,必须首先已经知道了这是对模几说的,也就是Zn得固定下来。这是个细节,但是非常重要。

      下一步,我们想办法要做除法,弄出个域来。

      关键词(Tags): #数学闲话#代数#同余通宝推:瓷航惊涛,witten1,

      本帖一共被 1 帖 引用 (帖内工具实现)
    • 家园 数学闲话(一)——代数结构(2) 群环域那些玩意儿

      前面我们看见的序结构,是由一个二元关系决定的。所谓二元关系,就是说那个关系里有两个元素参与。但是所谓的“关系”,可以由更多的元素参与进来,比方说化学分子结构里的苯环结构,总得要六个碳原子一起参与,六个碳原子互相之间的化学键联系和空间位置关系的总体就形成了苯环结构。

      数学里也有更多元的关系。比方说一个二元运算就能产生一个三元关系。我们平常做的加减乘除就都是二元运算,1+2=3,6-5=1什么的,两个数相加相减等,最后得出一个结果来。作运算有两个元素,得到一个结果,这样这三个元素就形成了一个关系。这样的关系也就能定义出来数学结构。由运算产生的关系然后定义出数学结构,这样的数学结构我们叫它“代数结构”,研究代数结构的学问当然就叫代数学。

      不是数学系学的代数课往往叫高等代数啥的,这名字其实底气不足,说是高等,那是跟中学学的初等代数比。数学系或者是注重数学的物理或信息系,一般把那个课程叫线性代数,以表明那只不过是专门研究线性空间的代数学,而不是一般的代数学。一般的代数学,以前会叫“近世代数”,以表明其比较新的地位。就这还是谦虚的译法,英语里直言Modern Algebra,现代代数,言下之意当然就是你们学的那“高等代数”其实是老掉牙的古代代数。如今这现代或近世也过去好一会儿了,不那么新鲜了,于是大家一般说“抽象代数”,或者干脆就叫“代数学”,简洁中带着牛皮哄哄——这个才是代数,而你们那“高等代数”,咳!不说了。

      一说抽象代数,首先要提的就是群环域这些玩意。它们就是一些代数结构。具体的严格定义我在这里就不说了,否则写出来的东西就又会象课本或者维基百科。

      但是这不是说不是数学系的人就很难搞懂这些东西的严格定义。专业名词和行话有个好处就是能唬人,群环域啥的就是这样。其实要了解这些东西的定义,对一个普通人来说,并不是遥不可及的。当然要进一步了解理论就困难得多了。就好像陈景润先生研究的哥德巴赫猜想和他的1+2定理,一般人努力一下还是能了解,这是一个有关偶数和素数的关系的问题,不是研究为什么1+1=2和1+2=3。徐迟的著名报告文学中就讲到,陈景润曾让工宣队的工人师傅理解了哥德巴赫猜想说的是什么。但是他的具体理论,那就除了这方面的专家,连其他领域的数学工作者都难以理解。

      上面我说了加减乘除。减法是加法的逆运算,除法是乘法的逆运算,所以基本运算其实只有加和乘。加和乘往往有比减和除更好的性质。比如一般的数(比如自然数,整数,有理数,实数,复数)的加和乘都满足结合律:(1+2)+3=1+(2+3),减法和除法就不行了,(1-2)-3和1-(2-3)就差远了。上面说的那些数集上的加和乘还满足交换律,1+2=2+1。但是有些集合上的加和乘就不一定满足交换律,比如矩阵的乘法就不满足交换律。加法和乘法之间还有分配律:(1+2)*3=1*3+2*3。代数结构就是把这样的带有运算的集合的性质抽象出来(要不怎么叫抽象代数)。

      很粗略地说:

      半群(半吊子群,还不是真的群,比群少了点东西)是上面能做加法的集合,所以自然数和它上面的加法构成一个半群。

      群是上面能做加法和减法的集合。自然数上面有时做不了减法,2-3就不行。但是整数上就可以做减法。

      环是上面能作加减乘的集合。整数上就可以做加减乘,所以整数和它上面的加法和乘法(减法因为是加法的逆运算,就不用提了)构成一个环,叫做整数环。

      域是上面能作加减乘除的集合(除了不能除以0以外)。整数上不能做除法,3/2就不行。但是有理数,实数,复数上就可以,所以这几个和它们上的加法和乘法就构成了域,分别叫有理数域,实数域和复数域。

      当然,这是非常粗略的说法,严格的定义中条件要细致得多。我上面说的是为了让大家理解一下群环域大约是什么样的东西。大家看见这些东西都是从运算产生出来的关系定义出来的数学结构,所以它们都是代数结构。

      关键词(Tags): #数学闲话(当生)#代数结构(当生)#代数(当生)通宝推:瓷航惊涛,鹦鹉螺,白菜,

      本帖一共被 1 帖 引用 (帖内工具实现)
      • 家园 小花儿一朵!

        以前为了考试,突击复习过这些玩意。

        期待其他系列,比如数理统计之类的。:-)

      • 家园 呵呵,学习学习!

        我觉得您在描述膨胀和凝固的过程。

        还有您说的

        但是有些集合上的加和乘就不一定满足交换律,比如矩阵的乘法就不满足交换律。
        ,这个不满足交换律应该是参与的元素不同且规则不同造成的吧。这是两种数学门类吧~

        • 家园 某些时候的确会形成“两种数学门类”

          不满足交换律,运算规则当然就不同,不过跟参与的元素的关系不大。正如我所说的,代数结构关心的是结构,也就是元素之间的关系,元素具体是什么其实不要紧,两个其中元素不同的集合,上面都有运算产生关系,只要关系形成的结构一样,那么从代数学的角度来看,其实这两个集合上的代数结构就是同构的,就可以看作是一样的。好像数学家觉得一块石头加一块石头是1+1,一颗钻石加一颗钻石也是1+1,从数学角度来看这两件事作的运算一样;而对其他一些人,这两件事情可能就大不相同喽。

          满足交换律的群或者环,当然性质比较好,象乘法满足交换律的环(文中我忽略没有说的是,环的加法被规定为一定要是满足交换律的)以及和它相关的课题,专门有一个数学分支研究它,叫“交换代数”,与之相应的,也有“非交换代数”,这也可以算“两种数学门类”吧。

      • 家园 一直觉得口诀很牛叉

        成群妖孽{乘、群、幺、逆}


        本帖一共被 1 帖 引用 (帖内工具实现)
分页树展主题 · 全看首页 上页
/ 8
下页 末页


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河