^Tで転置を表すとすると、
n次ベクトルxとnxn実対称行列Aを用いて、
S=x^TAx
として、二次形式が表せ、任意のx≠0に対して、S>0なら、Aの固有値は全て正となる。とのことなので、とりあえず、1x1と2x2の場合は成り立っていることが証明できたので、nxnの一般の場合も証明しようとしたのですがうまくいきません。
今の所分かっていることを以下に示しておきます。
・実対角行列は正規行列なので、直交行列をもちいて対角化可能
・Aのそれぞれの固有値をλ_iとおくと、|A|=Π[i=0→n]λ_i (Πは全ての要素について掛けることを意味する)
帰納法の証明に使える気がする?
・S=x^TAx>0なら、
・Sが下に有界なのでAの対角成分は全て正
・下に凸なので、
∂S/∂x=2Ax=0
となる、xでS最小
かつ、A正則なら、
x=0で最小
Aが正則でないなら
Sが最小となるxの値が一意的に定まらない
・固有値が正なら、
・Aは正則行列(逆行列を有する)
何かヒントになりそうなことでもいいのでよろしくお願いします。
No.3ベストアンサー
- 回答日時:
No.2にゴミがついていたのでとると
n次対称行列Aについて
任意の0でないn次元ベクトルxについて0<x^TAx⇔Aの固有値はすべて正
の証明:
直交行列PによりΛ=P^TAPが対角行列になる事を使えば自明。
敢えてバカ丁寧に書くと以下の様になる。
Λの対角成分を左上から右下にλ[1],λ[2],λ[3],…,λ[n]とし
y=P^Txと置きyの成分を順にy[1],y[2],y[3],…,y[n]とすると
x^TAx=y^TΛy=λ[1]y[1]^2+λ[2]y[2]^2+λ[3]y[3]^2+…+λ[n]y[n]^2
⇒)
kを1以上n以下整数としてλ[k]≦0とすると
y[k]=1としm≠kのときy[m]=0とするとx^TAx≦0。
←)
y[1],y[2],y[3],…,y[n]の中に0以外のものがあるから
λ[1],λ[2],λ[3],…,λ[n]がすべて正のとき
0<λ[1]y[1]^2+λ[2]y[2]^2+λ[3]y[3]^2+…+λ[n]y[n]^2。
No.2
- 回答日時:
n次対称行列Aについて
任意の0でないn次元ベクトルxについて0<x^TAx⇔Aの固有値はすべて正
の証明:
直交行列PによりΛ=P^TAPが対角行列になる事を使えば自明。
敢えてバカ丁寧に書くと以下の様になる。
Λの対角成分を左上から右下にλ[1],λ[2],λ[3],…,λ[n]とし
y=P^Txと置きyの成分を順にy[1],y[2],y[3],…,y[n]とすると
x^TAx=y^TΛy=λ[1]y[1]^2+λ[2]y[2]^2+λ[3]y[3]^2+…+λ[n]y[n]^2
⇒)
kを1以上n以下整数としてλ[k]≦0とすると
y[k]=1としm≠kのときy[m]=0とするとx^TAx≦0。
←)
y[1],y[2],y[3],…,y[n]の中に0以外のものがあるから
λ[1],λ[2],λ[3],…,λ[n]がすべて正のとき
0<λ[1]y[1]^2+λ[2]y[2]^2+λ[3]y[3]^2+…+λ[n]y[n]^2。
は固有値に0以下になるものがあれば右辺の0以下になる固有値の
係数が1になりそれ以外の係数が0になるように(P^Tx)の成分を決めてやることによって上式が0以下になってしまう事を使えば良い。
←は右辺の各項が0以上であっていずれかの項が正であることから自明。
No.1
- 回答日時:
質問内容が分からない。
はっきり書いてほしい。n次対称行列Aについて
任意の0でないn次元ベクトルxについて0<x^TAx⇔Aの固有値はすべて正
の証明が知りたいということならば
直交行列PによりΛ=P^TAPが対角行列になる事を使えば自明。
x^TAx=(P^Tx)^TΛ(P^Tx)
⇒は固有値に0以下になるものがあれば右辺の0以下になる固有値の
係数が1になりそれ以外の係数が0になるように(P^Tx)の成分を決めてやることによって上式が0以下になってしまう事を使えば良い。
←は右辺の各項が0以上であっていずれかの項が正であることから自明。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 2*2の行列に対して固有値の最大実部を与えるkの値を求めたい 3 2022/11/08 16:26
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
- 計算機科学 二次形式 3 2022/12/19 16:29
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
- 数学 行列について 2 2023/01/19 21:47
- 数学 直交行列 1 2023/01/22 22:37
- Excel(エクセル) VLOOKUP が機能しない、その原因は何 ? 8 2022/10/19 12:06
- 数学 対角化 1 2023/01/22 17:46
- 数学 黄色マーカーの意味がよく分かりません。 X軸方向に4倍、Y軸方向に8倍に引き伸ばした らへんは何とな 3 2023/04/10 20:08
- 数学 一般的な行列の逆行列に関する質問 3 2022/04/21 14:53
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
3x3行列の固有値の求め方
-
固有値の値について
-
行列の積の固有値
-
極値の判定でヘッシアンの値が...
-
固有ベクトルが複数の場合
-
行列A^2の固有値は、Aの各固有...
-
正定値行列は正則行列
-
行列の固有値
-
f(x,y)=x^2-2xy^2+y^4-y^5 この...
-
行列の2分の1乗の計算の仕方
-
線形数学です これを対角化せよ...
-
線形代数の問題です A= [1 2] [...
-
固有ベクトルの問題でどうして...
-
行列の固有値があっているかど...
-
固有値が複素数になるときの幾...
-
2変数関数の鞍点の判定について
-
行列(固有値と固有ベクトル)...
-
この行列の固有値を求めたいで...
-
固有値の求める順番?
-
ヘッセ行列の固有値について
おすすめ情報