行列の定値性

線型代数学における行列の**定値性**（ていちせい、）は、その行列に付随する二次形式が一定の符号を持つか否か (二次形式の定値性) と密接な関係を持つ概念だが、付随する二次形式を経ることなくその行列自身の持つ性質によって特徴づけることもできる。

この概念は対称行列およびエルミート行列に対して定義するのが通例であるが、そうではない行列を含むように「定値性」の概念を一般化して適用する文献もある。

## 定義
; 正定値
:  実対称行列  が**正定値**  であるとは、 個の実数を成分に持つ零ベクトルでない任意の列ベクトル  に対して、二次形式  が必ず正となるときに言う。ここに  は  の転置行列を表す。
: より一般に、 エルミート行列  が**正定値**であるとは、任意の非零複素ベクトル  に対して、 が常に正の実数となるときに言う。ここに  は  の共軛転置行列である。
; 負定値
:  エルミート行列  が**負定値**  であるとは、 の（実の場合は  の）任意の非零ベクトル  に対して  が成り立つときに言う。
; 半正定値
:  が**半正定値**  または**非負定値**  であるとは、 の（実の場合は  の）任意の非零ベクトル  に対して  が成り立つときに言う。
; 半負定値
:  が**半負定値**  または**非正定値**  であるとは、 の（実の場合は  の）任意の非零ベクトル  に対して  が成り立つときに言う。
; 不定値
: 正定値、負定値、半正定値、半負定値の何れでもないエルミート行列は、**不定値**あるいは**不定符号**  であると言う。

正定値行列は正定値対称双線型形式（複素の場合は対称半双線型形式）に、あるいはベクトル空間の内積に近しい関係を持つ。

## 表記法
行列  の定値性を次の記号を用いて表現することがある。（ただし同様の記号で正行列や非負行列を表すこともある。）

## 性質
### 固有値との関係
実対称行列（またはエルミート行列） の定値性は固有値の符号と関係している。「すべての固有値の符号」がわかれば定値性がわかり、逆に定値性がわかれば「すべての固有値の符号」が正なのか負なのか正負混じっているのかなどが以下のようにわかる。

#行列  は正定値行列 ⇔ すべての固有値  が正値（）
#行列  は半正定値行列 ⇔ すべての固有値  が非負値（）
#行列  は負定値行列 ⇔ すべての固有値  が負値（）
#行列  は半負定値行列 ⇔ すべての固有値  が非正値（）
#行列  は不定値行列 ⇔ 少なくとも１つの正値の固有値  が存在し、かつ少なくとも１つの負値の固有値  が存在する

### 逆行列との関係
#実対称行列（またはエルミート行列） が正定値ならば、行列  は正則で、逆行列  も正定値。
#実対称行列（またはエルミート行列） が負定値ならば、行列  は正則で、逆行列  も負定値。

### 行列式との関係
#実対称行列（またはエルミート行列） が正定値なら （行列式がすべての固有値の積であることから直ちに従う）

## 正定値行列の特徴
 エルミート行列  に対して、以下の条件は何れも  が正定値であることと同値である。

同様の理由により、
* エルミート行列が負定値、半負定値、半正定値となるための必要十分条件が、それぞれその固有値が全て負、非正、非負となることであることが分かる。また、不定値の場合には正負両方の固有値が現れることで特徴付けられる。
* 小行列式の言葉で言えば、エルミート行列が負定値となる条件は、その -次の首座小行列式が、 が奇数のとき負かつ  が偶数のとき正となることである。また、半正定値となるための必要十分条件はその任意の主小行列式が非負となることである。ここで首座小行列式を考えただけでは不十分であることは、なんとなれば成分が 0 と −1 しかとらないような対角行列について確かめてみるとよい。
* エルミート行列  が半正定値となる必要十分条件は、それが適当なベクトルからなる集合のグラム行列として得られることである。正定値の場合との違いは、これらのベクトルが必ずしも線型独立である必要が無いことである。
* 任意の行列  に対して、行列  は必ず半正定値であり、かつ  が成り立つ。

## 定義について
### 実の場合と複素の場合の定義の一貫性
任意の実行列は複素行列と見ることもできるから、その場合に両クラスに対する「正定値」の定義は一致しているべきである。

複素行列に対しては、「 が正定値であるとは、任意の非零**複素**列ベクトル  に対して  が必ず正の実数となること」と述べる定義が最も一般的であり、この条件から  がエルミートである（つまり自身の転置が自身の共軛に等しい）ことが導かれる。それを見るために、行列  および  を考えると、 かつ  であり、行列  および  はエルミートだから  および  はそれぞれが実数値である。ここで、  が実数となるならば  は任意の  に対して零とならねばならず、従て  は零行列であり、 がエルミートであることが示される。

この定義の下で、正定値**実**行列  はエルミート、したがって対称であり、また二次形式  は任意の非零**実**ベクトル  に対して正となる。しかし、最後の「二次形式が常に正」という条件のみでは  が正定値であるとするには十分ではない。たとえば、 
:M = \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix}
とすると、任意の実ベクトル  に対して、 は  が零でない限り常に正であるが、しかし複素ベクトル  に対して  は実数ではないから、従って  は正定値ではない。

他方、**対称**実行列  に対してならば、条件「任意の非零実ベクトル  に対して」から複素行列の意味での  の正定値性が導かれる。

### 非対称行列への拡張
幾つかの文献では、複素行列  が正定値であることを、任意の非零複素ベクトル  に対して  で定義しているものがある。ただし、 は複素数  の実部。この弱い条件での定義は非エルミートな複素行列の一部（これには  \left[ \begin{smallmatrix} 1 & 1 \\ -1 & 1 \end{smallmatrix} \right]  のような一部の非対称実行列も含む）も満たす。

実際にこの定義の下では、実行列が正定値であるための必要十分条件は任意の非零実ベクトル  に対して  となることであって、必ずしも  の対称性は要求しない。

一般に、任意の非零複素ベクトル  に対して  となるための必要十分条件は、 のエルミート成分  が狭い意味での正定値となることである。同様に、任意の非零実ベクトル  に対して  となるための必要十分条件は、 の対称成分  が狭い意味での正定値となることである。

まとめると、実の場合と複素の場合とを分ける特徴は、複素ヒルベルト空間上の有界な正作用素はエルミートあるいは自己随伴でなければならないということである。この一般の主張は極化恒等式を用いて説明できる。このことは実の場合にはもはや正しくない。

## 関連項目
* コレスキー分解
* 共変行列
* M行列
* 
* 
* シューア補行列
* 

## 注記

## 参考文献
* .
* Rajendra Bhatia. *Positive definite matrices*. Princeton Series in Applied Mathematics, 2007. ISBN 978-0-691-12918-1.

## 外部リンク
* 
* 
*