tf 矩阵行和列交换_矩阵（Matrices）

目录：

• 矩阵的正式定义
• 矩阵的加法、数乘、乘法运算的定义
• 单位矩阵的定义
• 矩阵的转置的定义
• 逆矩阵的定义
• 的定义
• 矩阵运算的性质

矩阵的正式定义

对于域K为实数域R，或者复数域C，域K上的

矩阵定义为m行n列的K中的元素的族（family)顺序排列为上面的阵列。

当只有一行的时候即为行向量；当只有一列的时候即为列向量。如上所示。

注意：
矩阵

在定义里是一个族（family),即为从

映射到K的映射。这样的话，就没有理由对角标的顺序做假定。因而可以通过采取对行或者列不同的顺序，矩阵A可以用不同的方法表示成为一个阵列。但是习惯上采取自然的顺序

和

，按照这个顺序排列行和列，将A表示成一个阵列。

矩阵的加法、数乘、乘法运算的定义

单位矩阵的定义

矩阵的转置的定义

逆矩阵的定义

的定义

当K是（可交换）环而不是域的时候，矩阵以及矩阵加法的定义也很有意义。在这种更一般的情况下，向量空间的框架太狭窄。但我们可以考虑满足定义3.1的所有公理的交换环A上的结构。

这种结构称为模块。模块（modules）的理论比向量空间的复杂得多。例如模块并不总是存在基（basis）的，而且向量空间的某些性质在模块中也不一定成立。当一个模块存在基的时候，这个模块称为是自由模块（a free module）
自由模块（free module）的例子1：
当A是个可交换环，则

是个环，其中向量

为

，对一切

。显然向量组

构成了

的一组基。

就是一个自由模块。对于向量空间中的很多性质，对

也成立。

自由模块（free module）的例子2：
当A是个可交换环，则

是个自由模块。其中基为

。

自由模块（free module）的例子2：
可交换环上的多项式是一个无限维的自由模块。

矩阵运算的性质