簡介
引入
定型二次型是實二次型的類型。
![半正定二次型](/img/9/fd4/wZwpmLyUDM0ADM0IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzL4gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![半正定二次型](/img/2/ddf/wZwpmLzMDNxkjM2MDOwMzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL4IzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
設 是一個實二次型, 是任意 n 個不全為零的實數。實二次型分類如下:
![半正定二次型](/img/2/a3e/wZwpmLxgzM5gDO0UTOwcTN1UTM1QDN5MjM5ADMwAjMwUzL1kzLxIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
1、若恆有,則 f 稱為正定的。
![半正定二次型](/img/2/afd/wZwpmL1cTN3kTN1ATMxcTN1UTM1QDN5MjM5ADMwAjMwUzLwEzLyczLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
2、若恆有,則 f 稱為負定的。
![半正定二次型](/img/4/3ce/wZwpmL2IDOwQTM5ADMxcTN1UTM1QDN5MjM5ADMwAjMwUzLwAzL0czLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
3、若恆有,則 f 稱為半正定的。
![半正定二次型](/img/5/691/wZwpmLzcDM1MzN0ATMxcTN1UTM1QDN5MjM5ADMwAjMwUzLwEzLxIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
4、若恆有,則 f 稱為半負定的。
5、其他情形的 f 稱為不定的。
定義
正定、半正定、負定、半負定的二次型合稱為定型二次型;不定的二次型稱為不定型二次型。
![半正定二次型](/img/9/ba3/wZwpmLyQDOwUzM0UDOwcTN1UTM1QDN5MjM5ADMwAjMwUzL1gzLzEzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
高斯 (Gauss,C.F.) 在 1801 年出版的《算術的研究》中包含了對二次型的探討。他用行列式表示二次型 的判別式,還引進了正定、半正定、負定的概念。他引進的負定概念實際上是現在的半負定。
正定二次型
![半正定二次型](/img/b/f9e/wZwpmLzQDMxMDN0EzMxMzM1UTM1QDN5MjM5ADMwAjMwUzLxMzL4czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![半正定二次型](/img/c/c8f/wZwpmL3gTMycjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL3MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![半正定二次型](/img/b/d49/wZwpmLxETOykzN0MjN1ATN0UTMyITNykTO0EDMwAjMwUzLzYzL1UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![半正定二次型](/img/5/19f/wZwpmL0ETO4MDNyMDOwMzM1UTM1QDN5MjM5ADMwAjMwUzLzgzLwMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![半正定二次型](/img/8/e9a/wZwpmL0YzMwMjMzkjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLyMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![半正定二次型](/img/e/571/wZwpmL1QDM4IDM3cTOwMzM1UTM1QDN5MjM5ADMwAjMwUzL3kzL0QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![半正定二次型](/img/2/7b6/wZwpmLwUTN1UDM5cjMxMzM1UTM1QDN5MjM5ADMwAjMwUzL3IzL4IzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![半正定二次型](/img/d/5b7/wZwpmLzUDM2YTO1cDMxMzM1UTM1QDN5MjM5ADMwAjMwUzL3AzLxYzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![半正定二次型](/img/c/c8f/wZwpmL3gTMycjM4QTOwADN0UTMyITNykTO0EDMwAjMwUzL0kzL3MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
設,其中矩陣是對稱陣,即,為列向量,若,,有,則稱為正定二次型,稱實對稱矩陣正定。
![半正定二次型](/img/b/54c/wZwpmL0QTO1kDN5UTMxMzM1UTM1QDN5MjM5ADMwAjMwUzL1EzL1QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![半正定二次型](/img/0/da5/wZwpmLwgDO0QTOzgjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL4YzL4QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![半正定二次型](/img/3/535/wZwpmL2UzN1kDO0YzMxMzM1UTM1QDN5MjM5ADMwAjMwUzL2MzLyIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
例如,即為正定二次型,其中,。