- ベストアンサー
助けて。。。。。。。。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
行列が正定値であることは、 その行列を係数とする二次形式の値が 零ベクトル以外では正値であること、 その行列の固有値が全て正値であること ～のふたとおりに特徴づけられます。 このふたつの条件は、どちらでも同値です。 これに従って… 1.の証明は、 ベクトル x に対して y=Gx と置けばよいです。 二次形式 (yT)Wy と (xT)Wx の値域を比べてみましょう。 後半は、 W の固有値と逆行列の固有値の関係を 本で調べてみるとよいです。
その他の回答 (1)
- Tacosan
- ベストアンサー率23% (3656/15482)
・「G行列はR」ってどういうこと? ・「W＞０」の定義は? ・であなたの質問は?
補足
Wは正定行列ということです G行列の数字はすべて 助けてください （泣）
関連するQ&A
- 符号理論 パリティ検査行列について
表題の内容について質問させてください。 大学で符号理論を習っているのですが、 線形符号が生成行列Gによって生成されるとき、パリティ検査行列Hを求めるには、HG~=0（G~はGの転置）となるようなものを求めればよいと習いました。 そしてパリティ検査行列の性質は、xがGによって生成された符号であることとHx~=0が同値であることと習いました。 HG~=0を満たすように求めたHがこの性質を満たすことを証明していただきたいです。 ⇒は簡単に示せたのですが、その逆を示すことができませんでした。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- ハミング符号 ブロック符号を求める
授業で分からないところがあるので教えてください。 ブロック符号Ｗを情報ビット行列Ｕと生成行列Ｇの積で表す。 Ｗ＝Ｕ*Ｇ 例えば、 Ｕ＝（１１００） １０００１１１ Ｇ＝ ０１０００１１ ００１０１０１ ０００１１１０ のとき、Ｗ＝Ｕ*Ｇ＝［１１００１００］ となるそうなのですが、なぜそうなるのか分かりません。 どういうふうにＵとＧを掛けてるのか教えてください。
- ベストアンサー
- 数学・算数
- 複素ベクトルの微分、最小二乗誤差法（MMSE）
最小二乗誤差法を用いて評価関数を最小にする値を求めようとしています。 この評価関数が複素ベクトルと複素行列で構成されているので微分できずに困っています。 何冊か本を読んだのですが、この複素ベクトルで構成された式を微分する際、なぜかベクトルの共役をとって微分していました。 なぜ共役をとって微分するのかが全く分かりません。 どなたか知っている人がいらっしゃいましたらよろしくお願いします。 例：J＝w'Rw-w'r-r'w ・・・(1) J：評価関数 w:ウエイトベクトル R：行列 r：ベクトル '：複素共役転置 この(1)を最小にするようなwは、 Jをwで微分してその値が０という条件を使うと思います。 しかし大抵の本のやり方はwの共役で微分していました。ここが分かりません。何かメリットでもあるのでしょうか？
- ベストアンサー
- 数学・算数
- 松坂『線形代数入門』：表現行列の標準系
本書のp205の命題６．１０ V,Wをそれぞれn次元、m次元のベクトル空間とし、F：V→Wを線形写像とする。Fの階数がｒならば、V、Wの基底α、βを適当に選んで、Fを次の形の行列で表現することができる [I_r O_r,n-r Om-r,r Om-r,n-r] I_rはr次の単位行列、Oはそれぞれ付記された添数の型の零行列を表す。 r次の単位行列を０で埋めてm*nにした行列です。 教科書の証明は KerFはn-r次元であるから、その基底を｛v_r+1,...,v_n}とするとして、 それを拡張したVの基底を{v_1,...,v_r,v_r+1,...,v_n}とするそのとき F(v_1)=w_1, ..., F(v_r)=w_r とおけば、{w_1, ... , w_r}はImFの基底となる。 そこで{w_1, ... , w_r}を拡張したWの基底を{w_1, ... , w_r , w_r+1, ... ,w_n}とすれば F(v_r+1)=0 , ... ,F(v_n)=0 より表現行列は明らかに上で示した形になる。 なぜこれで示せているのかわからないです…
- ベストアンサー
- 数学・算数
- 逆行列の行列による微分
今、あるシステムを構成したく行列方程式を解こうとしているのですが、行き詰ってしまったので質問させていただきます。 YとAを5×1行列、Bを5×3行列、Xをスカラ、Wを5×5行列、Hを3×1行列,B'はBの共役転置行列として、 Y = (A+BH)X・・・(1) H = -inv(B'WB)B'WA・・・(2) とします。 ((2)を(1)に代入した状態で)Y'Y=Jとおいて、∂J/∂W＝0となるようなWを求めようとしているのですが、逆行列の行列による微分などが出てきてしまい、まったくわからなくなってしまいました。 これは解けるのでしょうか？ 行列をvec関数を使ってベクトルになおしてみたりしたのですがinv()の部分がわからなくて・・・。 逆行列の行列による微分さえわかれば何とかなるような気もするのですが・・・。 解けるとすればどのようになるのでしょうか？ 解法のヒントや参考になるページなどありましたら紹介していただきたいです。
- ベストアンサー
- 数学・算数
- 変換行列の逆行列の転置行列のイメージってなんですか
シェ－ダープログラミングをしています。 ワールド空間の頂点法線ベクトルを求めるのにワールド空間変換行列の逆行列の転置行列をかけて求めれますがイメージ的にパッとしません。逆行列、転置行列のイメージを教えて下さい。
- ベストアンサー
- 数学・算数
- 線形代数についての質問です。お願いします。
（２）が解答の仕方がわかりません。（３）はどう解答にもっていけばいいのか分かりません。 できれば解答と解説をお願いします。 やってもらえるととても助かりいます。 （１） Ｒ＾２の基底 ＜u_1=転置（1,3） u_2=転置（2,5）＞ Ｒ＾３の基底 ＜ｖ_1=転置（1,0,-1） v_2=転置（0,1,2） ｖ_3=転置（-1,2,2）＞ に関する表現行列Ａを求めよ。 （２） 上で求めた行列Ａに対して基本変形を行うことで、その標準形を求めよ。 （基本変形を明記する必要はないが、そのようになる理由は述べよ） だだし、行列の標準形とは、一般に （Ｅ ０）の形の行列のことである。 ０ ０ ここで、Ｅは単位行列、０はゼロ行列を表す。 ランク標準形ともいう。 （３） ｆの表現行列が標準形となるように、Ｒ＾２、Ｒ＾３の各々の基底を一組求めよ。 以上の問いをお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとう ございます このご恩一生忘れません。