《新理解矩阵6》:为什么只有方阵有行列式?
By 苏剑林 | 2014-07-15 | 66221位读者 |学过线性代数的朋友都知道,方阵和非方阵的一个明显不同是,对于方阵我们可以计算它的行列式,如果不是方阵的话,就没有行列式这个概念了。在追求统一和谐的数学系统中,为什么非方阵却没有行列式?也许对于这个问题最恰当的回答是——因为不够美。对于非方阵,其实也可以类似地定义它的行列式,定义出来的东西,跟方阵的行列式具有同样的性质,比如某行乘上一个常数,行列式值也就乘以一个常数,等等;而且还可以把其几何意义保留下来。但是,非方阵的行列式是不够美的,因为对于一个一般的整数元素的方阵,我们的行列式是一个整数;而对于一个一般的整数元素的非方阵,却导致了一个无理数的行列式值。另外,一个也比较重要的原因是,单单是方阵的行列式也够用了。综合以上两个理由,非方阵的行列式就被舍弃不用了。
非方阵的行列式不够漂亮
$n$阶方阵的行列式是每个向量的线性函数,它代表着向量之间的线性相关性;从几何上来讲,它就是向量组成的平行n维体的(有向)体积。我们当然期望非方阵的行列式也保留这些性质,因为只有这样,方阵行列式的那些运算性质才得以保留,比如上面说的,行列式的一行乘上一个常数,行列式值也乘上一个常数。我们考虑$m\times n$的矩阵,其中$ m < n $,我们将它看成是$m$个$n$维向量的组合。最简单的,我们先考虑$1\times 2$矩阵的行列式,也就是二维向量$(a,b)$的行列式。
我们已经知道,$2\times 2$矩阵的行列式的绝对值,就是这两个向量所围成的平行四边形的面积。类似地,二维向量$(a,b)$的行列式的绝对值,就等于该向量自身的长度了,也就是$\det (a,b)=\sqrt{a^2+b^2}$,对于有理的$a,b$,大多数情况都会出现无理的行列式值,这是不协调的。因为它是线性的函数,有理数的线性运算导致无理数,却是不大舒服的。
类似的,可以考虑$2\times 3$矩阵
$$\boldsymbol{A}=\left(\begin{array}{\cdot {20}{c}}
a&b&c\\
d&e&f
\end{array}\right)$$
的行列式。按照几何意义,它的行列式的模就是这两个向量所围成的平行四边形的面积。我们可以利用叉积来计算这个面积,但为了更一般化,我们利用正交化的方法来计算它。
以向量$\boldsymbol{x}_1=(a,b,c)$为出发点,选取
$$\boldsymbol{e}_1=\frac{(a,b,c)}{\sqrt{a^2+b^2+c^2}}$$
那么$\boldsymbol{x}_1=\left|\boldsymbol{x}_1\right|\boldsymbol{e}_1$。对$\boldsymbol{x}_2=(d,e,f)$正交化,得到
$$\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1$$
取
$$\boldsymbol{e}_2=\frac{\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1}{\left|\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1\right|}$$
得到
$$\boldsymbol{x}_2=\left|\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1\right|\boldsymbol{e}_2+\left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1$$
因此,行列式的模,也就是两个向量所形成的平行四边形的面积等于
$$\left|\det\boldsymbol{A}\right|=\left|\boldsymbol{x}_1\right|\cdot \left|\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1\right|$$
最后的表达式出现了两个模,表明两个根号,随便挑个具体例子就可以验证,即使$\boldsymbol{A}$的元素全部是整数,也得不到有理数。这体现了非方阵行列式的不美之处。
方阵的行列式就够了
由于非方阵的行列式不够美,那么我们干脆弃之不用了。可是,这样会不会产生什么“副作用”?也就是说,会不会有哪些地方,非用到非方阵的行列式不可?事实上,至少就我目前的认识来说,答案是没有。
比如说判断$m$个$n$维行向量的线性相关性,我们是这样做的:第一种方法,利用初等变换,看变换后的矩阵的秩是否为$m$;如果嫌第一种方法步骤太多,第二种方法相对来说干脆一点,就是检验删除任意$n-m$列后,剩下的方阵行列式是否为0,如果存在一个不为0,就说明线性无关了。所以说,方阵的行列式够用了。
如果要求面积、体积怎么办?事实上,用的就是类似$\left|\boldsymbol{x}_1\right|\cdot \left|\boldsymbol{x}_2 - \left\langle {\boldsymbol{e}_1,\boldsymbol{x}_2} \right\rangle\boldsymbol{e}_1\right|$的公式,这公式不难理解,也不难记忆。由于它带有不可化简的根号,因此,也就没有简单的计算公式了。
最后,一个比较核心的限制了非方阵行列式使用的原因是,非方阵的行列式应用不多。方阵的行列式可以用来求各种因子,比如重积分的坐标变换中的雅可比行列式,等等,这些由于方阵的可逆性,这些行列式都是有直接的应用意义的。相比之下,非方阵没有可逆的说法,所以非方阵的行列式应用也就很窄了。
转载到请包括本文地址:https://spaces.ac.cn/archives/2757
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Jul. 15, 2014). 《《新理解矩阵6》:为什么只有方阵有行列式? 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/2757
@online{kexuefm-2757,
title={《新理解矩阵6》:为什么只有方阵有行列式?},
author={苏剑林},
year={2014},
month={Jul},
url={\url{https://spaces.ac.cn/archives/2757}},
}
November 21st, 2014
汗死~~ 楼主犯下如此低级错误啊——“非方阵没有可逆的说法,应用也就很窄了。”呵呵~~ 建议看美国佬大一的矩阵教材吧!“非方阵”不仅存在逆矩阵,而且存在无穷多个不同的逆矩阵!!!可是,非方阵的矩阵,才是矩阵的真正含义!只是,如你你所知的那样:非方阵分两大类:行数大于列数的矩阵和行数小于列数的矩阵。这两种非方阵分别都只有一种逆矩阵:即要么只有左逆矩阵;要么只有右逆矩阵。不能同时存在左右两种逆矩阵。只有方矩阵,即方阵才能同时存在左右两种逆矩阵!
非方阵的矩阵具有非常重要的和最广泛的应用意义,尤其是在数学几何学中和物理学中。
首先,非方阵确实没有唯一的逆,说非方阵没有逆,不过是按照目前线性代数的教材这样说的。但是凡事都可以拓展,正如将方阵行列式推广到非方阵行列式一样,所以读者不必过分抠这个字眼,因为这说法本身就是在流行的说法的意义下成立的。
不过,后面说非方阵的应用窄,这确实是我的错误,我表示抱歉。我本意是想表示非方阵的行列式应用窄的。
September 2nd, 2015
棒!
May 31st, 2016
这样子说起来,矩阵的行列式跟向量的叉积有很大的关系啊
December 28th, 2018
方阵的行列式是0,所以一般不作讨论