WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

NegativeSemidefiniteMatrixQ

NegativeSemidefiniteMatrixQ[m]

m が明示的に半負定値行列の場合にはTrueを，その他の場合にはFalseを与える．

詳細とオプション

行列 m は，すべての非零のベクトル x についてRe[Conjugate[x].m.x]≤0であれば，半負定値行列である． »
NegativeSemidefiniteMatrixQは，記号行列にも数値行列と同様に使うことができる．
近似行列については，オプションTolerance->t を使ってλ≤t λ_maxを満足するすべての固有値 λ がゼロであると考えられることを示すことができる．ただし，λ_maxは最大の固有値である．
オプションToleranceのデフォルト値はAutomaticである．

例題

すべて開くすべて閉じる

例 (2)

2×2実行列が明示的に半負定値行列かどうかを調べる：

このことは，すべてのベクトルについて二次形式がであることを意味している：

二次形式の値を可視化する：

3×3エルミート(Hermite)行列が半負定値行列かどうかを調べる：

スコープ (10)

基本的な用法 (6)

機械精度の実行列が明示的に半負定値行列かどうかを調べる：

複素行列が半負定値行列かどうか調べる：

厳密行列が半負定値行列かどうか調べる：

NegativeSemidefiniteMatrixQを任意精度行列に使う：

ランダム行列は，一般に，半負定値行列ではない：

NegativeSemidefiniteMatrixQを記号行列に使う：

のとき，この行列は半負定値行列になる：

NegativeSemidefiniteMatrixQは大きい数値行列に効率的に作用する：

特殊行列 (4)

NegativeSemidefiniteMatrixQを疎な行列に使う：

NegativeSemidefiniteMatrixQを構造化行列に使う：

恒等行列は半負定値行列ではない：

HilbertMatrixは半負定値行列ではない：

オプション (1)

Tolerance (1)

次数のランダムな摂動がある実数値対角行列を生成する：

行列が半負定値行列として受け入れられるように，オプションToleranceを調節する：

アプリケーション (10)

半負定値行列の幾何と代数 (5)

実半負定値2×2行列とその二次実随伴行列について考える：

は半負定値行列なので，レベル集合は楕円である：

のプロットは下向きの楕円放物面である：

しかし，この楕円は縮退させて線にすることができる：

こうすると，のプロットは放物線上の円柱になる：

さらに極端なケースでは，のようにレベル集合が平面全体になる：

の実半負定値行列についてのレベル集合は楕円体である：

三次元では，これらは楕円上の円柱に縮退できる：

平面にも縮退できる：

エルミート行列は実数値の二次形式をで定義する：

が半負定値行列なら，はすべての入力に対して非正である：

を実数値の入力に対して可視化する：

実数値行列については，が半負定値かどうかは対称部分だけが決定する．を対称部分，を反対称部分としてを書く：

は実対称なので，つまりは純粋に実である：

同様に，実反対称なので，つまり純粋に虚である：

したがって，なので，が以下のときかつそのときに限りは半負定値行列である：

複素数値の行列について，エルミート部分だけがが半負定値行列かどうかを決定する．をエルミート部分，を反エルミート部分としてを書く：

はエルミート行列なので，つまりは純粋に実である：

同様に，は反エルミート行列なので，つまりは純粋に虚である：

したがって．ゆえに，が以下のときかつそのときに限りは半負定値行列である：

半負定値行列の起源 (5)

角が区間にある二次元回転行列は半負定値行列である：

このことは，この場合は通常のドット積に対応し，であるという事実に基づく：

したがって，のとき，この行列は実際に負定値行列である：

これらは端点では半負定値であるが負定値ではない：

反エルミート行列の二乗は負定値行列である：

反エルミート行列はすべて半負定値行列である：

反転されたLehmer行列は半負定値対称行列である：

その逆行列は三重対角行列であり，これもまた負定値対称行列である：

行列-Min[i,j]は，常に負定値対称行列である：

その逆行列は三重対角行列であり，これもまた負定値対称行列である：

特性と関係 (13)

NegativeSemidefiniteMatrixQ[x]は，行列ではない任意の x に対して自明にFalseを返す：

すべてのベクトルについてなら，行列は半負定値行列である：

の符号は無関係である：

実行列は，その対称部分が半負定値のときかつそのときに限り半負定値行列である：

一般に，行列はそのエルミート部分が半負定値のときかつそのときに限り半負定値行列である：

実対称行列はその固有値がすべて非正のときかつそのときに限り半負定値行列である：

この文はより一般的にエルミート行列について真である：

一般的な行列は，固有値すべてが非正であっても半負定値行列ではないことがある：

同様に，非正の固有値を持たない半負定値行列もある：

失敗の原因は固有値が複素数だったためである：

半負定値行列の固有値の実部は非正でなければならない：

対角行列は，対角要素が非正の実部を持つときかつそのときに限り半負定値行列である：

半負定値行列の一般的な形はで，は対角半負定値である：

をそのエルミート部分と反エルミート部分に分離する：

スペクトル定理によってはJordanDecompositionを使ってユニタリ対角化可能である：

行列は非正の対角成分を持つ対角行列である：

行列はユニタリ行列である：

であることを確認する：

行列はが半正定値行列のときかつそのときに限り半負定値行列である：

負定値行列は常に半負定値である：

半負定値行列が負定値行列であることもある：

半負定値行列が不定値行列であったり半正定値行列であったりすることはない：

実対称半負定値行列の行列式とトレースは非正である：

このことは，半負定値エルミート行列についても真である：

実半負定値対称行列は，一意的に定義された，となるような，平方根を持つ：

平方根はが半負定値行列でありエルミート行列であるという条件によって一意的に定義されている：

半負定値エルミート行列は，一意的に定義されたとなるような平方根を持つ：

平方根はが半負定値行列でありエルミート行列であるという条件によって一意的に定義されている：

2つの半負定値対称行列のクロネッカー(Kronecker)積は対称かつ半正定値である：

積の中の行列の一つを半負定値行列に置き換えると半負定値行列になる：

考えられる問題 (1)

NegativeSemidefiniteMatrixQは，記号行列が半負定値行列ではないと証明できなければFalseを与える：

EigenvaluesとReduceを組み合せるとより正確な結果が得られる：

トップへ