陳彥恒 賈松芳

類似于線性方程組解的判定定理在線性方程組中的地位，矩陣方程的判定定理在矩陣方程的一般理論也有重要的地位，然而在我們熟知的一些線性代數(shù)教材中幾乎不涉及矩陣方程的判定定理的應(yīng)用。本文給出了矩陣方程的判定定理在矩陣方程解的判定方面以及在兩個(gè)同維向量組間線性表示關(guān)系方面的一些應(yīng)用。

1 矩陣方程的判定定理

為了方便，我先給出矩陣方程的定義， 形如

（1.1）

其中 ，

的方程稱為一個(gè)矩陣方程。 當(dāng) 時(shí)， 稱（1.1）為齊次矩陣方程，反之，稱（1.1）為非齊次矩陣方程。

若令

其中

則矩陣方程 可化為 這就揭示了矩陣方程與線性方程組存在緊密聯(lián)系。

類似線性方程組解的判定定理，下面不加證明的給出矩陣方程解的判定定理：

矩陣方程解的判定定理 矩陣方程（1.1）有解的充要條件是（1.1）中的矩陣 滿足 。

下面通過(guò)例子說(shuō)明矩陣方程解的判定定理在方程解的判定和在兩個(gè)同維向量組間線性表示關(guān)系兩個(gè)方面的一些應(yīng)用。

2 在矩陣方程解的判定方面的應(yīng)用

例1 判斷矩陣方程 ，其中 ， ，是否有解。

解 由于

所以 ，從而由矩陣方程解的判定定理知，該矩陣方程無(wú)解。

例2 判斷矩陣方程 解的情況，其中 ， 。

解 由于

所以 ，從而由矩陣方程解的判定定理知，該矩陣方程有解。

3 在兩個(gè)同維向量組間線性表示關(guān)系方面的應(yīng)用

例3若矩陣 滿足 ，則 。

證明 因?yàn)?，所以矩陣 是矩陣方程 的一個(gè)解。于是由矩陣方程解的判定定理知， ，而 ，從而 。另一方面，因?yàn)?，所以有上述結(jié)論知， ， 從而 。 綜合以上結(jié)論，有是 。

例4 設(shè)兩個(gè)同維向量組 及 。則向量組 被向量組 線性表示的充要條件是 ，其中 ， 。

證明 先證必要性。由于向量組 能由向量組 線性表示，所以對(duì)每一個(gè)向量 都存在常數(shù) ，使得

從而

記，于是，從而矩陣方程有解。由矩陣方程解的判定定理知，。

充分性證明。由條件出發(fā)，按必要性證明的逆過(guò)程一直可得到向量組能由向量組線性表示的結(jié)論。

注：利用例4的結(jié)論，我們還可以得到兩個(gè)同維向量組等價(jià)的充分必要條件：設(shè)兩個(gè)同維向量組及。 則向量組和向量組等價(jià)的充要條件是，其，。

本文僅對(duì)矩陣方程解的判定定理的應(yīng)用進(jìn)行了簡(jiǎn)單的探討，希望能對(duì)學(xué)生的線性代數(shù)課程的學(xué)習(xí)起到幫助，同時(shí)也希望起到拋磚引玉的作用，促使進(jìn)一步學(xué)習(xí)和豐富矩陣方程的一般理論。

（作者單位：重慶三峽學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院）