本文轉自周志成老師博客 ccjou.wordpress

美國數學教授克萊恩(Morris Kline)說：「矩陣理論在被創造前就已發展完善。」 這句話讓人一頭霧水，要理清話中的涵意必須從矩陣的發展曆史說起。

十七至十九世紀中葉，數學活動在歐洲以飛快的速度朝着各個領域發展，此時關于「陣列」(簡: 數組, array)運算的研究全部集中于行列式理論，矩陣理論并未随着行列式同步發展。事實上，矩陣理論足足落後行列式兩百年之久。1850年，英國數學家西爾維斯特(James Joseph Sylvester)将矩形陣列命名為「矩陣」 (matrix)，但他并未定義矩陣乘法。1857年，英國數學家凱萊(Arthur Cayley)發表一篇被後世公認為近代矩陣理論和線性代數基石的論文〈矩陣理論備忘錄〉( A Memoir on the Theory of Matrices )，他将矩陣從行列式抽離出來，視之為另一個數學物件，并且定義完備的矩陣代數運算。

這段曆史顯示矩陣乘法──矩陣理論中最重要的一個代數運算──絕對不是如數學課本所述那般理所當然，矩陣乘法定義隐含深層的意義，否則為何衆多優秀的數學家竟然看不出矩陣理當如此相乘。今天我們事後諸葛，已然明了矩陣代數之所以遲至十九世紀中葉才誕生的最主要原因在于人們一直無法确定矩陣的本質與功用究竟為何。

阿瑟·凱萊被認為是矩陣論的奠基人

據我所知，不少高中學生曾經發明各式各樣的創意矩陣乘法，例如，有人以下列方式計算兩個同階方陣的乘積：

無疑地，這個矩陣乘法被視為數學上的無知，認真負責的老師立刻将它更正為

前面這個被老師糾正的創意發明稱為 「Hadamard 乘積」。對于相同尺寸的矩陣(同為 m×n 階矩陣) A 和 B，Hadamard乘積定義為如下所示 ，因此也稱作「分元」(entrywise)乘積。老師和課本指定的矩陣乘法稱為一般矩陣乘積，也就是目前線性代數采用的「正規」運算方式。

請讀者仔細想想：除非你預先設定矩陣乘積的意義及其用途，否則何從判斷這兩種乘法的對錯？多數學生想不出更好的辯駁理由，最後隻能默默地接受這個看似無厘頭的定義，并且相信老師的善意忠告：「大學線性代數會給大家一個清楚的交代。」

大學線性代數果真就說清楚講明白了嗎？恐怕未必。與其照本宣科重述一次高中數學課本給出的矩陣乘積定義，我們不妨尋思凱萊究竟根據什麼理念設計矩陣乘法規則。1894年，凱萊對蘇格蘭數學物理學家泰特(Peter Tait)道出引領他至矩陣記号的動機并非四元數(quaternion)，而是源于行列式或為了方便表達線性方程：

我并不是從四元數得到矩陣的概念，它直接源自于行列式，或為了方便表示方程組

1855年，凱萊正着手線性複合(composition)映射的研究。「線性映射(linear mapping)」 涵蓋許多數學主題，這需要作一番說明。設定義域(domain) D 與值域(range) R 為具有加法和純量乘法的集合，我們稱 f: D→R 為線性映射，如果任意 x,y ∈ D 滿足這兩個條件：

其中 為标量。舉一些常見的例子，比如，f1(x)=ax 的圖形表現為平面上一條穿越原點的直線，它符合線性映射的要求。但 f2(x)=ax b(b≠0) 不是線性映射，它是線性映射再加上平移量 b，圖形表現為一條未穿越原點的直線。又如 f3(x,y)=ax by 代表三維空間中穿越原點的一個平面，很容易驗證 f3 滿足上述線性映射定義。微分與積分運算都是線性映射，因為下列微分與積分法則成立：

而且

矩陣的轉置(transpose)運算也是線性映射。考慮 f(A)=A^T， 滿足

凱萊與泰特的談話提供了重建矩陣乘法發明過程的一些線索。1855年的某一天，凱萊望着案前的筆記沉思良久，筆記本上寫着：

凱萊從小就着迷于解決複雜的數學難題，眼前這兩個線性映射困擾他很長的一段時間。經過幾番考慮之後，他動筆計算 f 與 g 的複合，整理得到一個新的線性映射：

凱萊默想着這個方程式，或許是從行列式得來的靈感，他突然想到為何不用陣列來表示線性映射的系數呢？于是他将線性映射 f，g 和 h 分别表示為

像多數的數學家一樣，凱萊深信數學的基本形式總是存在的，觀察這三個線性映射的陣列表達讓他更加堅定信念。才氣洋溢的凱萊大膽構思H即為 F 和 G 的複合(或乘積)，他要做的是「乘開」矩陣 F 和 G，然後令矩陣乘積 FG 等于 H，于是他興奮地寫下

頓時矩陣乘法的運算規則誕生了。也許凱萊特别幸運，也或許是他的數學直覺格外敏銳，但不論如何，他給出了一個自然而且有用的矩陣乘法定義。

凱萊的基本思想是用矩陣乘積來表示線性複合映射，但他并不是第一個考慮線性複合映射問題的數學家。早在1801年，高斯(Carl Friedrich Gauss) 就已經使用這種複合計算，但高斯并沒有以陣列形式記錄系數。對許多數學家來說，矩陣乘法談不上精巧的發明，凱萊将線性複合映射與矩陣乘積聯系在一起的作為顯得無足輕重，因為他既未解出困難的問題，也沒有證明偉大的定理。然而，矩陣以及乘法運算的發明顯示良好設計符号的重要性，同時也點出部分數學家不願意承認的一個事實：外表看似平凡無奇的表述符号可能是具有廣泛應用的重要理論的萌芽條件之一。最後曆史證明凱萊異于常人的洞察力為矩陣理論與線性代數的發展開啟了一扇大門。

更多精彩资讯请关注tft每日頭條，我们将持续为您更新最新资讯!