^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で質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学 固有値が出ない 画像の固...
-
固有値の値について
-
行列の積の固有値
-
ヘッセ行列の固有値について
-
固有値が複素数になるときの幾...
-
行列A^2の固有値は、Aの各固有...
-
固有ベクトル
-
数学科は線形代数で特異値分解...
-
ジョルダン細胞について
-
ジョルダン標準形から分かるこ...
-
線形代数 行列
-
失礼します。行列についての質...
-
対角化
-
線形代数(写像,部分空間など)...
-
この行列の固有値を求めたいで...
-
楕円の正規化条件
-
0≦θ≦2πのとき、sin2θ+cosθ=0の...
-
数学について質問です。 nを正...
-
cos{θ-(3π/2)}が-sinθになるの...
-
sinθ―√3cosθ=a(θ+α)の形にした...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報