在数学中,矩阵是一个代数概念,可以认为是数的推广,在研究数学问题中发挥着很大的作用。
定义[]
设有集合
,
,称如下的
行
列的元素表为集合
上的一个
阶矩阵。

也可用

来简记上述矩阵,一般来讲,每一个横行称为矩阵的行,每一个纵列称为矩阵的列,而

可表示为该矩阵第

行第

列的元素(在有些地区,矩阵的行列是反着称呼的,本社区中默认情况下的行列都是指横行纵列),矩阵也可用大写英文字母或加粗的大写英文字母表示,例如

。
设有数域
,如果上述的
,就称上述矩阵为数域
上的矩阵,在数学中,一般未指明的矩阵均指的是数字矩阵,即定义在某个数域上的矩阵。
某个数域
上矩阵的全体组成一个集合,记作
,特别地,如果
,就称该矩阵是一个
阶方阵,如果
,即
上的矩阵是一个行向量,如果
,即
上的矩阵称为一个列向量,行向量和列向量统称为向量(上述定义是在数域中定义的,实际上它们的元素不仅局限于是数字),向量也被认为是特殊的矩阵,实际上我们可以等同看待
和
,都简记为
。
如果两个矩阵的行数和列数分别相等,并且其对应位置上的元素都相等,则称这两个矩阵相等。即当
时,
。
矩阵的运算[]
加法[]
两个
上的矩阵
的加法定义为它们对应的元素相加得到的新矩阵,即

不同阶的矩阵我们不定义加法,可以知道

构成一个矩阵
加法群,加法的
幺元定义为零矩阵,它是数域

上所有元素都是零的矩阵,记作

,简记为

。进而,矩阵

的
负元被定义为

,称为是矩阵

的负矩阵。
同样我们可以引入减法,作为矩阵加法的逆运算

矩阵的加法满足交换律,即
,自然也有结合律
。
数乘[]
设
,将如下定义为矩阵的数乘

设

,则有性质



乘法[]
设
,定义下面的结果为矩阵的乘法
,其中,
,通俗的说,乘积
的第
行第
列元素是
的第
行元素与
的第
列元素对应相乘后求和,只有当
的列数和
的行数相同时才能做乘法
。
除了
的矩阵外,矩阵的乘法一般不具有交换律,甚至交换后的两个矩阵都不能做乘法,
和
同时有意义当且仅当它们都是方阵。
但是,在两端的式子同时有意义时,矩阵的乘法有结合律,即
,今后除特别说明,乘法默认它们在有意义时进行。
如果
,称
阶方阵
与
可交换。
矩阵乘法表征了对应的线性映射的合成运算。
上下节[]
参考资料