杜先云 任秋道
[摘要]對(duì)事物進(jìn)行分類是重要的數(shù)學(xué)方法。本文不利用等價(jià)關(guān)系對(duì)矩陣進(jìn)行分類,而利用函數(shù)的性質(zhì)對(duì)矩陣直接進(jìn)行劃分。
[關(guān)鍵詞]劃分;矩陣;函數(shù)
[基金項(xiàng)目]四川省教育廳自然科學(xué)基金(12114931)的資助。
一、引 入
分類方法是研究事物性質(zhì)的重要方法。如何對(duì)事物進(jìn)行分類?通常利用事物之間的等價(jià)關(guān)系來分類:要求同類事物之間具有自反性質(zhì)、對(duì)稱性質(zhì)和傳遞性質(zhì)。然而我們驗(yàn)證某些事物之間具有傳遞性質(zhì)往往比較困難,因此采用直接對(duì)事物進(jìn)行分類。引入劃分的定義如下:
定義1 設(shè)U為非空集合,U的子集族π是由U的子集構(gòu)成的集合,滿足條件:(ⅰ)空集不屬于π;(ⅱ)x,y∈π,當(dāng)x≠y時(shí),x∩y=;(ⅲ)∪π=U,則稱π是U的一個(gè)劃分,稱π中的元素為U的劃分塊。
我們利用等價(jià)關(guān)系對(duì)集合U進(jìn)行分類——等價(jià)類,而集合U的劃分與集合U的等價(jià)關(guān)系有一一對(duì)應(yīng)關(guān)系。一般《高等代數(shù)》教材,只涉及了矩陣的等價(jià)關(guān)系,而沒有對(duì)矩陣進(jìn)行分類。然而對(duì)事物進(jìn)行分類是重要的數(shù)學(xué)方法。本文,我們不使用等價(jià)關(guān)系,利用函數(shù)的性質(zhì)對(duì)矩陣直接進(jìn)行劃分。
二、矩陣的劃分
設(shè)Fm×n為數(shù)域F上m行n列矩陣的全體。我們定義Fm×n上的一個(gè)變換:
定理1 存在一個(gè)變換f:Fm×n→Fm×n,使得A∈Fm×n。(1)當(dāng)r 證明 利用初等變換:互換變換、倍法變換、消去變換,將矩陣A變成與之相抵的矩陣,在相抵關(guān)系下矩陣A的標(biāo)準(zhǔn)型簡(jiǎn)記為Er000。 事實(shí)上,存在一些初等矩陣Pi,Qj,i=1,2,…,s,j=1,2,…,t,使得 Ps…P2P1AQ1Q2…Qt=Er000。因此,我們定義一個(gè)映射A∈Fm×n,(1)當(dāng)r 顯然,除了零矩陣對(duì)應(yīng)零矩陣外,其余均是多個(gè)矩陣對(duì)應(yīng)一個(gè)矩陣的映射,也不是滿映射。同時(shí),我們也得到另一個(gè)映射g:Fm×n→N,g(A)=r,其中r是矩陣A的秩。 定理2 對(duì)于A∈Fn×n,則有 f2(A)=f(A)。 根據(jù)定理1,容易得到定理2。由此可得:對(duì)于A∈Fn×n,k∈N+,有fk(A)=f(A)。因此,f是冪等變換。矩陣的許多性質(zhì)都有冪等變換f有聯(lián)系。 定理3 設(shè)映射g(A)=r,其中r是矩陣A的秩。Fm×n的一個(gè)劃分為:(1)當(dāng)m≤n時(shí),F(xiàn)m×n=∪mr=0g-1r; (2)當(dāng)m>n時(shí),F(xiàn)m×n=∪nr=0g-1r。 證明 我們對(duì)(1)情況進(jìn)行證明。顯然對(duì)于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的一個(gè)劃分。 根據(jù)Fm×n中的矩陣進(jìn)行的這個(gè)劃分π可以確定Fm×n上的一個(gè)等價(jià)關(guān)系R:A與B具有等價(jià)關(guān)系A(chǔ)RB當(dāng)且僅當(dāng)A與B在同一個(gè)劃塊中??梢宰C明π導(dǎo)出的等價(jià)關(guān)系: R=(0×0)∪(g-11×g-11)∪…∪(g-1r×g-1r)。 其中r=min{m,n}。只要兩個(gè)矩陣具有相同的秩,它們就等價(jià)。 例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,計(jì)算A2000。 解 因?yàn)榫仃嘇的秩為1,分解為A=123213,則有 A2=123213123213 =13213123=13A; A3=A2A=13AA=132A;……;A2000=131999A。 [參考文獻(xiàn)] [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補(bǔ)的若干不等式[J]。綿陽師范學(xué)報(bào):自然科學(xué)學(xué)報(bào),2015(02):23-25。 [5]謝啟鴻。一道高等代數(shù)考題的命題思路及分析[J]。大學(xué)數(shù)學(xué),2015(01):35-37。