他嫌标准太松，世界嫌他太硬： 弗罗贝尼乌斯怎样把“不近人情”算成了群论的地基

luyuanhong

他嫌标准太松，世界嫌他太硬： 弗罗贝尼乌斯怎样把“不近人情”算成了群论的地基

原创  南方 Er  南方 Er  2026 年 10 月 29 日 17:26  广东


弗罗贝尼乌斯

不走直线的人

1849 年 10 月 26 日，柏林郊外的夏洛滕堡，一个牧师家庭添了个男孩，取名格奥尔格·弗罗贝尼乌斯（Ferdinand Georg Frobenius）。这个出身不算显赫，却带着一点柏林市民阶层的结实气：讲规矩，也讲手艺。

1867 年，他进入哥廷根大学，只待了一个学期，约一年后于 1868 年回到柏林。柏林那六个学期，他的课表杂得不像话：克罗内克（Leopold Kronecker）、库默尔（Ernst Eduard Kummer）、魏尔斯特拉斯（Karl Weierstrass）是数学主线，旁边还坐着物理学家和哲学家。这不像一条求学直线，倒像一个人沿着柏林大学的走廊挨个推门，看哪间屋里的东西能咬住自己。

1870 年，他交出博士论文《论单变量解析函数用无穷级数表示》，魏尔斯特拉斯主审，评语是“完全优等”。用今天的话说，这大概是那种让导师在评审表上难得不用斟酌措辞的学生。


魏尔斯特拉斯

苏黎世的十七年

毕业后，他先去中学教书。1874 年，柏林大学聘他做编外教授。这里有个不合规矩的细节：按德国当时那套严苛的晋升制度，他连教授资格论文都没做，就直接上了讲台。魏尔斯特拉斯的面子大到了一定程度——他认准弗罗贝尼乌斯是自己最有天赋的学生之一。

柏林只留了他一年。1875 年，他去了苏黎世联邦理工学院当正教授，一待十七年。多数人换城市容易把日子过成过渡，他倒没有。苏黎世十七年，他到处伸手：椭圆函数、线性微分方程、双二次型、有限群。

他的路子很清楚：用计算、用代数、用线性代数的骨架去啃问题。后来有人总结他的数学实践，最扎眼的一句是“算功极强”。连分析工作，他也让代数与线性代数的方法牵着走。抽象在他手里不是旗帜，更像一把把问题削到清楚为止的刀。他不是先搭一个抽象架子再往里塞问题；他是先把计算推到不能再含混的地方，剩下的骨架才叫抽象。清晰、精确，比看起来高深要紧得多。

接住教席，也接住火气

可一个人要是把标准当命，日子往往不会太软。1891 年底，克罗内克去世，柏林空出教席。魏尔斯特拉斯再次用力把他推回去——推荐名单上排第二的是马克斯·诺特（Max Noether），第三是戴德金（Richard Dedekind），魏尔斯特拉斯硬是把弗罗贝尼乌斯推到了第一。


弗罗贝尼乌斯

1892 年 3 月 16 日，他正式成为柏林大学正教授，接的正是克罗内克空出的数学教席。老一代“三巨头”库默尔、魏尔斯特拉斯、克罗内克，换成了新一代的富克斯（Lazarus Fuchs）、弗罗贝尼乌斯、施瓦茨（Hermann Amandus Schwarz）。可新三巨头接不住老三巨头的场子，这大概是当时柏林数学圈里心照不宣的事。

弗罗贝尼乌斯接住了另一摊东西：脾气。史料里写他“偶尔暴躁、好争、爱挖苦”。他对柏林大学的标准有一种绷得很紧的执拗，总觉得教育部随时想把这地方降到技术学校的档次。富克斯让着他，施瓦茨让着他，后来肖特基（Friedrich Hermann Schottky）也让他三分——肖特基能来柏林，欠的正是他的人情。

可二十五年里，柏林数学的命运压在他身上，他却眼睁睁看着博士、教授资格和讲师的数量一点点往下掉，学生人数反倒涨了不少。他拦不住，也受不了。一个急性子，看着自己最在乎的东西从指缝里漏走，那种难受滋味大概是双倍的。

这里倒不必急着给他画一张“恶人脸”。那代柏林数学教授大多把普鲁士新人文主义的大学传统背在身上：研究纯数学、教纯数学，是本分；应用数学？在他眼里，那该归技术学院。他捍卫的不只是自己的面子，而是一套大学观：纯数学是目的，不是服务。可这套大学观也有代价。


克莱因

哥廷根是另一套气候。克莱因（Felix Klein）在那里把数学做得风生水起，弗罗贝尼乌斯看着就来气。作为柏林数学的主要人物，他延续了柏林大学对应用数学的排斥；在某种意义上，这种态度也促成了柏林相对衰落、风头逐渐转向哥廷根。有人写，他对克莱因和索福斯·李（Sophus Lie）的反感“没有边界”。

背对学生的讲课者

他的课也一样，评价是劈开的。

西格尔（Carl Ludwig Siegel）1915/16 冬季学期和 1916 夏季学期坐在台下，后来回忆：弗罗贝尼乌斯讲课完全脱稿，从不看笔记，整整一个学期没出过一次错、没算错过一次。讲连分数那会儿，他显然很享受把一串代数恒等式和递推公式按顺序往外倒，又快又稳，偶尔还往台下扫一眼——那眼神带点轻微的讽刺，因为底下用功的学生已经快跟不上记了。

平时他几乎不看学生，大多时候背对着人，面朝黑板。这画面挺传神：一个把标准刻进骨头里的人，连讲课都像在跟黑板较劲，学生跟不跟得上，那是学生的事。也有人觉得他的课扎实，却不算“刺激”。同一间教室，有人被点着，有人只觉得板正。这大概才是真实：他并不讨好所有人，但他能把该给的东西给足。

1892 年底，他当选柏林科学院（普鲁士科学院）院士，1893 年 1 月获正式确认。魏尔斯特拉斯和富克斯列出的十五个方向就是硬证据：解析函数展成级数、线性微分方程、椭圆函数、西罗（Peter Ludwig Sylow）定理、双二次型、带微分参数的空间曲面……单子摆出来已经够吓人。一个人在苏黎世十七年里朝这么多方向伸手，还都留下站得住的结果，这就不是“勤奋”两个字能打发的。

他在椭圆函数上跟斯蒂克尔伯格（Ludwig Stickelberger）合作的行列式公式，到今天还以两人的名字挂在文献里；线性微分方程在奇点附近的级数解法，现在干脆叫“弗罗贝尼乌斯方法”。翻开数学词典，以他命名的东西能列出一串：弗罗贝尼乌斯代数、弗罗贝尼乌斯自同构、弗罗贝尼乌斯群、弗罗贝尼乌斯同余、弗罗贝尼乌斯范数、弗罗贝尼乌斯互反律、弗罗贝尼乌斯定理。一个人的名字散成这样，说明他摸过的地方多，而且摸得深。

这不是一张百科清单，更像一枚方法指纹。下面几张小卡片，可以看作他“算功”留下的几个指印：

椭圆函数、双二次型

● 干的具体事：与斯蒂克尔伯格合作行列式公式；研究双二次型。

● 留下来的形状：弗罗贝尼乌斯–斯蒂克尔伯格公式仍在用。

线性微分方程

● 干的具体事：在奇点用级数展开，绕过泰勒（Brook Taylor）失效的地方。

● 留下来的形状：“弗罗贝尼乌斯方法”写进教材。

有限群

● 干的具体事：1879 年与斯蒂克尔伯格研究可交换元素，证明有限生成阿贝尔群结构定理；1884 年用共轭类重证西罗定理。

● 留下来的形状：共轭类证明至今是本科群论课的常客。

群特征

● 干的具体事：1896 年《论群特征》直接给任意有限群定义特征。

● 留下来的形状：先有特征，次年表示才进场。

诱导表示

● 干的具体事：1898 年提出诱导表示与弗罗贝尼乌斯互反定理。

● 留下来的形状：表示论机器的一根主梁。

非负矩阵

● 干的具体事：1910 年前后引入矩阵不可约性。

● 留下来的形状：佩龙（Oskar Perron）–弗罗贝尼乌斯定理成了投入产出分析的基本工具。

先有特征，后有表示

群论这条线最能看出他的思想脾气。弗罗贝尼乌斯和他的学生后来对抽象群这一现代概念的发展做出重大贡献；对抽象数学结构的强调，也成为 20 世纪数学的中心主题之一。

可他的抽象不是凭空掉下来的。1879 年那篇与斯蒂克尔伯格合作的论文，标题看着只是“可交换元素”，底下却把有限生成阿贝尔群的结构定理给证了——那个证法今天还在教科书里原样出现。1884 年，他给抽象群重证西罗定理。西罗原来的定理是关于置换群的；弗罗贝尼乌斯换成共轭类来讲，这个讲法今天还在本科课堂里转。

说起来，他进入抽象群，还是因为读克罗内克的一篇论文——不是凭空“转向抽象”，是被一个具体问题牵过去的。


戴德金

真正把表示论推上轨道的那根引线，其实是戴德金。1880 年两人第一次见面，之后通信不断。戴德金在一封信里向弗罗贝尼乌斯提了一个关于“群行列式”的问题——说白了，就是把一个群的乘法表塞进一个行列式里，看能炸出什么。弗罗贝尼乌斯被这个问题咬住了，几个月内就把表示论的地基给刨了出来。他一边刨一边写信向戴德金汇报，信又多又长，戴德金等于全程旁观了这场施工。

1896 年，他在柏林迎来一次爆发：一年五篇群论论文，其中《论群特征》最要命。他在文章里说，要为任意有限群发展特征概念，相信这个概念的引入会实质性地丰富群论。这篇论文 7 月 16 日呈给普鲁士科学院，里面是他前几个月赶出来的活。从当年 4 月 12 日给戴德金的第一封信开始，想法一路长起来。戴德金 1885 年那篇论文给了重要推力，弗罗贝尼乌斯于是构造出一整套复数表示。

可有个地方常被今天的人倒着看：他引入群特征时，并没有拿“表示”当脚手架。到了第二年，表示才真正进场，还是他的概念。所以，若把“表示”作为独立对象来算，1897 年才更像群表示论的出生年；但特征概念 1896 年先到了。先摸到特征的影子，再回头把表示的骨架搭起来。

这地方值得多停一秒，而且可以再往下挖一层。数学史写作很容易犯一个倒推病：后来成了“对象”的东西，我们便以为它一开始就是舞台中央的主角。

可弗罗贝尼乌斯的顺序还提示了另一件事：有时候，一个数学对象在获得“对象”的身份之前，先以“计算工具”的身份存在。 群特征一开始不是作为“表示的不变量”被定义的，它是先被造出来、先用起来，然后人们才发现它背后站着一整套表示。这跟 20 世纪后来那种“先定义结构，再研究结构”的品味正好相反。他不是结构主义的信徒，他是一个在旧工具上磨出新刃子的人。刃子先好用，刀鞘后来才配。

1897 到 1899 年，他连发论文，谈诱导特征、特征张量积。1898 年，诱导表示和弗罗贝尼乌斯互反定理出场。短短一阵，表示论的整套机器有了地基。

1896 年 4 月 26 日给戴德金的信里，他已经给出交错群 A4 、A5 ，对称群 S4 、S5 以及阶为 168 的 PSL(2,7) 的不可约特征。1900 年完全定下对称群的特征，1901 年定下交错群的特征。

1897 年他才读到莫林（Theodor Molien）的工作，信里说“很美，但难”；他把它改写成矩阵语言，再说明自己的特征就是不可约表示的迹。

伯恩赛德（William Burnside）后来把弗罗贝尼乌斯的特征论用得极狠，1911 年版《有限群论》写得漂亮。理论摆着好看没用，得能进别人的工具袋。

他替舒尔拍桌子

他带学生也有一手。兰道（Edmund Landau）1899 年拿到博士，舒尔（Issai Schur）1901 年，雷马克（Robert Remak）1911 年。舒尔跟他的关系尤其近：博士读完，两人在群表示论和特征论上继续合作。

弗罗贝尼乌斯看人准，看准了也不藏着。1917 年他替柏林大学起草继任人选的建议，写到舒尔时简直像在拍桌子：舒尔是二十五年来从他门下出来的最好的学者，跟舒尔比，兰道有才华，舒尔像天才；把兰道提到舒尔头上当正教授，这事没法提。


舒尔

这话带着明显的偏心，甚至有点自利，但你得承认，一个老师肯在公事文件里这样替学生说话，身上是有热气的。可惜他死后，学院把舒尔和卡拉泰奥多里（Constantin Carathéodory）并列第一，最后选的是卡拉泰奥多里，舒尔 1919 年才在柏林拿到一个个人教席。弗罗贝尼乌斯生前想安排的事，死后没算数。

雷马克那条线更沉。他 1911 年博士毕业，后来在奥斯维辛被杀害。一个弗罗贝尼乌斯带出来的学生，最后死在那个地方——这事放在任何一部数学史里都该有人停一下笔。

标准进了教材，气候进了校史

晚年他转向正矩阵和非负矩阵，引入矩阵不可约性。1910 年前后那批论文，至今仍是这个领域的基本结果。佩龙–弗罗贝尼乌斯定理后来跑进投入产出模型，用来判断一个经济系统能不能平衡增长——这大概是他本人最不关心的用法，可定理不管这些。更反讽的是，他轻视应用数学，可他有限群理论的基础工作，后来却在量子力学和理论物理里找到出人意料的重要应用。


弗罗贝尼乌斯

1917 年 8 月 3 日，他在柏林去世。也怪：这么大一个数学家，死后几乎找不到一篇像样的长篇讣告，长期也没有一部像样的传记；三卷本全集《Gesammelte Abhandlungen》要等到 1968 年才由塞尔（Jean-Pierre Serre）编出来。

有些人活着时把标准拧得太紧，死后反倒被晾在一边——这大概也是一种代价。他维护的纯数学传统，最后被哥廷根抢了风头；他看中的学生，最后没坐上他的椅子；他的名字散在词典里，故事却没几个人愿意讲。还有一层时间上的残忍：克莱因活到 1925 年，他 1917 年就走了，没活到看见克莱因谢幕。他输掉的，不是一场活着时能等到结局的仗。把标准当命的人，常常在制度上输给更会经营气候的人；可标准会进入教材，气候只进入校史。这话有点狠，放在弗罗贝尼乌斯身上，不算离谱。

南方 Er