手机浏览器扫描二维码访问
英国数学家威廉·伯恩赛德在讲一些数学问题的时候,经常把表示理论这样的词说出来。
乔迪·威廉姆森说:“你一直说表示理论,这样的词,这是你的口头禅,还是一个数学理论。”
伯恩赛德说:“是一个理论。”
乔迪怀疑的问到:“表示的是什么?”
伯恩赛德说:“就是一种是一种把复杂的事物用较简单的事物‘表示’的方法。”
乔迪说:“我问的具体的是什么?是群?”
伯恩赛德说:“即使是群也有很多中不同的表示呢?”
乔迪叹气说:“我试着猜猜,比如用不可约群的组成来表示任何一个群这一类型的对吧?”
伯恩赛德说:“这是其中之一,复杂的对象通常是数学对象的集合,比如数字或对称性,它们彼此之间有着特殊的结构关系。”
乔迪说:“听起来不像是新东西,就是一个东西找基本单位而已。”
伯恩赛德说:“在1897年的时候,我觉得这种非正统的观点根本不会产生任何新结果。我只是在用矩阵的方法表示一切,毕竟数学家基本上知道关于矩阵的一切。它是为数不多的被完全理解的数学科目之一。而且他完善到可以表示任何一种东西。”
乔迪说:“可问题是,关于你说的表示理论,研究这个问题是否合理,现在还不清楚。”
伯恩赛德说:“这种问题让人难以察觉,但是随着数学的深入发展,肯定越来越重要。比如群组很重要,我们要把它们表示出来,而比较简单的对象是称为矩阵的数字数组,它是线性代数的核心元素。群组是抽象的,通常很难掌握,而矩阵和线性代数是基本的。要了解如何用矩阵表示群组,有必要依次考虑每个对象。”
乔迪说:“恩,比如李群的表示就需要这样。”
伯恩赛德说:“举个粒子,考虑一个等边三角形的六种对称性:两个旋转对称,120度和240度,三种反射对称,从每个顶点绘制的线穿过对边的中点,一个恒等对称,对三角形不做任何改变。这六种对称形成了一个封闭的元素宇宙,也就是一个群组,它的正式名称是S_3。它们组成了一个组,因为您可以按任意顺序将任意数量的它们应用到三角形中,并且最终结果将与仅应用一个对称性相同。例如,先反射三角形,然后将它旋转120度,重新排列顶点,就像你仅仅执行了一个不同的对称变换一样。数学家将两种对称的结合称为合成:一组反射与另一组旋转的一个组合产生第三组,称之为不同的反射。你可以像数学家一样,把合成看作是乘法运算。如果考虑非零实数,这是最容易看出的,它们也构成了一组。实数有一个单位元素,用数字1。任何与1组合或乘以1的实数保持不变。你也可以乘任意实数的组合,以任何你想要的顺序,乘积总是一个实数。数学家们说,实数组在乘法下是“封闭的”,这意味着你不会仅仅通过元素的乘法就离开这个实数集群组。”
乔迪说:“要按照你说的那个例子,李群包含无限多个元素,而不是六个元素。”
伯恩赛德说:“没错,要解决一个重要的问题,往往需要理解与之相关的特定群组。但是大多数群组比等边三角形的对称群组更难理解。我们不可避免要面对表示理论的领域,它把有时神秘的群组的世界转换成充分约束的线性代数领域。”
乔迪说:“是的,它们编码质数、几何空间和几乎所有数学家最关心的东西的信息。”
伯恩赛德说:“只不过你要用矩阵,也就是线性代数来表示这些,里面就会出现扩大、平移、反转、剪切、选择和反射这样的词汇。这些就相当与我们数学中的加减乘除这样的东西一般。”
乔迪说:“我刚刚想多了,还以为你找到你加减乘除模之外的新的运算方式呢。”
伯恩赛德说:“表示理论根据一定的规则,为群组中的每个元素分配一个矩阵,从而在群组理论和线性代数之间架起了一座桥梁。例如,必须将群组中的单位元素分配为单位矩阵。分配还必须尊重群组中元素之间的关系。如果一个反射乘以给定的旋转等于第二次反射,那么分配给第一次反射的矩阵乘以分配给旋转的矩阵必须等于分配给第二次反射的矩阵。符合这些要求的矩阵集合称为群组的表示。该表示提供了一组简化的图像,就像黑白图像可以作为原始彩色图像的低成本模板。换句话说,它“记住”了关于这个群组的一些基本但重要的信息,却忽略了其他的信息。数学家的目标是避免纠缠于一个群组的全部复杂性;相反,他们通过观察它在转化为简化的线性变换格式时的行为来了解它的性质。”
乔迪说:“一个群组几乎总是可以以多种方式表示。例如,S_3在使用实数填充矩阵时有三种不同的表示:简单表示、反射表示和符号表示。”
伯恩赛德说:“我们进下来的工作就是将给定群组的表示形式整理成一个表,称为字符表,该表总结了有关组的信息。行引用每个不同的表示,列指的是这个表示中的重要矩阵:分配给组中的单位元素的矩阵,以及分配给组中“生成”元素的矩阵,这些元素一起产生所有其他元素。表中的条目是一个称为每个矩阵的“trace”的值,通过对从矩阵左上角到右下角的对角条目求和来计算。字符表提供了该组的简化图。其中的每个表示提供的信息略有不同。数学家将各种观点结合成一个整体印象。”
本小章还未完,请点击下一页继续阅读后面精彩内容!
乔迪说:“你有很多不同的表征,它们记住不同的东西,当你把所有的信息放在一起时,你就能在某种意义上看到你的团队的这种万花筒般的画面。”
伯恩赛德说:“当然,我们肯定就是要把问题简化,所以一些最有效的表示法既不涉及实数也不涉及复数。相反,他们使用的是带有“模块化”数字系统的条目的矩阵。这是时钟算术的世界,在这个世界里,7+6环绕12小时的时钟等于1。具有相同字符表,使用实数表示的两组可能具有不同的字符表的使用模块化表示,从而允许你将它们区分开来。”
自一个多世纪以来,“表示理论”一直是许多最重要的数学发现的关键成分。然而,它的用处在一开始还是很难被察觉。
今天,“表示理论”是许多数学领域的中心工具(代数,拓扑,几何,数学物理和数论等)。这种表示理论的哲学在20世纪下半叶已经吞噬了大量的数学。
表示理论在安德鲁·怀尔斯1994年对费马最后定理的里程碑式证明中发挥了重要作用。问题是关于a^n+b^n=c^n这种形式的方程是否存在整数解。
怀尔斯证明当n大于2时,不存在这样的解。然而,直接证明它的不存在太困难了。
相反,怀尔斯使用的是一组模块表示,如果群组存在的话,这些表示就会被附加到组上。他证明了这一族模表示不存在,这意味着群组不存在,这意味着解也不存在。
这也就意味着,在威廉·伯恩赛德认为表征理论无用的100年后,它成为了20世纪最着名的证明理论的关键组成部分。
温斯坦说:“我无法想象费马最后定理的任何证明,都与表示理论无关。”
喜欢数学心请大家收藏:()数学心
[穿书]男主他想弄死我+番外 成就华流天王,从历经生死战开始 当绿茶反派男配想上位 白夜(重生) BOSS伪装白莲花女主杀疯了 忠犬影卫饲养法则 肥妃有福,双面王爷倾世妃 宗门全是美强惨,小师妹是真疯批 盛宠拽后:本宫就爱戏诸王 重生后她燃炸了 [咒回同人] 全员术师 我把皇子养歪了 [综影视同人] 炮灰终结者 [HP同人] 隐藏在霍格沃茨当教授 我说今夜无神,于是众神陨落 快穿之大佬总是在撩我 鬼灭RPG为美好的世界献上帝君 告白未果,我决定做回低调逆袭者 我当过的炮灰都成了宠文男主[快穿] 本座的猫儿师尊
男神要婚了,不甘心的白纤纤夜上男神的床一夜疯狂,嫁不了男神,就生个小男神相依为命也知足。没想到,小男神真有了,可亲爹却另有其人。都说负负得正,她是错错得对。以为睡错了,其实睡对了。当小不点遇上真男神,爹地,我帮你搞定妈咪的奖励呢?厉凌烨微微一笑,等我睡服你妈咪再说。小不点撇撇小嘴,当晚就把妈咪拉到了自己的小床上。厉晓宁,你给我下来。某男怒了。白纤纤护小狗一样的护着小不点,他还是个孩子,你要不要脸?厉凌烨拎着小狐狸般的小不点直接丢出门外,自己女人只能上自己的床,要人不要脸。...
那一夜,日月同空。炎黄仙主帝景联合天外邪魔于宇宙禁区星空深渊内谋害挚友,以图谋掌控天地万物。那一日,极道宗少年莫轻语丧父身残,自一南海小岛上重获新生。这是一个传奇的开始,亦是一段腐朽的终结。有些人在诞生的那一刻就注定不会平凡...
人外有人,天外有天!异界争霸,从未间断!欲望,让人从不妥协!!信念,使人勇往直前!!上古的世代里,圣灵神,是万王之王,万主之主!!!圣灵神的能力和权柄,是每个凡人一生所向往的巅峰!!!圣灵神创造了无数的空间,将祂的艺术品分散在各个位面,为了荣耀祂。然而,人类的劣根性无法泯灭将圣灵神所创造的第一批人当成真神去敬拜,而丢弃了创造他们的真神。在圣灵神的引导下,一个无名的传道人,在异空,承接使命。圣灵手札书友群455870376论坛家族未来,灵魂的天地...
主角秦怡严易泽新郎出轨闺蜜,秦怡一气之下嫁给了众所周知的严家傻子少爷严易泽,做好了守一辈子活寡的准备,谁知新婚夜,痴痴傻傻的严易泽竟露出了邪魅的笑容,秦怡这才意识到所有人都被他给骗了军婚小说网提供秦怡严易泽最新章节,秦怡严易泽全文免费阅读,秦怡严易泽无弹窗广告清爽在线阅读体验...
陆苒做梦都没想到,她居然穿越成了小说里下场凄惨的恶毒女配!为了保住小命,她发誓坚决抱紧男女主的粗大腿!炮灰闺蜜羞辱女主时,陆苒揽住她小腰不,你不想。宠女老爹撮合自己与男主,陆苒揪住他衣袖不,我不想!怀抱熊猫,手牵迷妹,美滋滋的陆苒却被男主拦在了路上。从前你要嫁我,如今还作数吗?陆苒我没说过,我不嫁你,放开我啊啊啊啊啊啊展开收起...
一个化身医生,卑鄙的躲藏在医院里面,依靠偷取血库血液为生的懒惰僵尸一个住在红灯区,开着私家诊所,装作平凡人的僵尸医生一个亦正亦邪的僵尸医生身为僵尸却嗜钱如命搜刮金钱却生活清贫!中医,不只有针灸!如在阅读过程中产生恶心,呕吐等症状,请立即停止阅读本书。并且不需要在书评区留下只字片语以彰显个人品味以免影响其他朋友的阅读心情,谢谢所有朋友合作。...