我们已经在上一章介绍了矩阵作为线性变换表示的概念。在这里,我们将更深入地探讨它们。
令
为域,并令
,
。n×m 矩阵 是一个函数
。
我们表示
。因此,矩阵
可以写成数字数组 
考虑在域
上定义的所有 n×m 矩阵的集合。让我们定义 *标量积*
为矩阵
,其元素由
给出。另外,让两个矩阵的 *加法*
为矩阵
,其元素由
给出。
根据这些定义,我们可以看到在
上的所有 n×m 矩阵的集合构成一个在
上的向量空间。
令
是在域
上的向量空间。考虑所有线性变换的集合
.
将变换的加法定义为
,标量积定义为
。因此,从
到
的所有线性变换的集合是一个向量空间。这个空间记作
。
观察到
是一个
维向量空间
矩阵的行列式是递归定义的(只有方阵才能定义行列式)。
如果
是一个矩阵,它的行列式表示为 
我们定义, 
对于
,我们定义 
因此我们为任何方阵定义行列式
令
为一个 n×n (方阵)矩阵,其元素为 
的迹定义为其对角元素之和,即
这通常表示为
,其中
,称为 **克罗内克德尔塔**,是您将在本书中不断遇到的一个符号。它被定义为

克罗内克德尔塔本身表示一个称为 **n×n 单位矩阵** 的 n×n 矩阵的成员,表示为 
令
为一个 m×n 矩阵,其元素为
。n×m 矩阵
,其元素为
,称为
的 **转置**,当 
令
为一个 m×n 矩阵,令
为一个 n×p 矩阵。
我们定义
的乘积为 m×p 矩阵
,其元素由下式给出
,我们写 
- (i) 矩阵的乘法不满足交换律。事实上,对于两个矩阵
, 乘积
不一定有定义,即使
可以按照上述方式定义。
- (ii) 对于任何 n×n 矩阵
,我们有
,其中
是 n×n 单位矩阵。