正定値行列とは? わかりやすく解説

行列の定値性

(正定値行列 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/09 02:22 UTC 版)

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

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

定義

正定値
n × n 対称行列 M正定値 (positive definite) であるとは、n 個の実数を成分に持つ零ベクトルでない任意の列ベクトル z に対して、二次形式 zTMz が必ず正となるときに言う。ここに zTz転置行列を表す。
より一般に、n × n エルミート行列 M正定値であるとは、任意の非零複素ベクトル z に対して、zMz が常に正の実数となるときに言う。ここに zz共軛転置行列である。
負定値
n × n エルミート行列 M負定値 (negative-definite) であるとは、Cn の(実の場合は Rn の)任意の非零ベクトル z に対して zMz < 0 が成り立つときに言う。
半正定値
M半正定値 (positive-semidefinite) または非負定値 (nonnegative-definite) であるとは、Cn の(実の場合は Rn の)任意の非零ベクトル z に対して zMz ≥ 0 が成り立つときに言う。
半負定値
M半負定値 (negative-semidefinite) または非正定値 (nonpositive-definite) であるとは、Cn の(実の場合は Rn の)任意の非零ベクトル z に対して zMz ≤ 0 が成り立つときに言う。
不定値
正定値、負定値、半正定値、半負定値の何れでもないエルミート行列は、不定値あるいは不定符号 (indefinite) であると言う。

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

表記法

行列 A の定値性を次の記号を用いて表現することがある。(ただし同様の記号で正行列非負行列を表すこともある[2]。)

定値性の表記法
定値性 正定値 半正定値 負定値 半負定値
表記例 A > 0 A ≥ 0 A < 0 A ≤ 0

性質

固有値との関係

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

  1. 行列 A は正定値行列 ⇔ すべての固有値 λ が正値(λ > 0
  2. 行列 A は半正定値行列 ⇔ すべての固有値 λ が非負値(λ ≥ 0
  3. 行列 A は負定値行列 ⇔ すべての固有値 λ が負値(λ < 0
  4. 行列 A は半負定値行列 ⇔ すべての固有値 λ が非正値(λ ≤ 0
  5. 行列 A は不定値行列 ⇔ 少なくとも1つの正値の固有値 λp が存在し、かつ少なくとも1つの負値の固有値 λn が存在する

逆行列との関係

  1. 実対称行列(またはエルミート行列)A が正定値ならば、行列 A正則で、逆行列 A−1 も正定値。
  2. 実対称行列(またはエルミート行列)A が負定値ならば、行列 A は正則で、逆行列 A−1 も負定値。

行列式との関係

  1. 実対称行列(またはエルミート行列)A が正定値なら det(A) > 0(行列式がすべての固有値の積であることから直ちに従う)

正定値行列の特徴

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

  • M の任意の固有値が正の実数であること
    M固有値分解M = PDP−1 とする。ここで、PM固有ベクトルのなす正規直交基底をその列ベクトルとして並べて得られるユニタリ行列で、D は対応する固有値をその主対角成分に並べて得られる対角行列である。このとき行列 MP の列ベクトルからなる基底に関して表したとき、対角行列 D と見做すことができる。特に、一対一の変数変換 y = P−1z によって、zMz が任意の複素ベクトル z に対して正の実数となるためには、yDy が任意の y に対して正の実数となること(即ち、D が正定値であること)が必要十分であることがわかる。対角行列に対してこれが成り立つのは、その主対角成分(従って今の場合 M の固有値)が全て正である場合に限られる。スペクトル定理によればエルミート行列の任意の固有値は実数であることが保証されるから、実対称行列 M固有多項式が使える場合には、デカルトの符号律 を使って固有値の正値性を確かめることができる。
  • M に付随する半双線型形式が内積となること
    行列 M の定める半双線型形式とは、任意の x, yCn に対して x, y⟩ := yMx と置いて得られる函数 ⟨,⟩: Cn × CnC を言う。任意の複素行列 M に対してこの形式は各々の引数に関してそれぞれの線型性の条件は満足するから、従ってこれが Cn 上の内積であるための必要十分条件は、z, z が任意の非零ベクトル z に対して正の実数となることであり、これは即ち M が正定値である条件に他ならない。(実は Cn 上の任意の内積が、正定値エルミート行列からこの方法によって得られる)。
  • M が線型独立なベクトルに対するグラム行列となっていること
    内積 ⟨,⟩ を持つ適当な複素線型空間 の線型独立n 個のベクトル x1, …, xn に対し、mij := ⟨xi,xj で定義されるグラム行列 M = (mij)1≤i,jn は必ず正定値となることが証明できる。逆に M が正定値ならば、その固有値分解 P−1DPP はユニタリで、D = (dij) は対角行列かつその対角成分 dii = λi が正の実数)が取れるから、x1, …, xnP の各列ベクトルにそれと対応する固有値 λi の平方根を掛けたものとすれば、これらのベクトルは互いに線型独立であって、Cn の標準内積(つまり、xi,xj⟩ = x
    i
    xj
    )に関してそれらベクトルから得られるグラム行列は M に一致する。
  • M の首座小行列式が全て正であること
    行列 Mk-次首座小行列式とは、その左上から順番にそのまま成分を取ってできる k × k 小行列の行列式を言う。行列が正定値であるための必要十分条件は、全ての首座小行列式が正となることであると示すことができる。この条件はシルベスターの判定法英語版と呼ばれ、対称実行列の正定値性の効率的な判定法を与える。具体的には、ピボットの過程で行列式の符号が保たれることに注意して、ガウスの消去法の前半部分と同様に行基本変形を用いて行列を上半三角行列に簡約化すれば、三角行列の k-次首座小行列式は第 k 行までの対角成分の積であるから、シルベスターの判定法は行列の対角成分が全て正であることを確かめることに他ならない。この条件は三角行列に新たな行 k を考えるごとに確かめることができる。
  • M が一意なコレスキー分解を持つこと
    行列 M が正定値であるための必要十分条件は、真に正の実数を対角成分に持つ下半三角行列 LM = LL を満たすものがただ一つ存在することである。このような分解は Mコレスキー分解と呼ばれる。

同様の理由により、

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

定義について

実の場合と複素の場合の定義の一貫性

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

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

この定義の下で、正定値行列 M はエルミート、したがって対称であり、また二次形式 zTMz は任意の非零ベクトル z に対して正となる。しかし、最後の「二次形式が常に正」という条件のみでは M が正定値であるとするには十分ではない。たとえば、

カテゴリ

正定値行列

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/16 05:45 UTC 版)

正の数と負の数」の記事における「正定値行列」の解説

一方で線形代数学的な観点から、実対称行列より一般に複素エルミート行列について、上とは異なった正負概念がしばしば用いられるエルミート行列Aは、その固有値全てが負でないときに、負でない(あるいは単に、正である)とよばれる。Aが負でないということはある行列BについてAが B*.Bと書けることと同値になる(行列の定値性参照)。無限次元の場合として、函数解析学における正作用素の概念対応する

※この「正定値行列」の解説は、「正の数と負の数」の解説の一部です。
「正定値行列」を含む「正の数と負の数」の記事については、「正の数と負の数」の概要を参照ください。

ウィキペディア小見出し辞書の「正定値行列」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「正定値行列」の関連用語











正定値行列のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



正定値行列のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの行列の定値性 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの正の数と負の数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS