浅淡矩阵.doc

《淺淡矩陣》 講者：田宇正，tenten@ms9.hinet.net，歡迎來信。 矩陣定義／公式簡表 。相等　　　　　 。加法　　　　　 。常數積　　　　 。矩陣積　　　　 。單位方陣Ｉ　　 恆成立 。反方陣Ａ－１　　 。特徵值λ　特徵向量ｕ 。對角矩陣Ｄ 。轉置矩陣Ａｔ　　　 。正交矩陣C 　　 。加法交換律 A + B = B + A 。結合律 A + ( B + C ) = ( A + B ) + CA ( γB ) = ( γA ) B = γ ( AB ) A ( BC ) = ( AB ) C 。分配律 γ ( B + C ) = γB + γCA ( B + C ) = AB + AC A. Cayley (1821-1895) J.J. Sylvester (1814-1897) 「矩陣」，是Auther Cayley大師的發明，這個發明首見於一篇1858年的論文，直接產生於對於不變式理論中關於線性變換的簡單觀察，一直到了1925年，Heisenborg利用矩陣對量子力學進行革命之後，人們才真正明白這項工具有多麼強大。這是在數學史上常常出現的現象：某些應用科學中不可或缺的工具，往往遠在在這門科學被想像出來之前就已經發明了。 不變式概念的各種擴展都由代數不變式理論展生。代數不變式的理論開始於一個極為簡單的觀察：方程式ax2 + 2bx + c = 0的判別式是b2 - ac，當我們把變數x換為另個變數y，並使得x = ( py + q ) / ( ry + s )時，我們將得到一個關於y的方程式Ay2 + 2By + C = 0，其判別式B2 - AC = ( ps - qr ) 2 ( b2 - ac )和原方程的判別式之間只差了一個因子，而這個因子只和我們把x變換成y的方法有關。 不變式理論換成物理學家的講法，也就是對稱性：執行某些變換，變換前後不變的事情即稱對稱。相對論指出一個令人印象深刻的對稱性：在任何不同的慣性座標系之下，測量到的光速都是一樣的。R.F. Feynman是這麼說的：「在量子力學裡，每一條對稱定則都有一條與之對應的守恆律，這個道理是現在大多數物理學家仍然覺得難以置信的事實，是一樁最了不起、最美妙東西。」光速守恆、動量守恆、質能守恆，這些都涵蓋於不變式理論，而不變式理的奠基者就是Cayley和James Joseph Sylvester。 物理定律就是自然界中的不變式。牛頓第二運動定律F = m(dv/dt)中的力和速度都是向量。向量是一組數字，其中包涵了三個座標，每個座標切確的值，只和一開始選定的基底有關。寫成向量的形式還能稱為定律，就代表這件事在任意選定的座標系之下都成立。要討論空間中的不變式，必須要有一般的方法來處理基底變換，我將要用矩陣來解決這個問題。 Ａ、Ｂ二人都站在原點。Ａ君用的座標基底是{a１, a2, a3}，向量v在他的觀察之下座標為(x１, x2, x3)，則有： 另一方面，Ｂ君用的基底是{b１, b2, b3}，他看到的座標是(y１, y2, y3)，類似地我們可以寫下v = BY。所以： 這就是兩基底之間的座標轉換公式。作為練習，在這裡證明牛頓第二運動定律若在Ａ眼裡成立，則在Ｂ眼裡也會為真： 其中，F和v都是代表觀察者所看的到座標。 這裡介紹（但不證明）主軸定理：對於所有對稱矩陣Ｋ，必存在正交矩陣Ｃ和對角矩陣Ｄ，使得ＫＣ＝ＣＤ。為什麼稱之為主軸定理呢？以原點為中心的橢圓或雙曲線ax2 + 2bxy + cy2 = 1，我們可以寫成： 若上述定理為真，則有正交矩陣Ｃ和對角矩陣Ｄ使得： 觀察ＫＣ＝ＣＤ，可以發現Ｃ其實是特徵向量組成的矩陣（KCi=CiDii），而特徵向量的找法則如同課堂上的說明。幾何上來看，ax2 + 2bxy + cy2 = 1圖形是歪歪的，而AX2 + CY2 = 1則是對ＸＹ軸對稱的，所以稱Ｘ軸和Ｙ軸（即特徵向量的方向）為主軸，此定理稱主軸定理。