我们已经在上一章介绍了矩阵作为线性变换表示的概念。在这里,我们将更深入地探讨它们。
令 为域,并令 ,。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 单位矩阵。