矩阵：修订间差异

线性代数
	向量 · 向量空间 · 基底 · 行列式 · 矩阵
向量
	标量 · 向量 · 向量空间 · 向量投影 · 外积（向量积 · 七维向量积） · 内积（数量积） · 二重向量
矩阵与行列式
	矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 跡 · 單位矩陣 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反對稱矩陣 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解（LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展開 · 克罗内克积
线性空间与线性变换
	线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 線性無關 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化
	查; 论; 编;

以互动方式浏览历史

←上一版本下一版本→

删除的内容添加的内容

可视化wikitext

行内

2013年10月15日 (二) 13:57的版本

數學上，一個 $m \times n$ 的矩陣是一个由 $m$ 行 $n$ 列元素排列成的矩形阵列。矩陣里的元素可以是数字、符号或数学式。以下是一个由6个数字元素构成的2行3列的矩阵：

{\begin{bmatrix}1&9&-13\\20&5&-6\end{bmatrix}}.

大小相同（行数列数都相同）的矩阵之间可以相互加减，具体是对每个位置上的元素做加减法。矩阵的乘法则较为复杂。两个矩阵可以相乘，当且仅当第一个矩阵的列数等于第二个矩阵的行数。矩阵的乘法满足结合律和分配律，但不满足交换律。

矩阵的一个重要用途是解线性方程组。线性方程组中未知量的系数可以排成一个矩阵，加上常数项，则称为增广矩阵。另一个重要用途是表示线性变换，即是诸如 $f (x)$ $=$ 4 $x$ 之类的線性函數的推广。设定基底后，某个向量 $v$ 可以表示为 $m \times$ 1的矩阵,而线性变换 $f 可$ 以表示为行数为 $m$ 的矩阵 $A$ ，使得经过变换后得到的向量 $f (v)$ 可以表示成 $A v$ 的形式。矩阵的特征值和特征向量可以揭示线性变换的深层特性。

矩陣是高等代数学中的常见工具，也常见于统计分析等应用数学学科中。在物理学中，矩阵于电路学、力学、光学和量子物理中都有应用；计算机科学中，三维动画制作也需要用到矩阵。矩阵的运算是数值分析领域的重要问题。将矩阵分解为简单矩阵的组合可以在理论和实际应用上简化矩阵的运算。对一些应用广泛而形式特殊的矩阵，例如稀疏矩阵和准对角矩阵，有特定的快速运算算法。关于矩阵相关理论的发展和应用，請參考矩陣理論。在天体物理、量子力学等领域，也会出现无穷维的矩阵，是矩阵的一种推广。

译名

矩阵的概念最早于1922年见于中文。1922年，程廷熙在一篇介绍文章中将矩阵译为“纵横阵”。1925年，科学名词审查会算学名词审查组在《科学》第十卷第四期刊登的审定名词表中，矩阵被翻译为“矩阵式”，方块矩阵翻译为“方阵式”，而各类矩阵如“正交矩阵”、“伴随矩阵”中的“矩阵”则被翻译为“方阵”。1935年，中国数学会审查后，中华民国教育部审定的《数学名词》（并“通令全国各院校一律遵用，以昭划一”）中，“矩阵”作为译名首次出现。1938年，曹惠群在接受科学名词审查会委托就数学名词加以校订的《算学名词汇编》中，认为应当的译名是“长方阵”。中华人民共和国成立后编订的《数学名词》中，则将译名定为“（矩）阵”。1993年，中国自然科学名词审定委员会公布的《数学名词》中，“矩阵”被定为正式译名，并沿用至今^[1]。

定义

将一些元素排列成若干行，每行放上相同数量的元素，就是一个矩阵。这里说的元素可以是数字，例如以下的矩阵：

\mathbf {A} ={\begin{bmatrix}9&13&5\\1&11&7\\3&9&2\\6&0&7\end{bmatrix}}

排列成的形状是矩形，所以称为矩阵。在中國大陸，橫向的元素组称為「行」，縱向称為「列」，而在台灣則相反，橫向称為「列」，縱向称為「行」^[2] 。矩阵一般用大写拉丁字母表示，需要具体写出其中元素时，一般用方括号或圆括号括起。以上的矩阵 $A$ 是一个4行3列的矩阵。

行数是1或列数是1的矩阵又可分别称为行向量和列向量。这是因为一个向量可以表示成行数或列数是1的矩阵形式。矩阵的任一行（列）都是一个行（列）向量，例如矩阵 $A$ 的第一行 ${\begin{bmatrix}9&13&5\end{bmatrix}}$ 就是一个行向量。行（列）向量可以看成一个向量，因此可以称矩阵的两行（列）相等，或者某一行等于某一列，表示其对应的向量相等。

标记

一个矩阵 $A$ 從左上角數起的第 $i$ 行第 $j$ 列上的元素称为第 $i, j$ 項，通常记为 $A i, j$ 、 $A ij$ 、 $a i, j$ 或 $A [i, j]$ 。在上述例子中 $A [4, 3]$ $=$ 7。如果不知道矩阵 $A$ 的具体元素，通常也会将它记成 $\scriptstyle \mathbf {A} =\left[\mathbf {a} _{ij}\right]_{m\times n}$ 或 $\scriptstyle \mathbf {A} =\left[\mathbf {a} _{i,j}\right]_{m\times n}$ 。反之，如果 $A$ 的元素可以写成只与其行数 $i$ 和列数 $j$ 有关的统一函数 $f$ ，那么也可以用 $\scriptstyle \mathbf {A} =\left[f(i,j)\right]_{m\times n}$ 作为 $A$ 的简写。例如 $\scriptstyle \mathbf {B} =\left[i+2j\right]_{2\times 3}$ 是矩阵

\mathbf {B} ={\begin{bmatrix}3&5&7\\4&6&8\end{bmatrix}}

的简写。要注意的是，一些计算机编程语言中，会将第1行（列）称为第0行（列），从而对矩阵的写法产生影响，比如矩阵 $B$ 就要改写成 $\scriptstyle \mathbf {B} =\left[i+2j+3\right]_{2\times 3}$ 。

矩阵的元素可以是数字、符号或数学表达式。一般为了支持矩阵的运算，矩阵的元素之间应当能做加减法和乘法，所以是某个环里的元素。最常见的是元素属于实数域或复数域的矩阵，简称为实矩阵和复矩阵。更一般的情况下，矩阵的元素可以是由一个环中的元素排成。给定一个环 $R$ ，所有由 $R$ 中元素排成的 $m \times n$ 矩陣的集合写作 ${\mathcal {M}}(m,n,\mathbf {R} )$ 或 ${\mathcal {M}}_{m\times n}(\mathbf {R} )$ 。若 $m$ $=$ $n$ ，則通常記以 ${\mathcal {M}}(m,\mathbf {R} )$ 或 ${\mathcal {M}}_{m}(\mathbf {R} )$ ，称其为 $n$ 维矩阵或方阵。

矩陣的基本運算

矩阵的最基本运算包括矩阵加（减）法，数乘和转置运算。被称为“矩阵加法”、“数乘”和“转置”的运算不止一种^[3]，其中最基本最常用的定义如下：

运算	定义	例子
加（减）法	$m \times n$ 矩陣 $A$ 和 $B$ 的和（差）： $A\pmB$ 為一个 $m \times n$ 矩陣，其中每个元素是 $A$ 和 $B$ 相应元素的和（差）， $(A \pm B) i, j$ $=$ $A i, j \pm B i, j$ ，其中 1 $\leq i \leq m,$ 1 $\leq 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}1+0&3+0&1+5\\1+7&0+5&0+0\end{bmatrix}}={\begin{bmatrix}1&3&6\\8&5&0\end{bmatrix}}$
数乘	标量 $c$ 与矩陣 $A$ 的数乘： $c A$ 的每个元素是 $A$ 的相应元素与 $c$ 的乘积， $(c A) i, j = c \cdot A i, j .$	$2\cdot {\begin{bmatrix}1&8&-3\\4&-2&5\end{bmatrix}}={\begin{bmatrix}2\cdot 1&2\cdot 8&2\cdot (-3)\\2\cdot 4&2\cdot (-2)&2\cdot 5\end{bmatrix}}={\begin{bmatrix}2&16&-6\\8&-4&10\end{bmatrix}}$
转置	$m \times n$ 矩阵 $A$ 的转置是一个 $n \times m$ 的矩阵，记为 $A T$ （有些书中也记为 $A tr$ 或 $t A$ 、 $A'$ ），其中的第 $i$ 个行向量是原矩阵 $A$ 的第 $i$ 个列向量；或者说，转置矩阵 $A T$ 第 $i$ 行第 $j$ 列的元素是原矩阵 $A$ 第 $j$ 行第 $i$ 列的元素， $(A T) i, j = A j, i .$	${\begin{bmatrix}1&2&3\\0&-6&7\end{bmatrix}}^{T}={\begin{bmatrix}1&0\\2&-6\\3&7\end{bmatrix}}$

矩阵的加法运算满足交换律： $A + B = B + A$ ^[4]。矩阵的转置和数乘运算对加法满足分配律：

(A + B) T

=

A T + B T

c (A + B)

=

c A + c B

矩阵加法和数乘兩種運算使得 ${\mathcal {M}}(m,n,\mathbb {R} )$ 成為一个 $mn$ 维的實數線性空間。而转置和数乘运算满足类似于结合律的规律：

c (A T)

=

(c A) T .

矩阵也有类似行列式的初等变换，即对矩阵的某些行和某些列进行三类操作：交换两行（列），将一行（列）的每个元素都乘以一个固定的量，以及将一行（列）的每个元素乘以一个固定的量之后加到另一行（列）的相应元素上。这些操作在求矩阵的逆之时有用。

矩阵乘法

两个矩阵的乘法仅当第一个矩陣 $A$ 的列數和另一个矩阵 $B$ 的行數相等时才能定义。如 $A$ 是 $m \times n$ 矩陣和 $B$ 是 $n \times p$ 矩陣，它們的乘積 $AB$ 是一個 $m \times p$ 矩陣，它的一个元素

[\mathbf {AB} ]_{i,j}=A_{i,1}B_{1,j}+A_{i,2}B_{2,j}+\cdots +A_{i,n}B_{n,j}=\sum _{r=1}^{n}A_{i,r}B_{r,j}

其中 $1 \leq i \leq m, 1 \leq j \leq p'$ '^[5]。

例如

{\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}}

矩阵的乘法满足结合律和对矩阵加法的分配律（左分配律和右分配律）：

结合律： $(AB) C$ $=$ $A (BC),$
左分配律： $(A + B) C$ $=$ $AC + BC,$
右分配律： $C (A + B)$ $=$ $CA + CB .$

矩阵的乘法与数乘运算之间也满足类似结合律的规律；与转置之间则满足倒置的分配律。

c (AB)

=

(c A) B

=

A (c B)

(AB) T

=

B T A T

矩阵乘法不满足交换律。一般来说，矩陣 $A$ 及 $B$ 的乘积 $AB$ 存在，但 $BA$ 不一定存在，即使存在，大多数时候 $AB \neq 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$ 维的方块矩阵 $A$ ，与 $A$ 交换的所有方块矩阵构成一个环，称为 $A$ 的交换子环。这些矩阵也构成 ${\mathcal {M}}(n,\mathbb {R} )$ 的一个子空间，称为 $A$ 的可交换空间^[6]。与 ${\mathcal {M}}(n,\mathbb {R} )$ 中所有矩阵交换的矩阵只有形如 $\lambda {\mathsf {I}}_{n},\,\lambda \in \mathbb {R}$ 的矩阵（称为数乘矩阵）。其中的 ${\mathsf {I}}_{n}$ 是单位矩阵，也就是主对角线上的元素为1，其它元素为0的矩阵。任意矩阵 $M$ 乘以单位矩阵都得到自身： $\mathbf {M} {\mathsf {I}}_{n}=\mathbf {M} ={\mathsf {I}}_{n}\mathbf {M}$ 。

除了最常见的矩阵乘法定义以外，也有一些较不常见的矩阵乘法，比如阿达马乘积和克罗内克乘积^[7]。

线性方程组

矩阵乘法的一个基本应用是在线性方程组上。线性方程组是方程组的一种，它符合以下的形式：

{\begin{cases}a_{1,1}x_{1}+a_{1,2}x_{2}+\cdots +a_{1,n}x_{n}=b_{1}\\a_{2,1}x_{1}+a_{2,2}x_{2}+\cdots +a_{2,n}x_{n}=b_{2}\\\vdots \quad \quad \quad \vdots \\a_{m,1}x_{1}+a_{m,2}x_{2}+\cdots +a_{m,n}x_{n}=b_{m}\end{cases}}

其中的 $a_{1,1},\,a_{1,2}$ 以及 $b_{1},\,b_{2}$ 等等是已知的常数，而 $x_{1},\,x_{2}$ 等等则是要求的未知数。运用矩阵的方式，可以将线性方程组写成一个向量方程：

\mathbf {A} \mathbf {x} =\mathbf {b}

其中， $A$ 是由方程组里未知量的系数排成的 $m \times n$ 矩陣， $x$ 是含有 $n$ 个元素的行向量， $b$ 是含有 $m$ 个元素的行向量^[8]。

\mathbf {A} ={\begin{bmatrix}a_{1,1}&a_{1,2}&\cdots &a_{1,n}\\a_{2,1}&a_{2,2}&\cdots &a_{2,n}\\\vdots &\vdots &\ddots &\vdots \\a_{m,1}&a_{m,2}&\cdots &a_{m,n}\end{bmatrix}},\quad \mathbf {x} ={\begin{bmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{bmatrix}},\quad \mathbf {b} ={\begin{bmatrix}b_{1}\\b_{2}\\\vdots \\b_{m}\end{bmatrix}}

这个写法下，将原来的多个方程转化成一个向量方程，在已知矩阵 $A$ 和向量 $b$ 的情况下，求未知向量 $x$ 。

綫性變換

矩陣是綫性變換的便利表達法。矩陣乘法的本质在联系到綫性變換的时候最能体现，因为矩阵乘法和线性变换的合成有以下的連繫：以 $\mathbb {R} ^{n}$ 表示所有長度為n的行向量的集合。每个 $m \times n$ 的矩陣 $A$ 都代表了一个从 $\mathbb {R} ^{n}$ 射到 $\mathbb {R} ^{m}$ 的线性变换。反过来，對每個綫性變換 $f:\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}$ ，都存在唯一 $m \times n$ 矩陣 $A f$ 使得對所有 $\mathbb {R} ^{n}$ 中的元素 $x$ ， $f(x)=A_{f}x$ 。这个矩阵 $A f$ 第 $i$ 行第 $j$ 列上的元素是正则基向量 $\mathbf {e} _{j}=(0,\cdots ,0,1,0,\cdots 0)^{T}$ （第 $j$ 个元素是1，其余元素是0的向量）在 $f$ 映射后的向量 $f(\mathbf {e} _{j})$ 的第 $i$ 个元素。

也就是说，从 $\mathbb {R} ^{n}$ 射到 $\mathbb {R} ^{m}$ 的线性变换构成的向量空间 ${\mathcal {L}}\left(\mathbb {R} ^{n},\mathbb {R} ^{m}\right)$ 上存在一个到 ${\mathcal {M}}(m,n,\mathbb {R} )$ 的一一映射： $f\mapsto A_{f}$

以下是一些典型的2维实平面上的线性变换对平面向量（图形）造成的效果，以及它们对应的2维矩阵。其中每个线性变换将蓝色图形映射成绿色图形；平面的原点(0, 0)用黑点表示。

水平错切变换，幅度m=1.25.	水平反射变换	“挤压”变换，压缩程度r=3/2	放缩变换，3/2倍	旋转变换，左转30°
${\begin{bmatrix}1&1.25\\0&1\end{bmatrix}}$	${\begin{bmatrix}-1&0\\0&1\end{bmatrix}}$	${\begin{bmatrix}3/2&0\\0&2/3\end{bmatrix}}$	${\begin{bmatrix}3/2&0\\0&3/2\end{bmatrix}}$	${\begin{bmatrix}\cos(\pi /6)&-\sin(\pi /6)\\\sin(\pi /6)&\cos(\pi /6)\end{bmatrix}}$

设有 $k \times m$ 的矩陣 $B$ 代表綫性變換 $g : R m$ -> $R k$ ，則矩陣積 $BA$ 代表了綫性變換的复合 $g o f$ ^[9]，因为

(g ∘ f)(x) = g(f(x)) = g(Ax) = B(Ax) = (BA)x

矩阵的秩是指矩阵中线性无关的行（列）向量的最大个数^[10]，同时也是矩阵对应的线性变换的像空间的维度^[11]。秩－零化度定理说明矩阵的列数量等于矩阵的秩与零空间维度之和^[12]。

方块矩阵

行数与列数相同的矩阵称为方块矩阵，简称方阵。所有 $n$ 维的方块矩阵构成一个线性空间，这个空间对矩阵乘法也是封闭的，因此也是一个代数。方阵 $A$ 称为可逆或非奇异的，如果存在另一个方阵 $B$ ，使得

AB

=

I n

成立。这时候可以证明也有 $BA$ $=$ $I n$ 成立^[13]，可将矩阵 $B$ 称为 $A$ 的逆矩阵^[14]。一个矩阵 $A$ 的逆矩阵如果存在的话，就是唯一的，通常记作 $A -1$ 。

矩阵 $A$ 的元素 $A i, i$ 称为其主对角线上的元素。方块矩阵 $A$ 的所有主对角线元素之和称为它的迹，写作 $tr(A)$ 。尽管矩阵的乘法不满足交换律，方阵相乘时交换顺序会导致乘积变化，但它们的迹不会变，即 $tr(AB)$ $=$ $tr(BA)$ ^[15]。除此以外，矩阵转置的迹等于其自身的迹， $tr(A)$ $=$ $tr(A T)$ 。

如果一个方阵只有主对角线上的元素不是0，其它都是0，那么称其为对角矩阵。如果主对角线上方的元素都是0，那么称为下三角矩阵；反之如果主对角线下方的元素都是0，那么称为上三角矩阵。例如 $n$ $=$ 3的时候，这些矩阵分别写作：

{\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}}

（上三角矩阵）。

行列式

方块矩阵 $A$ 的行列式是一个将其映射到标量的函数，记作 $det(A)$ 或，反映了矩阵自身的一定特性。一个方阵的行列式等于0当且仅当该方阵不可逆。系数是实数的时候，二维（三维）方阵 $A$ 的行列式的绝对值表示单位面积（体积）的图形经过 $A$ 对应的线性变换后得到的图形的面积（体积），而它的正负则代表了对应的线性变换是否改变空间的定向：行列式为正说明它保持空间定向，行列式为负则说明它逆转空间定向。

2×2矩阵的行列式是

\det {\begin{pmatrix}a&b\\c&d\end{pmatrix}}=ad-bc.

3×3矩阵的行列式由6项组成。更高维矩阵的行列式则可以使用莱布尼兹公式写出^[16]，或使用拉普拉斯展开由低一维的矩阵行列式递推得出^[17]。

两个矩阵相乘，乘积的行列式等于它们的行列式的乘积： $det(AB)$ $=$ $det(A)\cdotdet(B)$ ^[18]。将矩阵的一行（列）乘以某个系数加到另一行（列）上不改变矩阵的行列式，将矩阵的两行（列）互换则使得其行列式变号^[19]。用这两种操作可以将矩阵变成一个上三角矩阵或下三角矩阵，而后两种矩阵的行列式就是主对角线上元素的乘积，因此能方便地计算。运用行列式可以计算线性方程组的解（见克萊姆法則）^[20]。

特征值与特征向量

$n \times n$ 的方块矩阵 $A$ 的一个特征值和对应特征向量是满足

\mathbf {Av} =\lambda \mathbf {v}

^[21]

的标量 $\lambda$ 以及非零向量 $\mathbf {v}$ 。特征值和特征向量的概念对研究线性变换很有帮助。一个线性变换可以通过它对应的矩阵在向量上的作用来可视化。一般来说，一个向量在经过映射之后可以变为任何可能的向量，而特征向量具有更好的性质^[22]。假设在给定的基底下，一个线性变换对应着某个矩阵 $A$ ，如果一个向量 $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}$ ，那么向量 $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 {\mathsf {I}}_{n}$ 是不可逆矩阵。根据不可逆矩阵的性质，这个定义也可以用行列式方程描述： $\lambda$ 为特征值，如果

\det(\lambda {\mathsf {I}}_{n}-\mathbf {A} )=0.\

^[23]

这个定义中的行列式可以展开成一个关于 $\lambda$ 的n阶多项式，叫做矩阵 $A$ 的特征多项式，记为 $p_{\mathbf {A} }$ 。特征多项式是一个首一多项式（最高次项系数是1的多项式）。它的根就是矩阵 $A$ 特征值^[24]。哈密尔顿－凯莱定理说明，如果用矩阵 $A$ 本身代替多项式中的不定元 $\lambda$ ，那么多项式的值是零矩阵^[25]：

p_{\mathbf {A} }(\mathbf {A} )=0.

对称

转置等于自己的矩阵，即满足 $A$ $=$ $A T$ 的方块矩阵 $A$ 叫做对称矩阵。满足 $A$ $=$ $- A T$ 的矩阵称为反对称矩阵。在复系数矩阵中，则有埃尔米特矩阵的概念：满足 $A$ $=$ $A *$ 的方块矩阵称为埃尔米特矩阵，其中的 $A *$ 表示 $A$ 的共轭转置矩阵。

根据谱定理，实对称矩阵和复埃尔米特矩阵拥有特征基，即由矩阵的特征向量组成的基底。因此任何向量都能表示成矩阵特征向量的线性组合。此外，这两类矩阵的特征值都是实数^[26]。

正定性

矩阵表达式	${\begin{bmatrix}1/4&0\\0&-1/4\end{bmatrix}}$	${\begin{bmatrix}1/4&0\\0&1/4\end{bmatrix}}$
正定性	不定矩阵	正定矩阵
对应二次型	$Q(x,y)={\frac {1}{4}}(x^{2}-y^{2})$	$Q(x,y)={\frac {1}{4}}(x^{2}+y^{2})$
取值图像
说明	正定矩阵对应的二次型的取值范围永远是正的，不定矩阵对应的二次型取值则可正可负

$n \times n$ 的实对称矩阵 $A$ 如果满足对所有非零向量 $x \in R n$ ，对应的二次型

Q (x)

=

x T Ax

函数值都是正数，就称 $A$ 为正定矩阵。类似地还有半正定矩阵、负定矩阵、不定矩阵等概念^[27]。对称矩阵的正定性与其特征值密切相关。矩阵是正定的当且仅当其特征值都是正数^[28]。

矩阵的计算

矩阵在许多学科领域中都有应用，在很多时候，除了需要知道矩阵的理论性质以外，还需要计算矩阵的数值。为了矩阵的计算能够足够精确与快捷，数值线性代数中专门有研究矩阵的数值计算方法^[29]。与其它的数值计算一样，矩阵的数值计算注重的主要也是算法的复杂度和数值稳定性。矩阵的数值计算可以使用直接计算，也可以用迭代算法，例如在计算方块矩阵的特征值时，可以从一个非零向量 $x$ ₀开始，通过特定迭代方法得到一个逼近某个特征向量的向量序列^[30]。

测量一个算法的复杂度是指估计此算法需要的基本运算如数字的加法和乘法的次数，或者找出它的一个上界。例如按照定义计算的话，两个 $n$ 阶方阵的乘法需要 $n$ ³次数字乘法计算，因为其乘积是一个 $n$ 阶方阵，有 $n$ ²个元素，计算每个元素需要 $n$ 次数字乘法。如果使用施特拉森算法的话，可以将数字乘法的次数减低到大约 $n$ ^2.8次^[31]。此外，编程语言或环境本身对算法的复杂度也会有影响。

某些特殊类型的矩阵携带的数据量比一般矩阵要少，同时带来的信息量比一般矩阵多。一个重要的例子是稀疏矩阵，这类矩阵中绝大部分的元素是零。有关稀疏矩阵的计算，如计算稀疏矩阵 $A$ 的线性方程组 $Ax$ $=$ $b$ 时，可以使用一些专用于稀疏矩阵的特殊算法（比如共轭梯度法^[32]），减低计算复杂度。

算法的数值稳定性是指输入值的小变化不会让计算结果产生很大偏差。例如计算矩阵的逆时，可以用以下的算法（其中 $adj(A)$ 表示 $A$ 的伴随矩阵）

A -1

=

Adj(A) / det(A)

这个算法在 $A$ 的行列式接近0的时候会引起很大的舍入误差^[33]。而如果使用全选主元的高斯消去法求逆，则在复杂度降低的同时能够避免舍入误差，保证数值稳定性。

矩阵分解

矩阵研究的一大方向是将一般的矩阵用一些比较“简单”的矩阵来表示。这种表示方式称为矩阵的变换与分解。矩阵变换与分解的方法有很多，它们的目的都是希望化简后的矩阵保持原矩阵的某些性质，比如行列式、秩或逆矩阵，而形式相对简单，因而能用容易地进行讨论和计算，或者能使得某些算法更易执行。

LU分解将矩阵分解为一个下三角矩阵 $L$ 和一个上三角矩阵 $U$ 的乘积^[34]。分解后的矩阵可以方便某些问题的解决。例如解线性方程组时，如果将系数矩阵 $A$ 分解成 $A$ $=$ $LU$ 的形式，那么方程的求解可以分解为求解 $Ly$ $=$ $b$ 和 $Ux$ $=$ $y$ 两步，而后两个方程可以十分简洁地求解（详见三角矩阵中“向前与向后替换”一节）。又例如在求矩阵的行列式时，如果直接计算一个矩阵 $A$ 的行列式，需要计算大约 $(n + 1)!$ 次加法和乘法；而如果先对矩阵做 $LU$ 分解，再求行列式，就只需要大约 $n$ ³次加法和乘法，大大降低了计算次数。这是因为做 $LU$ 分解的复杂度大约是 $n$ ³次，而后注意到 $L$ 和 $U$ 是三角矩阵，所以求它们的行列式只需要将主对角线上元素相乘即可。

高斯消去法也是一种矩阵分解方法。通过初等变换操作，可以将任何矩阵变为阶梯形矩阵，而每个操作可以看做是将矩阵乘上一个特定的初等矩阵^[35]。奇异值分解则是另一种分解方法，将一个矩阵表示成3个矩阵的乘积： $A$ $=$ $UDV$ 。其中 $U$ 和 $V$ 是酉矩阵， $D$ 是对角矩阵。

特征分解是将一个矩阵 $A$ 写成 $PDP$ ⁻¹的形式，其中 $P$ 是一个可逆矩阵， $D$ 是对角矩阵^[36]。如果 $A$ 的特征分解存在，就称它是可对角化的矩阵。不能对角化的矩阵，也有类似的分解方式。任意的矩阵 $A$ 都可以写成 $PJP$ ⁻¹的形式，其中的矩阵 $J$ 是若尔当标准型。若尔当标准型是矩阵的一种，它与对角矩阵类似，只不过主对角线上的元素不是数值，而是若尔当块：主对角线上为同一元素 $\lambda _{i}$ ，主对角线右上一行的次对角线上都是1，其它元素都是0的矩阵（见右图）^[37]。特征分解可以方便计算矩阵的幂次和多项式，如要计算 $A n$ ：

A n

=

(PDP

⁻¹

) n

=

PDP

⁻¹

PDP

⁻¹...

PDP

⁻¹

=

PD n P

⁻¹

而其中对角矩阵的幂次 $D n$ 要比 $A n$ 容易计算得多。同理还可计算矩阵指数： $e A$ （在线性微分方程中有应用）、矩阵对数和矩阵的平方根^[38]。为了提高算法的数值稳定性，还有舒尔分解等矩阵分解方法^[39]。

矩阵的推广

矩阵的元素除了可以是实数和复数以外，也可以任意环或域中元素。在线性代数中，矩阵的性质可以经由有限维的线性空间中的线性变换定义。更广泛的，无限维空间中的线性算子，则可以定义更广泛的无穷维矩阵。矩阵的另一种推广是张量。标量可以看成零维方式排列的数据（只有一个“点”），向量可以看成是一维方式排列的数据（若干个“点”排成的“线段”），矩阵可以看成是二维方式排列的数据（若干个“线段”排成的“矩形”），而张量的概念则包括了这几种排列方式。在张量的概念中，标量是零维张量，向量是一维张量，矩阵是二维向量，而更高维方式排列的数据方式就是高维张量^[40]。

一般域和环上的矩阵

矩阵的元素除了可以是实数和复数以外，还可以是任何能够使得矩阵的运算律成立的元素。首先，矩阵的元素可以是任意一个域（即能够进行“加减乘除”运算的集合）中元素。例如编码理论中会出现系数为有限域中元素的矩阵，以及有理数系数的矩阵。如果矩阵的系数所在域K不是代数闭域，那么在求矩阵的特征值时，由于特征值是相应的特征多项式的根，可能不在系数域K中，而是在系数域的某个扩域L中。反过来，如果考虑扩域L/K，以及L中的一个元素 $\alpha$ ，以及L中线性变换 $m_{\alpha }:\,x\mapsto \alpha x$ ，那么由于 $m_{\alpha }$ 也是一个K-线性变换，它可以表示成一个n×n的K系数矩阵 $X_{\alpha }$ ，其中的n是扩域L/K的阶数。 $\alpha$ 是这个矩阵的特征值，这个矩阵的特征多项式 $p_{X_{\alpha }}$ 是 $\alpha$ 在K中的最小多项式 $\operatorname {min} _{\mathbf {K} }(\alpha )$ 的幂次：

p_{X_{\alpha }}=\left(\operatorname {min} _{\mathbf {K} }(\alpha )\right)^{r}\,.

其中的 $r$ 是扩域L/K $(\alpha )$ 的阶数^[41]。

更一般的情况是矩阵的元素属于某个环R^[42]。环是比域更广泛的概念，只要求其中元素能够进行加减法和乘法运算（不一定能定义除法）。给定一个环 R， ${\mathcal {M}}(m,n,\mathbf {R} )$ 中的矩阵之间可以相互加减以及相乘，所以 ${\mathcal {M}}(m,n,\mathbf {R} )$ 关于矩阵的加法和乘法也构成一个环，称为矩阵环。n维方阵的环 ${\mathcal {M}}(n,\mathbf {R} )$ 與左R-模Rⁿ的自同態環同構^[43]。

若R是交换环，則 ${\mathcal {M}}(m,\mathbf {R} )$ 是一个帶單位元的R-代數，满足结合律，但不满足交换律。其中的矩阵仍然可以用莱布尼兹公式定義行列式。一个矩阵可逆当且仅当其行列式为环R中的可逆元（域上的矩阵可逆只需行列式不等于0）^[44]。

矩阵与线性变换

前面已经提到，所有Rⁿ → R^m的线性变换都对应着一个 ${\mathcal {M}}(m,n,\mathbf {R} )$ 中的矩阵。更一般地，给定了基底后，任意两个有限维线性空间之间的线性映射f: V → W也对应着一个矩阵A_f= (a_ij)。设空间V和W的基底分别是v₁, ..., v_n 和 w₁, ..., w_m，那么

对任意

j=1,\ldots ,n

，

f(\mathbf {v} _{j})=\sum _{i=1}^{m}a_{i,j}\mathbf {w} _{i}

矩阵A_f实际上“记录”了V中每个基底向量经过变换后得到的W中的像在基底(w₁, ..., w_m)下的形式。要注意矩阵的内容取决于基底的选择。可以说，矩阵是线性变换f 在特定“角度”（基底）下的“素描”。不同的“角度”下，描述f 的矩阵是不同的，但这些矩阵都是相似矩阵^[45]。与矩阵有关的基本概念都可以用线性变换的层面来解释，比如一个矩阵的转置可以用f 的对偶变换f^* : W^* → V^*来表示^[46]。

当矩阵的元素是带单位元的环R中的元素时，m×n的R-矩阵对应的则是R-自由模R^m和Rⁿ之间的R-线性变换。n = m 的时候，这些R-线性变换可以相互复合，因此n维的R-矩阵环能够与R-自同态环Rⁿ同构。

矩阵群

群是比环更宽泛的代数结构，只需要集合配备一个满足结合律的二元运算，即将两个群内元素映射到群内一元素的运算。矩阵群是指矩阵关于矩阵乘法组成的群^[47]。显然，只有方块矩阵才能构成乘法群。所有n维的可逆方阵构成一个群，称为n阶一般线性群。由于群内每个元素都必须是可逆的，任意的矩阵群都必然是一般线性群的子群。

能够在矩阵乘法和求逆矩阵运算下保持的性质都可以用来刻画一定的矩阵群。例如所有行列式为1的矩阵可以构成一个群，称为n阶特殊线性群^[48]。所有n维的正交矩阵，即满足：

M^TM = I

的矩阵M也构成一个群，称为n阶正交群^[49]。正交矩阵得名于它在Rⁿ中对应的线性变换具有保角性，也就是说对基本的点积，满足

(Mv) · (Mw) = v · w.^[50]

每个有限群都同构于一个矩阵群。实际上，每个有限群都同构于某个置换群的子群，而每个置换群都同构于一个矩阵群（见置换群的正则群表示^[51]）鉴于矩阵群的性质可以通过与矩阵相关的更多手段更好地理解，常常通过研究矩阵群来研究一个有限群。相关的理论称为群表示论。

无限维矩阵

无穷维矩阵可以指行数或列数无穷大，或两者都是无穷大的矩阵^[52]。尽管这样的矩阵无法完整写出，但只要知道每行每列的元素的值，仍然可以对它进行矩阵操作和运算。这里矩阵的行数和列数甚至不一定需要是可数集。需要注意的是，无穷维矩阵的乘法涉及到无穷级数求和，因此只有在相关的无穷级数收敛的时候，才能定义矩阵的乘积^[53]。无限维矩阵也可以是方块矩阵，定义为行标记集合与列标记集合相同的矩阵（如 $\mathbb {N} \times \mathbb {N}$ ）^[54]。

无限矩阵无法定义通常意义上的行列式，因此可逆矩阵不一定是方块矩阵，同理，酉矩阵也不一定要是方块矩阵^[55]。

空矩阵

空矩阵是指行数或列数为零的矩阵。空矩阵的定义可以完善一些关于零维空间的约定。包括约定一个矩阵与空矩阵相乘得到的也是空矩阵，两个n×0和0×p的空矩阵相乘是一个n×p的零矩阵（所有元素都是零的矩阵）。0×0的空矩阵的行列式约定为1，所以它也可以有逆矩阵，约定为它自己^[56]。

分塊矩陣

分塊矩陣是指一個大矩陣分割成“矩陣的矩陣”。舉例，以下的矩陣

P={\begin{bmatrix}1&2&3&2\\1&2&7&5\\4&9&2&6\\6&1&5&8\end{bmatrix}}

可分割成4個2×2的矩陣

P_{11}={\begin{bmatrix}1&2\\1&2\end{bmatrix}}P_{12}={\begin{bmatrix}3&2\\7&5\end{bmatrix}}P_{21}={\begin{bmatrix}4&9\\6&1\end{bmatrix}}P_{22}={\begin{bmatrix}2&6\\5&8\end{bmatrix}}

P={\begin{bmatrix}P_{11}&P_{12}\\P_{21}&P_{22}\end{bmatrix}}

。

将矩阵分块可以使得矩阵结构清晰，在某些时候可以方便运算、证明。两个大小相同、分块方式也相同的矩阵可以相加。行和列的块数符合矩阵乘法要求时，分块矩阵也可以相乘。将矩阵分块相乘的结果与直接相乘是一样的。用分块矩阵求逆，可以将高阶矩阵的求逆转化为多次低阶矩阵的求逆^[57]。

应用

矩阵在许多领域都应用广泛。有些时候用到矩阵是因为其表达方式紧凑，例如在博弈论和经济学中，会用收益矩阵来表示两个博弈对象在各种决策方式下的收益^[58]。文本挖掘和索引典汇编的时候，比如在TF-IDF方法中，也会用到文件项矩阵来追踪特定词汇在多个文件中的出现频率^[59]。

复数可以用实系数的2×2矩阵表示：

a+ib\leftrightarrow {\begin{bmatrix}a&-b\\b&a\end{bmatrix}},

这种表示法与复数的加减法、乘法都相兼容。比如，2×2的旋转矩阵可以用来表示模长为1的复数，一个向量乘以此旋转矩阵可以视作一个复数乘以该模长为1的复数。对四元数也有类似的矩阵表达^[60]。

早期的密码技术如希尔密码也用到矩阵。然而，矩阵的线性性质使这类密码相对容易破解^[61]。计算机图像处理也会用到矩阵来表示处理对象，并且用放射旋转矩阵来计算对象的变换，实现三维对象在特定二维屏幕上的投影^[62]。多项式环上的矩阵在控制论中有重要作用。

化学中也有矩阵的应用，特别在使用量子理论讨论分子键和光谱的时候。具体例子有解罗特汉方程时用重叠矩阵和福柯矩阵来得到哈特里－福克方法中的分子轨道。

图论

图论中可以用矩阵描述一个有限图^[63]。这个矩阵叫做相关矩阵的邻接矩阵，记录了图的每两个顶点之间是否有边连接。对简单图来说，邻接矩阵的元素只取两个值：0和1,第i 行第j 列上取值为0，表示没有从第i 个顶点连到第j 个顶点的边，取值为1则说明有。如果是一般情况的话，第i 行第j 列上的取值是从第i 个顶点连到第j 个顶点的边的数目。距离矩阵则是表示图中各顶点之间距离的矩阵^[64]。在研究互联网等复杂网络的时候，邻接矩阵常常会是稀疏矩阵。因此网络理论中有专门研究稀疏矩阵的方面。

数学分析

在多元函数微积分学中，对二阶偏导数存在的函数f: Rⁿ → R，可以定义其海森矩阵^[65]：

H(f)(x)=\left[{\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}(x)\right].

严格来说，仅当函数在某一点上的二阶偏导数存在，才能定义这一点上的海森矩阵。海森矩阵给出了函数在这一点的变化率方面的信息。当给定的点x = (x₁, ..., x_n)是函数平稳点（即函数f 在这一点上的一阶偏导数 $\scriptstyle {\frac {\partial f}{\partial x_{i}}}$ 都是0）时，就需要利用海森矩阵来查看函数在这一点周围的增长特性。多元函数在点x的泰勒展开是：

f(x+h)=f(x)+\nabla f(x)\cdot h+{\frac {1}{2}}h^{T}H(f)(x)h+\circ \left(\|x\|^{3}\right)

如果函数在点x的一阶偏导数都是0，那么 $\nabla f=0$ ，所以函数在x附近的变化率取决于海森矩阵 $H(f)(x)$ 的性质。如果 $H(f)(x)$ 是正定矩阵，那么函数在点x取得局部最小值，如果是负定矩阵，则函数在x取得局部最大值。在这类情况下，关于函数f 的条件最优化问题可以转变为关于海森矩阵的二次规划问题^[66]。

矩阵在多元函数微积分中的另一个应用是雅可比矩阵。函数f: Rⁿ → R^m在某一点x上的一阶偏导数存在时，可以定义它在这点上的雅可比矩阵^[67]：

J_{f}(x)=\left[{\frac {\partial f_{i}}{\partial x_{j}}}(x)\right]_{1\leq i\leq m,1\leq j\leq n}.

如果n>m，而 $J_{f}(x)$ 又是满秩矩阵（秩等于m）的话，根据反函数定理，可以找到函数f 在x附近的一个局部的反函数^[68]。

偏微分方程理论中，二阶拟线性偏微分方程可以根据最高次偏导项系数构成的矩阵的正定性分类。假设有一个二阶拟线性偏微分方程：

(\mathbf {E} )\qquad \qquad \sum _{1\leqslant i,j\leqslant n}a_{ij}{\frac {\partial ^{2}f}{\partial x_{i}\,\partial x_{j}}}+\sum _{i=1}^{n}b_{i}{\frac {\partial f}{\partial x_{i}}}+cf=g.\qquad

并假设

a_{ij}=a_{ji},

记矩阵 $\mathbf {A} =\left[a_{ij}\right]_{1\leqslant i,j\leqslant n}$ 。如果矩阵A是正定或负定矩阵，那么就称方程(E)为椭圆形偏微分方程；如果A不可逆，就称(E)为抛物形偏微分方程，如果A可逆而且恰有n - 1个特征值同号，就称(E)为双曲型偏微分方程。其它情况下也称(E)为超双曲形偏微分方程。不同类型的方程解的形式也不一样^[69]。

用数值方法解偏微分方程时更需要用到矩阵。一个重要的方法是有限元方法，在求解各种物理中遇到的偏微分方程时广泛使用。有限元方法的基本思想是用一系列“简单”函数的线性组合来“逼近”偏微分方程的精确解。这些“简单”函数通常是指将求解区域分割成一定数量的“小块”后，仅在某一“小块”上非零的分段线性函数。选定了网格和“简单”函数后，可以求解关于刚度矩阵的方程得到近似解。有限元理论中证明了在满足一定的条件下，近似解将随着网格趋于精细而弱收敛到精确解^[70]^[71]。

概率论与统计

概率论中常用到随机矩阵，即行向量是概率向量（即所有的元素都在0和1之间，并且加起来等于1的向量）的矩阵。随机矩阵可用来定义有限概率空间中的马尔可夫链。设随机变量 $X_{n}$ 是某个马尔可夫链在 $t=n$ 时刻的状态，所有可能的状态 $S=\left\{s_{1},s_{2},\cdots ,s_{m}\right\}$ 称为状态空间，那么随机矩阵 $M_{n}^{n+1}$ 则记录了假设已知 $X_{n}$ 的可能情况下 $X_{n+1}$ 做各种取值的可能性^[72]。 $M_{n}^{n+1}$ 的第i 行第j 列上的元素表示当 $X_{n}=s_{j}$ 的时候， $X_{n+1}=s_{i}$ 的可能性。 $M_{n}^{n+1}$ 的第j 行记录了从 $X_{n}=s_{j}$ 转移到 $X_{n+1}$ 各种状态的可能性。所以 $M_{n}^{n+1}$ 叫做 $t=n$ 时刻的转移矩阵。如果马尔可夫链的转移矩阵不随时刻变化，则称为齐次马尔可夫链。这时马尔可夫链的吸引态可以通过计算转移矩阵的特征向量得到^[73]。

统计学中也会用到各种不同的矩阵。描述统计学中常常需要用矩阵的形式来描述数据样本，显得更为紧凑。几个随机变量的协方差矩阵表示它们之间的协方差关系，在某种程度上表示了它们相互间的关联程度（但不绝对）^[74]。

统计学中用到矩阵的另一个地方是线性回归中的最小二乘法分析。当观测到随机样本 $(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

即将变量Y表示成X的分量的线性组合与一个已知的随机误差的和。这个表示可以写成矩阵的形式，并利用矩阵的奇异值分解来分析^[75]。

另一种随机矩阵（random matrix）是指每个元素都是随机变量的矩阵，这些随机变量可以都遵循同一个分布，或各自遵循不同的分布。一个常见的例子是全部元素都是相互独立的标准正态分布随机变量的随机矩阵。这种随机矩阵在数论和物理中也有应用^[76]^[77]。

物理学上的对称性及线性变换

线性变换及其所对应的对称，在现代物理学中有着重要的角色。例如，在量子场论中，基本粒子是由狭义相对论的洛伦兹群所表示，具体来说，即它们在旋量群下的表现。内含泡利矩阵及更通用的狄拉克矩阵的具体表示，在费米子的物理描述中，是一项不可或缺的构成部分，而费米子的表现可以用旋量来表述^[78]。描述最轻的三种夸克时，需要用到一种内含特殊酉群SU(3)的群论表示；物理学家在计算时会用一种更简便的矩阵表示，叫盖尔曼矩阵，这种矩阵也被用作SU(3)规范群，而强核力的现代描述──量子色动力学的基础正是SU(3)。还有卡比博-小林-益川矩阵（CKM矩阵）：在弱相互作用中重要的基本夸克态，与指定粒子间不同质量的夸克态不一样，但两者却是成线性关系，而CKM矩阵所表达的就是这一点^[79]。

量子态的线性组合

1925年海森堡提出第一个量子力学模型时，使用了无限维矩阵来表示理论中作用在量子态上的算子^[80]。这种做法在矩阵力学中也能见到。例如密度矩阵就是用来刻画量子系统中“纯”量子态的线性组合表示的“混合”量子态^[81]。

另一种矩阵是用来描述构成实验粒子物理基石的散射实验的重要工具。当粒子在加速器中发生碰撞，原本没有相互作用的粒子在高速运动中进入其它粒子的作用区，动量改变，形成一系列新的粒子。这种碰撞可以解释为结果粒子状态和入射粒子状态线性组合的标量积。其中的线性组合可以表达为一个矩阵，称为S矩阵，其中记录了所有可能的粒子间相互作用^[82]。

简正模式

矩阵在物理学中的另一类泛应用是描述线性耦合调和系统。这类系统的运动方程可以用矩阵的形式来表示，即用一个质量矩阵乘以一个广义速度来给出运动项，用力矩阵乘以位移向量来刻画相互作用。求系统的解的最优方法是将矩阵的特征向量求出（通过对角化等方式），称为系统的简正模式。这种求解方式在研究分子内部动力学模式时十分重要：系统内部由化学键结合的原子的振动可以表示成简正振动模式的叠加^[83]。描述力学振动或电路振荡时，也需要使用简正模式求解^[84]。

幾何光學

在幾何光學裏，可以找到很多需要用到矩陣的地方。幾何光學是一種忽略了光波波動性的近似理論，這理論的模型將光線視為幾何射線。採用近軸近似，假若光線與光軸之間的夾角很小，則透鏡或反射元件對於光線的作用，可以表達為2×2矩陣與向量的乘積。這向量的兩個分量是光線的幾何性質（光線的斜率、光線跟光軸之間在主平面（英语：principal plane）的垂直距離）。這矩陣稱為光線傳輸矩陣，內中元素編碼了光學元件的性質。對於折射，這矩陣又細分為兩種：「折射矩陣」與「平移矩陣」。折射矩陣描述光線遇到透鏡的折射行為。平移矩陣描述光線從一個主平面傳播到另一個主平面的平移行為。

由一系列透鏡或反射元件組成的光學系統，可以很簡單地以對應的矩陣組合來描述其光線傳播路徑。^[85]

電子學

在電子學裏，傳統的網目分析（英语：mesh analysis）或節點分析會獲得一個線性方程組，這可以以矩陣來表示與計算。

很多種電子元件的電路行為可以用矩陣來描述。設定 $A$ 為輸入向量，其兩個分量為輸入電壓 $v_{1}$ 與輸入電流 $i_{1}$ 。設定 $B$ 為輸出向量，其兩個分量為輸出電壓 $v_{2}$ 與輸出電流 $i_{2}$ 。這電子元件的電路行為可以描述為 $B=H\cdot A$ ；其中， $H$ 是2×2矩陣，內有一個阻抗元素 $h_{12}$ 、一個導納元素 $h_{21}$ 、兩個無量綱元素 $h_{11}$ 與 $h_{22}$ 。這樣，電路的計算可以約化為矩陣計算。

歷史

作為解決線性方程的工具，矩陣也有不短的歷史。成书最迟在东汉前期的《九章算术》中，已经出现过以矩阵形式表示线性方程组系数以解方程的图例，可算作是矩阵的雏形^[86]。矩阵正式作为数学中的研究对象出现，则是在行列式的研究发展起来后。逻辑上，矩阵的概念先于行列式，但在实际的历史上则恰好相反。日本数学家关孝和（1683年）与微積分的發現者之一戈特弗里德·威廉·萊布尼茨（1693年）近乎同时地独立建立了行列式論。其后行列式作为解线性方程组的工具逐步发展。1750年，加布里尔·克拉默发现了克莱姆法则^[87]。

进入十九世纪后，行列式的研究进一步发展，矩阵的概念也应运而生。奧古斯丁·路易·柯西是最早将行列式排成方阵并将其元素用双重下标表示的数学家。他还在1829年就在行列式的框架中证明了实对称矩阵特征根为实数的结论^[88]。其后，詹姆斯·約瑟夫·西爾維斯特注意到，在作为行列式的计算形式以外，将数以行和列的形式作出的矩形排列本身也是值得研究的。在他希望引用数的矩形阵列而又不能用行列式来形容的时候，就用“matrix”一词来形容^[89]。而在此之前，数学家已经开始将增广矩阵作为独立的对象引用了。西尔维斯特使用“matrix”一词是因为他希望讨论行列式的子式，即将矩阵的某几行和某几列的共同元素取出来排成的矩阵的行列式，所以实际上“matrix”被他看做是生成各种子式的“母体”：

我在先前的文章中将矩形排布的序列称为“Matrix”，盖因从中可以产生出各种不同的行列式，就如由同一个母体的子宫中孕育出来一样。^[90]

阿瑟·凯莱被公认为矩阵论的奠基人^[91]。他开始将矩阵作为独立的数学对象研究时，许多与矩阵有关的性质已经在行列式的研究中被发现了，这也使得凯莱认为矩阵的引进是十分自然的。他说：“我决然不是通过四元数而获得矩阵概念的；它或是直接从行列式的概念而来，或是作为一个表达线性方程组的方便方法而来的。^[92]”他从1858年开始，发表了《矩阵论的研究报告》等一系列关于矩阵的专门论文^[93]^[94]，研究了矩阵的运算律、矩阵的逆以及转置和特征多项式方程。凯莱还提出了凯莱-哈密尔顿定理，并验证了3×3矩阵的情况，又说进一步的证明是不必要的。哈密尔顿证明了4×4矩阵的情况，而一般情况下的证明是弗罗贝尼乌斯于1898年给出的^[95]。

此后更多的数学家开始对矩阵进行研究。埃尔米特证明了如果矩阵等于其复共轭转置，则特征根为实数。这种矩阵后来被称为埃尔米特矩阵^[96]。弗罗贝尼乌斯对矩阵的特征方程、特征根、矩阵的秩、正交矩阵、矩阵方程等方面做了大量工作。1878年，在引进了不变因子、初等因子等概念的同时，弗罗贝尼乌斯给出了正交矩阵、相似矩阵和合同矩阵的概念。同年，他探讨了矩阵的最小多项式（最小方程）问题。1894年的论文中，他讨论了矩阵理论和四元数理论的关系。1896年，他给出了凯莱-哈密尔顿定理的完整证明^[1]。矩阵理论在19世纪沿着两个方向发展，分别是作为抽象代数结构和作为代数工具描述几何空间的线性变换。矩阵理论为群论和不变量理论的发展。

无限维矩阵的研究始于1884年。庞加莱在两篇不严谨地使用了无限维矩阵和行列式理论的文章后开始了对这一方面的专门研究^[1]。1906年，希尔伯特引入无限二次型（相当于无限维矩阵）对积分方程进行研究，极大地促进了无限维矩阵的研究。在此基础上，施密茨、赫林格和特普利茨发展出算子理论，而无限维矩阵成为了研究函数空间算子的有力工具^[1]。

参见

矩陣論專有名詞表：有關矩陣論所用到的名詞的定義
方块矩阵
矩陣範數
雅可比矩阵

注释与参考

脚注

^ ^1.0 ^1.1 ^1.2 ^1.3 董可荣 2007, 第3节
^ 周建華. 《矩陣》. 台湾: 中央圖書出版社. 2002. ISBN 9789576374913 （中文）.
^ Brown 1991, Definition I.2.1 (addition), Definition I.2.4 (scalar multiplication), and Definition I.2.33 (transpose)
^ Brown 1991, Theorem I.2.6
^ Brown 1991, Definition I.2.20
^ 林志兴 & 杨忠鹏 2010
^ Horn & Johnson 1985, Ch. 4 and 5
^ Brown 1991, I.2.21 and 22
^ Greub 1975, Section III.2
^ Brown 1991, Definition II.3.3
^ Greub 1975, Section III.1
^ Brown 1991, Theorem II.3.22
^ Brown 1991, Definition I.5.13
^ Brown 1991, Definition I.2.28
^ 这个结论容易从矩阵乘法的定义获得：
$\scriptstyle \operatorname {tr} ({\mathsf {AB}})=\sum _{i=1}^{m}\sum _{j=1}^{n}A_{ij}B_{ji}=\operatorname {tr} ({\mathsf {BA}}).$
^ Brown 1991, Definition III.2.1
^ Mirsky 1990, Theorem 1.4.1
^ Brown 1991, Theorem III.2.12
^ Brown 1991, Corollary III.2.16
^ Brown 1991, Theorem III.3.18
^ Brown 1991, Definition III.4.1
^ Steven A. Leduc [[#CITEREFSteven A. Leduc|]], 第293页
^ Brown 1991, Definition III.4.9
^ Brown 1991, Corollary III.4.10
^ 王萼芳 1997, 4.2，定理3，第247页
^ Horn & Johnson 1985, Theorem 2.5.6
^ Horn & Johnson 1985, Chapter 7
^ Horn & Johnson 1985, Theorem 7.2.1
^ Bau III & Trefethen 1997
^ Householder 1975, Ch. 7
^ Golub & Van Loan 1996, Algorithm 1.3.1
^ Golub & Van Loan 1996, Chapters 9 and 10, esp. section 10.2
^ Golub & Van Loan 1996, Chapter 2.3
^ Press, Flannery & Teukolsky 1992
^ Stoer & Bulirsch 2002, Section 4.1
^ Horn & Johnson 1985, Theorem 2.5.4
^ Horn & Johnson 1985, Ch. 3.1, 3.2
^ Arnold & Cooke 1992, Sections 14.5, 7, 8
^ Bronson 1989, Ch. 15
^ Coburn 1955, Ch. V
^ Ash 2012, Chapter II
^ Lang 2002, Chapter XIII
^ Lang 2002, XVII.1, p. 643
^ Lang 2002, Proposition XIII.4.16
^ Greub 1975, Section III.3
^ Greub 1975, Section III.3.13
^ Baker 2003, Def. 1.30
^ Baker 2003, Theorem 1.2
^ Artin 1991, Chapter 4.5
^ Artin 1991, Theorem 4.5.13
^ Rowen 2008, Example 19.2, p. 198
^ Itõ, ed. 1987
^ Thankappan 1993
^ Thankappan 1993
^ Thankappan 1993
^ Faliva & Zoia 2008
^ 居余马 2002, 2.6
^ Fudenberg & Tirole 1983, Section 1.1.1
^ Manning 1999, Section 15.3.4
^ Ward 1997, Ch. 2.8
^ Stinson 2005, Ch. 1.1.5 and 1.2.4
^ Association for Computing Machinery 1979, Ch. 7
^ Godsil & Royle 2004, Ch. 8.1
^ Punnen 2002
^ Lang 1987a, Ch. XVI.6
^ Nocedal 2006, Ch. 16
^ Lang 1987a, Ch. XVI.1
^ Lang 1987a, Ch. XVI.5
^ Gilbarg & Trudinger 2001
^ Šolin 2005, Ch. 2.5
^ 伊泽尔莱斯 2005, Ch. 8
^ Latouche & Ramaswami 1999
^ Mehata & Srinivasan 1978, Ch. 2.8
^ Krzanowski 1988, Ch. 2.2., p. 60
^ Krzanowski 1988, Ch. 4.1
^ Conrey 2007
^ Zabrodin, Brezin & Kazakov et al. 2006
^ Itzykson & Zuber 1980, Ch. 2
^ 见Burgess & Moore 2007, section 1.6.3. (SU(3)), section 2.4.3.2. (Kobayashi－Maskawa matrix)
^ Schiff 1968, Ch. 6
^ Bohm 2001, sections II.4 and II.8
^ Weinberg 1995, Ch. 3
^ Wherrett 1987, part II
^ Riley, Hobson & Bence 1997, 7.17
^ Guenther 1990, Ch. 5
^ Shen, Crossley & Lun 1999
^ 克莱因 2002, 第33章第4节
^ Hawkins 1975
^ 克莱因 2002, 第33章第4节
^ The Collected Mathematical Papers of James Joseph Sylvester: 1837–1853, Paper 37, p. 247
^ 克莱因 2002, 第33章第4节
^ 克莱因 2002, 第33章第4节
^ Cayley 1889, vol. II, p. 475–496
^ Dieudonné, ed. 1978, Vol. 1, Ch. III, p. 96
^ 克莱因 2002, 第33章第4节
^ 克莱因 2002, 第33章第4节

参考文献

Arnold, Vladimir I.; Cooke, Roger, Ordinary differential equations, Berlin, DE; New York, NY: Springer-Verlag, 1992, ISBN 978-3-540-54813-3
Artin, Michael, Algebra, Prentice Hall, 1991, ISBN 978-0-89871-510-1
Association for Computing Machinery, Computer Graphics, Tata McGraw–Hill, 1979, ISBN 978-0-07-059376-3
Baker, Andrew J., Matrix Groups: An Introduction to Lie Group Theory, Berlin, DE; New York, NY: Springer-Verlag, 2003, ISBN 978-1-85233-470-3
Bau III, David; Trefethen, Lloyd N., Numerical linear algebra, Philadelphia, PA: Society for Industrial and Applied Mathematics, 1997, ISBN 978-0-89871-361-9
Bretscher, Otto, Linear Algebra with Applications 3rd, Prentice Hall, 2005
王萼芳, 高等代数教程第1版, 清华大学出版社, 1997, ISBN 9787302024521
Bronson, Richard, Schaum's outline of theory and problems of matrix operations, New York: McGraw–Hill, 1989, ISBN 978-0-07-007978-6
Brown, William A., Matrices and vector spaces, New York, NY: M. Dekker, 1991, ISBN 978-0-8247-8419-5
Coburn, Nathaniel, Vector and tensor analysis, New York, NY: Macmillan, 1955, OCLC 1029828
Conrey, J. Brian, Ranks of elliptic curves and random matrix theory, Cambridge University Press, 2007, ISBN 978-0-521-69964-8
Fudenberg, Drew; Tirole, Jean, Game Theory, MIT Press, 1983
Gilbarg, David; Trudinger, Neil S., Elliptic partial differential equations of second order 2nd, Berlin, DE; New York, NY: Springer-Verlag, 2001, ISBN 978-3-540-41160-4
Godsil, Chris; Royle, Gordon, Algebraic Graph Theory, Graduate Texts in Mathematics 207, Berlin, DE; New York, NY: Springer-Verlag, 2004, ISBN 978-0-387-95220-8
Golub, Gene H.; Van Loan, Charles F., Matrix Computations 3rd, Johns Hopkins, 1996, ISBN 978-0-8018-5414-9
Greub, Werner Hildbert, Linear algebra, Graduate Texts in Mathematics, Berlin, DE; New York, NY: Springer-Verlag, 1975, ISBN 978-0-387-90110-7
Guenther, Robert D., Modern Optics, John Wiley, 1990, ISBN 0-471-60538-7
Halmos, Paul Richard, A Hilbert space problem book, Graduate Texts in Mathematics 19 2nd, Berlin, DE; New York, NY: Springer-Verlag, 1982, ISBN 978-0-387-90685-0, MR 0675952
Horn, Roger A.; Johnson, Charles R., Matrix Analysis, Cambridge University Press, 1985, ISBN 978-0-521-38632-6
Householder, Alston S., The theory of matrices in numerical analysis, New York, NY: Dover Publications, 1975, MR 0378371
Krzanowski, Wojtek J., Principles of multivariate analysis, Oxford Statistical Science Series 3, The Clarendon Press Oxford University Press, 1988, ISBN 978-0-19-852211-9, MR 0969370
Itõ, Kiyosi (编), Encyclopedic dictionary of mathematics. Vol. I-IV 2nd, MIT Press, 1987, ISBN 978-0-262-09026-1, MR 0901762
Ash, Robert B., A Course In Algebraic Number Theory (PDF), Dept. of Mathematics, University of Illinois
Lang, Serge, Analysis II, Addison-Wesley, 1969
Lang, Serge, Calculus of several variables 3rd, Berlin, DE; New York, NY: Springer-Verlag, 1987a, ISBN 978-0-387-96405-8
Lang, Serge, Linear algebra, Berlin, DE; New York, NY: Springer-Verlag, 1987b, ISBN 978-0-387-96412-6
Latouche, Guy; Ramaswami, Vaidyanathan, Introduction to matrix analytic methods in stochastic modeling 1st, Philadelphia, PA: Society for Industrial and Applied Mathematics, 1999, ISBN 978-0-89871-425-8
Manning, Christopher D.; Schütze, Hinrich, Foundations of statistical natural language processing, MIT Press, 1999, ISBN 978-0-262-13360-9
Mehata, K. M.; Srinivasan, S. K., Stochastic processes, New York, NY: McGraw–Hill, 1978, ISBN 978-0-07-096612-3
Mirsky, Leonid, An Introduction to Linear Algebra, Courier Dover Publications, 1990, ISBN 978-0-486-66434-7
Nocedal, Jorge; Wright, Stephen J., Numerical Optimization 2nd, Berlin, DE; New York, NY: Springer-Verlag: 449, 2006, ISBN 978-0-387-30303-1
Bohm, Arno, Quantum Mechanics: Foundations and Applications, Springer, 2001, ISBN 0-387-95330-2
Burgess, Cliff; Moore, Guy, The Standard Model. A Primer, Cambridge University Press, 2007, ISBN 0-521-86036-9
Guenther, Robert D., Modern Optics, John Wiley, 1990, ISBN 0-471-60538-7
Itzykson, Claude; Zuber, Jean-Bernard, Quantum Field Theory, McGraw–Hill, 1980, ISBN 0-07-032071-3
Riley, Kenneth F.; Hobson, Michael P.; Bence, Stephen J., Mathematical methods for physics and engineering, Cambridge University Press, 1997, ISBN 0-521-55506-X
Schiff, Leonard I., Quantum Mechanics 3rd, McGraw–Hill, 1968
Weinberg, Steven, The Quantum Theory of Fields. Volume I: Foundations, Cambridge University Press, 1995, ISBN 0-521-55001-7
Wherrett, Brian S., Group Theory for Atoms, Molecules and Solids, Prentice–Hall International, 1987, ISBN 0-13-365461-3
Zabrodin, Anton; Brezin, Édouard; Kazakov, Vladimir; Serban, Didina; Wiegmann, Paul, Applications of Random Matrices in Physics (NATO Science Series II: Mathematics, Physics and Chemistry), Berlin, DE; New York, NY: Springer-Verlag, 2006, ISBN 978-1-4020-4530-1
林志兴; 杨忠鹏, 与给定矩阵A的可交换子环C(A)的一些探讨, 莆田学院学报，2010年, 17(2), 2010
Oualline, Steve, Practical C++ programming, O'Reilly, 2003, ISBN 978-0-596-00419-4
Press, William H.; Flannery, Brian P.; Teukolsky, Saul A.; Vetterling, William T., LU Decomposition and Its Applications, Numerical Recipes in FORTRAN: The Art of Scientific Computing (PDF) 2nd, Cambridge University Press: 34–42, 1992
Punnen, Abraham P.; Gutin, Gregory, The traveling salesman problem and its variations, Boston, MA: Kluwer Academic Publishers, 2002, ISBN 978-1-4020-0664-7
Reichl, Linda E., The transition to chaos: conservative classical systems and quantum manifestations, Berlin, DE; New York, NY: Springer-Verlag, 2004, ISBN 978-0-387-98788-0
Rowen, Louis Halle, Graduate Algebra: noncommutative view, Providence, RI: American Mathematical Society, 2008, ISBN 978-0-8218-4153-2
Šolin, Pavel, Partial Differential Equations and the Finite Element Method, Wiley-Interscience, 2005, ISBN 978-0-471-76409-0
Stinson, Douglas R., Cryptography, Discrete Mathematics and its Applications, Chapman & Hall/CRC, 2005, ISBN 978-1-58488-508-5
Stoer, Josef; Bulirsch, Roland, Introduction to Numerical Analysis 3rd, Berlin, DE; New York, NY: Springer-Verlag, 2002, ISBN 978-0-387-95452-3
Ward, J. P., Quaternions and Cayley numbers, Mathematics and its Applications 403, Dordrecht, NL: Kluwer Academic Publishers Group, 1997, ISBN 978-0-7923-4513-8, MR 1458894
（中文）居余马; 林翠琴, 线性代数, 清华大学出版社, 2002, ISBN 978-7-302-06507-4
（中文）克莱因, 莫里斯; 著，张理京、张锦炎、江泽涵译, 《古今数学思想》第三卷, 上海科学技术出版社, 2002, ISBN 7-5323-6172-1
Wolfram, Stephen, The Mathematica Book 5th, Champaign, IL: Wolfram Media, 2003, ISBN 978-1-57955-022-6
Thankappan, V. K., Quantum Mechanics 2nd, New Age International, 1993, ISBN 9788122405262
Faliva, Mario; Zoia, Maria Grazia, Dynamic Model Analysis: Advanced Matrix Methods and Unit-Root Econometrics Representation Theorems 2nd, Berlin, DE; New York, NY: Springer-Verlag: 218, 2008, ISBN 9783540859956
伊泽尔莱斯, 刘晓艳, 刘学深译, 微分方程数值分析基础教程, 清华大学出版社, 2005, ISBN 9787302106524
董可荣, 矩阵理论的历史研究, 《山东大学》, 2007
Bôcher, Maxime, Introduction to higher algebra, New York, NY: Dover Publications, 2004, ISBN 978-0-486-49570-5
Cayley, Arthur, The collected mathematical papers of Arthur Cayley, I (1841–1853), Cambridge University Press: 123–126, 1889
Dieudonné, Jean (编), Abrégé d'histoire des mathématiques 1700-1900, Paris, FR: Hermann, 1978
Hawkins, Thomas, Cauchy and the spectral theory of matrices, Historia Mathematica, 1975, 2: 1–29, ISSN 0315-0860, MR 0469635, doi:10.1016/0315-0860(75)90032-4
Knobloch, Eberhard, From Gauss to Weierstrass: determinant theory and its historical evaluations, The intersection of history and mathematics, Science Networks Historical Studies 15, Basel, Boston, Berlin: Birkhäuser: 51–66, 1994, MR 1308079
Kronecker, Leopold, Hensel, Kurt , 编, Leopold Kronecker's Werke, Teubner, 1897
Mehra, Jagdish; Rechenberg, Helmut, The Historical Development of Quantum Theory 1st, Berlin, DE; New York, NY: Springer-Verlag, 1987, ISBN 978-0-387-96284-9
Shen, Kangshen; Crossley, John N.; Lun, Anthony Wah-Cheung, Nine Chapters of the Mathematical Art, Companion and Commentary 2nd, Oxford University Press, 1999, ISBN 978-0-19-853936-0
Weierstrass, Karl, Collected works 3, 1915

外部链接

Template:Link FA Template:Link GA Template:Link FA

[hist-1] 1.0 ^1.1 ^1.2 ^1.3 董可荣 2007, 第3节

[zjh-2] 周建華. 《矩陣》. 台湾: 中央圖書出版社. 2002. ISBN 9789576374913 （中文）.

[3] Brown 1991, Definition I.2.1 (addition), Definition I.2.4 (scalar multiplication), and Definition I.2.33 (transpose)

[4] Brown 1991, Theorem I.2.6

[5] Brown 1991, Definition I.2.20

[6] 林志兴 & 杨忠鹏 2010

[7] Horn & Johnson 1985, Ch. 4 and 5

[8] Brown 1991, I.2.21 and 22

[9] Greub 1975, Section III.2

[10] Brown 1991, Definition II.3.3

[11] Greub 1975, Section III.1

[12] Brown 1991, Theorem II.3.22

[13] Brown 1991, Definition I.5.13

[14] Brown 1991, Definition I.2.28

[15] 这个结论容易从矩阵乘法的定义获得：
$\scriptstyle \operatorname {tr} ({\mathsf {AB}})=\sum _{i=1}^{m}\sum _{j=1}^{n}A_{ij}B_{ji}=\operatorname {tr} ({\mathsf {BA}}).$

[16] Brown 1991, Definition III.2.1

[17] Mirsky 1990, Theorem 1.4.1

[18] Brown 1991, Theorem III.2.12

[19] Brown 1991, Corollary III.2.16

[20] Brown 1991, Theorem III.3.18

[21] Brown 1991, Definition III.4.1

[22] Steven A. Leduc [[#CITEREFSteven A. Leduc|]], 第293页

[23] Brown 1991, Definition III.4.9

[24] Brown 1991, Corollary III.4.10

[25] 王萼芳 1997, 4.2，定理3，第247页

[26] Horn & Johnson 1985, Theorem 2.5.6

[27] Horn & Johnson 1985, Chapter 7

[28] Horn & Johnson 1985, Theorem 7.2.1

[29] Bau III & Trefethen 1997

[30] Householder 1975, Ch. 7

[31] Golub & Van Loan 1996, Algorithm 1.3.1

[32] Golub & Van Loan 1996, Chapters 9 and 10, esp. section 10.2

[33] Golub & Van Loan 1996, Chapter 2.3

[34] Press, Flannery & Teukolsky 1992

[35] Stoer & Bulirsch 2002, Section 4.1

[36] Horn & Johnson 1985, Theorem 2.5.4

[37] Horn & Johnson 1985, Ch. 3.1, 3.2

[38] Arnold & Cooke 1992, Sections 14.5, 7, 8

[39] Bronson 1989, Ch. 15

[40] Coburn 1955, Ch. V

[41] Ash 2012, Chapter II

[42] Lang 2002, Chapter XIII

[43] Lang 2002, XVII.1, p. 643

[44] Lang 2002, Proposition XIII.4.16

[45] Greub 1975, Section III.3

[46] Greub 1975, Section III.3.13

[47] Baker 2003, Def. 1.30

[48] Baker 2003, Theorem 1.2

[49] Artin 1991, Chapter 4.5

[50] Artin 1991, Theorem 4.5.13

[51] Rowen 2008, Example 19.2, p. 198

[52] Itõ, ed. 1987

[53] Thankappan 1993

[54] Thankappan 1993

[55] Thankappan 1993

[56] Faliva & Zoia 2008

[57] 居余马 2002, 2.6

[58] Fudenberg & Tirole 1983, Section 1.1.1

[59] Manning 1999, Section 15.3.4

[60] Ward 1997, Ch. 2.8

[61] Stinson 2005, Ch. 1.1.5 and 1.2.4

[62] Association for Computing Machinery 1979, Ch. 7

[63] Godsil & Royle 2004, Ch. 8.1

[64] Punnen 2002

[65] Lang 1987a, Ch. XVI.6

[66] Nocedal 2006, Ch. 16

[67] Lang 1987a, Ch. XVI.1

[68] Lang 1987a, Ch. XVI.5

[69] Gilbarg & Trudinger 2001

[70] Šolin 2005, Ch. 2.5

[71] 伊泽尔莱斯 2005, Ch. 8

[72] Latouche & Ramaswami 1999

[73] Mehata & Srinivasan 1978, Ch. 2.8

[74] Krzanowski 1988, Ch. 2.2., p. 60

[75] Krzanowski 1988, Ch. 4.1

[76] Conrey 2007

[77] Zabrodin, Brezin & Kazakov et al. 2006

[78] Itzykson & Zuber 1980, Ch. 2

[79] 见Burgess & Moore 2007, section 1.6.3. (SU(3)), section 2.4.3.2. (Kobayashi－Maskawa matrix)

[80] Schiff 1968, Ch. 6

[81] Bohm 2001, sections II.4 and II.8

[82] Weinberg 1995, Ch. 3

[83] Wherrett 1987, part II

[84] Riley, Hobson & Bence 1997, 7.17

[85] Guenther 1990, Ch. 5

[86] Shen, Crossley & Lun 1999

[87] 克莱因 2002, 第33章第4节

[88] Hawkins 1975

[89] 克莱因 2002, 第33章第4节

[90] The Collected Mathematical Papers of James Joseph Sylvester: 1837–1853, Paper 37, p. 247

[91] 克莱因 2002, 第33章第4节

[92] 克莱因 2002, 第33章第4节

[93] Cayley 1889, vol. II, p. 475–496

[94] Dieudonné, ed. 1978, Vol. 1, Ch. III, p. 96

[95] 克莱因 2002, 第33章第4节

[96] 克莱因 2002, 第33章第4节

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

[52]

[53]

[54]

[55]

[56]

[57]

[58]

[59]

[60]

[61]

[62]

[63]

[64]

[65]

[66]

[67]

[68]

[69]

[70]

[71]

[72]

[73]

[74]

[75]

[76]

[77]

[78]

[79]

[80]

[81]

[82]

[83]

[84]

[85]

[86]

[87]

[88]

[89]

[90]

[91]

[92]

[93]

[94]

[95]

[96]

@@ 第261行： / 第261行： @@
 设有{{math|''k''×''m''}}的矩陣{{math|'''B'''}}代表綫性變換{{math|''g'' : '''R'''<sup>''m''</sup>}} <tt>-></tt> {{math|'''R'''<sup>''k''</sup>}}，則矩陣積{{math|'''BA'''}}代表了綫性變換的复合{{math|''g'' o ''f''}}<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.2 }}</ref>，因为
-:{{math|(''g'' ∘ ''f'')('''x''') = ''g''(''f''('''x''')) = ''g''('''Ax''') = '''B'''('''Ax''') = ('''BA''')'''x'''}}
+:(''g'' ∘ ''f'')('''x''') = ''g''(''f''('''x''')) = ''g''('''Ax''') = '''B'''('''Ax''') = ('''BA''')'''x'''
 [[矩阵的秩]]是指矩阵中[[线性相关性|线性无关]]的行（列）向量的最大个数<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition II.3.3 }}</ref>，同时也是矩阵对应的线性变换的[[像|像空间]]的维度<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.1 }}</ref>。[[秩－零化度定理]]说明矩阵的列数量等于矩阵的秩与[[零空间]]维度之和<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem II.3.22 }}</ref>。