二次型理論起源于解析幾何中的化二次曲線和二次曲面方_第1頁
二次型理論起源于解析幾何中的化二次曲線和二次曲面方_第2頁
二次型理論起源于解析幾何中的化二次曲線和二次曲面方_第3頁
二次型理論起源于解析幾何中的化二次曲線和二次曲面方_第4頁
二次型理論起源于解析幾何中的化二次曲線和二次曲面方_第5頁
已閱讀5頁,還剩15頁未讀 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

1、第八章 二次型二次型理論起源于解析幾何中的化二次曲線和二次曲面方程為標(biāo)準(zhǔn)形的問題,這一理論在數(shù)理統(tǒng)計(jì)、物理、力學(xué)及現(xiàn)代控制理論等諸多領(lǐng)域都有很重要的應(yīng)用. 本章主要介紹二次型的基本概念,討論化二次型為標(biāo)準(zhǔn)形及正定二次型的判定等問題.8.1 二次型及其矩陣表示在解析幾何中,我們曾經(jīng)學(xué)過二次曲線及二次曲面的分類,以平面二次曲線為例,一條二次曲線可以由一個(gè)二元二次方程給出: (1.1)要區(qū)分(1.1)式是哪一種曲線(橢圓、雙曲線、拋物線或其退化形式),我們通常分兩步來做:首先將坐標(biāo)軸旋轉(zhuǎn)一個(gè)角度以消去項(xiàng), 再作坐標(biāo)的平移以消去一次項(xiàng). 這里的關(guān)鍵是消去項(xiàng),通常的坐標(biāo)變換公式為: (1.2)從線性空間

2、與線性變換的角度看,(1.2)式表示平面上的一個(gè)線性變換.因此二次曲線分類的關(guān)鍵是給出一個(gè)線性變換,使(1.1)式中的二次項(xiàng)只含有平方項(xiàng).這種情形也在空間二次曲面的分類時(shí)出現(xiàn),類似的問題在數(shù)學(xué)的其它分支、物理、力學(xué)中也會(huì)遇到. 為了討論問題的方便,只考慮二次齊次多項(xiàng)式.定義8.1.1 設(shè)是數(shù)域上的元二次齊次多項(xiàng)式: (1.3)稱為數(shù)域上的元二次型,簡稱二次型. 如果數(shù)域?yàn)閷?shí)數(shù)域,則稱為實(shí)二次型; 如果數(shù)域?yàn)閺?fù)數(shù)域,則稱為復(fù)二次型; 如果二次型中只含有平方項(xiàng),即稱為標(biāo)準(zhǔn)形式的二次型,簡稱為標(biāo)準(zhǔn)形.說明: 在這個(gè)定義中,非平方項(xiàng)系數(shù)用主要是為了以后矩陣表示的方便.例8.1.2 下列多項(xiàng)式都是二次型

3、:下列多項(xiàng)式都不是二次型:定義8.1.3 設(shè)是兩組文字,系數(shù)在數(shù)域中的一組關(guān)系式 (1.4)稱為由到的一個(gè)線性替換,或簡稱線性替換. 如果系數(shù)行列式,那么線性替換(1.4)就稱為非退化的.在研究二次型時(shí),矩陣是一個(gè)有力工具,因此我們先把二次型用矩陣來表示.令 , 則有 , 于是(1.3)式可以改寫為記 則二次型可記為 , (1.5)其中是對稱矩陣. 稱(1.5)式為二次型的矩陣形式.例8.1.4 二次型 的矩陣形式為說明: 任給一個(gè)二次型就唯一地確定一個(gè)對稱矩陣. 反之,任給一個(gè)對稱矩陣可唯一地確定一個(gè)二次型. 因此, 二次型與對稱矩陣之間有著一一對應(yīng)的關(guān)系. 把對稱矩陣稱為二次型的矩陣,也把

4、稱為對稱矩陣的二次型. 稱對稱矩陣的秩為二次型的秩.例8.1.5 給定對稱矩陣則其對應(yīng)的二次型為: 對于二次型,作線性替換,其中則 令 , 則有,即是對稱矩陣.這樣, 對稱矩陣同樣定義了一個(gè)二次型. 于是, 線性替換將二次型化為二次型.定義8.1.6 設(shè)是數(shù)域上的階方陣,如果有數(shù)域上的階可逆矩陣,使得則稱矩陣與合同, 記作.合同是矩陣之間的一個(gè)關(guān)系.易知,合同關(guān)系具有:(1) 反身性: 即與合同,因?yàn)?(2) 對稱性: 即若與合同,則與合同,因?yàn)橛?即得;(3) 傳遞性: 即若與合同,與合同,則與合同,由和,即得.說明: 經(jīng)過非退化的線性替換,新二次型的矩陣與原二次型的矩陣是合同的. 這樣,

5、我們就把二次型的變換通過矩陣表示出來,為以后的討論提供了有力的工具.另外, 在二次型變換時(shí),我們總是要求所作的線性替換是非退化的, 因?yàn)檫@樣我們可以把所得的二次型還原.定理8.1.7 若與合同,則.證明: 因?yàn)榕c合同,所以存在階可逆矩陣,使得由于可逆矩陣乘以矩陣兩邊不改變矩陣的秩,故.說明: 這個(gè)定理給我們化二次型為標(biāo)準(zhǔn)形提供了保證. 這樣,若是對角矩陣,則非退化的線性替換就把二次型化為了標(biāo)準(zhǔn)形. 因此, 把二次型化為標(biāo)準(zhǔn)形的問題其實(shí)質(zhì)是: 對于對稱矩陣,尋找可逆矩陣,使得為對角矩陣.8.2 化二次型為標(biāo)準(zhǔn)形現(xiàn)在來討論用非退化的線性替換化簡二次型的問題. 1 配方法定理8.2.1 數(shù)域上任意一

6、個(gè)二次型都可以經(jīng)過非退化的線性替換化為標(biāo)準(zhǔn)形,即只含有平方項(xiàng).證明: 對變量的個(gè)數(shù)作數(shù)學(xué)歸納法.對于,二次型就是, 顯然已經(jīng)是平方項(xiàng)了. 現(xiàn)假定對元的二次型,定理的結(jié)論成立.再設(shè) 分三種情形來討論:(1) 中至少有一個(gè)不為零,例如,這時(shí)這里 是一個(gè)關(guān)于的二次型.令即這是一個(gè)非退化線性替換,它使由歸納法假定,對有非退化的線性替換能使它變成平方和于是非退化線性替換就使變成即變成平方和了.根據(jù)歸納法原理,定理得證.(2) 所有都等于零,但是至少有一個(gè),不失普遍性, 設(shè).令它是非退化線性變換,且使這時(shí),上式右端是的二次型,且的系數(shù)不為零,屬于第一種情況,定理成立.(3) ,由對稱性知這時(shí)是元的二次型,

7、 根據(jù)歸納法假定,它能用非退化線性替換變成平方和. 證畢.例8.2.2 用配方法化二次型為標(biāo)準(zhǔn)形,并寫出所用的非退化線性替換.解: 由定理的證明過程,令, 即 得: 上式右端除第一項(xiàng)外已不再含, 繼續(xù)配方,令, 即 得: 所有的非退化線性替換為例8.2.3 用配方法化二次型為標(biāo)準(zhǔn)形,并寫出所用的非退化性替換.解: 由定理的證明過程, 令代入原二次型得:這時(shí)項(xiàng)不為零,于是令于是, 其中的系數(shù)為零,故沒有寫出.為求非退化線性替換, 我們可將第二個(gè)替換代入第一個(gè)替換中, 得說明: 在用配方法化二次型為標(biāo)準(zhǔn)形時(shí),必須保證線性替換是非退化的. 有時(shí),我們在配方過程中會(huì)遇到看似簡單的方法,但得到的結(jié)果未必

8、正確.如若令則.然而, 所以, 此處所作的線性替換是退化的,于是最后的結(jié)果并不是所求的.2 初等變換法由于二次型與對稱矩陣一一對應(yīng), 所以能用非退化線性替換化標(biāo)準(zhǔn)形的過程也可以用矩陣的方法做到, 由8.1我們知道,矩陣合同可以將矩陣化為對角陣.于是,定理8.2.1可以用矩陣的語言描述出來.定理8.2.4 數(shù)域上任意一個(gè)對稱矩陣都合同于一對角矩陣. 即存在可逆矩陣, 使得 (2.1)現(xiàn)在我們就根據(jù)定理8.2.4, 討論用矩陣的初等變換來求定理8.2.4中的可逆矩陣及對角矩陣. 由前面的知識,我們知道,可逆矩陣可以表示為有限個(gè)初等矩陣的乘積,即 (2.2)將(2.2)式代入(2.1)式, 得 (2

9、.3)(2.3)式表明,對對稱矩陣施行次初等行變換及相同的次初等列變換, 就變?yōu)榱藢蔷仃? 而(2.2)式表明對單位矩陣施行上述的初等列變換, 就變?yōu)榭赡婢仃? 這種利用矩陣的初等變換求可逆矩陣及對角矩陣,使得與合同的方法稱為初等變換法. 具體做法: 對以階對稱矩陣和階單位矩陣做成的矩陣進(jìn)行初等變換則.例8.2.5 已知對稱矩陣用初等變換法求可逆矩陣及對角矩陣,使得與合同.解: 所求可逆矩陣及對角矩陣為:且.例8.2.6 已知二次型用初等變換法將其化為標(biāo)準(zhǔn)形,并求非退化的線性替換.解: 二次型對應(yīng)的矩陣為:于是有, 故非退化線性替換為這樣,二次型化為8.3 慣性定理我們知道, 二次型與對稱矩

10、陣一一對應(yīng),并且對稱矩陣可以合同化為對角矩陣. 又因?yàn)楹贤桓淖兙仃嚨闹? 這樣一來, 任意一個(gè)對稱矩陣合同的對角矩陣對角線上不為零的元素的個(gè)數(shù)是不變的,就是矩陣的秩. 因此, 在一個(gè)二次型的標(biāo)準(zhǔn)形中,系數(shù)不為零的項(xiàng)的個(gè)數(shù)是唯一確定的, 與所作的非退化的線性替換無關(guān). 至于標(biāo)準(zhǔn)形中的系數(shù), 就不是唯一確定的.比如在例8.2.6中, 我們還可以進(jìn)一步,令則二次型化為 .這說明, 在一般的數(shù)域內(nèi), 二次型的標(biāo)準(zhǔn)形不是唯一的, 而與所作的非退化的線性替換有關(guān).下面只就實(shí)數(shù)域和復(fù)數(shù)域的情形來進(jìn)一步討論唯一性的問題.設(shè)對稱矩陣的秩為,則由定理8.2.4知, 存在可逆矩陣,使得矩陣合同于對角矩陣, 即即此

11、時(shí)原二次型化為 (3.1)在這些不為零的中,假設(shè),這樣(1) 在實(shí)數(shù)域內(nèi), 我們令則(3.1)式變?yōu)? 這就是說對稱矩陣合同于下列對角矩陣:其中有個(gè)1, 個(gè),個(gè)0.(2) 在復(fù)數(shù)域內(nèi), 我們令則(3.1)式變?yōu)? 這就是說對稱矩陣合同于下列對角矩陣:其中有個(gè)1.定義8.3.1 在實(shí)數(shù)域內(nèi), 稱為實(shí)二次型的規(guī)范形; 在復(fù)數(shù)域內(nèi), 稱為復(fù)二次型的規(guī)范形.定理8.3.2 (慣性定理) 設(shè)是一個(gè)元實(shí)二次型,且可化為兩個(gè)規(guī)范形:,則必有 .證明: 用反證法. 設(shè), 由前面知識知, (3.2)又設(shè) 其中 于是, .令則 因?yàn)?齊次線性方程組必有非零解(個(gè)未知數(shù),個(gè)方程式). 令其中一個(gè)非零解為:把這組解代

12、入(3.2)式中的上式, 得到:但這時(shí),故(3.2)式中的下式為這樣就得出了矛盾.同理可證 也不可能.于是 .證畢.說明: 這個(gè)定理表明了實(shí)二次型的規(guī)范形是唯一的.定義8.3.3 在實(shí)二次型的規(guī)范形中, 則稱是該二次型的秩,是它的正慣性指數(shù),是負(fù)慣性指數(shù), 稱為的符號差.推論8.3.4 兩個(gè)實(shí)二次型合同當(dāng)且僅當(dāng)它們有相同的秩和正慣性指數(shù).定理8.3.5 設(shè)是一個(gè)元復(fù)二次型,則經(jīng)過適當(dāng)?shù)姆峭嘶€性替換可以化為規(guī)范形,且規(guī)范形是唯一的.推論8.3.6兩個(gè)復(fù)二次型合同當(dāng)且僅當(dāng)它們有相同的秩.8.4 正定二次型在實(shí)二次型中,正定二次型占有特殊的地位. 所以本節(jié)主要介紹實(shí)二次型,并討論它們的正定性.定義

13、8.4.1 設(shè)是一個(gè)元實(shí)二次型, 如果對任意維列向量都有:(1) ,則稱為正定二次型,并稱實(shí)對稱矩陣為正定矩陣;(2) ,則稱為負(fù)定二次型,并稱實(shí)對稱矩陣為負(fù)定矩陣;(3) ,則稱為半正定二次型,并稱實(shí)對稱矩陣為半正定矩陣;(4) ,則稱為半負(fù)定二次型,并稱實(shí)對稱矩陣為半負(fù)定矩陣;(5) 既不滿足(3) ,又不滿足(4) ,則稱為不定二次型,并稱實(shí)對稱矩陣為不定矩陣.例8.4.2 已知和都是階正定矩陣,證明也是正定矩陣.證明: 因?yàn)楹投际请A正定矩陣,所以,于是即也是對稱矩陣.又任意,有從而 即是正定二次型,故是正定矩陣.定理8.4.3 元實(shí)二次型正定的充分必要條件是它的正慣性指數(shù)等于.證明:

14、設(shè)元實(shí)二次型經(jīng)過非退化線性替換化為標(biāo)準(zhǔn)形充分性. 已知,對于任意有,故必要性. 用反證法.假設(shè)有某個(gè),當(dāng)取時(shí),有,此時(shí)這與已知為正定二次型矛盾.故. 證畢.推論8.4.4 實(shí)對稱矩陣為正定矩陣的充分必要條件是的特征值全為正數(shù).推論8.4.5 實(shí)對稱矩陣為正定矩陣的充分必要條件是合同于單位矩陣.推論8.4.6 實(shí)對稱矩陣為正定矩陣的必要條件是.證明: 因?yàn)闉檎ň仃?由推論8.4.5, 合同于單位矩陣,所以有可逆矩陣使兩邊取行列式,有說明: 從定義可以看出,如果我們根據(jù)定義來判斷二次型的正定性是比較麻煩的.所以我們下面給出一個(gè)方便判斷的結(jié)論.定義8.4.7 子式稱為矩陣的順序主子式.定理8.4.

15、8 元實(shí)二次型正定的充分必要條件是矩陣的順序主子式全大于零.證明: 必要性. 已知二次型是正定的.令則對任意的列向量,有從而是元正定二次型.由上面的推論8.4.6知,充分性. 已知.對階數(shù)作數(shù)學(xué)歸納法. 當(dāng)時(shí),由知是正定的. 假設(shè)論斷對元二次型成立. 以下來證元二次型的情形.注意到,將關(guān)于配方,得其中 由知.如果能證明元實(shí)二次型是正定的, 則由定義知也是正定的. 根據(jù)行列式性質(zhì),得從而由歸納假設(shè)知元實(shí)二次型是正定的. 證畢.例8.4.9 判斷下列二次型的正定性.解: 二次型的矩陣為因?yàn)?.所以是正定的.例8.4.10 試求的取值范圍,使下列二次型為正定二次型.;解: 二次型對應(yīng)的矩陣為矩陣的順

16、序主子式為為了使正定,必須有: 即有 解得 .最后,我們注意到正、負(fù)定二次型的關(guān)系,于是有下面的結(jié)論.定理8.4.11 元實(shí)二次型負(fù)定的充分必要條件是下列條件之一成立.(1) 的負(fù)慣性指數(shù)為;(2) 的特征值全為負(fù)數(shù);(3) 合同于;(4) 的各階順序主子式負(fù)正相間,即奇數(shù)階順序主子式為負(fù)數(shù),偶數(shù)階順序主子式為正數(shù).定理8.4.12 元實(shí)二次型半正定的充分必要條件是下列條件之一成立.(1) 的正慣性指數(shù)與秩相等;(2) 的特征值全為非負(fù)數(shù);(3) 合同于,其中為矩陣的秩;(4) 存在實(shí)矩陣使得;(5) 的各階主子式都非負(fù),其中主子式就是指行指標(biāo)與列指標(biāo)相同的子式. 說明: 僅有順序主子式非負(fù)是

17、不能保證半正定性的. 如就是一個(gè)反例.習(xí)題八(A)1. 證明:秩等于的對稱矩陣等于個(gè)秩為1的對稱矩陣之和.2. 設(shè)是的一個(gè)排列,則下面兩個(gè)對角陣 與 合同。3. 若可逆矩陣和合同,求證:和也合同.4. 用配方法把下列二次型化成標(biāo)準(zhǔn)形.(1);(2);(3);(4)5. 用初等變換法把下列二次型化為標(biāo)準(zhǔn)形,并求可逆矩陣.(1);(2);(3) ;(4) 6. 設(shè)是一個(gè)階矩陣,證明(1)是反對稱矩陣當(dāng)且僅當(dāng)對于任一個(gè)維向量,有;(2)如果是對稱矩陣,且對任一個(gè)維向量有,那么.7. 如果把實(shí)階矩陣按照合同分類,即兩個(gè)實(shí)階矩陣屬于同一類當(dāng)且僅當(dāng)它們合同,問共有幾類?8. 證明:一個(gè)秩大于1的實(shí)二次型可

18、以分解為兩個(gè)實(shí)系數(shù)的一次多項(xiàng)式之積的充分必要條件是它的秩等于2且符號差等于零.9. 設(shè)階實(shí)對稱矩陣是正定的,是階實(shí)可逆矩陣,證明:也是正定矩陣.10. 設(shè)是階實(shí)對稱矩陣,證明:是正定的當(dāng)且僅當(dāng)存在階實(shí)可逆矩陣,使得.11. 設(shè)是一個(gè)正定矩陣,證明:(1)對于任意正實(shí)數(shù),是正定矩陣;(2)對于任意正整數(shù),是正定矩陣;(3)是正定矩陣;(4)的伴隨矩陣也是正定矩陣.12. 判別下列二次型是否正定:(1);(2);(3);(4)13. 如下列二次型是正定的,求的取值范圍:(1);(2)14. 設(shè)是實(shí)對稱矩陣,證明:當(dāng)實(shí)數(shù)充分大之后,是正定矩陣.15. 設(shè)是一個(gè)階實(shí)對稱矩陣,且,證明:必存在實(shí)維向量,使.16. 證明:是半正定的.習(xí)題八(B)1. 用非退化的線性替換化下列二次型為標(biāo)準(zhǔn)形:(1);(2)2. 設(shè)實(shí)二次型,證明:的秩等于矩陣的秩.3. 設(shè)

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論