在數(shù)學(xué)中,矩陣的合同關(guān)系是一種重要的等價(jià)關(guān)系,與矩陣相似和矩陣等價(jià)不同,合同關(guān)系主要關(guān)注矩陣在二次型中的表現(xiàn),相似關(guān)系要求特征值相同且可對(duì)角化,或者說(shuō)特征值相同且存在n個(gè)線性無(wú)關(guān)的特征向量;等價(jià)關(guān)系則要求矩陣的秩相等,而合同關(guān)系,則是相似和等價(jià)關(guān)系的特殊形式。
若兩個(gè)矩陣合同,它們將具備以下性質(zhì):擁有相同的定號(hào),相同的秩,相同的正負(fù)慣性指數(shù),以及行列式同號(hào),在線性代數(shù),尤其是二次型理論的研究中,矩陣間的合同關(guān)系至關(guān)重要。
判斷兩個(gè)矩陣是否合同的關(guān)鍵條件是它們的特征值的正負(fù)慣性指數(shù)相同,即正負(fù)特征值的個(gè)數(shù)一致,對(duì)于實(shí)對(duì)稱(chēng)矩陣而言,如果它們相似,那么它們必然合同。
對(duì)于非對(duì)稱(chēng)矩陣,我們通常不討論其正負(fù)慣性指數(shù),通常情況下,我們僅對(duì)二次型矩陣,即對(duì)稱(chēng)的方陣,討論其慣性指數(shù),需要注意的是,合同關(guān)系是一種等價(jià)關(guān)系,具有反身性、對(duì)稱(chēng)性和傳遞性。
矩陣的合同關(guān)系可以通過(guò)以下標(biāo)準(zhǔn)來(lái)判斷:兩個(gè)矩陣的特征值正負(fù)0的個(gè)數(shù)分別相同,這意味著,如果兩個(gè)矩陣的特征值在正、負(fù)、零的數(shù)量上分別相等,那么這兩個(gè)矩陣是合同的。
判斷矩陣是否合同的條件是它們的特征值的正負(fù)慣性指數(shù)相同,即正負(fù)特征值的個(gè)數(shù)相同,實(shí)對(duì)稱(chēng)矩陣如果相似,那么它們必然合同。
在復(fù)數(shù)域上,如果A和B是兩個(gè)n階對(duì)稱(chēng)矩陣,那么A與B在復(fù)數(shù)域上合同等價(jià)于它們的秩相同,合同關(guān)系滿足反身性、對(duì)稱(chēng)性和傳遞性,即任意矩陣與其自身合同,如果A合同于B,則B也合同于A;如果A合同于B,B合同于C,則A合同于C,合同的矩陣具有相同的秩。
證明兩個(gè)矩陣合同可以通過(guò)以下步驟進(jìn)行:
在證明過(guò)程中,我們還會(huì)發(fā)現(xiàn),合同矩陣與相似矩陣一樣,都具有相同的秩,這一點(diǎn)在二次型理論中尤為重要,因?yàn)榫仃嚨暮贤P(guān)系直接關(guān)系到二次型的分類(lèi)和性質(zhì)。