
画像にあるように、非対称な行列について質問があります。
ある英語の本の問題で、画像に書いてある行列について以下のような問があります。
Is the matrix positive definite?
(これは正定値行列ですか?)
正定値行列がわからなかったので、調べたのですが、普通は対称行列に対して求めるもので、非対称な行列に対してそもそも取り扱われていないようでした。
また、正定値行列は固有値が全て正であるとのことだったのですが、この行列の固有値を求めたところ、複素数が出てきました。
これって正定値行列かどうか、判定することができるのでしょうか?

No.5ベストアンサー
- 回答日時:
No.3のエルミート行列の下りは間違い
nを2以上の整数とし
Aをn次エルミート行列とし
xをn次複素列ベクトルとする
(任意の行列XについてX^*をXの複素共役転置とする)
零ベクトルでない任意のxについて
S=x^*・A・x
が正であるときAを正値であるという
Aが正値⇄Aの実数部行列が正値
は成り立たない
従ってエルミート行列の正値性は対称行列の正値性の拡張として意味がある
従って修正版としては後半を除いて以下の通り
nを2以上の整数とし
Aをn次実行列とし
xをn次実列ベクトルとする
(任意の行列XについてX^TをXの転置とする)
零ベクトルでない任意のxについて
S=x^T・A・x
が正であるときAを正値であるという
S=S^Tなので
S=(S+S^T)/2=x^T・(A+A^T)・x/2
であるから
Aが正値⇄(A+A^T)/2が正値
M=(A+A^T)/2
は実対称行列であるから
行列が正値であるかどうかを判定するには
その行列を対称化した行列により判定すればよい
(行列Aの対称化行列とは(A+A^T)/2のことである)
従って実非対称正方行列の正値性は
実対称行列の正値性の拡張としてあまり役に立たない
今回の場合
√2・M=√2・(A+A^T)/2=
[1 0]
[0 1]
でありMの固有値は1/√2であり正であるから
与行列は正値である
遅くなりましたが、回答ありがとうございました。
今回は二次でしたので、xをx1,x2として計算しSがかならず正になる式だとしてこの問題に対して解答しました。
No.4
- 回答日時:
二次形式を、一旦二次多項式に展開してから、
対称行列を係数に持つように書き直せば、
二次形式が正値か否かは議論できます。
axx+bxy+cyy なら、
a b/2
b/2 c
を係数行列とすればいい。
実対称行列の固有値は実数だけですから、
書き直した行列の固有値に虚数は出てきません。
その固有値が全て正であることが二次形式が正値であることの、
正と 0 であることが半正値であることの、必要十分条件です。
しかし、非対称行列 A を係数とする二次形式が正値だったとしても、
A 自身が正でない固有値を持つ場合、
「行列 A が正値」とは言いません。
ただ「二次形式 xAx が正値」であるだけです。
両者は異なる話です。
No.3
- 回答日時:
nを2以上の整数とし
Aをn次実行列とし
xをn次実列ベクトルとする
(任意の行列XについてX^TをXの転置とする)
零ベクトルでない任意のxについて
S=x^T・A・x
が正であるときAを正値であるという
S=(S+S^T)/2=x^T・(A+A^T)・x/2
であるから
Aが正値⇄(A+A^T)/2が正値
M=(A+A^T)/2
は実対称行列であるから
行列が正値であるかどうかを論ずるときには
実対称行列だけを議論の対象にすればよい
今回の場合
√2・M=
[1 0]
[0 1]
でありMの固有値は1/√2であり正であるから
与行列は正値である
nを2以上の整数とし
Aをn次エルミート行列とし
xをn次複素列ベクトルとする
(任意の行列XについてX^*をXの複素共役転置とする)
零ベクトルでない任意のxについて
S=x^*・A・x
が正であるときAを正値であるという
Aが正値⇄Aの実数部行列が正値
であることは簡単に示すことができる
以上まとめて
行列が正値であるかどうかを論ずるときには
エルミート行列や対称でない実正方行列を考えることは意味が無く
実対称行列だけを議論の対象にすればよい
No.2
- 回答日時:
nを整数とし
Aをn次実行列とし
xを実列ベクトルとする
(*^Tを*の転置とする)
零ベクトルでない任意のxについて
S=x^T・A・x
が正であるときAを正値であるという
S=(S+S^T)/2=x^T・(A+A^T)・x/2
であるから
Aが正値⇄(A+A^T)/2が正値
M=(A+A^T)/2
は実対称行列であるから
行列が正値であるかどうかを論ずるときには
実対称行列だけを議論の対象にすればよい
今回の場合
√2・M=
[1 0]
[0 1]
でありMの固有値は1/√2であり正であるから
与行列は正値である
No.1
- 回答日時:
その本で「正定値行列は固有値が全て正」としているなら, その行列は「正定値じゃない」ということになるのではないかなぁ.
もちろん, 「実は問題が間違っている」という可能性もある.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
今、見られている記事はコレ!
-
弁護士が解説!あなたの声を行政に届ける「パブリックコメント」制度のすべて
社会に対する意見や不満、疑問。それを発信する場所は、SNSやブログ、そしてニュースサイトのコメント欄など多岐にわたる。教えて!gooでも「ヤフコメ民について」というタイトルのトピックがあり、この投稿の通り、...
-
弁護士が語る「合法と違法を分けるオンラインカジノのシンプルな線引き」
「お金を賭けたら違法です」ーーこう答えたのは富士見坂法律事務所の井上義之弁護士。オンラインカジノが違法となるかどうかの基準は、このように非常にシンプルである。しかし2025年にはいって、違法賭博事件が相次...
-
釣りと密漁の違いは?知らなかったでは済まされない?事前にできることは?
知らなかったでは済まされないのが法律の世界であるが、全てを知ってから何かをするには少々手間がかかるし、最悪始めることすらできずに終わってしまうこともあり得る。教えてgooでも「釣りと密漁の境目はどこです...
-
カスハラとクレームの違いは?カスハラの法的責任は?企業がとるべき対応は?
東京都が、客からの迷惑行為などを称した「カスタマーハラスメント」、いわゆる「カスハラ」の防止を目的とした条例を、全国で初めて成立させた。条例に罰則はなく、2025年4月1日から施行される。 この動きは自治体...
-
なぜ批判コメントをするの?その心理と向き合い方をカウンセラーにきいた!
今や生活に必要不可欠となったインターネット。手軽に情報を得られるだけでなく、ネットを介したコミュニケーションも一般的となった。それと同時に顕在化しているのが、他者に対する辛らつな意見だ。ネットニュース...
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
行列の計算で
-
行列 線形代数 "diag"って何...
-
線形代数と医学の関係
-
行列の積の可換条件
-
変動行列と共分散行列の表す意...
-
正値ってなんですか
-
ヤコビ行列
-
行列の積が可換である必要十分条件
-
余因子行列
-
なぜ正規行列で対角化するの??
-
行列固定値の求め方 3次行列
-
編入試験の勉強中に分からない...
-
15%増しの計算方法
-
電卓の使い方 乗数はどうした...
-
「原価に20%乗っけて販売」っ...
-
原価25000円に利益10%を上乗せ...
-
3行3列の行列の和と積の計算...
-
何通りかの計算で 7C4 の答えが...
-
エクセル:6E-05という表現は?
-
積分で1/x^2 はどうなるのでし...
おすすめ情報