矩阵

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

「m-by-n matrix」的各地常用名稱
中国大陸	${\displaystyle m}$行${\displaystyle n}$列矩阵
臺灣	${\displaystyle m}$列${\displaystyle n}$行矩陣

數學上，一個${\displaystyle m\times n}$的矩陣是一个有${\displaystyle m}$行（row）${\displaystyle n}$列（column）元素的矩形阵列。矩陣裡的元素可以是数字或符号甚至是函数。

${\displaystyle {\begin{bmatrix}a_{11}&a_{12}&a_{13}&\dots &a_{1j}&\dots &a_{1n}\\a_{21}&a_{22}&a_{23}&\dots &a_{2j}&\dots &a_{2n}\\a_{31}&a_{32}&a_{33}&\dots &a_{3j}&\dots &a_{3n}\\\vdots &\vdots &\vdots &\ddots &\vdots &\ddots &\vdots \\a_{i1}&a_{i2}&a_{i3}&\dots &a_{ij}&\dots &a_{in}\\\vdots &\vdots &\vdots &\ddots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&a_{m3}&\dots &a_{mj}&\dots &a_{mn}\end{bmatrix}}}$

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

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

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

词源[编辑]

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

發展[编辑]

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

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

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

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

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

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

正式定义[编辑]

直觀上就是用兩個數碼去標記一堆數學實體（如數字、函數），實際上是有限序列的一種推廣。

${\displaystyle \mathbf {A} (i,\,j)}$ 被暱稱為矩陣 ${\displaystyle \mathbf {A} }$ 裡的元素，通常簡記為${\displaystyle \mathbf {A} _{i,j}}$、${\displaystyle \mathbf {A} _{ij}}$或${\displaystyle \mathbf {A} _{[i,j]}}$。除此之外也會用小寫字母 ${\displaystyle \mathrm {a} _{ij}}$ 表示元素，來跟矩陣 ${\displaystyle \mathbf {A} }$ 本身做區別。但不知 ${\displaystyle \mathbf {A} }$ 的具體形式卻想強調 ${\displaystyle \mathrm {a} _{ij}}$ 為 ${\displaystyle \mathbf {A} }$ 的元素的話，可以 ${\displaystyle \mathbf {A} =[\mathrm {a} _{ij}]_{m\times n}}$ 或 ${\displaystyle \mathbf {A} =[\mathrm {a} _{i,\,j}]_{m\times n}}$ 表示。

如果表達式 ${\displaystyle f(i,\,j)=T(i,j)}$（嚴格來說是合式公式，其中 ${\displaystyle T}$ 為一個包含變數 ${\displaystyle T(i,\,j)}$ 的項）可以唯一決定一個矩陣 ${\displaystyle \mathbf {A} }$ ，那会将它记成 ${\displaystyle \mathbf {A} =[T(i,\,j)]_{m\times n}}$ 。如：

${\displaystyle \mathbf {A} :\{1,\,2,\,\ldots ,\,m\}\times \{1,\,2,\,\ldots ,\,n\}\to \mathbb {N} }$ 且 ${\displaystyle \mathbf {A} (i,\,j)=i+j}$

就可以表達為 ${\displaystyle \mathbf {A} =[i+j]_{m\times n}}$ 。

根據公理化集合论，可以定義一個函數的集合 ${\displaystyle S^{m\times n}}$ ，它囊括所有定義在 ${\displaystyle S}$ 上的 ${\displaystyle m\times n}$ 矩阵，也就是說：

${\displaystyle S^{m\times n}:=\left\{f\,|\,f:\{1,\,2,\,\ldots ,\,m\}\times \{1,\,2,\,\ldots ,\,n\}\to S\right\}}$

行與列[编辑]

以下的 ${\displaystyle 3\times 2}$ 矩陣：

${\displaystyle \left\{\left((1,\,1),\,a\right),\,\left((1,\,2),\,b\right),\,\left((2,\,1),\,c\right),\,\left((2,\,2),\,d\right),\,\left((2,\,2),\,e\right),\,\left((2,\,2),\,f\right)\right\}}$

一般會如下排列成為矩形來表示：

${\displaystyle {\begin{bmatrix}a&b\\c&d\\e&f\end{bmatrix}}}$

英文將橫向的元素组統称為「row」，縱向統称為「column」；但兩岸對此卻以不同的稱呼；在中國大陸，橫向的元素组称為「行」，縱向称為「列」，而在臺灣則相反，橫向称為「列」，縱向称為「行」^[8]。

行数是1或列数是1的矩阵又可分别称为行向量和列向量，在有限維的情況下，向量可用其分量表示成行数或列数是1的矩阵。

範例[编辑]

${\displaystyle \mathbf {B} =\left[i+2j\right]_{2\times 3}}$是矩阵

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

的简写。要注意的是，计算机编程中，由于数组的首项是第0项，故编程者可能会将第1行／列称为第0行／列，从而对矩阵的写法产生影响，比如矩阵${\displaystyle \mathbf {B} }$就要改写成${\displaystyle \mathbf {B} =\left[i+2j+3\right]_{2\times 3}}$。

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

矩陣的基本運算[编辑]

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

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

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

${\displaystyle (\mathbf {A} +\mathbf {B} )^{\mathrm {T} }=\mathbf {A} ^{\mathrm {T} }+\mathbf {B} ^{\mathrm {T} }}$

${\displaystyle c(\mathbf {A} +\mathbf {B} )=c\mathbf {A} +c\mathbf {B} }$

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

${\displaystyle c(\mathbf {A} ^{\mathrm {T} })=c(\mathbf {A} )^{\mathrm {T} }}$

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

矩阵乘法[编辑]

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

${\displaystyle [\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}}$

其中${\displaystyle 1\leq i\leq m,\ 1\leq j\leq p'}$'^[11]。

例如

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

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

• 结合律：${\displaystyle (\mathbf {AB} )\mathbf {C} =\mathbf {A} (\mathbf {BC} )}$
• 左分配律：${\displaystyle (\mathbf {A} +\mathbf {B} )\mathbf {C} =\mathbf {AC} +\mathbf {BC} }$
• 右分配律：${\displaystyle \mathbf {C} (\mathbf {A} +\mathbf {B} )=\mathbf {CA} +\mathbf {CB} }$

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

${\displaystyle c(\mathbf {AB} )=(c\mathbf {A} )\mathbf {B} =\mathbf {A} (c\mathbf {B} )}$

${\displaystyle (\mathbf {AB} )^{\mathrm {T} }=\mathbf {B} ^{\mathrm {T} }\mathbf {A} ^{\mathrm {T} }}$

矩阵乘法不满足交换律。一般来说，矩陣${\displaystyle \mathbf {A} }$及${\displaystyle \mathbf {B} }$的乘积${\displaystyle \mathbf {AB} }$存在，但${\displaystyle \mathbf {BA} }$不一定存在，即使存在，大多数时候${\displaystyle \mathbf {AB} \neq \mathbf {BA} }$。比如下面的例子：

${\displaystyle {\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}}}$。

这一特性使得矩阵代数与常见的一些数域（有理数、实数、复数）以及环（多项式环、整数环）都不同。给定一个${\displaystyle n}$维的方块矩阵${\displaystyle \mathbf {A} }$，与${\displaystyle \mathbf {A} }$交换的所有方块矩阵构成一个环，称为${\displaystyle \mathbf {A} }$的交换子环。这些矩阵也构成${\displaystyle {\mathcal {M}}(n,\mathbb {R} )}$的一个子空间，称为${\displaystyle \mathbf {A} }$的可交换空间^[12]。与${\displaystyle {\mathcal {M}}(n,\mathbb {R} )}$中所有矩阵交换的矩阵只有形如${\displaystyle \lambda \mathbf {I} _{n},\,\lambda \in \mathbb {R} }$的矩阵（称为数乘矩阵）。其中的${\displaystyle \mathbf {I} _{n}}$是单位矩阵，也就是主对角线上的元素为1，其它元素为0的矩阵。任意矩阵${\displaystyle \mathbf {M} }$乘以单位矩阵都得到自身：${\displaystyle \mathbf {M} \mathbf {I} _{n}=\mathbf {M} =\mathbf {I} _{n}\mathbf {M} }$。

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

线性方程组[编辑]

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

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

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

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

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

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

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

线性变换[编辑]

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

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

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

推移， 幅度m=1.25.	水平鏡射变换	“挤压”变换， 压缩程度r=3/2	伸縮，3/2倍	旋轉，左转30°
${\displaystyle {\begin{bmatrix}1&1.25\\0&1\end{bmatrix}}}$	${\displaystyle {\begin{bmatrix}-1&0\\0&1\end{bmatrix}}}$	${\displaystyle {\begin{bmatrix}{\frac {3}{2}}&0\\0&{\frac {2}{3}}\end{bmatrix}}}$	${\displaystyle {\begin{bmatrix}{\frac {3}{2}}&0\\0&{\frac {3}{2}}\end{bmatrix}}}$	${\displaystyle {\begin{bmatrix}\cos({\frac {\pi }{6}})&-\sin({\frac {\pi }{6}})\\\sin({\frac {\pi }{6}})&\cos({\frac {\pi }{6}})\end{bmatrix}}}$

设有${\displaystyle k\times m}$的矩陣${\displaystyle \mathbf {B} }$代表线性變換${\displaystyle g:\mathbf {R} ^{m}\rightarrow \mathbf {R} ^{k}}$，則矩陣積${\displaystyle \mathbf {BA} }$代表了綫性變換的复合${\displaystyle g\circ f}$^[15]，因为

${\displaystyle (g\circ f)(x)=g(f(x))=g(\mathbf {Ax} )=\mathbf {B} (\mathbf {Ax} )=(\mathbf {BA} )\mathbf {x} }$

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

方块矩阵[编辑]

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

${\displaystyle \mathbf {AB} =\mathbf {I} _{n}}$

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

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

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

${\displaystyle {\begin{bmatrix}d_{11}&0&0\\0&d_{22}&0\\0&0&d_{33}\\\end{bmatrix}}}$（对角矩阵），${\displaystyle {\begin{bmatrix}l_{11}&0&0\\l_{21}&l_{22}&0\\l_{31}&l_{32}&l_{33}\\\end{bmatrix}}}$（下三角矩阵）和${\displaystyle {\begin{bmatrix}u_{11}&u_{12}&u_{13}\\0&u_{22}&u_{23}\\0&0&u_{33}\\\end{bmatrix}}}$（上三角矩阵）。

行列式[编辑]

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

2×2矩阵的行列式是

${\displaystyle {\begin{vmatrix}a&b\\c&d\end{vmatrix}}=ad-bc}$ 。

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

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

特征值与特征向量[编辑]

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

${\displaystyle \mathbf {Av} =\lambda \mathbf {v} }$^[27]的标量${\displaystyle \lambda }$以及非零向量${\displaystyle \mathbf {v} }$。特征值和特征向量的概念对研究线性变换很有帮助。一个线性变换可以通过它对应的矩阵在向量上的作用来可视化。一般来说，一个向量在经过映射之后可以变为任何可能的向量，而特征向量具有更好的性质^[28]。假设在给定的基底下，一个线性变换对应着某个矩阵${\displaystyle \mathbf {A} }$，如果一个向量${\displaystyle \mathbf {x} }$可以写成矩阵的几个特征向量的线性组合：

${\displaystyle \mathbf {x} =c_{1}\mathbf {x} _{\lambda _{1}}+c_{2}\mathbf {x} _{\lambda _{2}}+\cdots +c_{k}\mathbf {x} _{\lambda _{k}}}$

其中的${\displaystyle \mathbf {x} _{\lambda _{i}}}$表示此向量对应的特征值是${\displaystyle \lambda _{i}}$，那么向量${\displaystyle \mathbf {x} }$经过线性变换后会变成：

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

可以清楚地知道变换后向量的结构。

另一个等价的特征值定义是：标量${\displaystyle \lambda }$为特征值，如果矩阵${\displaystyle \mathbf {A} -\lambda \mathbf {I} _{n}}$是不可逆矩阵。根据不可逆矩阵的性质，这个定义也可以用行列式方程描述：${\displaystyle \lambda }$为特征值，如果

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

${\displaystyle p_{\mathbf {A} }(\mathbf {A} )=0}$。

对称[编辑]

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

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

正定性[编辑]

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

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

${\displaystyle Q(\mathbf {x} )=\mathbf {x} ^{\mathrm {T} }\mathbf {Ax} }$

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

矩阵的计算[编辑]

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

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

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

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

${\displaystyle \mathbf {A} ^{-1}={\frac {\operatorname {adj} (\mathbf {A} )}{\det(\mathbf {A} )}}}$

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

矩阵分解[编辑]

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

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

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

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

${\displaystyle \mathbf {A} ^{n}=(\mathbf {PDP} ^{-1})^{n}=\mathbf {PDP} ^{-1}\mathbf {PDP} ^{-1}\ldots \mathbf {PDP} ^{-1}=\mathbf {PD} ^{n}\mathbf {P} ^{-1}}$

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

矩阵的推广[编辑]

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

一般域和环上的矩阵[编辑]

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

${\displaystyle p_{X_{\alpha }}=\left(\operatorname {min} _{\mathbf {K} }(\alpha )\right)^{r}\,}$。其中的${\displaystyle r}$是扩域${\displaystyle \mathbf {L/K} }$ ${\displaystyle (\alpha )}$的阶数^[47]。

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

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

矩阵与线性变换[编辑]

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

对任意 ${\displaystyle j=1,\ldots ,n}$，${\displaystyle f(\mathbf {v} _{j})=\sum _{i=1}^{m}a_{i,j}\mathbf {w} _{i}}$

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

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

矩阵群[编辑]

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

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

${\displaystyle \mathbf {M} ^{\mathrm {T} }\mathbf {M} =\mathbf {I} }$

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

${\displaystyle (\mathbf {Mv} )\cdot (\mathbf {Mw} )=\mathbf {v} \cdot \mathbf {w} }$^[56]

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

无限维矩阵[编辑]

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

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

空矩阵[编辑]

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

分塊矩陣[编辑]

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