杜先云 任秋道

[摘要]對事物進行分類是重要的數(shù)學(xué)方法。本文不利用等價關(guān)系對矩陣進行分類，而利用函數(shù)的性質(zhì)對矩陣直接進行劃分。

[關(guān)鍵詞]劃分；矩陣；函數(shù)

[基金項目]四川省教育廳自然科學(xué)基金（12114931）的資助。

一、引 入

分類方法是研究事物性質(zhì)的重要方法。如何對事物進行分類？通常利用事物之間的等價關(guān)系來分類：要求同類事物之間具有自反性質(zhì)、對稱性質(zhì)和傳遞性質(zhì)。然而我們驗證某些事物之間具有傳遞性質(zhì)往往比較困難，因此采用直接對事物進行分類。引入劃分的定義如下：

定義1 設(shè)U為非空集合，U的子集族π是由U的子集構(gòu)成的集合，滿足條件：（?。┛占粚儆讦?；（ⅱ）x，y∈π，當(dāng)x≠y時，x∩y=；（ⅲ）∪π=U，則稱π是U的一個劃分，稱π中的元素為U的劃分塊。

我們利用等價關(guān)系對集合U進行分類——等價類，而集合U的劃分與集合U的等價關(guān)系有一一對應(yīng)關(guān)系。一般《高等代數(shù)》教材，只涉及了矩陣的等價關(guān)系，而沒有對矩陣進行分類。然而對事物進行分類是重要的數(shù)學(xué)方法。本文，我們不使用等價關(guān)系，利用函數(shù)的性質(zhì)對矩陣直接進行劃分。

二、矩陣的劃分

設(shè)Fm×n為數(shù)域F上m行n列矩陣的全體。我們定義Fm×n上的一個變換：

定理1 存在一個變換f：Fm×n→Fm×n，使得A∈Fm×n。（1）當(dāng)r

證明 利用初等變換：互換變換、倍法變換、消去變換，將矩陣A變成與之相抵的矩陣，在相抵關(guān)系下矩陣A的標(biāo)準(zhǔn)型簡記為Er000。

事實上，存在一些初等矩陣Pi，Qj，i=1，2，…，s，j=1，2，…，t，使得

Ps…P2P1AQ1Q2…Qt=Er000。因此，我們定義一個映射A∈Fm×n，（1）當(dāng)r

顯然，除了零矩陣對應(yīng)零矩陣外，其余均是多個矩陣對應(yīng)一個矩陣的映射，也不是滿映射。同時，我們也得到另一個映射g：Fm×n→N，g（A）=r，其中r是矩陣A的秩。

定理2 對于A∈Fn×n，則有 f2（A）=f（A）。

根據(jù)定理1，容易得到定理2。由此可得：對于A∈Fn×n，k∈N+，有fk（A）=f（A）。因此，f是冪等變換。矩陣的許多性質(zhì)都有冪等變換f有聯(lián)系。

定理3 設(shè)映射g（A）=r，其中r是矩陣A的秩。Fm×n的一個劃分為：（1）當(dāng)m≤n時，F(xiàn)m×n=∪mr=0g-1r； （2）當(dāng)m>n時，F(xiàn)m×n=∪nr=0g-1r。

證明 我們對（1）情況進行證明。顯然對于r=0，1，…m，g-1r是表示非空矩陣的集合；如果A∈g-1i∩g-1j，i≠j，i，j=0，1，…m，則有i=g（A）=j，矛盾。根據(jù)映射的定義，∪mr=0g-1r=Fm×n。因此，∪mr=0g-1r是矩陣Fn×n的一個劃分。

根據(jù)Fm×n中的矩陣進行的這個劃分π可以確定Fm×n上的一個等價關(guān)系R：A與B具有等價關(guān)系A(chǔ)RB當(dāng)且僅當(dāng)A與B在同一個劃塊中?？梢宰C明π導(dǎo)出的等價關(guān)系：

R=（0×0）∪（g-11×g-11）∪…∪（g-1r×g-1r）。

其中r=min{m，n}。只要兩個矩陣具有相同的秩，它們就等價。

例1 設(shè)A∈Fn×n，且rank（A）=r。 證明： 存在B∈Fn×r，C∈Fr×n，使得A=BC。

證明 存在初等矩陣Pi，Qj，i=1，2，…，u，j=1，2，…，v，使得

Pu…P2P1AQ1Q2…Qv=Er000。

令P=P-11P-12…P-1u，Q=Q-1v…Q-12Q-11。則有

A=PEr000Q

=P′1P′2Er000Er000Q′1Q′2

=P′1Q′1BC。

因此，結(jié)論成立。

例2 已知A=213426639，計算A2000。

解 因為矩陣A的秩為1，分解為A=123213，則有

A2=123213123213

=13213123=13A；

A3=A2A=13AA=132A；……；A2000=131999A。

[參考文獻]

[1]林亞南。高等代數(shù)[M]。北京：高等教育出版社，北京，2013（06）：45-57。

[2]徐德余。高等代數(shù)[M]。北京：高等教育出版社，北京，2003（06）：63-78。

[3]劉紹學(xué)。近世代數(shù)基礎(chǔ)（第二版）[M]。北京：高等教育出版社，2012（06）：45-57。

[4]樓嫏嬛。半正定陣廣義Schur補的若干不等式[J]。綿陽師范學(xué)報：自然科學(xué)學(xué)報，2015（02）：23-25。

[5]謝啟鴻。一道高等代數(shù)考題的命題思路及分析[J]。大學(xué)數(shù)學(xué)，2015（01）：35-37。