線性代數入門/矩陣
矩陣的一個重要應用是求解線性方程組。以下的一些定義可以被視為“為求解線性方程組而設計”。
定義。

(矩陣) 矩陣(複數:矩陣)是一個數字的矩形陣列。水平單元是一個 行,而垂直單元是一個 列。第 th 行 和第 th 列 中的元素是矩陣的第 th 項。
一個 (讀作“m 行 n 列”) 是一個擁有 行和 列的矩陣, 是該矩陣的 大小。行從上到下計數,列從左到右計數。如果矩陣的大小為 ,我們簡單地稱該矩陣為一個 數,在這種情況下不需要括號。所有 矩陣的 集合,其中包含 實數元素,記為 。通常用 大寫字母表示 矩陣,而用 小寫字母表示其 元素。例如, 表示一個 矩陣 ,其元素為 ,其中 且 。(如果矩陣的大小已經提到,或者矩陣的大小不重要,我們可以省略指定矩陣大小的下標。)
定義. (矩陣相等)兩個矩陣 和 相等,如果
- ,
- 且
- 對於每一對 .
我們寫 如果 和 是 相等 的。
備註。
- 換句話說,如果兩個矩陣具有 相同 的大小和 相同 的元素,則它們相等。
- 如果 和 是 不 相等的,我們寫 .
(a21 a22)
(a31 a32)
特別是,如果一個矩陣的行數和列數相同,那麼它就具有一些很好的性質。鑑於這種矩陣的形狀(類似於正方形),我們將此類矩陣定義為方陣.
定義. (方陣) 一個 方陣 是一個行數和列數相同的矩陣。
我們還將介紹一個術語,即 主對角線,它在某些情況下會很有用。
定義. (主對角線) 一個 矩陣(它是一個 方陣)的 主對角線 是指 ,,, 位置的元素的 集合.
舉例. 矩陣 的主對角線是 和 的集合.
備註. 矩陣 是 單位矩陣(將在後面定義)。
接下來,我們將定義一些矩陣型別,它們的定義都與 主對角線 有關。
定義. (三角矩陣) 一個 三角矩陣 是指一個 上三角矩陣 或一個 下三角矩陣(包含兩者)。
一個 上三角矩陣 是指一個 方陣,其 主對角線 下方 的所有元素都是 .
一個 下三角矩陣 是指一個 方陣,其 主對角線 上方 的所有元素都是 .
備註。
- 等價地,用符號表示,矩陣 是 上三角矩陣 如果 當 ,
它是 下三角矩陣 如果 當 .
- 上三角矩陣和下三角矩陣的形式如下:
分別是 **上三角矩陣** 和 **下三角矩陣**,其中 是一個 任意 元素(可能是 0 也可能不是)。
定義.(對角矩陣) 對角矩陣 是一個 方 矩陣,它的元素 不 在 主對角線 上的都是 .
備註。
- 對角矩陣既是上三角矩陣,又是下三角矩陣。
- 對角矩陣的形式為
,其中 是一個 任意 元素。
我們這裡提到的最後一個術語是 子矩陣,有時會用到。
定義。 (子矩陣) 設 是一個矩陣。一個 子矩陣 of 是從 中 移除 一些 行 或 列 (包括) 得到的矩陣。
備註。 按照慣例,每個矩陣都是其自身的 子矩陣。
矩陣運算
[edit | edit source]在本節中,我們將介紹不同的矩陣運算。一些運算與數系中的運算截然不同,特別是矩陣乘法。
定義。 (矩陣加減法)設 和 是兩個 相同大小 的矩陣。我們定義矩陣 加法 和 減法 為
定義。 (矩陣的標量乘法)設 是一個矩陣。我們定義矩陣的 標量乘法 為
接下來,我們將定義 矩陣乘法,它與數系中的乘法有很大不同。
另一方面,方陣 的正 冪 的定義與數系中的定義非常類似。
定義。 (方陣的正冪)令 為一個 方 陣。 次方,寫成 ,其中 是一個正數,是指 個 的 乘積,即
然後,我們將討論數字系統中零和一的矩陣類似物,即 零矩陣 和 單位矩陣,它們在數字系統中類似於數字 和 。
定義。(零矩陣)零矩陣 是 矩陣,其所有元素均為 ,用 表示,如果不存在歧義,則簡稱為 。
備註。 零矩陣類似於數系中的數字 ,因為
- 對於每個與零矩陣大小相同的矩陣 ,我們有 。
- 如果乘積定義良好,對於每個矩陣 ,我們有 。
定義。(單位矩陣) 單位矩陣,用 表示,如果不存在歧義,則簡稱為 ,是 對角矩陣,其對角元素均為 。
備註。 單位矩陣類似於數系中的數字 ,因為如果乘積定義良好,對於每個矩陣 ,我們有 。
示例。
- 零矩陣 是
- 單位矩陣 是
命題. (矩陣運算的性質) 令 和 為矩陣,使得以下運算定義良好,令 為標量。那麼,以下成立。
(i) (矩陣乘法的結合律) .
(ii) (零和一的矩陣乘法)
(iii) (矩陣乘法的分配律)
(iv) .
備註. 矩陣乘法一般來說 不滿足交換律,即矩陣乘積 通常不同於矩陣乘積 。
接下來,我們將介紹在數系中不存在的一種運算,即轉置。
定義. (矩陣轉置) 令 為矩陣。矩陣 的 轉置 是矩陣
備註. 從定義可以看出, 矩陣的 轉置 就是它本身。
命題. (矩陣轉置的性質) 令 和 為矩陣,使得以下運算均有定義。則,以下結論成立。
(i) (自逆性)
(ii) (線性) 對於每個實數 和
(iii) ('逆乘法性')
定義. (反對稱矩陣) 矩陣 是一個 反對稱矩陣,如果
命題。 (對稱矩陣和反對稱矩陣的必要條件)對稱矩陣或反對稱矩陣 必須是 方陣。
證明。 這可以從觀察到矩陣轉置與原矩陣大小相同 當且僅當 矩陣為 方陣 推匯出,因為矩陣轉置的行列交換,只有當行數等於列數時大小才保持不變。
備註。 這 不 意味著每個方陣都是對稱矩陣或反對稱矩陣。 矩陣為方陣本身的條件 不足夠(但 必要)使其成為對稱矩陣或反對稱矩陣。
示例。 是對稱矩陣,而 是反對稱矩陣,其轉置為 。 在反對稱矩陣中,所有位於主對角線上的元素必須為 0。



