關于A－子空間性質的初步探討

黃娟霞

(隴南師范高等專科學校數學系，甘肅成縣742500)

關于A－子空間性質的初步探討

黃娟霞

(隴南師范高等專科學校數學系，甘肅成縣742500)

高等代數中對于子空間性質的討論比較詳細，但對于A－子空間卻只給出一些概念性的表層描述.對于學習者來說，非常關注A－子空間作為特殊的子空間，除了具有類似于子空間的性質以外，又具有哪些區別于子空間的性質.本文從這個思路出發，全面深刻的討論了A－子空間的性質.

子空間;A－子空間;向量空間;線性變換

在高等代數中，為了解決線性變換對角化的問題而提出了A－子空間的概念.

定義1設A是數域F上向量空間V的線性變換，W是V的子空間.如果W中的向量在A下的像仍在W中，換句話說，對于W中任意向量ξ，有Aξ∈W，我們就稱W是A的不變子空間，簡稱A－子空間［1］.下面討論A－子空間的性質.

定理1如果W是域F上向量空間V的一個子空間，則W是數乘變換的不變子空間(K－子空間).

證明設?α∈W，k∈F，由于W是域F上向量空間V的一個子空間，所以kα∈W，即W是數乘變換的不變子空間(K－子空間).

定理2設A是向量空間V的線性變換，如果W1，W2都是A－子空間，則W1+W2、W1∩W2也是A－子空間.

證明首先證明W1+W2是A－子空間.

設?α∈W1+W2，即α=α1+α2，α1∈W1，α2∈W2，于是Aα=A(α1+α2)=Aα1+Aα2，又因為W1，W2都是A－子空間，所以Aα1∈W1，Aα2∈W2，即Aα1∈W1+W2，因此，W1+W2是A－子空間.

同理可證W1∩W2是A－子空間.

定理3設A、B都是向量空間V的線性變換，如果W既是A－子空間，又是B－子空間，則W是(A+B)－子空間，(AB)－子空間.

證明首先證明W是(A+B)－子空間.

設?α∈W，因為W既是A－子空間，又是B－子空間，所以Aα∈W，Bα∈W，則(A+B)(α)=Aα+Bα∈W，故W是(A+B)－子空間.

同理可證W是(AB)－子空間.

定理4設A是向量空間V的一個線性變換，如果W是A－子空間，則W是A2－子空間.

證明設?α∈W，由于W是A－子空間，所以Aα∈W，故A2α=A(Aα)∈W.因此W是A2－子空間.

定理5設A是有限維向量空間V的可逆線性變換，設A可逆，如果W是A－子空間，則W是A－1－子空間［2］.

證明當W=V或W={0}時，結論顯然成立.

當dimW=r，dimV=n，且0 ＜r＜n時，任取W的一組基α1，α2，…，αr，由于W是A－子空間，且A可逆，所以Aαi=β∈W，(i=1，2，…，r).

下證β1，β2，…，βr也是W的一組基，因為令x1β1+x2β2+ … +xrβr=0，則A－1是V的線性變換，且

再由α1，α2，…，αr線性無關，所以x1=x2=… =xr=0.

此即β1，β2，…，βr也是W的一組基.?α∈W，則α=l1β1+l2β2+ … +lrβr，

A－1(α)=l1A－1(β1)+l2A－1(β2)+… +lrA－1(βr)=l1α1+l2α2+… +lrαr∈W，即證W是A－1－子空間.

定理6設A是向量空間V的線性變換，那么ImA、KerA是A－子空間［3］.

定理7設A、B都是向量空間V的線性變換，如果A與B可交換，那么KerB、ImB，B的特征子空間都是A－子空間.

證明任取β∈KerB，則Bβ=0，于是B(Aβ)=(BA)β=A(Bβ)=A0=0.因此Aβ∈KerB.從而KerB是A－子空間.

任取γ∈ImB，則存在α∈V，使得Bα=γ，又AB=BA，從而

因此Aγ∈ImB.從而ImB是A－子空間.

在B的特征子空間Vλj中任取一向量ξ，則Bξ=λjξ.

從而B(Aξ)=(BA)ξ=(AB)ξ=A(Bξ)=A(λjξ)=λjAξ.因此，Aξ∈Vλj，故Vλj是A－子空間.

推論8設A是域F上向量空間V的線性變換，f(x)∈F(x)，則KerF(A)、Imf(A)、f(A)的特征子空間都是A－子空間.

定理9設A是向量空間V的線性變換，ξ∈V，且ξ≠0，則L(ξ)是A－子空間當且僅當ξ是A的一個特征向量［4］.

證明必要性 設L(ξ)是A－子空間，即?ξ∈V，有Aξ∈L(ξ)，從而存在λ0∈F，使得Aξ=λ0ξ.因此ξ是A的屬于特征值λ0的一個特征向量.

充分性設ξ是A的一個特征向量，則Aξ=λ0ξ，從而A(kξ)=kAξ=kλ0ξ∈L(ξ)，因此L(ξ)是A－子空間.

定理10設A是向量空間V的線性變換，W=L(α1，α2，…，αr)是V的子空間，則W是A－子空間當且僅當Aαi∈W，i=1，2，…，r.

［1］北京大學數學系.高等代數［M］.北京:高等教育出版社，2003.

［2］錢吉林.高等代數題解精粹［M］.北京:中央民族大學出版社，2002.

［3］劉仲奎，楊永保，等.高等代數［M］.北京:高等教育出版社，2003.

［4］樊惲，錢吉林，等.代數學辭典［M］.武漢:華中師范大學出版社，1996.

G642.41

A

1003-8078(2012)03-0031-02

2012-04-23 doi10.3969/j.issn.1003-8078.2012.03.09

黃娟霞，女，甘肅秦安人，講師，主要從事高等代數的教學與研究.

(張所濱)