數學上，一個 m times n 的矩陣是一個有 mzhcn 行；zhtw 列；（row）nzhcn 列；zhtw 行；（column）元素的矩形陣列。矩陣的元素可以是數字或符號甚至是函式。 begin bmatrix a_1 1 a_1 2 a_1 3 dots a_1 j dots a_1 n a_2 1 a_2 2 a_2 3 dots a_2 j dots a_2 n a_3 1 a_3 2 a_3 3 dots a_3 j dots a_3 n vdots vdots vdots ddots vdots ddots vdots a_i 1 a_i 2 a_i 3 dots a_i j dots a_i n vdots vdots vdots ddots vdots ddots vdots a_m 1 a_m 2 a_m 3 dots a_m j dots a_m nend bmatrix 大小相同（行數列數都相同）的矩陣之間可以相互加減，具體是對每個位置上的元素做加減法。矩陣乘法則較為複雜。兩個矩陣可以相乘，當且僅當第一個矩陣的 zhcn 列；zhtw 行； 數等於第二個矩陣的 zhcn 行；zhtw 列； 數。矩陣乘法滿足結合律和分配律，但不滿足交換律。 矩陣的一個重要用途是解線性方程組。線性方程組中未知量的係數可以排成一個矩陣，加上常數項，則稱為增廣矩陣。另一個重要用途是表示線性變換，即是諸如 f x4x 之類的線性函式的推廣。設定基底後，某個向量 mathrm v 可以表示為 m times 1 的矩陣，而線性變換 f 可以表示為 zhcn 列；zhtw 行； 數為 m 的矩陣 A，使得經過變換後得到的向量 f mathrm v 可以表示成 Amathrm v 的形式。矩陣的特徵值和特徵向量可以揭示線性變換的深層特性。 矩陣是高等代數學中的常見工具，也常見於統計分析等應用數學學科中。在物理學中，矩陣在力學、電路學、光學和量子物理等領域中都有應用；計算機科學中，三維動畫製作也需要用到矩陣。矩陣的運算是數值分析領域的重要問題。將矩陣分解為簡單矩陣的組合可以在理論和實際應用上簡化矩陣的運算。對一些應用廣泛而形式特殊的矩陣，例如稀疏矩陣和準對角矩陣，有特定的快速運算演算法。關於矩陣相關理論的發展和應用，請參考矩陣理論。在天體物理、量子力學等領域，也會出現無窮維的矩陣，是矩陣的一種推廣。 詞源 中文中矩陣的概念最早見於 1922 年。1922 年，北京師範大學附屬中學數學老師程廷熙在一篇介紹文章中將矩陣譯為 縱橫陣。1925 年，在科學名詞審查會算學名詞審查組刊登於《科學》第十卷第四期的審定名詞表中，矩陣被翻譯為 矩陣式，方塊矩陣翻譯為 方陣式，而各類矩陣如 正交矩陣、伴隨矩陣 中的 矩陣 則被翻譯為 方陣。1935 年，中國數學會審查後，中華民國教育部審定的《數學名詞》（並 通令全國各院校一律遵用，以昭劃一）中，矩陣 作為譯名首次出現。1938 年，曹惠群在接受科學名詞審查會委託就數學名詞加以校訂的《算學名詞彙編》中，認為應當的譯名是 長方陣。1949 年中華人民共和國成立後編訂的《數學名詞》中，則將譯名定為 （矩）陣。1993 年，中國自然科學名詞審定委員會公佈的《數學名詞》中，矩陣 被定為正式譯名，並沿用至今。 發展 作為解決線性方程的工具，矩陣也有不短的歷史。成書最遲在東漢前期的《九章算術》中，已經出現過以矩陣形式表示線性方程組係數以解方程的圖例，可視為矩陣的雛形。矩陣正式作為數學中的研究物件出現，則是在行列式的研究發展起來後。邏輯上，矩陣的概念先於行列式，但在歷史上則恰好相反。日本數學家關孝和（1683 年）與微積分的發現者之一戈特弗裡德威廉萊布尼茨（1693 年）近乎同時獨立建立了行列式論。其後行列式作為解線性方程組的工具逐步發展。1750 年，加布里爾克拉默發現了克萊姆法則。 進入十九世紀後，行列式的研究進一步發展，矩陣的概念也應運而生。奧古斯丁路易柯西是最早將行列式排成方陣並將其元素用雙重下標表示的數學家。他還在 1829 年就在行列式的框架中證明了實對稱矩陣特徵根為實數的結論。其後，詹姆斯約瑟夫西爾維斯特注意到，在作為行列式的計算形式以外，將數以行和列的形式作出的矩形排列本身也是值得研究的。在他希望引用數的矩形陣列而又不能用行列式來形容的時候，就用 matrix 一詞來形容。而在此之前，數學家已經開始將增廣矩陣作為獨立的物件引用了。西爾維斯特使用 matrix 一詞是因為他希望討論行列式的子式，即將矩陣的某幾行和某幾列的共同元素取出來排成的矩陣的行列式，所以實際上 matrix 被他看做是生成各種子式的 母 體： 阿瑟凱萊被公認為矩陣論的奠基人。他開始將矩陣作為獨立的數學物件研究時，許多與矩陣有關的性質已經在行列式的研究中被發現，這也使得凱萊認為矩陣的引進是十分自然的。他說：我決然不是透過四元數而獲得矩陣概念的；它或是直接從行列式的概念而來，或是作為一個表達線性方程組的方便方法而來的。 他從 1858 年開始，發表了《矩陣論的研究報告》等一系列關於矩陣的專門論文，研究了矩陣的運算律、矩陣的逆以及轉置和特徵多項式方程。凱萊還提出了凱萊 哈密爾頓定理，並驗證了 33 矩陣的情況，又說進一步的證明是不必要的。哈密爾頓證明了 44 矩陣的情況，而一般情況下的證明是弗羅貝尼烏斯於 1898 年給出的。 此後更多數學家開始對矩陣進行研究。埃爾米特證明了如果矩陣等於其複共軛轉置，則特徵根為實數。這種矩陣後來被稱為埃爾米特矩陣。弗羅貝尼烏斯對矩陣的特徵方程、特徵根、矩陣的秩、正交矩陣、矩陣方程等方面做了大量工作。1878 年，在引進了不變因子、初等因子等概念的同時，弗羅貝尼烏斯給出了正交矩陣、相似矩陣和合同矩陣的概念。同年，他探討了矩陣的最小多項式（最小方程）問題。1894 年的論文中，他討論了矩陣理論和四元數理論的關係。1896 年，他給出了凱萊 哈密爾頓定理的完整證明。矩陣理論在 19 世紀沿著兩個方向發展，分別是作為抽象代數結構和作為代數工具描述幾何空間的線性變換。矩陣理論為群論和不變數理論的發展。 無限維矩陣的研究始於 1884 年。龐加萊在兩篇不嚴謹地使用了無限維矩陣和行列式理論的文章後開始了對這一方面的專門研究。1906 年，希爾伯特引入無限二次型（相當於無限維矩陣）對積分方程進行研究，極大地促進了無限維矩陣的研究。在此基礎上，施密茨、赫林格和特普利茨發展出運算元理論，而無限維矩陣成為了研究函式空間運算元的有力工具。 正式定義 直觀上就是用兩個數碼去標記一堆數學實體（如數字、函式），實際上是有限序列的一種推廣。 mathbf Aij 被暱稱為矩陣 mathbf A 裡的元素，通常簡記為 mathbf A_ij、mathbf A_i j 或 mathbf A_ij。除此之外也會用小寫字母 mathrm a_i j 表示元素，來跟矩陣 mathbf A 本身做區別。但不知 mathbf A 的具體形式卻想強調 mathrm a_i j 為 mathbf A 的元素的話，可以 mathbf A mathrm a_ij_m times n 或 mathbf A mathrm a_ij_m times n 表示。 如果表示式 f ij T ij（嚴格來說是合式公式，其中 T 為一個包含變數 T ij 的項）可以唯一決定一個矩陣 mathbf A ，那會將它記成 mathbf A T ij_m times n 。如： mathbf A12ldotsm times 12ldotsn to N 且 mathbf Aij i j 就可以表達為 mathbf A i j_m times n 。 根據公理化集合論，可以定義一個函式的集合 Sm times n ，它囊括所有定義在 S 上的 m times n 矩陣，也就是說： Smtimes n left f f12ldotsm times 12ldotsn to S right 行與列 以下的 3 times 2 矩陣： leftleft 11a right left 12b right left 21c right left 22d right left 31e right left 32f right right 一般會如下排列成為矩形來表示： begin bmatrix a b c d e f end bmatrix 英文將橫向的元素組統稱為「row」，縱向統稱為「column」；但兩岸對此卻以不同的稱呼；在中國大陸，橫向的元素組稱為「行」，縱向稱為「列」，而在臺灣則相反，橫向稱為「列」，縱向稱為「行」。 行數是 1 或列數是 1 的矩陣又可分別稱為行向量和列向量，在有限維的情況下，向量可用其分量表示成行數或列數是 1 的矩陣。 範例 mathbf B left i2j right_2 times 3 是矩陣 mathbf B begin bmatrix 3 5 7 4 6 8 end bmatrix 的簡寫。要注意的是，計算機程式設計中，由於陣列的首項是第 0 項，故程式設計者可能會將第 1 行／列稱為第 0 行／列，從而對矩陣的寫法產生影響，比如矩陣 mathbf B 就要改寫成 mathbf B left i2j3 right_2 times 3。 矩陣的元素可以是數字、符號或數學表示式。一般為了支援矩陣的運算，矩陣的元素之間應當能做加減法和乘法，所以是某個環的元素。最常見的是元素屬於實數域或複數域的矩陣，簡稱為實矩陣和復矩陣。更一般的情況下，矩陣的元素可以是由一個環中的元素排成。給定一個環 mathbf R，所有由 mathbf R 中元素排成的 m times n 矩陣的集合寫作 mathcal Mmnmathbf R 或 mathcal M_m times nmathbf R。若 mn，則通常記以 mathcal Mmmathbf R 或 mathcal M_m mathbf R，稱其為 n 維矩陣或方陣。 矩陣的基本運算 矩陣的最基本運算包括矩陣加（減）法，數乘和轉置運算。被稱為 矩陣加法、數乘 和 轉置 的運算不止一種，其中最基本最常用的定義如下： 運算 定義 例子 加（減）法 m times n 矩陣 mathbf A 和 mathbf B 的和（差）：mathbf Apmmathbf B 為一個 m times n 矩陣，其中每個元素是 mathbf A 和 mathbf B 相應元素的和（差）， mathbf Apmmathbf B_ijmathbf A_ijpmmathbf B_ij， 其中 1leq i leq m 1leq j leq n begin bmatrix 1 3 1 1 0 0 end bmatrix begin bmatrix 0 0 5 7 5 0 end bmatrix begin bmatrix 10 30 15 17 05 00 end bmatrix begin bmatrix 1 3 6 8 5 0 end bmatrix 數乘 標量 c 與矩陣 mathbf A 的數乘：c mathbf A 的每個元素是 mathbf A 的相應元素與 c 的乘積， c mathbf A_ijccdotmathbf A_ij 2 cdot begin bmatrix 1 8 3 4 2 5 end bmatrix begin bmatrix 2 cdot 1 2cdot 8 2cdot 3 2cdot 4 2cdot 2 2cdot 5 end bmatrix begin bmatrix 2 16 6 8 4 10 end bmatrix 轉置 m times n 矩陣 mathbf A 的轉置是一個 n times m 的矩陣，記為 mathbf Amathrm T（有些書中也記為 mathbf Amathrm tr 或 mathrm tmathbf A、mathbf A），其中的第 i 個 zhcn 行；zhtw 列； 向量是原矩陣 mathbf A 的第 i 個 zhcn 列；zhtw 行； 向量；或者說，轉置矩陣 mathbf Amathrm T 第 izhcn 行；zhtw 列； 第 jzhcn 列；zhtw 行； 的元素是原矩陣 mathbf A 第 jzhcn 行；zhtw 列； 第 izhcn 列；zhtw 行； 的元素， mathbf Amathrm T_ij mathbf A_ji begin bmatrix 1 2 3 0 6 7 end bmatrixT begin bmatrix 1 0 2 6 3 7 end bmatrix 矩陣的加法運算滿足交換律：mathbf Amathbf Bmathbf Bmathbf A 。矩陣的轉置和數乘運算對加法滿足分配律： mathbf Amathbf Bmathrm Tmathbf Amathrm Tmathbf Bmathrm T c mathbf Amathbf Bcmathbf Acmathbf B 矩陣加法和數乘兩種運算使得 mathcal Mmnmathbb R 成為一個 m n 維的實數線性空間。而轉置和數乘運算滿足類似於結合律的規律： c mathbf Amathrm Tc mathbf Amathrm T 矩陣也有類似行列式的初等變換，即對矩陣的某些行和某些列進行三類操作：交換兩行／列，將一行／列的每個元素都乘以一個固定的量，以及將一行／列的每個元素乘以一個固定的量之後加到另一行／列的相應元素上。這些操作在求其逆矩陣時有用。 矩陣乘法 兩個矩陣的乘法僅當第一個矩陣 mathbf A 的 zhcn 列；zhtw 行； 數 column 和另一個矩陣 mathbf B 的 zhcn 行；zhtw 列； 數 row 相等時才能定義。如 mathbf A 是 m times n 矩陣和 mathbf B 是 n times p 矩陣，它們的乘積 mathbf AB 是一個 m times p 矩陣，它的一個元素 mathbf AB_ij A_i1 B_1j A_i2 B_2j cdots A_in B_nj sum_r1n A_ir B_rj 其中 1leq ileq m 1leq jleq p。 例如 begin bmatrix 1 0 2 1 3 1 end bmatrix times begin bmatrix 3 1 2 1 1 0 end bmatrix begin bmatrix 1 times 3 0 times 2 2 times 1 1 times 1 0 times 1 2 times 0 1 times 3 3 times 2 1 times 1 1 times 1 3 times 1 1 times 0 end bmatrix begin bmatrix 5 1 4 2 end bmatrix 矩陣的乘法滿足結合律和對矩陣加法的分配律（左分配律和右分配律）： 結合律：mathbf ABmathbf Cmathbf Amathbf BC 左分配律：mathbf Amathbf Bmathbf Cmathbf ACmathbf BC 右分配律：mathbf Cmathbf Amathbf Bmathbf CAmathbf CB 矩陣的乘法與數乘運算之間也滿足類似結合律的規律；與轉置之間則滿足倒置的分配律。 c mathbf ABcmathbf Amathbf Bmathbf Acmathbf B mathbf ABmathrm Tmathbf Bmathrm Tmathbf Amathrm T 矩陣乘法不滿足交換律。一般來說，矩陣 mathbf A 及 mathbf B 的乘積 mathbf AB 存在，但 mathbf BA 不一定存在，即使存在，大多數時候 mathbf ABneqmathbf BA。比如下面的例子： begin bmatrix 1 2 3 4 end bmatrix begin bmatrix 0 1 0 0 end bmatrix begin bmatrix 0 1 0 3 end bmatrix qquad quad begin bmatrix 0 1 0 0 end bmatrix begin bmatrix 1 2 3 4 end bmatrix begin bmatrix 3 4 0 0 end bmatrix 。 這一特性使得矩陣代數與常見的一些數域（有理數、實數、複數）以及環（多項式環、整數環）都不同。給定一個 n 維的方塊矩陣 mathbf A，與 mathbf A 交換的所有方塊矩陣構成一個環，稱為 mathbf A 的交換子環。這些矩陣也構成 mathcal Mnmathbb R 的一個子空間，稱為 mathbf A 的可交換空間 。與 mathcal Mnmathbb R 中所有矩陣交換的矩陣只有形如 lambda mathbf I_n lambda in mathbb R 的矩陣（稱為數乘矩陣）。其中的 mathbf I_n 是單位矩陣，也就是主對角線上的元素為 1，其它元素為 0 的矩陣。任意矩陣 mathbf M 乘以單位矩陣都得到自身： mathbf M mathbf I_n mathbf M mathbf I_n mathbf M。 除了最常見的矩陣乘法定義以外，也有一些較不常見的矩陣乘法，比如阿達馬乘積和克羅內克乘積。 線性方程組 矩陣乘法的一個基本應用是線上性方程組上。線性方程組是方程組的一種，它符合以下的形式： begin cases a_11 x_1 a_12 x_2 cdots a_1n x_n b_1 a_21 x_1 a_22 x_2 cdots a_2n x_n b_2 vdots quad quad quad vdots a_m1 x_1 a_m2 x_2 cdots a_mn x_n b_m end cases 其中的 a_11 a_12 以及 b_1 b_2 等等是已知的常數，而 x_1 x_2 等等則是要求的未知數。運用矩陣的方式，可以將線性方程組寫成一個向量方程： mathbf A mathbf x mathbf b 其中，mathbf A 是由方程組裡未知量的係數排成的 m times n 矩陣，mathbf x 是含有 n 個元素的 zhcn 行；zhtw 列； 向量，mathbf b 是含有 m 個元素的 zhcn 行；zhtw 列； 向量。 mathbf A begin bmatrix a_11 a_12 cdots a_1n a_21 a_22 cdots a_2n vdots vdots ddots vdots a_m1 a_m2 cdots a_mn end bmatrixquad mathbf x begin bmatrix x_1 x_2 vdots x_n end bmatrixquad mathbf b begin bmatrix b_1 b_2 vdots b_m end bmatrix 這個寫法下，將原來的多個方程轉化成一個向量方程，在已知矩陣 mathbf A 和向量 mathbf b 的情況下，求未知向量 mathbf x。 線性變換 矩陣是線性變換的便利表達法。矩陣乘法的本質在聯絡到線性變換的時候最能體現，因為矩陣乘法和線性變換的合成有以下的聯絡： 以 mathbb Rn 表示所有長度為 n 的 zhcn 行；zhtw 列； 向量的集合。每個 m times n 的矩陣 mathbf A 都代表了一個從 mathbb Rn 射到 mathbb Rm 的線性變換。反過來，對每個線性變換 f mathbb Rn rightarrow mathbb Rm，都存在唯一矩陣 mathbf A_f 使得對所有 mathbb Rn 中的元素 x，f x A_f x。這個矩陣 mathbf A_f 第 izhcn 行；zhtw 列； 第 jzhcn 列；zhtw 行； 上的元素是正則基向量 mathbf e_j 0 cdots 0 10 cdots 0T（第個元素是 1，其餘元素是 0 的向量）在 f 對映後的向量 f mathbf e_j 的第 i 個元素。 也就是說，從 mathbb Rn 射到 mathbb Rm 的線性變換構成的向量空間 mathcal L left mathbb Rn mathbb Rm right 上存在一個到 mathcal Mmnmathbb R 的一一對映：f mapsto A_f 以下是一些典型的 2 維實平面上的線性變換對平面向量（圖形）造成的效果，以及它們對應的 2 維矩陣。其中每個線性變換將藍色圖形對映成綠色圖形；平面的原點 0 0 用黑點表示。 推移，幅度 m125 水平鏡射變換 擠壓 變換，壓縮程度 r32 伸縮，32 倍 旋轉，左轉 30 begin bmatrix 1 125 0 1 end bmatrix begin bmatrix 1 0 0 1 end bmatrix begin bmatrix frac 32 0 0 frac 23 end bmatrix begin bmatrix frac 32 0 0 frac 32 end bmatrix begin bmatrixcos frac pi6 sin frac pi6 sin frac pi6 cos frac pi6end bmatrix 設有 k times m 的矩陣 mathbf B 代表線性變換 gmathbf Rmrightarrowmathbf Rk，則矩陣積 mathbf BA 代表了綫性變換的複合 gcirc f，因為 gcirc fxg f xg mathbf Axmathbf Bmathbf Axmathbf BAmathbf x 矩陣的秩是指矩陣中線性無關的行／列向量的最大個數，同時也是矩陣對應的線性變換的像空間的維度。秩－零化度定理說明矩陣的 zhcn 列；zhtw 行； 數量等於矩陣的秩與零空間維度之和。 方塊矩陣 行數與列數相同的矩陣稱為方塊矩陣，簡稱方陣。所有 n 維的方塊矩陣構成一個線性空間，這個空間對矩陣乘法也是封閉的，因此也是一個代數。方陣 mathbf A 稱為可逆或非奇異的，如果存在另一個方陣 mathbf B，使得 mathbf ABmathbf I_n 成立。這時候可以證明也有 mathbf BAmathbf I_n 成立，可將矩陣 mathbf B 稱為 mathbf A 的逆矩陣。一個矩陣 mathbf A 的逆矩陣如果存在的話，就是唯一的，通常記作 mathbf A1。 矩陣 mathbf A 的元素 A_ii 稱為其主對角線上的元素。方塊矩陣 mathbf A 的所有主對角線元素之和稱為它的跡，寫作 mathrm trmathbf A。儘管矩陣的乘法不滿足交換律，方陣相乘時交換順序會導致乘積變化，但它們的跡不會變，即 mathrm trmathbf ABmathrm trmathbf BA 這個結論容易從矩陣乘法的定義獲得： scriptstyleoperatorname trmathsf AB sum_i1m sum_j1n A_ij B_ji operatorname trmathsf BA。。除此以外，矩陣轉置的跡等於其自身的跡，mathrm trmathbf Amathrm trmathbf Amathrm T。 如果一個方陣只有主對角線上的元素不是 0，其它都是 0，那麼稱其為對角矩陣。如果主對角線上方的元素都是 0，那麼稱為下三角矩陣；反之如果主對角線下方的元素都是 0，那麼稱為上三角矩陣。例如 n3 的時候，這些矩陣分別寫作： begin bmatrix d_11 0 0 0 d_22 0 0 0 d_33 end bmatrix （對角矩陣）， begin bmatrix l_11 0 0 l_21 l_22 0 l_31 l_32 l_33 end bmatrix （下三角矩陣）和 begin bmatrix u_11 u_12 u_13 0 u_22 u_23 0 0 u_33 end bmatrix（上三角矩陣）。 行列式 方塊矩陣 mathbf A 的行列式是一個將其對映到標量的函式，記作 det mathbf A 或 mathbf A，反映了矩陣自身的一定特性。一個方陣的行列式等於 0 當且僅當該方陣不可逆。係數是實數的時候，二維（三維）方陣 mathbf A 的行列式的絕對值表示單位面積（體積）的圖形經過 mathbf A 對應的線性變換後得到的圖形的面積（體積），而它的正負則代表了對應的線性變換是否改變空間的定向：行列式為正說明它保持空間定向，行列式為負則說明它逆轉空間定向。 22 矩陣的行列式是 begin vmatrix abcdend vmatrix adbc 。 33 矩陣的行列式由 6 項組成。更高維矩陣的行列式則可以使用萊布尼茲公式寫出，或使用拉普拉斯展開由低一維的矩陣行列式遞推得出。 兩個矩陣相乘，乘積的行列式等於它們的行列式的乘積：det mathbf ABdet mathbf Acdotdet mathbf B。將矩陣的一行／列乘以某個係數加到另一行／列上不改變矩陣的行列式，將矩陣的兩行／列互換則使得其行列式變號。用這兩種操作可以將矩陣變成一個上三角矩陣或下三角矩陣，而後兩種矩陣的行列式就是主對角線上元素的乘積，因此能方便地計算。運用行列式可以計算線性方程組的解（見克萊姆法則）。 特徵值與特徵向量 n times n 的方塊矩陣 mathbf A 的一個特徵值和對應特徵向量是滿足 mathbf Avlambdamathbf v 的標量 lambda 以及非零向量 mathbf v。特徵值和特徵向量的概念對研究線性變換很有幫助。一個線性變換可以透過它對應的矩陣在向量上的作用來視覺化。一般來說，一個向量在經過對映之後可以變為任何可能的向量，而特徵向量具有更好的性質 。假設在給定的基底下，一個線性變換對應著某個矩陣 mathbf A，如果一個向量 mathbf x 可以寫成矩陣的幾個特徵向量的線性組合： mathbf x c_1 mathbf x_lambda_1 c_2 mathbf x_lambda_2 cdots c_k mathbf x_lambda_k 其中的 mathbf x_lambda_i 表示此向量對應的特徵值是 lambda_i，那麼向量 mathbf x 經過線性變換後會變成： mathbf Ax c_1 lambda_1 mathbf x_lambda_1 c_2 lambda_2 mathbf x_lambda_2 cdots c_k lambda_k mathbf x_lambda_k 可以清楚地知道變換後向量的結構。 另一個等價的特徵值定義是：標量 lambda 為特徵值，如果矩陣 mathbf A lambda mathbf I_n 是不可逆矩陣。根據不可逆矩陣的性質，這個定義也可以用行列式方程描述：lambda 為特徵值，如果 det lambda mathbf I_n mathbf A 0 這個定義中的行列式可以展開成一個關於 lambda 的 n 階多項式，叫做矩陣的特徵多項式，記為 p_mathbf A。特徵多項式是一個首一多項式（最高次項係數是 1 的多項式）。它的根就是矩陣 mathbf A 特徵值。哈密爾頓－凱萊定理說明，如果用矩陣 mathbf A 本身代替多項式中的不定元 lambda，那麼多項式的值是零矩陣： p_mathbf Amathbf A 0。 對稱 轉置等於自己的矩陣，即滿足 mathbf Amathbf Amathrm T 的方塊矩陣 mathbf A 叫做對稱矩陣。滿足 mathbf Amathbf Amathrm T 的矩陣稱為反對稱矩陣。在復係數矩陣中，則有埃爾米特矩陣的概念：滿足 mathbf Amathbf A 的方塊矩陣稱為埃爾米特矩陣，其中的 mathbf A 表示 mathbf A 的共軛轉置矩陣。 根據譜定理，實對稱矩陣和復埃爾米特矩陣擁有特徵基，即由矩陣的特徵向量組成的基底。因此任何向量都能表示成矩陣特徵向量的線性組合。此外，這兩類矩陣的特徵值都是實數。 正定性 矩陣表示式 begin bmatrix frac 14 0 0 frac 14end bmatrix begin bmatrix frac 14 0 0 frac 14end bmatrix 正定性 不定矩陣 正定矩陣 對應二次型 Q x y frac14 x2 y2 Q x y frac14 x2 y2 取值影像 說明 正定矩陣對應的二次型的取值範圍永遠是正的，不定矩陣對應的二次型取值則可正可負 正定矩陣對應的二次型的取值範圍永遠是正的，不定矩陣對應的二次型取值則可正可負 n times n 的實對稱矩陣 mathbf A 如果滿足對所有非零向量 mathbf xin mathbf Rn，對應的二次型 Q mathbf xmathbf xmathrm Tmathbf Ax 函式值都是正數，就稱 mathbf A 為正定矩陣。類似地還有半正定矩陣、負定矩陣、不定矩陣等概念。對稱矩陣的正定性與其特徵值密切相關。矩陣是正定的當且僅當其特徵值都是正數。 矩陣的計算 矩陣在許多學科領域中都有應用，在很多時候，除了需要知道矩陣的理論性質以外，還需要計算矩陣的數值。為了矩陣的計算能夠足夠精確與快捷，數值線性代數中專門有研究矩陣的數值計算方法。與其它的數值計算一樣，矩陣的數值計算注重的主要也是演算法的複雜度和數值穩定性。矩陣的數值計算可以使用直接計算，也可以用迭代演算法，例如在計算方塊矩陣的特徵值時，可以從一個非零向量 x_0 開始，透過特定迭代方法得到一個逼近某個特徵向量的向量序列。 測量一個演算法的複雜度是指估計此演算法需要的基本運算如數字的加法和乘法的次數，或者找出它的一個上界。例如按照定義計算的話，兩個 n 階方陣的乘法需要 n3 次數字乘法計算，因為其乘積是一個 n 階方陣，有 n2 個元素，計算每個元素需要 n 次數字乘法。如果使用施特拉森演算法的話，可以將數字乘法的次數減低到大約 n28 次。此外，程式語言或環境本身對演算法的複雜度也會有影響。 某些特殊型別的矩陣攜帶的資料量比一般矩陣要少，同時帶來的資訊量比一般矩陣多。一個重要的例子是稀疏矩陣，這類矩陣中絕大部分的元素是零。有關稀疏矩陣的計算，如計算稀疏矩陣 mathbf A 的線性方程組 mathbf Axmathbf b 時，可以使用一些專用於稀疏矩陣的特殊演算法（比如共軛梯度法），減低計算複雜度。 演算法的數值穩定性是指輸入值的小變化不會讓計算結果產生很大偏差。例如計算矩陣的逆時，可以用以下的演算法（其中 mathrm adjmathbf A 表示 mathbf A 的伴隨矩陣，mathrm detmathbf A 表示 mathbf A 的行列式） mathbf A1frac operatorname adjmathbf Adet mathbf A 這個演算法在 mathbf A 的行列式接近 0 的時候會引起很大的舍入誤差。而如果使用全選主元的高斯消去法求逆，則在複雜度降低的同時能夠避免舍入誤差，保證數值穩定性。 矩陣分解 矩陣研究的一大方向是將一般的矩陣用一些比較 簡單 的矩陣來表示。這種表示方式稱為矩陣的變換與分解。矩陣變換與分解的方法有很多，它們的目的都是希望化簡後的矩陣保持原矩陣的某些性質，比如行列式、秩或逆矩陣，而形式相對簡單，因而能用容易地進行討論和計算，或者能使得某些演算法更易執行。 LU 分解將矩陣分解為一個下三角矩陣 mathbf L 和一個上三角矩陣 mathbf U 的乘積 。分解後的矩陣可以方便某些問題的解決。例如解線性方程組時，如果將係數矩陣 mathbf A 分解成 mathbf Amathbf LU 的形式，那麼方程的求解可以分解為求解 mathbf Lymathbf b 和 mathbf Uxmathbf y 兩步，而後兩個方程可以十分簡潔地求解（詳見三角矩陣中 向前與向後替換 一節）。又例如在求矩陣的行列式時，如果直接計算一個矩陣 mathbf A 的行列式，需要計算大約 n1 次加法和乘法；而如果先對矩陣做 mathbf LU 分解，再求行列式，就只需要大約 n3 次加法和乘法，大大降低了計算次數。這是因為做 mathbf LU 分解的複雜度大約是 n3 次，而後注意到 mathbf L 和 mathbf U 是三角矩陣，所以求它們的行列式只需要將主對角線上元素相乘即可。 高斯消去法也是一種矩陣分解方法。透過初等變換操作，可以將任何矩陣變為階梯形矩陣，而每個操作可以看做是將矩陣乘上一個特定的初等矩陣。奇異值分解則是另一種分解方法，將一個矩陣表示成 3 個矩陣的乘積：mathbf Amathbf UDV。其中 mathbf U 和 mathbf V 是酉矩陣，mathbf D 是對角矩陣。 特徵分解是將一個矩陣 mathbf A 寫成 mathbf PDP1 的形式，其中 mathbf P 是一個可逆矩陣，mathbf D 是對角矩陣。如果 mathbf A 的特徵分解存在，就稱它是可對角化的矩陣。不能對角化的矩陣，也有類似的分解方式。任意的矩陣 mathbf A 都可以寫成 mathbf PJP1 的形式，其中的矩陣 mathbf J 是若爾當標準型。若爾當標準型是矩陣的一種，它與對角矩陣類似，只不過主對角線上的元素不是數值，而是若爾當塊：主對角線上為同一元素 lambda_i，主對角線右上一行的次對角線上都是 1，其它元素都是 0 的矩陣（見右圖）。特徵分解可以方便計算矩陣的冪次和多項式，如要計算 mathbf An： mathbf Anmathbf PDP1nmathbf PDP1mathbf PDP1ldotsmathbf PDP1mathbf PDnmathbf P1 而其中對角矩陣的冪次 mathbf Dn 要比 mathbf An 容易計算得多。同理還可計算矩陣指數：emathbf A（線上性微分方程中有應用）、矩陣對數和矩陣的平方根。為了提高演算法的數值穩定性，還有舒爾分解等矩陣分解方法。 矩陣的推廣 矩陣的元素除了可以是實數和複數以外，也可以任意環或域中元素。線上性代數中，矩陣的性質可以經由有限維的線性空間中的線性變換定義。更廣泛的，無限維空間中的線性運算元，則可以定義更廣泛的無窮維矩陣。矩陣的另一種推廣是張量。標量可以看成零維方式排列的資料（只有一個 點），向量可以看成是一維方式排列的資料（若干個 點 排成的 線段），矩陣可以看成是二維方式排列的資料（若干個 線段 排成的 矩形），而張量的概念則包括了這幾種排列方式。在張量的概念中，標量是零維張量，向量是一維張量，矩陣是二維張量，而更高維方式排列的資料方式就是高維張量。 一般域和環上的矩陣 矩陣的元素除了可以是實數和複數以外，還可以是任何能夠使得矩陣的運算律成立的元素。首先，矩陣的元素可以是任意一個域（即能夠進行 加減乘除 運算的集合）中元素。例如編碼理論中會出現係數為有限域中元素的矩陣，以及有理數係數的矩陣。如果矩陣的係數所在域 mathbf K 不是代數閉域，那麼在求矩陣的特徵值時，由於特徵值是相應的特徵多項式的根，可能不在係數域 mathbf K 中，而是在係數域的某個擴域 L 中。反過來，如果考慮擴域 mathbf LK，以及 mathbf L 中的一個元素 alpha，以及 mathbf L 中線性變換 m_alpha x mapsto alpha x，那麼由於 m_alpha 也是一個 mathbf K 線性變換，它可以表示成一個 n times n 的 mathbf K 係數矩陣 X_alpha，其中的 n 是擴域 mathbf LK 的階數。alpha 是這個矩陣的特徵值，這個矩陣的特徵多項式 p_X_alpha 是 alpha 在 mathbf K 中的最小多項式 operatorname min_mathbf K alpha 的冪次： p_X_alpha left operatorname min_mathbf K alpha rightr 。其中的 r 是擴域 mathbf LK alpha 的階數。 更一般的情況是矩陣的元素屬於某個環 mathbf R。環是比域更廣泛的概念，只要求其中元素能夠進行加減法和乘法運算（不一定能定義除法）。給定一個環 mathbf R，mathcal Mmnmathbf R 中的矩陣之間可以相互加減以及相乘，所以 mathcal Mmnmathbf R 關於矩陣的加法和乘法也構成一個環，稱為矩陣環。n 維方陣的環 mathcal Mnmathbf R 與左 mathbf R 模 mathbf Rn 的自同態環同構。 若 mathbf R 是交換環，則 mathcal Mmmathbf R 是一個帶單位元的 mathbf R 代數，滿足結合律，但不滿足交換律。其中的矩陣仍然可以用萊布尼茲公式定義行列式。一個矩陣可逆當且僅當其行列式為環 mathbf R 中的可逆元（域上的矩陣可逆只需行列式不等於 0）。 矩陣與線性變換 前面已經提到，所有 mathbf Rnrightarrow mathbf Rm 的線性變換都對應著一個 mathcal Mmnmathbf R 中的矩陣。更一般地，給定了基底後，任意兩個有限維線性空間之間的線性對映 fmathbf Vrightarrowmathbf W 也對應著一個矩陣 mathbf A_fa_ij。設空間 mathbf V 和 mathbf W 的基底分別是 mathbf v_1ldotsmathbf v_n 和 mathbf w_1ldotsmathbf w_m，那麼 對任意 j1ldotsn ，f mathbf v_j sum_i1m a_ij mathbf w_i 矩陣 mathbf A_f 實際上 記錄 了 mathbf V 中每個基底向量經過變換後得到的 mathbf W 中的像在基底 mathbf w_1ldotsmathbf w_m 下的形式。要注意矩陣的內容取決於基底的選擇。可以說，矩陣是線性變換 f 在特定 角度（基底）下的 素描。不同的 角度 下，描述 f 的矩陣是不同的，但這些矩陣都是相似矩陣。與矩陣有關的基本概念都可以用線性變換的層面來解釋，比如一個矩陣的轉置可以用 f 的對偶變換 fmathbf Wrightarrowmathbf V 來表示。 當矩陣的元素是帶單位元的環 mathbf R 中的元素時，m times n 的 mathbf R 矩陣對應的則是 mathbf R 自由模 mathbf Rm 和 mathbf Rn 之間的 mathbf R 線性變換。nm 的時候，這些 mathbf R 線性變換可以相互複合，因此 n 維的 mathbf R 矩陣環能夠與 mathbf R 自同態環 mathbf Rn 同構。 矩陣群 群是比環更寬泛的代數結構，只需要集合配備一個滿足結合律的二元運算，即將兩個群內元素對映到群內一元素的運算。矩陣群是指矩陣關於矩陣乘法組成的群。顯然，只有方塊矩陣才能構成乘法群。所有 n 維的可逆方陣構成一個群，稱為 n 階一般線性群。由於群內每個元素都必須是可逆的，任意的矩陣群都必然是一般線性群的子群。 能夠在矩陣乘法和求逆矩陣運算下保持的性質都可以用來刻畫一定的矩陣群。例如所有行列式為 1 的矩陣可以構成一個群，稱為 n 階特殊線性群。所有 n 維的正交矩陣，即滿足： mathbf Mmathrm Tmathbf Mmathbf I 的矩陣 mathbf M 也構成一個群，稱為 n 階正交群。正交矩陣得名於它在 mathbf Rn 中對應的線性變換具有保角性，也就是說對基本的點積，滿足 mathbf Mvcdot mathbf Mwmathbf vcdotmathbf w 每個有限群都同構於一個矩陣群。實際上，每個有限群都同構於某個置換群的子群，而每個置換群都同構於一個矩陣群（見置換群的正則群表示）鑑於矩陣群的性質可以透過與矩陣相關的更多手段更好地理解，常常透過研究矩陣群來研究一個有限群。相關的理論稱為群表示論。 無限維矩陣 無窮維矩陣可以指行數或列數無窮大，或兩者都是無窮大的矩陣。儘管這樣的矩陣無法完整寫出，但只要知道每行每列的元素的值，仍然可以對它進行矩陣操作和運算。這裡矩陣的行數和列數甚至不一定需要是可數集。需要注意的是，無窮維矩陣的乘法涉及到無窮級數求和，因此只有在相關的無窮級數收斂的時候，才能定義矩陣的乘積。無限維矩陣也可以是方塊矩陣，定義為行標記集合與列標記集合相同的矩陣（如 mathbb N times mathbb N）。 無限矩陣無法定義通常意義上的行列式，因此可逆矩陣不一定是方塊矩陣，同理，酉矩陣也不一定要是方塊矩陣。 空矩陣 空矩陣是指行數或列數為零的矩陣。空矩陣的定義可以完善一些關於零維空間的約定。包括約定一個矩陣與空矩陣相乘得到的也是空矩陣，兩個 n times 0 和 0 times p 的空矩陣相乘是一個 n times p 的零矩陣（所有元素都是零的矩陣）。00 的空矩陣的行列式約定為 1，所以它也可以有逆矩陣，約定為它自己。 分塊矩陣 分塊矩陣是指一個大矩陣分割成 矩陣的矩陣。舉例，以下的矩陣 P begin bmatrix 1 2 3 2 1 2 7 5 4 9 2 6 6 1 5 8end bmatrix 可分割成 4 個 22 的矩陣 P_11 begin bmatrix 1 2 1 2 end bmatrix P_12 begin bmatrix 3 2 7 5end bmatrix P_21 begin bmatrix 4 9 6 1 end bmatrix P_22 begin bmatrix 2 6 5 8end bmatrix P begin bmatrix P_11 P_12 P_21 P_22end bmatrix。將矩陣分塊可以使得矩陣結構清晰，在某些時候可以方便運算、證明。兩個大小相同、分塊方式也相同的矩陣可以相加。行和列的塊數符合矩陣乘法要求時，分塊矩陣也可以相乘。將矩陣分塊相乘的結果與直接相乘是一樣的。用分塊矩陣求逆，可以將高階矩陣的求逆轉化為多次低階矩陣的求逆。 應用 矩陣在許多領域都應用廣泛。有些時候用到矩陣是因為其表達方式緊湊，例如在博弈論和經濟學中，會用收益矩陣來表示兩個博弈物件在各種決策方式下的收益。文字挖掘和索引典彙編的時候，比如在 TFIDF 方法中，也會用到檔案項矩陣來追蹤特定詞彙在多個檔案中的出現頻率。 複數可以用實係數的 22 矩陣表示： a ib leftrightarrow begin bmatrix a b b a end bmatrix 這種表示法與複數的加減法、乘法都相相容。比如，22 的旋轉矩陣可以用來表示模長為 1 的複數，一個向量乘以此旋轉矩陣可以視作一個複數乘以該模長為 1 的複數。對四元數也有類似的矩陣表達。 早期的密碼技術如希爾密碼也用到矩陣。然而，矩陣的線性性質使這類密碼相對容易破解。計算機影像處理也會用到矩陣來表示處理物件，並且用放射旋轉矩陣來計算物件的變換，實現三維物件在特定二維螢幕上的投影。多項式環上的矩陣在控制論中有重要作用。 化學中也有矩陣的應用，特別在使用量子理論討論分子鍵和光譜的時候。具體例子有解羅特漢方程時用重疊矩陣和福柯矩陣來得到哈特里－福克方法中的分子軌道。 圖論 圖論中可以用矩陣描述一個有限圖。這個矩陣叫做相關矩陣的鄰接矩陣，記錄了圖的每兩個頂點之間是否有邊連線。對簡單圖來說，鄰接矩陣的元素只取兩個值：0 和 1 第 izhcn 行；zhtw 列； 第 jzhcn 列；zhtw 行； 上取值為 0，表示沒有從第 i 個頂點連到第 j 個頂點的邊，取值為 1 則說明有。如果是一般情況的話，第 izhcn 行；zhtw 列； 第 j zhcn 列；zhtw 行； 上的取值是從第 i 個頂點連到第 j 個頂點的邊的數目。距離矩陣則是表示圖中各頂點之間距離的矩陣。在研究網際網路等複雜網路的時候，鄰接矩陣常常會是稀疏矩陣。因此網路理論中有專門研究稀疏矩陣的方面。 數學分析 在多元函式微積分學中，對二階偏導數存在的函式 fmathbf Rnrightarrowmathbf R，可以定義其海森矩陣： H fx left frac partial2 fpartial x_i partial x_jx right 。 嚴格來說，僅當函式在某一點上的二階偏導數存在，才能定義這一點上的海森矩陣。海森矩陣給出了函式在這一點的變化率方面的資訊。當給定的點 mathbf xx_1ldotsx_n 是函式平穩點（即函式 f 在這一點上的一階偏導數 frac partial fpartial x_i 都是 0）時，就需要利用海森矩陣來檢視函式在這一點周圍的增長特性。多元函式在點 mathbf x 的泰勒展開是： f xh f x nabla f x cdot h frac12 hT H fx h circ left x 3right 如果函式在點 x 的一階偏導數都是 0，那麼 nabla f 0，所以函式在 x 附近的變化率取決於海森矩陣 H fx 的性質。如果 H fx 是正定矩陣，那麼函式在點 x 取得區域性最小值，如果是負定矩陣，則函式在 x 取得區域性最大值。在這類情況下，關於函式 f 的條件最最佳化問題可以轉變為關於海森矩陣的二次規劃問題。 矩陣在多元函式微積分中的另一個應用是雅可比矩陣。函式 fmathbf Rnrightarrowmathbf Rm 在某一點 x 上的一階偏導數存在時，可以定義它在這點上的雅可比矩陣： J_f x left frac partial f_ipartial x_jx right _1 leq i leq m 1 leq j leq n。如果 nm，而 J_f x 又是滿秩矩陣（秩等於 m）的話，根據反函式定理，可以找到函式 f 在 x 附近的一個區域性的反函式 。 偏微分方程理論中，二階擬線性偏微分方程可以根據最高次偏導項係數構成的矩陣的正定性分類。假設有一個二階擬線性偏微分方程： mathbf E qquad qquad sum_1leqslant i j leqslant n a_ij frac partial2 fpartial x_i partial x_j sum_i1n b_i frac partial fpartial x_i cf g qquad 並假設 a_ij a_ji 記矩陣 mathbf Aleft a_ij right_1 leqslant i j leqslant n 。如果矩陣 mathbf A 是正定或負定矩陣，那麼就稱方程 mathbf E 為橢圓形偏微分方程；如果 mathbf A 不可逆，就稱 mathbf E 為拋物形偏微分方程，如果 mathbf A 可逆而且恰有 n1 個特徵值同號，就稱 mathbf E 為雙曲型偏微分方程。其它情況下也稱 mathbf E 為超雙曲形偏微分方程。不同型別的方程解的形式也不一樣。 用數值方法解偏微分方程時更需要用到矩陣。一個重要的方法是有限元方法，在求解各種物理中遇到的偏微分方程時廣泛使用。有限元方法的基本思想是用一系列 簡單 函式的線性組合來 逼近 偏微分方程的精確解。這些 簡單 函式通常是指將求解區域分割成一定數量的 小塊 後，僅在某一 小塊 上非零的分段線性函式。選定了網格和 簡單 函式後，可以求解關於剛度矩陣的方程得到近似解。有限元理論中證明了在滿足一定的條件下，近似解將隨著網格趨於精細而弱收斂到精確解 。 機率論與統計 機率論中常用到隨機矩陣，即 zhcn 行；zhtw 列； 向量是機率向量（即所有的元素都在 0 和 1 之間，並且加起來等於 1 的向量）的矩陣。隨機矩陣可用來定義有限機率空間中的馬爾可夫鏈。設隨機變數 X_n 是某個馬爾可夫鏈在 tn 時刻的狀態，所有可能的狀態 S lefts_1 s_2 cdots s_mright 稱為狀態空間，那麼隨機矩陣 M_nn1 則記錄了假設已知 X_n 的可能情況下 X_n1 做各種取值的可能性。M_nn1 的第 izhcn 行；zhtw 列； 第 jzhcn 列；zhtw 行； 上的元素表示當 X_n s_j 的時候，X_n1 s_i 的可能性。M_nn1 的第 jzhcn 行；zhtw 列； 記錄了從 X_n s_j 轉移到 X_n1 各種狀態的可能性。所以 M_nn1 叫做 tn 時刻的轉移矩陣。如果馬爾可夫鏈的轉移矩陣不隨時刻變化，則稱為齊次馬爾可夫鏈。這時馬爾可夫鏈的吸引態可以透過計算轉移矩陣的特徵向量得到。 統計學中也會用到各種不同的矩陣。描述統計學中常常需要用矩陣的形式來描述資料樣本，顯得更為緊湊。幾個隨機變數的協方差矩陣表示它們之間的協方差關係，在某種程度上表示了它們相互間的關聯程度（但不絕對）。 統計學中用到矩陣的另一個地方是線性迴歸中的最小二乘法分析。當觀測到隨機樣本 Y_i X_i1 ldots X_ip i 1 ldots n 時，線性迴歸法的目標是希望找到以下的線性關係： Y_i beta_0 beta_1 X_i1 beta_2 X_i2 ldots beta_p X_ip varepsilon_i qquad i 1 ldots n 即將變數 mathbf Y 表示成 mathbf X 的分量的線性組合與一個已知的隨機誤差的和。這個表示可以寫成矩陣的形式，並利用矩陣的奇異值分解來分析。 另一種隨機矩陣是指每個元素都是隨機變數的矩陣，這些隨機變數可以都遵循同一個分佈，或各自遵循不同的分佈。一個常見的例子是全部元素都是相互獨立的標準正態分佈隨機變數的隨機矩陣。這種隨機矩陣在數論和物理中也有應用。 物理學上的對稱性及線性變換 線性變換及其所對應的對稱，在現代物理學中有著重要的角色。例如，在量子場論中，基本粒子是由狹義相對論的洛倫茲群所表示，具體來說，即它們在旋量群下的表現。內含泡利矩陣及更通用的狄拉克矩陣的具體表示，在費米子的物理描述中，是一項不可或缺的構成部分，而費米子的表現可以用旋量來表述 。描述最輕的三種夸克時，需要用到一種內含特殊酉群 SU 3 的群論表示；物理學家在計算時會用一種更簡便的矩陣表示，叫蓋爾曼矩陣，這種矩陣也被用作 SU 3 規範群，而強核力的現代描述量子色動力學的基礎正是 SU 3。還有卡比博 小林 益川矩陣（CKM 矩陣）：在弱相互作用中重要的基本夸克態，與指定粒子間不同質量的夸克態不一樣，但兩者卻是成線性關係，而 CKM 矩陣所表達的就是這一點 見。 量子態的線性組合 1925 年海森堡提出第一個量子力學模型時，使用了無限維矩陣來表示理論中作用在量子態上的運算元。這種做法在矩陣力學中也能見到。例如密度矩陣就是用來刻畫量子系統中 純 量子態的線性組合表示的 混合 量子態。 另一種矩陣是用來描述構成實驗粒子物理基石的散射實驗的重要工具。當粒子在加速器中發生碰撞，原本沒有相互作用的粒子在高速運動中進入其它粒子的作用區，動量改變，形成一系列新的粒子。這種碰撞可以解釋為結果粒子狀態和入射粒子狀態線性組合的標量積。其中的線性組合可以表達為一個矩陣，稱為 S 矩陣，其中記錄了所有可能的粒子間相互作用。 簡正模式 矩陣在物理學中的另一類泛應用是描述線性耦合調和系統。這類系統的運動方程可以用矩陣的形式來表示，即用一個質量矩陣乘以一個廣義速度來給出運動項，用力矩陣乘以位移向量來刻畫相互作用。求系統的解的最優方法是將矩陣的特徵向量求出（透過對角化等方式），稱為系統的簡正模式。這種求解方式在研究分子內部動力學模式時十分重要：系統內部由化學鍵結合的原子的振動可以表示成簡正振動模式的疊加。描述力學振動或電路振盪時，也需要使用簡正模式求解。 幾何光學 在幾何光學裡，可以找到很多需要用到矩陣的地方。幾何光學是一種忽略了光波波動性的近似理論，這理論的模型將光線視為幾何射線。採用近軸近似，假若光線與光軸之間的夾角很小，則透鏡或反射元件對於光線的作用，可以表達為 22 矩陣與向量的乘積。這向量的兩個分量是光線的幾何性質（光線的斜率、光線跟光軸之間在的垂直距離）。這矩陣稱為光線傳輸矩陣，內中元素編碼了光學元件的性質。對於折射，這矩陣又細分為兩種：「折射矩陣」與「平移矩陣」。折射矩陣描述光線遇到透鏡的折射行為。平移矩陣描述光線從一個主平面傳播到另一個主平面的平移行為。 由一系列透鏡或反射元件組成的光學系統，可以很簡單地以對應的矩陣組合來描述其光線傳播路徑。 電子學 在電子學裡，傳統的或節點分析會獲得一個線性方程組，這可以以矩陣來表示與計算。 很多種電子元件的電路行為可以用矩陣來描述。設定 A 為輸入向量，其兩個分量為輸入電壓 v_1 與輸入電流 i_1。設定 B 為輸出向量，其兩個分量為輸出電壓 v_2 與輸出電流 i_2。這電子元件的電路行為可以描述為 BHcdot A；其中，H 是 22 矩陣，內有一個阻抗元素 h_12、一個導納元素 h_21、兩個無量綱元素 h_11 與 h_22。這樣，電路的計算可以約化為矩陣計算。 參見 矩陣論專有名詞表：有關矩陣論所用到的名詞的定義 方塊矩陣 矩陣範數 雅可比矩陣 註釋與參考 腳註 參考文獻 外部連結 百科全書 歷史 MacTutor Matrices and determinants Matrices and Linear Algebra on the Earliest Uses Pages Earliest Uses of Symbols for Matrices and Vectors 線上書籍 線上矩陣計算器 a freeware package for matrix algebra and statistics Operation with matrices in R determinant track inverse adjoint transpose J J