• 締切済み

数学、行列の問題です。特に一意性がわかりません。

証明問題が3題あって、恐らく(1)は解けたのですが、(2)と(3)がうまく示せません。 どなたか教えていただけないでしょうか。 (1) 正定値対称な実行列Aに対して、A=B^2を満たす正定値対称な実行列Bが一意に存在することを示せ。 (2) 正則な実行列Fに対して、条件F=RUを満たす直交行列Rと正定値対称な実行列Uが一意に存在することを示せ (3) 正則な実行列Fに対して、条件F=RU=VRを満たす直交行列Rと正定値対称な実行列U、Vが一意に存在することを示せ。 (1)は、対角化してちょっといじれば示せました。 どうかよろしくお願いいたします。

みんなの回答

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

(2) だけ: (F の転置)F を考える.

関連するQ&A

  • 正則行列、ユニタリ行列、上三角行列、一意性の証明

    定理 任意のn次正則行列Aはユニタリ行列Uと,対角成分が正の実数であるような上三角行列(下三角でもいい)Tの積UT(TUでもいい)として一意的に表わされる 1.表示可能性の証明←完了 2.一意性の証明←写真はここ 下から3行目以降がわか りません B*=B^(-1)よりBは上三角かつ下三角? その対角成分b(i,i)はb(i,i)^2=1?

  • 行列の固有値に関する問題

    次の問題の解き方かヒントお願いします。 Q1.固有値の和はAのトレースに等しい。つまり、      TrA=Σ(1<=i<=n)aii=λ1+λ2+…+λn Q2.n次の正方行列Aの特性根をλ1、λ2、…、λnとすると|A|=λ1λ2…λn Q3.Aが正則行列ならtAAは正定値対称の行列である。 Q4.Aが正定値行列、Pが正則行列ならtPAPも正定値行列である。

  • 対称行列とその対角化行列

    対称行列とその対角化行列 行列要素が複素数である行列Aが(A^T)=A(Tは転置)を満たすなら,Aは対称行列といいますか?(ネットで見る限りではA^T=Aなどという場合,行列要素は実数である場合が多いようなのですが.) 実対称行列は直交行列で対角化できて,正規行列はユニタリ行列で対角化できますが,行列要素が複素数でA^T=Aを満たすような行列はどのような行列で対角化可能なのでしょうか?普通にユニタリ行列でしょうか?それとも,要素が複素数で(U^T)U=I(単位行列)なる行列Uによってできるのでしょうか? 要素が複素数で(U^T)U=Iなる行列Uに名前はついているのでしょうか? よろしくおねがいします.

  • エルミート行列の正定性

    下記の問題を自分なりに解こうとしたのですが、理解できない所があります。 問) 任意のエルミート行列:H = H*(共役転置行列)が 実対称行列R = Rt(転置行列)と実歪対称行列S = -St を用いて、H = R+jS(j = √(-1))と一意に決まるとき (R,S,Hはn×nで正方) H > 0 ⇔ (R -S) > 0       (S R) (見づらいですがHが正定であることと、2n×2nのブロック行列が正定であることが等価) の関係が成り立つことを示す。 証明) H>0よりH*>0 (?) H+H*=(R+jS)+(R-jS)=2R > 0 ⇒ R > 0 ブロック行列にschurの補題を適応すると R-StR^(-1)S > 0 かつ R > 0 の条件が導ける。 この条件(R-StR^(-1)S > 0)が示せれば、必要十分を満たすはず。 形としてはRからR^(-1)の合同変換を引いたものが正定だとみれる様な気がするのですが、これが一般的に成り立っているのかどうかわかりません。 当然の様に逆行列を書きましたが、Rが正則かも分からないです。 Rが正則だと考えたとしてこのやり方で解けるでしょうか? そもそもアプローチの仕方が間違っているのでしょうか。 分からないことだらけですが、どなたか助言をお願いします。

  • 実対称行列の直交行列による対角化の問題です。

    Aは5×5の実対称行列で、 A= (1 0 1 0 1) (0 1 0 1 0) (1 0 1 0 1) (0 1 0 1 0) (1 0 1 0 1) を直交行列によって対角化する問題で、 何か工夫して解く方法は、ないでしょうか??

  • 対称行列 対角行列

    対角行列と対角化について質問させて頂きます。 対角行列は、対角成分以外が0の正方行列です。 対称行列は、t^A=Aが成り立つ正方行列Aです。 ここで、対称行列の定理で、 ・対称行列の異なる固有値に属する固有ベクトルは直交する。 というものがあるのですが、これは対角行列にも言えるのでしょうか? 対角行列は対称行列なので言えると思いますが、 テキストに特に記載がなかったので質問させて頂きました。 以上、ご回答よろしくお願い致します。

  • 行列の問題

    任意の行列 A に対して、Trans(A)・A は半正定値対称行列になるらしいです。(ただし、Trans(A) は A の転置行列のことです。) 対称行列になることはすぐに証明出来るのですが、半正定値になることは簡単に証明出来る方法が在るのでしょうか? A が小さな行列である場合は、自力で頑張れそうですが・・・ 誰か分かる方がいましたら宜しくお願い致します。

  • 行列の固有値、及び直交化問題

    (1)対称行列の固有値は、なぜ実数なのですか? (2)対称行列を対角化する行列は、直交するベクトルで構成された行列に限られるのでしょうか?だとしたら、それはなぜですか?

  • 行列固有値問題

    Aは、3×3行列で、3つの固有値のうち2つが同じ(1組が重解)で、もう一つが異なる解、つまり固有値λ1、λ2、λ3で λ1=λ2 λ3≠λ1 の場合、 Aが対称行列ではないもの具体例を示して下さい。また、その具体例の行列を対角化する行列Pも示して下さい。 この時、求める最小多項式は重解はないものとします。 つまり、(A-λ1E)(A-λ3E)=0 をみたし、 対角化した行列は、λ1=λ2、λ1≠λ3で [λ1 0 0] [0 λ2 0] [0 0 λ3] になります。 このようなAでなおかつ対称行列でないものをあげて欲しいのですが、存在しますか? 対称行列だったら、いくつか列があったのですが、そうでない具体例が知りたいのです。

  • 数学の行列の問題です!

    数学の行列の問題がわかりません・・・ わかる範囲でいいので教えてください!    |    | なお|をでっかいカッコとしてみてください     |-1|      |1|     | 0| b1=| 1|   b2=|0|   b3| 1|     | 0|      |1|     |-1| とする。        |2| 2、ベクトル|5|をb1、b2、b3の1次結合で表せ        |9|                        |x| 3、標準基底に関する座標ベクトルが|y|となる                         |z|   R3のベクトルの、基底b1、b2、b3に関する座標ベクトルを求めろ。 4、R3における標準基底から基底b1、b2、b3への基底変換の行列を求めろ。 5、B=(b1、b2、b3)について、BをP^-1BPと対角化するときの正則行列Pの1つを求めろ。 いじょうです。よろしくお願いします。