阿達馬不等式(Hadamard inequality)是一種特殊不等式,指矩陣的子行列式所滿足的一個不等式。設V是n維歐氏空間,V中向量α1,α2,…,αs的格拉姆矩陣A的行列式的平方小於等於諸向量αi的內積的乘積,由此可導出阿達馬不等式。
基本介紹
- 中文名:阿達馬不等式
- 外文名:Hadamard inequality
- 所屬學科:數學
- 所屬問題:高等代數(矩陣)
- 簡介:矩陣的子行列式滿足的不等式
基本介紹,相關介紹,
基本介紹
對歐氏空間中任意s個向量 ,必有
而等號成立的充要條件是: 。也即兩兩正交。(1)式稱為廣義阿達馬不等式。
之所以稱(1)式為廣義阿達馬不等式,是因為n階實方陣A= 的n個列可以看作帶有內積 的實數域R上的
n維列向量R(n)(即歐氏空間R(n))中的n個列向量,而,故得
(其中),這就是通常的阿達馬不等式。
不等式(2)有以下幾何意義:
平行多面體的體積不超過兩個互補“面”的體積的乘積,而等於這一乘積的充分必要條件是這些“面”互相正交或者在乘積中至少有一個體積等於零。
相關介紹
設是歐氏空間V中任意s個向量,下述s階陣
為的格蘭姆矩陣。稱為的格蘭姆行列式。
格蘭姆矩陣是個有廣泛套用的矩陣,它有如下的基本結論:
定理1 歐氏空間V中向量的格蘭姆矩陣必是半正定陣,而是正定陣的充要條件是線性無關。
證明 當線性無關時,作線性包L(),則它對V的內積來說仍是一個歐氏空間,而是L()的基,故是度量矩陣,因而是正定陣。故>0。
當線性相關,例如是的線性組合:,將的第s列減去第1列的k1倍、第2列的k2倍、…,第s-1列的ks-1倍,並套用內積的線性性質可得
(因;i=1,2,…,s)。
根據上述兩點,對任意s個向量,恆有:≥0。但因的任何k階主子陣顯然也是格蘭姆矩陣,故它的行列式不小於零,所以是半正定陣。再由上述兩點知,是正定陣的充要條件是,線性無關。
由定理1的證明過程,可得推論1及廣義阿達馬不等式。
推論1 歐氏空間V的任意s個向量的格蘭姆行列式≥0,而等號成立的充要條件是,線性相關。
由於格蘭姆矩陣的半正定(正定性),使我們可以充分運用半正定陣與正定陣的理論去得到更多有用的結論。例如,由正定陣行列式的不等式估計式顯然可得廣義阿達馬不等式。