官术网_书友最值得收藏!

1.1 線性空間

1.1.1 線性空間的概念及實例

線性空間也稱向量空間,是一個重要的基本概念。粗略地說,線性空間是定義了加法與數(shù)乘的一個集合,集合中的元素(簡稱元)經(jīng)過這兩種運算所得的結(jié)果仍屬于這個集合,稱此集合在這兩種運算下封閉。這兩種運算滿足規(guī)定的運算法則,數(shù)乘所用的數(shù)是取自于定義了和、差、積、商的數(shù)集,該數(shù)集稱為數(shù)域。

定義1.1.1F是包含0和1在內(nèi)的數(shù)集,若F對于數(shù)的加、減、乘、除都封閉,即F中任意兩個數(shù)的和、差、積、商(除數(shù)不為零)仍在F中,則稱F是一個數(shù)域。

據(jù)此,由全體有理數(shù)構(gòu)成的集合、由全體實數(shù)構(gòu)成的集合、由全體復數(shù)構(gòu)成的集合都是數(shù)域,分別稱為有理數(shù)域、實數(shù)域、復數(shù)域,依次用Q、R、C表示。

本書只涉及實數(shù)域R和復數(shù)域C,一般用數(shù)域F統(tǒng)稱。

定義1.1.2V為非空集合,F為一數(shù)域(實數(shù)域或復數(shù)域)。在V中定義了加法,即給定一個法則:V中的任意兩個元素αβ有唯一的一個同在V中的元素γ與它們對應,記為γ=α+β,稱為αβ的和。在數(shù)域F與集合V的元素之間定義數(shù)乘,即給定另一法則:F中任一數(shù)kV中任一元素α有唯一的一個在V中的元素δ與它們對應,記為δ=kα=αk,稱為kα的數(shù)乘。如果加法和數(shù)乘滿足下列規(guī)則,則稱V是數(shù)域F上的線性空間(或F上的向量空間)。

加法滿足下列4條規(guī)則:

(1)交換律 α+β=β+α;

(2)結(jié)合律(α+β)+γ=α+(β+γ);

(3)在V中有零元素0,使對V中任一元素α,都有α+0=α;

(4)對V中每一元素α,都存在一個在V中的負元素β,使α+β=0β稱為α的負元素,記為β=-α

數(shù)乘滿足下列4條規(guī)則:

(5)數(shù)1的數(shù)乘1α=α;

(6)數(shù)乘的結(jié)合律 klα)=(klα;

(7)數(shù)因子分配律(k+lα=kα+lα;

(8)分配律 kα+β)=kα+kβ。

其中k、lF中的任意數(shù)α、β、γV中的任意元素。

為強調(diào)數(shù)域F的影響,有時將線性空間記為VF),其中元素概稱為向量,F中的元素概稱為數(shù)量或純量。當數(shù)域F取實數(shù)域R或復數(shù)域C時,分別稱V為實線性空間或復線性空間。

在本書中的符號,除特別聲明外,我們約定用“主要符號說明”表中指定的符號。并約定,不加說明時,討論問題中向量均為列向量。

例1.1.1】 分量取自數(shù)域F上的n元向量全體組成的集合Fn={αβ,γ,…}按照通常的向量加法和數(shù)與向量的數(shù)乘,構(gòu)成F上的線性空間(或向量空間)。當F為復數(shù)域C時,稱為n元復向量空間,記成Cn;當F為實數(shù)域R時,稱為實向量空間,記為Rn

事實上,在Fn中任取兩個向量α=(a1,a2,…,anT和β=b1b2,…,bnT,kF中任意數(shù),則有

α+β=(a1+b1,a2+b2,…,an+bnTFn;

kα=(ka1,ka2,…,kanTFn

且易證滿足定義1.1.2中對加法和數(shù)乘兩種運算的8條運算規(guī)則。

例1.1.2】 數(shù)域Fm×n矩陣的全體組成的集合Fm×n={AB,C…}按照矩陣的加法和F中數(shù)與矩陣的乘法構(gòu)成F上的向量空間,稱為矩陣空間。

若把m×n矩陣看做m×n維向量,由例1.1.1很容易說明Fm×n構(gòu)成F上的向量空間。

例1.1.3】 數(shù)域F上次數(shù)小于n的一元多項式全體,包括零多項式所組成的集合F[x]n={fx)=a0+a1x+…+an-1xn-1|aiF,i=0,1,…,n-1}按照多項式的加法和F中數(shù)與多項式的乘法構(gòu)成F上的線性空間,稱為多項式空間。

例1.1.4】 實函數(shù)的全體組成的集合,按照函數(shù)的加法和實數(shù)與函數(shù)的乘法構(gòu)成實數(shù)域R上的線性空間,稱為函數(shù)空間。

例1.1.5】 設A為復數(shù)域上的m×n矩陣,根據(jù)齊次線性方程組解的性質(zhì),易證齊次線性方程組Ax=0的包括零解的所有解的集合構(gòu)成C上的線性空間,稱為方程組Ax=0的解空間,也稱矩陣A的核空間或零空間,常記為NA)。

例1.1.6】 設ACm×n,x∈Cn,則由Ax確定的所有m維向量的全體組成的集合

V={y|y=Ax}

構(gòu)成復數(shù)域C上的線性空間,稱為A的列空間或值空間或A的值域,常記為RA)。

例1.1.7】 設R是實數(shù)域,R+是正實數(shù)全體組成的集合。在R+中元素加法”的定義和R中的數(shù)與R+的元素間的數(shù)乘“°”的定義為

其中a,bR+,kR,試證明R+按照上述定義運算”與“°”構(gòu)成R上的線性空間。

首先,由于任意a,b∈R+,任意kR,有

即按照所定義的”,和“°”,對R+是封閉的

其次,對所定義的加法和數(shù)乘運算滿足8條運算規(guī)則:

任取a,bcR+,任取k,lR,則對于加法”有

對于數(shù)乘“°”有

(5)1°a=a1=a,0°a=a0=1

由此,證明了R+按照所定義的兩種運算:”與“°”構(gòu)成R上線性空間。

注意:若集合V按照所定義的加法與數(shù)乘運算不滿足封閉性,或者不滿足8條運算規(guī)則中任何一條,則該集合不能構(gòu)成線性空間。如下面的兩個例子。

例1.1.8】 次數(shù)為n的實系數(shù)多項式全體組成的集合,按照通常多項式的加法與數(shù)乘,不構(gòu)成實線性空間。因為,按照多項式加法,不滿足封閉性。

例1.1.9】 非齊次線性方程組Ax=b,所有解向量的全體所組成的集合,不構(gòu)成線性空間,因為該集合對加法與數(shù)乘均不封閉。

由定義不難推出線性空間的基本性質(zhì):

性質(zhì)1 在線性空間V中,零元素是唯一的,任何一個元素的負元素是唯一的。

性質(zhì)2 在線性空間V中,對任意αV,kF,下列關系式成立:

α=0;(-1)α=-αk·0=0

性質(zhì)3 在線性空間V中,若kα=0,則必有k=0或α=0

綜合以上性質(zhì),我們由kα+β=0k≠0時,可推出

線性空間的元素也稱向量,自然,這里所謂向量比幾何中所謂向量的含義要廣泛得多。

1.1.2 基、維數(shù)與坐標

在線性空間V中,可以依照n元有序數(shù)組組成的向量空間,引入線性組合、線性表出、線性相關性、極大無關組、基、坐標等概念及其結(jié)論。

(1)線性組合與線性表出

α1,α2,…,αm是線性空間Vm個向量,且k1,k2,…,km是數(shù)域F中任意m個數(shù),則向量

k1α1+k2α2+…+kmαm

稱為α1,α2,…,αm的一個線性組合,若向量β

β=k1α1+k2α2+…+kmαm

則稱β可以由α1,α2,…,αm線性表出,也可稱βα1,α2,…,αm的線性組合。

(2)線性組合的線性組合

線性空間V中若干向量的線性組合的線性組合還是這若干向量的線性組合。

(3)線性相關與線性無關

在線性空間V中對于向量組α1,α2,…,αm,若有不全為零的m個數(shù)k1,k2,…,km存在,使得

k1α1+k2α2+…+kmαm=0

成立,則稱向量組α1,α2,…,αm線性相關。若只有全為零的數(shù),即僅當k1=k2=…=km=0才使得

k1α1+k2α2+…+kmαm=0

成立,則稱向量組α1,α2,…,αm線性無關。

在線性無關的向量組中,沒有任何向量是其余向量的線性組合。

(4)線性表出的唯一性

在線性空間V中設向量β可由向量組α1,α2,…,αm線性表出,即

β=k1α1+k2α2+…+kmαm

則線性表出系數(shù)唯一確定的充分必要條件是向量組α1,α2,…,αm線性無關。

(5)極大線性無關組

在線性空間V中,如果向量組A的一個部分組B滿足:

① 線性無關;

② 向量組A中每一個向量都可由部分組B線性表出。

則稱部分組B是向量組A的一個極大線性無關組,簡稱極大無關組。

(6)向量組的秩

線性空間V中一個向量組的極大無關組不是唯一的,但是任意一個極大無關組所含向量個數(shù)是相等的,此時極大無關組所含向量的個數(shù)稱為向量組的秩。

由此可見,線性代數(shù)中許多概念值得回憶,這是因為其中相關的大部分內(nèi)容,大都可以移植到線性空間中,而其本身也是抽象空間的一種具體化。學習數(shù)學常有一種方式,即學會把具體的東西抽象化,且能把抽象的東西具體化。在這里線性代數(shù)的內(nèi)容與線性空間中的概念,正提供了這種互相轉(zhuǎn)化的契機。

定義1.1.3ε1ε2,…,εn是數(shù)域F上線性空間Vn個線性無關的向量,且V中任意向量α,都可以由ε1,ε2,…,εn線性表出,即

α=a1ε1+a2ε2+…+anεn

則稱ε1ε2,…,εnV的一個基或一組基底,有序數(shù)組(a1,a2,…,anTα在基ε1,ε2,…,εn下的坐標。這里(a1,a2,…,anT是被向量α與基ε1ε2,…,εn唯一確定的。此時,基中所含基向量的個數(shù)稱為V的維數(shù),并且稱Vn維線性空間,記為dimV=n

我們特別約定,當V={0}時,有dimV=0,此外,如例1.1.4中函數(shù)空間則是無窮維線性空間。本書主要討論有限維線性空間。

那么V中任意一組基所含向量的個數(shù)是否相等呢?結(jié)論是肯定的,這可以用類似線性代數(shù)中的替換定理得以證明。因此V的維數(shù)是唯一確定的。

例1.1.10】 寫出實數(shù)域R上矩陣空間R2×3的一組基,求dimR2×3,并求

在此組基下的坐標。

R2×3中,設有2×3階矩陣E ij,E ij中的位于(i,j)的元素為1,其余元素為0。例如,易證:E11,E12,E13E21,E22,E23R2×3的一組基。因為它們線性無關,且任何矩陣BR2×3均可由它們線性表出。

由于基中含有6個向量,所以dimR2×3=6,即R2×3是6維線性空間。

又由于A=-2E11+6E12+E13+0E21-E22+3E23,故A在上述基下的坐標為(-2,6,1,0,-1,3)T。

注意:RnCn一樣,一般線性空間的基也不是唯一的,且同一向量在不同基下的坐標也是不同的。

例1.1.11】 設R[x]n={次數(shù)小于n的變量x的實系數(shù)多項式fx)=a0+a1x+a2x2+…+an-1xn-1全體加上零多項式組成的空間}。試證:

(1)1,x,x2,…,xn-1R[x]n的一組基;

(2)1,x-a,(x-a2,…,x-a)n-1也是R[x]n的一組基,并求fx)=a0+a1x+…+an-1xn-1在這組基下的坐標。

(1)易證R[x]n中一組向量

1,x,x2,…,xn-1

是線性無關的。

事實上,設有數(shù)k0k1,k2,…,kn-1,使得

k0·1+k1·x+k2·x2+…+kn-1·xn-1=0

要使上式對變量x的任何情況都成立的充要條件是

k0=k1=k2=…=kn-1=0

所以,向量組1,xx2,…,xn-1是線性無關的。

對于R[x]n中任一向量fx)=a0+a1x+a2x2+…+an-1xn-1均可由1,xx2,…,xn-1線性表出。

由定義1.1.3,此時已證明了向量組1,xx2,…,xn-1R[x]n的一組基。

(2)類似可證明R[x]n中的向量組

1,x-a,(x-a2,…,(x-a)n-1

也是R[x]n中線性無關向量組,且R[x]n中的任一向量

f(x)=a0+a1x+a2x2…+an-1xn-1

fx)在x=a處按Taylor公式展開后,有

所以,1,x-a,(x-a2,…,(x-a)n-1也是R[x]n的一組基。且fx)在該基下的坐標為

此例正說明了線性空間中同一向量在不同基下的坐標是不同的。

1.1.3 基變換與坐標變換

下面將研究線性空間中同一向量在不同基下坐標之間的關系。

定義1.1.4α1α2,…,αnβ1,β2,…,βnn維線性空間的兩個基?;蛄?span id="tm41m4h" class="span_101">β1,β2,…,βn用基向量α1,α2,…,αn表示的表達式為

也可簡寫成

寫成矩陣形式為

其中

稱為由基α1,α2,…,αn到基β1,β2,…,βn的過渡矩陣。式(1.1.1)為由基α1,α2,…,αn到基β1,β2,…,βn的基變換公式。

易證過渡矩陣P是可逆的。

下面給出n維線性空間V中同一向量在兩個不同基下坐標的變換公式。

定理1.1.1 設n維線性空間V中向量α在兩個基α1α2,…,αnβ1,β2,…,βn下的坐標分別為(x1x2,…,xnT和(y1,y2,…,ynT,由基α1,α2,…,αn到基β1,β2,…,βn的過渡矩陣為P,則這兩個坐標之間變換式為

式(1.1.2)稱為坐標變換公式。

事實上,由

用式(1.1.1)代入上式,得到

由于α1α2,…,αn是基,所以有

這就是所求證的在基變換公式(1.1.1)下的坐標變換公式。

例1.1.12】 在F[x]4中,求由基f0=1,f1=x,f2=x2f3=x3,到基h0=1,h1=1-x,h2=1-x-x2,h3=1-x-x2-x3 的過渡矩陣。若多項式fx)在基f0f1,f2f3下的坐標為(1,0,-2,3)T,求fx)在基h0h1,h2,h3下的坐標。

h0=f0

h1=1-x=f0-f1

h2=1-x-x2=f0-f1-f2

h3=1-x-x2-x3=f0-f1-f2-f3

可得

所以,由基f0f1,f2,f3到基h0,h1,h2h3的過渡矩陣為

設f(x)在基h0,h1h2,h3下的坐標為(y1,y2,y3,y4T,則由式(1.1.2)有

于是

fx)在基h0,h1h2h3下坐標為(1,-2,5,-3)T

主站蜘蛛池模板: 浮山县| 赞皇县| 邹平县| 夏河县| 琼海市| 遂宁市| 义马市| 富源县| 墨江| 施甸县| 中超| 安陆市| 长治市| 富宁县| 浮山县| 大余县| 喀什市| 金坛市| 五指山市| 澳门| 海原县| 稻城县| 藁城市| 应城市| 建水县| 彭州市| 墨脱县| 邯郸县| 汝州市| 江永县| 揭阳市| 麻江县| 灵丘县| 台北县| 元朗区| 开远市| 罗田县| 宿松县| 扎赉特旗| 柳林县| 安西县|