查看“︁线性代数/矩阵的运算与变换”︁的源代码

==矩陣的性質==

{{TextBox|1=;性質 {{anchor|矩陣性質}}:
假設 <math>A</math>、<math>B</math> 和 <math>C</math> 是三個矩陣，且 <math>k</math>、<math>l</math> 是兩個實數，則對於下列各式而言，只要矩陣的階數能使等號的其中一邊是有意義的，那麼等號的另一邊也有意義，且等號會成立。

加法交換律：<math>A+B=B+A</math>

加法結合律：<math>(A+B)+C=A+(B+C)</math>

系數積結合律：<math>r(sA)=(rs)A</math>

系數積分配律：<math>(k+l)A=kA+lA</math>

乘法結合律：<math>(AB)C=A(BC)</math>

左乘分配律：<math>A(B+C)=AB+AC</math>

右乘分配律：<math>(A+B)C=AB+BC</math>

左乘系數積結合律：<math>(rA)B=r(AB)</math>

右乘系數積結合律：<math>A(rB)=r(AB)</math>

注意到如果 <math>A</math>、<math>B</math> 和 <math>C</math> 都是 <math>n</math> 階方陣，則上面的式子都是有意義的。}}

'''證明'''

本書將上述性質的證明留給讀者做練習，對於感到有困難的讀者，可以將下面證明乘法結合律的證明做為示範來參照學習。

假設 <math>A</math> 是一個 <math>m \times n</math> 矩陣、<math>B</math> 是一個 <math>n\times p</math> 矩陣、<math>C</math> 是一個 <math>p\times q</math> 矩陣，則直接根據定義有

<math>((AB)C)_{ij}=\sum_{l=1}^p (AB)_{il}C_{lj}=\sum_{l=1}^p(\sum_{k=1}^n A_{ik}B_{kl})C_{lj}=\sum_{l=1}^p\sum_{k=1}^n(A_{ik}B_{kl}C_{lj})</math>

==特殊方陣==

===零方陣===

{{TextBox|1=;定義 {{anchor|零方陣}}:
<math>O_n=[0]_{n\times n}=\begin{bmatrix}0 & 0 & \dots & 0\\0 & 0 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots\\ 0 & 0 & \dots & 0\end{bmatrix}</math> 

是所以元素都是 0 的 <math>n</math> 階方陣，稱為零方陣。使用符號 O 以及取名為零方陣是因為 <math>O_n</math> 有如同實數 0 的性質：對所有 <math>n</math> 階方陣 <math>A</math> 有 <math>A+O_n=A</math> 及 <math>AO_n=O_nA=O_n</math>。}}

===單位方陣===

{{TextBox|1=;定義 {{anchor|單位方陣}}:
<math>I_n=[\delta_{ij}]_{n\times n}=\begin{bmatrix}1 & 0 & \dots & 0\\0 & 1 & \dots & 0\\ \vdots & \vdots & \ddots & \vdots\\ 0 & 0 & \dots & 1\end{bmatrix}</math>

是所有對角線元素都是 1、非對角線元素都是 0 的 <math>n</math> 階方陣，其中定義式中的 <math>\delta_{ij}</math> 是克羅內克δ函數，也就是

<math>\delta_{ij}=\begin{cases}1 &\text{ if } i=j\\ 0 &\text{ if } i \ne j\end{cases}</math>。

單位方陣使用符號 I 以及取名為零方陣是因為 <math>O_n</math> 有如同實數 1 的性質：對所有 <math>n</math> 階方陣 <math>A</math> 都有 <math>AI_n=I_n A=A</math>。}}

===環性質===

上述矩陣性質再加上零矩陣 <math>O_n</math>、單位矩陣 <math>I_n</math> 使得包含所有 n 階方陣的集合是一個可交換環。這些是抽象代數的內容，在此僅僅做一個引子，有興趣的讀者可以前往翻閱。

==向量==

在上一節中，方陣的重要性已被看到，本節將介紹線性代數經常研究的另一物件：向量。

中學數學中或都或少有講到一些向量的定義以及性質，該處向量的定是在二維或三維空間中選取兩點，分別做為起點和終點，記做 <math>\vec x =(x_1,x_2)</math> 或 <math>\vec x=(x_1,x_2,x_3)</math>。因此，在一般的 <math>n</math> 維向被定義做 <math>x=(x_1,x_2,\dots ,x_n)</math>，注意到後文將不在向量標記鍵號 <math>\vec{}</math> ，因為後續會有更加抽象的物件也被視為向量。另外，一個 <math>n</math> 維向量也被視為是一個 <math>n\times 1</math> 的矩陣，也就是記做

:<math>x=\begin{bmatrix}x_1\\x_2\\ \vdots \\ x_n\end{bmatrix}</math>

因此，要特別注意，在本教科書中 <math>(x_1,x_2, \dots, x_n)</math> 和 <math>\begin{bmatrix}x_1& x_2& \cdots &x_n \end{bmatrix}</math> 代表的是不同的矩陣，前者是 <math>n\times 1</math> 矩陣，而後者是 <math>1\times n</math> 矩陣。然而，有些教科書或論文會將前述二者混用、訛用，因此仍需注意前前後文以免產生誤解。

回顧一次聯主方程式與增廣矩陣一節中，一個 n 元一次聯立方程式有以下形式

:<math>\left \{ \begin{aligned}
a_{11} x_1 + a_{12} x_2 + \dots + a_{1n} x_n &= b_1 \\
a_{21} x_1 + a_{22} x_2 + \dots + a_{2n} x_n &= b_2 \\
& \vdots \\
a_{m1} x_1 + a_{m2} x_2 + \dots + a_{mn} x_n &= b_m
\end{aligned} \right .</math>

令

:<math>A=\begin{bmatrix}
a_{11} & a_{12} &\dots & a_{1n}\\
a_{21} & a_{22} &\dots & a_{2n}\\
\vdots & \vdots & \ddots & \vdots\\
a_{m1} & a_{m2} &\dots & a_{mn}
\end{bmatrix}</math>、<math>x=\begin{bmatrix}x_1 \\ x_2\\ \vdots \\ x_n\end{bmatrix}</math>、<math>b=\begin{bmatrix}b_1 \\ b_2\\ \vdots \\ b_m\end{bmatrix}</math>

分別是 <math>m\times n</math> 矩陣、<math>n</math> 維向量、<math>m</math> 維向量，那麼在本教科書的記號下，原本的一元 n 次聯立方程式會被改寫成解出

:<math>Ax=b</math>

而<math>A</math>、<math>b</math> 是已知數，<math>x</math> 是未知數。要特別注意的是此時的增廣矩陣是<math>\begin{bmatrix}A & b\end{bmatrix}</math>，跟一次聯主方程式與增廣矩陣中的符號不要產生混淆了。

另一方面，一個 <math>m\times n</math> 的矩陣<math>A</math> 乘上一個<math>n</math> 維向量 <math>x</math> 會得到一個 <math>m</math> 維向量 <math>y</math> 滿足 <math>y=Ax</math>，換句話說，一個矩陣可以被視為一個將向量映射到向量的函數，而在後面的章節中這個函數會成為定義線性變換以及向量空間的動機。

[[Category:线性代数]]