• 締切済み

固有値の最大値

下記の固有値の最大値に関する問題がわかりません。 Σ^(n)i=1 xi^2=1とする。このとき、実2次形式G(x)=Σ^(n)i,j=1 sij*xi*xj(ただし、sij=sji)の最大値はS=(sij)の固有値のうちの最大値と一致することを証明せよ。(i,jは全て下付き文字です) なにをどう進めて証明するのか見当もつきません。 式がみづらくて申し訳ありませんが、どなたか助けて下さい。

みんなの回答

回答No.3

線形代数の教科書のどれにでも書いてあることですが、 「対称行列Sの規格化された固有ベクトルを並べて作られる直交行列をO、その転置行列をO'とするとO'SOは対角化され対角成分は固有値になります。」 xiを成分とする規格化されたベクトルをx、  y = O'x とおくとyも規格化されたベクトルであり、   G(x)=Σ sij*xi*xj = x'Sx = x'OO'SOO'x = y'O'SOy = Σαi yi^2

全文を見る
すると、全ての回答が全文表示されます。
回答No.2

「対称行列は直交変換で対角化できる。このとき対角線上には固有値が来る。」ということは有名なので使って良いでしょう。すなわちsijの固有値をαiとすると  G(x)= Σ^(n)i=1 αi xi^2 , (Σ^(n)i=1 xi^2=1) となります。最大の固有値をα1 とするとG(X)が最大になるのはx1=1, xj=0(j≠1)のときであることは明らかでしょう。

essential2
質問者

補足

回答有難うございます。 G(x)=Σ^(n)i,j=1 sij*xi*xjから G(x)= Σ^(n)i=1 αi xi^2 の変換はどういう過程で変換されたのでしょうか。 教えていただけないでしょうか。

全文を見る
すると、全ての回答が全文表示されます。
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

S は対称なんだから, 対称行列の固有値・固有ベクトルに関する性質をひたすら挙げていけばそのうち「使えそうなもの」が見付かる... んじゃないかなぁ.

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 線形代数の固有値の問題がわかりません。

    線形代数についての以下の問題がわからないので、過程も含めて解答を教えて下さい。 実2次形式Q(x)=  Σn i=1 Σn j=1 (hij xi xj)、hij = hji (∀i,j = 1,2,...n)とする。Σn i=1 xi^2 = 1 の条件のもとで、Q(x)の最大値は係数行列H=(hij)の固有値の最大値と一致することを証明せよ。

  • 線形代数 - 内積

    とある問題でつまずいています。 n次元実ベクトル空間において、 zを任意のn次ベクトル、Aをn×n 行列とし || Az || = || z || ならば <Ax, Ay> = <x, y> となることを証明せよ というものです。ちなみに "|| ||"は標準的なノルム < , >は標準内積です。 標準内積の定義式にまで戻って証明を試みました。 n Σ fi を、Σ[i=1, n](fi) と以後表記します。 i=1 x, y のi行目の成分をそれぞれ xi, yi、 Aの(i, j)成分を aij とすれば、 <x, y> = Σ[i=1, n](xi * yi) で内積は定義され、 Axのi行目の成分 = Σ[j=1, n](aij * xj) Ayのi行目の成分 = Σ[j=1, n](aij * yj) であるので、与えられた条件より <Ax, Ax> = Σ[i=1, n](Σ[j=1, n](aij * xj))^2 = <x, x> = Σ[i=1, n](xi)^2 <Ay, Ay> = Σ[i=1, n](Σ[j=1, n](aij * yj))^2 = <x, x> = Σ[i=1, n](yi)^2 よって(?) <Ax, Ay> = Σ[i=1, n]{(Σ[j=1, n](aij * xj)) * (Σ[j=1, n](aij * yj))} = ?? と行き詰ってしまいました。 シグマの中をうまく展開できないものでしょうか・・。

  • 互換に関する定義

    差積Δ(定義は下の通り)に互換をほどこすと、-1倍されることを 証明しようと思っています。 【差積Δの定義】 Δ=Π(Xi-Xj) (※1≦i<j≦n) 【互換】 XiとXjの2つだけを交換するという置換のこと。(i,j)と表す。 つまり証明したい事を式で表すと (i,j)Δ=-Δ です。 ________________________ 今のところ次のような方針で証明をしようと考えました。 (1) となり同士の互換、つまり(i,i+1)Δ=-Δを示す。 (2) 任意の互換は(i,i+1)を含む互換の積で表せることを示す。 (3) (1)(2)より(i,j)Δ=-Δを示す。 ________________________ それぞれ感覚的には理解できたのですが、それをどう書いていいのか分からず、困っています。 どなたか、この方針で、証明を教えていただけないでしょうか。お願い致します。

  • ラグランジュの係数の微分について

    ラグランジュの係数 Li(x)=Π(j=0→n)(x-xi)/(xi-xj)を微分したらどのような形になるかわかる方教えてしただけないでしょうか?(i=jでないとき)

  • 固有値 一次独立

    代数学の本に (定理) n次正方行列Aが対角化可能であるための必要十分条件は、Aのn個の固有ベクトルX(1)、X(2)、・・・、X(n)で1次独立なものが存在することである。 このとき、P=(X(1)、X(2)、・・・、X(n))とすると、Pは正則で P^-1AP=|t(1)       |         |    t(2)   |         |       t(n)| ti(i=12・・n)はAの固有値 xi(i=12・・・n)はtiに対する固有ベクトル とが書いてありますが    どのようなことをいっているのでしょうか? また、固有値の時の一次独立とはどのようなことをさすのでしょうか? 最後に固有値とは、tを媒介変数として、連立方程式の解を行列によって導き出すと考えていいのでしょうか? よろしくおねがいします。

  • 総和の質問です。

    X1,X2,X3...Xnを実数とし、(nは1以上の整数) (文字化けするかもしれません) Σ[i=1~n]Σ[j=1~n] | Xi+Xj | をX1以外を固定してとくと 2|X1|+Σ[j=1~n] ( |X1| ± Xj) +C(定数) となると書いてあるのですが 2|X1|+ 2Σ[j=1~n] |X1 ± Xj | +C ではないのでしょうか?  回答よろしくお願いします。

  • 結合法則

    M:空でない集合 φ:M×M→M φ(φ(x,y),z)=φ(x,φ(y,z)) (∀x,y,z∈M)…☆ が成立しているとする。 X1,…,Xn∈Mが与えられたとき、Xi,X(i+1)に対しφを作用させる。次にn-1個の元X1,…,X(i-1),φ(Xi,X(i+1)),X(i+2),…,Xnを改めてY1,…,Y(n-1)と記し、またYj,Y(j+1)に対しφを作用させる。この操作を繰り返し最後に残った元をZとする。 このとき、X1,…,Xnに対しZを対応させる写像ψn:M^n→Mはφを作用させる場所によらず(つまりiやjなどによらず)well-definedである。 以上のことを証明してみたのですがあっているかどうかわからないので、教えて下さい。 (証明) nに関する帰納法で示す。 n=2…明らか n=3…☆により明らか。 ψ(n-1)までがwell-definedであると仮定する。 ψnがwell-definedであることを示すには ψ(n-1)(φ(X1,X2),X3,…,Xn)=…=ψ(n-1)(X1,…,X(n-2),φ(X(n-1),Xn)) (∀Xi∈M,i=1,…n)をいえばよい。 ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しいことをいえばOK。(j=1,…,n-2) ψ(n-1)のwell-defined性より ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)=ψ(n-2)(X1,…,X(j-1),φ(φ(Xj,X(j+1)),X(j+2)),X(j+3),…,Xn)…(1) ψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)=ψ(n-2)(X1,…,X(j-1),φ(Xj,φ(X(j+1),X(j+2))),X(j+3),…,Xn)…(2) ☆より(1)=(2)がわかるから ψ(n-1)(X1,…,X(j-1),φ(Xj,X(j+1)),X(j+2),…,Xn)とψ(n-1)(X1,…,Xj,φ(X(j+1),X(j+2)),X(j+3),…,Xn)が等しい。 したがってψnはwell-definedである。

  • 行列の固有値について

    I_n:n次単位行列 J_n:全成分が1のn次正方行列 Q_n=(1/n)(I_n-(1/n)J_n)の固有値をもとめよ。 という問題なのですが、n=2,3のときでためしたところ、固有方程式がλ(λ-n)^(n-1)になりそうな感じだなということまではわかって、帰納法でk=n+1の場合を余因子展開して・・・という感じで色々考えたのですがなかなかうまく証明が出来ません。 証明(と間違っていたら答え)を教えてください。よろしくお願いいたします。

  • 固有値 固有ベクトル

    固有値を求める場合の固有方程式について質問させて頂きます。 固有値と固有ベクトルの定義は、 n×n行列Aに対して、λ∈C,x∈C^nが Ax=λx |x≠0 を満たすとき、λをAの固有値、xをλに対するAの固有ベクトルという。 固有値を求める際の固有方程式ですが、 私の手元にある参考書では、 |λI-A|=0とあります。 web等で調べると|A-λI|=0という表記もありました。 Iは単位行列を表します。 |λI-A|=0と|A-λI|=0はどちらも正しいのでしょうか? また、なぜ等しくなるのか教えて頂けないでしょうか? 以上、ご回答よろしくお願い致します。

  • 線形代数学(固有ベクトルの内積など)

    2以上の整数nに対して、n次元実ベクトル空間を考える。この空間のベクトルは列ベクトルで表されているものとし、2つの列ベクトルx,y x=(x1,x2,...,xn), y=(y1,y2,...,yn)  ←列ベクトルだから本当は縦 に対して、ベクトルxとyの内積、xのノルムが、それぞれ、 <x,y>=Σ(i=1→n)xiyi, ||x||=√<x,x> (ノルムの式のxは全てベクトル) で与えられているものとする。次に、Aをn行n列のある与えられた対称行列とし、Aにn個の相異なる実固有値λi(i=1,2,...,n)が存在する場合を考える。また、それらの固有値は、λ1>λ2>...>λnを満たしているものとする。そして、固有値λiに対応する固有ベクトルをΦiで記す。問題の仮定から、 AΦi=λiΦi が成立する。このとき、次の問いに答えよ。 1.任意のベクトルx,yに対して<Ax,y>=<x,Ay>が成立することを、ベクトルと行列の成分を使って計算することによって示せ。 2.相異なる固有ベクトルが直交すること、すなわち、1からnまでの相異なる任意の整数i,jに対して、<Φi,Φj>=0が成立することを示せ。 一般性を失うことなく、固有ベクトルΦiを、||Φi||=1(i=1,2,...,n)が満たされるように選ぶことができる。従って、上記の問2の結果から、Φ1,Φ2,...,Φnを正規直交基底に選ぶことができる。以下の問いでは、Φ1,Φ2,...,Φnは正規直交基底になっているものとする。 3.任意のベクトルyに対して、Ay=Σ(i=1→n)λi<y,Φi>Φiが成立することを示せ。 4.xをノルムが1の任意のベクトルとする。このxを実数の組β1,β2,...,βnを使って、x=Σ(i=1→n)βiΦiと展開するとき、β1,β2,...,βnが満たすべき必要十分条件を求めよ。 5.上記の問4におけるxに対して、||Ax||^2をλ1,λ2,...,λnとβ1,β2,...,βnのみで表せ。 6.ノルム1のベクトルxに対する||Ax||の最大値を、|λ1|>|λn|の場合、|λ1|=|λn|の場合、|λ1|<|λn|の場合に、それぞれ求めよ。 なお、i,j,nはx,y,λ,Φ,βなどに下付ででついている。 1.の問題は解けました。 2.の問題で苦戦してます。。。 固有ベクトルが数の場合は考えやすいのですが、文字で一般的な 話になってくると、どうしても苦手です。 困ってます。 どなたか、教えてください。 お願いします。。。 3~6の問題もぜひヨロシクお願いしますm(_ _)m