徐莉 黃體仁

【摘要】本文主要研究了對(duì)偶空間的一些新性質(zhì)，以及用它們來(lái)簡(jiǎn)化對(duì)偶空間的運(yùn)算.

【關(guān)鍵詞】對(duì)偶空間；對(duì)偶基

1.引 言

求線性空間的基所對(duì)應(yīng)的對(duì)偶基，有時(shí)很麻煩，特別是子空間所對(duì)應(yīng)的對(duì)偶空間以及子空間之間的運(yùn)算.例如，求V*1∩V*2的基，首先要求V1，V2的基，然后求出V*1，V*2，最后取交集，這樣比較繁瑣，但求（V1∩V2）*的基，則相對(duì)要方便一些.下面我們看對(duì)偶空間的一些新性質(zhì)，以及用它們來(lái)簡(jiǎn)化對(duì)偶空間的運(yùn)算.

2.對(duì)偶空間的一些新性質(zhì)

對(duì)偶空間的一些新性質(zhì)：

（1） 設(shè)V是F上一個(gè)n維線性空間，若V1V，則V*1V*.

（2） 若V1∩V2=，則V*1∩V*2=.

（3） 若V1V，V2V，則（V1∩V2）*=V*1∩V*2.

（4） 若V1V，V2V，則（V1+V2）*=V*1+V*2.

證明 （1） 設(shè)V1的基為α1，α2，…，αk，將其擴(kuò)充為V的一組基，設(shè)為α1，α2，…，αk，αk+1，αk+2，…，αn.所對(duì)應(yīng)的對(duì)偶基為f1，f2，…，fk，fk+1，fk+2，…，fn.易知f1，f2，…，fk是α1，α2，…，αk的對(duì)偶基.又因?yàn)閧f1，f2，…，fk}{f1，f2，…，fn}，即V*1V*.

（2） 如果V1或V2有一個(gè)是空集，則結(jié)論顯然成立.如果V1，V2都非空， 設(shè)dimV1=n1， dimV2=n2，則取V1的基α1，α2，…，αn1，取V2的基β1，β2，…，βn2因?yàn)閂1∩V2=，則V1∪V2的基為α1，α2，…，αn1，β1，β2，…，βn2，將其也擴(kuò)充為V的基的一組基

α1，α2，…，αn1，β1，β2，…，βn2，γ1，γ2，…，γn-n1-n2.

由定理知，存在唯一的對(duì)偶基

f1，f2，…，fn1，g1，g2，…，gn2，h1，h2，…，hn-n1-n2.

由對(duì)偶基的定義知，f1，f2，…，fn1是V*1的基，g1，g2，…，gn2是V*2的基，顯然可以看出

V*1∩V*2=.

（3） 設(shè)dimV1=n1，dimV2=n2，dim（V1∩V2）=m.因?yàn)閂1∩V2V1，V1∩V2V2，由（1）知（V1∩V2）*V*1，（V1∩V2）*V*2.所以（V1∩V2）*V*1∩V*2.

設(shè)V1∩V2的基為α1，α2，…，αm，于是將其擴(kuò)充V1的基α1，α2，…，αm，β1，β2，…，βn1-m，將其也擴(kuò)充為V2的基α1，α2，…，αm，γ1，γ2，…，γn2-m，也將其擴(kuò)充為V的基α1，α2，…，αm，δ1，δ2，…，δn-m.

由定理知，存在唯一的一組對(duì)偶基f1，f2，…，fm，fm+1，…，fn.

不妨設(shè)V1的對(duì)偶基為f1，f2，…，fm，f`m+1，…，f`n1，V2的對(duì)偶基為f1，f2，…，fm，gm+1，…，gn2.

因?yàn)椋╒1-V1∩V2）∩（V2-V1∩V2）=，即

{β1，β2，…，βn1-m}∩{γ1，γ2，…，γn2-m}=.

由（2）知{f`m+1，…，f`n1}∩{gm+1，…，gn2}=.于是

（V*1∩V*2）={f1，f2，…，fm}.

所以dim（V*1∩V*2）=m，

又 dim（V1∩V2）*=dim（V1∩V2）=m.于是

dim（V*1∩V*2）=dim（V1∩V2）*=m.

所以（V1∩V2）*=V*1∩V*2.

（4）因?yàn)椋╒1+V2）V1.（V1+V2）V2，由1）知，則有（V1+V2）*V*1，（V1+V2）*V*2，于是有（V1+V2）*V*1+V*2.下面來(lái)證明dim（V1+V2）*=dim（V*1+V*2）.

設(shè)dim（V1∩V2）=m，dimV1=n1，dimV2=n2.

因?yàn)閐im（V1+V2）+dim（V1∩V2）=dimV1+dimV2，

于是dim（V1+V2）=dimV1+dimV2-dim（V1∩V2）=n1+n2-m.

所以dim（V1+V2）*=dim（V1+V2）=n1+n2-m.

又由（3）證明知

dim（V*1∩V*2）=dim（V1∩V2）*=m，

又由維數(shù)公式知

dim（V*1+V*2）+dim（V*1∩V*2）=dimV*1+dimV*2.

結(jié)合上面兩個(gè)式子得

dim（V*1+V*2）=dimV*1+dimV*2-dim（V*1∩V*2）

=dimV*1+dimV*2-dim（V1∩V2）*

=n1+n2-m.

于是dim（V*1+V*2）=dim（V1+V2）*.

所以（V*1+V*2）=（V1+V2）*.

由上面的幾條新性質(zhì)，我們可以得出下面兩個(gè)推論.

（1） 如果Vi∈V （i=1，2，…，n），

則有（∩ni=1Vi）*=∩ni=1V*i；

（2） 如果Vi∈V （i=1，2，…，n），

則有（∑ni=1Vi）*=∑ni=1V*i.

證明 （1） 用數(shù)學(xué)歸納法來(lái)證明.當(dāng)n=2時(shí)，由上面的性質(zhì)知道，結(jié)論成立.

假設(shè)n=k時(shí)成立.當(dāng)n=k+1時(shí)， 令∩ki=1Vi=V′，

則有（∩k+1i=1Vi）*=（∩ki=1Vi∩Vk+1）*=（V′∩Vk+1）*.

由假設(shè)（∩ni=1Vi）*=∩ni=1V*i和（V1∩V2）*=V*1∩V*2知道：

（∩k+1i=1Vi）*=（∩ki=1Vi∩Vk+1）*=（V′∩Vk+1）*=（V′）*∩V*k+1=∩ki=1V*i∩V*k+1=∩k+1i=1V*i.

（2） 也用數(shù)學(xué)歸納法來(lái)證明.當(dāng)n=2時(shí)，由上面性質(zhì)知道，結(jié)論顯然是成立的.

假設(shè)n=k結(jié)論成立，當(dāng)n=k+1時(shí)，令（∑ki=1Vi）*=V′′，則有（∑k+1i=1Vi）*=（V″+Vk+1）*.

由假設(shè)（∑ki=1Vi）*=∑ki=1V*i和（V1+V2）*=（V*1+V*2）知道：

（∑k+1i=1Vi）*=（∑ki=1Vi+Vk+1）*=（V″+Vk+1）*=（V″）*+V*k+1=∑ki=1V*i+V*k+1=∑k+1i=1V*i.

【參考文獻(xiàn)】

[1]徐振民.對(duì)偶空間的性質(zhì)[J].太原師范學(xué)院學(xué)報(bào)（自然科學(xué)版），2010（1）.

[2]何錦榮.對(duì)偶空間的一些性質(zhì)及其應(yīng)用[J].廣西師院學(xué)報(bào)（自然科學(xué)版），1994（2）.

[3]李容錄.賦范線性空間的第二對(duì)偶空間[J].數(shù)學(xué)研究與評(píng)論，1981（2）.

[4]周光實(shí).（op）型空間的對(duì)偶空間[J].河北大學(xué)學(xué)報(bào)（自然科學(xué)版），1984（2）.

[5]吳博兒.非絕對(duì)型Cesaro序列空間的對(duì)偶空間[J].華南師范大學(xué)學(xué)報(bào)（自然科學(xué)版），1985（2）.