趣趣阁 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

英国数学家威廉·伯恩赛德在讲一些数学问题的时候,经常把表示理论这样的词说出来。

乔迪·威廉姆森说:“你一直说表示理论,这样的词,这是你的口头禅,还是一个数学理论。”

伯恩赛德说:“是一个理论。”

乔迪怀疑的问到:“表示的是什么?”

伯恩赛德说:“就是一种是一种把复杂的事物用较简单的事物‘表示’的方法。”

乔迪说:“我问的具体的是什么?是群?”

伯恩赛德说:“即使是群也有很多中不同的表示呢?”

乔迪叹气说:“我试着猜猜,比如用不可约群的组成来表示任何一个群这一类型的对吧?”

伯恩赛德说:“这是其中之一,复杂的对象通常是数学对象的集合,比如数字或对称性,它们彼此之间有着特殊的结构关系。”

乔迪说:“听起来不像是新东西,就是一个东西找基本单位而已。”

伯恩赛德说:“在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世纪最着名的证明理论的关键组成部分。

温斯坦说:“我无法想象费马最后定理的任何证明,都与表示理论无关。”

趣趣阁推荐阅读:【HP】布莱克家族重生万妖之皇宝可梦,开局孵出灭尽龙全球进入数据化网游:开局2888亿个属性点重生八零:带着糙汉摆摊致富家有邪神初长成豪门少奶奶:谢少的心尖宠妻四重分裂逆天装备网游:我在无秩序世界飙疯了王国保卫战同人:众生与誓言之歌壹鹿小跑新书崩铁的天才物理学家在线DJ赛尔号巅峰之战民国诡事退休救世主掉到锤四万哪算退休啊强势宠爱:电竞男神是女生不管怎么样我想回去契约到期后我甩了负心汉退婚当天,弃女转身契约魔帝虐杀九州我居然能心想事成篮球梦之挥手之间狂血兵王叶少重返英纳瑞网游之洪荒王者英雄联盟之复刻大师海贼之我是白无常篮坛狂锋之天才在左网游之天命织造师网游:开局SSS天赋,吞噬召唤黙语没有我开不了的团穿越古代:我在运河上做九品闸官纨绔教师灵碑传奇诡秘天机修仙提瓦特战记萌学园之唯你星动稳健修仙,整个修仙界都是我家神职高手抽个名将打天下足坛大师进化录倩女幽魂:逆游岁月的甲鱼网游之超级大法师英雄联盟之正能量全世界OL希望之耀伊利达雷魔影石坚:吾为大帝,当镇世间一切敌
趣趣阁搜藏榜:壹鹿小跑新书崩铁的天才物理学家在线DJ赛尔号巅峰之战民国诡事退休救世主掉到锤四万哪算退休啊强势宠爱:电竞男神是女生不管怎么样我想回去契约到期后我甩了负心汉退婚当天,弃女转身契约魔帝虐杀九州我居然能心想事成篮球梦之挥手之间狂血兵王叶少重返英纳瑞网游之洪荒王者英雄联盟之复刻大师海贼之我是白无常篮坛狂锋之天才在左网游之天命织造师网游:开局SSS天赋,吞噬召唤黙语没有我开不了的团穿越古代:我在运河上做九品闸官纨绔教师灵碑传奇诡秘天机修仙提瓦特战记萌学园之唯你星动稳健修仙,整个修仙界都是我家神职高手抽个名将打天下足坛大师进化录倩女幽魂:逆游岁月的甲鱼网游之超级大法师英雄联盟之正能量全世界OL希望之耀伊利达雷魔影石坚:吾为大帝,当镇世间一切敌赵原柳莎医路青云全文免费阅读大结局[清穿]熙心懿世缘师尊,弟子只想欺师不想灭祖大明朱棣:爹,你咋没死啊?!掌上娇娇支云主教:从1998开始肥水不流外人田身体交换游戏上门女婿的咸鱼生活盗墓:镇灵桃运民工宁以初厉凌炀全文免费阅读完整版
趣趣阁最新小说:原神:探寻璃月的隐秘都市游戏之王改变世界从双城之战开始极夜求生:开局获得寻宝罗盘从穿越火影开始成为最强的忍者网游之重生为魔弑诸神击败梦之队,我统治篮坛医生,不仅看病救命还可以杀鬼子第五人格:民间队爆杀职业队英雄联盟之冠军男友游戏融合:千亿战力,战千亿神明一入网游成大神NBA:谁说我是最强克猩夭寿了,我在游戏养了个修真女友不是废武魂也想拜师?我专教废物吊打天才!LOL:开局中单被限制出境择膏粱恋恋时光簿龙珠超之仙人模式癫!糊咖竟被影帝骗回家亲懵了当调查一队来了个天才画家职场逆袭女重生之我用ai发扬伟大红色精神红色绿茵场:红魔密码小侍郎重生后被戏精王爷叼回家啦重生之我在沈阳电影随笔穿越僵约与马小玲的爱与守护意意相随一人之下:开局蛙崽带回魔神吕布倒霉的我成为野怪后却十分幸运辐射海求生,从小木筏到黑珍珠号王老五修仙记终极恶女:为理留下来传颂之名海上冰路,我能召唤空投物资管够全职体校:国家队全是我的学生长安潇湘浣碧在钮祜禄氏做嫡女华夏神农虫族上将的雄主脾气不好科幻武侠之星际剑侠传穿越之盛世医妃林晚第五人格:各自安好超神之签到崛起入住黄金庭院后,爱莉拉我直播斩神:我的发小会甩锅眉庄:纯元不死你等不过尔尔星铁:开局骷髅,被银狼捡走我若为星君为月