從抽象的觀點來說,矩陣是線性變換在某個基底下的表示.它可以將十分抽象的線性空間中的映射轉化爲座標空間中的矩陣乘法.另一方面,從歷史的發展和應用的觀點來說,矩陣又是線性方程組的直接抽象.因此,研究矩陣本身就顯得尤為重要.
矩陣
是集合,我們稱映射
爲 上的 矩陣.其值 稱爲矩陣 在指標 處的元素,亦得記爲 . 特別的,當 時,稱 爲 階方陣.當 時,稱 爲實矩陣;當 時,稱 爲一個複矩陣. 記 爲所有 矩陣的集合.
方陣 的 元素稱爲 的對角元.反之, 元素稱爲 的反對角元. 當所有非對角線元素皆爲零時,稱該方陣爲對角陣.定義對角函數 為
定義 上的對角陣
爲 階單位陣.其中 是域 的乘法幺元.
矩陣代數
定義二元算子 ,
爲 上的加法.二元映射 ,
爲 和 之間的乘法.一元算子 ,
從 gauß 消元法
尝试考虑解以下方程组
一個矩陣稱爲行階形(Row Echelon Form, REF)的,如果它满足以下条件:
- 所有非零行都在零行之上.
- 每个非零行的首个非零元素(称为主元)位于其前一行主元的右侧.
比如對於下面的 矩陣,前三行是非零行,第四行是零行,所有的非零元素用藍色標記,每一行的主元更用深藍色標記.照會行階形的定義,不難驗證之.
另根据定義的第二点,如果一个 处的元素是主元,那其下的元素 必为零.因为其下 行的主元必须在 右侧,从而 与其左边的元素皆为零.
初等变换
初等行变换是指一下三种矩阵的映射:
- 交换两行的位置.
- 将某一行乘以一个非零常数.
- 将某一行加上另一行的若干倍.
将以上定义的「行」换为「列」,即可得到初等列变换的定义.不难发现,初等变换是置换(因为可逆且保阶). 更进一步的, 经三种行变换后分别称为三种初等行矩阵. 即
- 为 交换第 行和第 行得到的矩阵;
- 为 将第 行乘以非零常数 得到的矩阵;
- 为 将第 行加上第 行的 倍得到的矩阵.
事实上不难验证
- 左乘初等矩阵等价于施加对应的初等行变换;
- 右乘初等矩阵等价于施加对应的初等列变换.
对于某种初等变换 和对应的初等矩阵 和任意矩阵 ,
我们希望证明 .于是
- 第一类初等行变换
-
设 是交换第 行和第 行的初等矩阵,则
- 当 且 时,,因此 .
- 当 时,,因此 .
- 当 时,,因此 . 即左乘 等价于交换 的第 行和第 行.
- 第二类初等行变换
-
设 是将第 行乘以非零常数 的初等矩阵,则
- 当 时,,因此 .
- 当 时,,因此 .
即左乘 等价于将 的第 行乘以 .
- 第三类初等行变换
-
设 是将第 行加上第 行的 倍的初等矩阵,则
- 当 时,,因此 .
- 当 时,,因此 .
即左乘 等价于将 的第 行加上第 行的 倍.
对于右乘初等列矩阵的情况,对 进行列变换,即对
进行行变换后再转置回来,即:
也就证明了右乘初等列矩阵等价于施加对应的初等列变换.
作为这一命题的直接推论,我们知道初等变换以及有限次初等变换是线性置换.那么相反地,我们自然的会问:任意 上的线性置换是否都能表示为有限次初等变换的复合?答案是肯定的.
三類初等行變換對應了 Gaußsche 消元法的三類操作.因此這個定理說明了 Gaußsche 消元法確實不會改變線性方程組的解集.