• ベストアンサー

ベクトルを対角行列にするような掛け算

xをK次の縦ベクトルとして、diag(x)をxの各要素が対角に並び他要素がゼロになっているようなK×Kの行列と定義します。 そこで、一般に xy'=diag(x) となるような縦ベクトルyは存在するでしょうか。 できればyはxに依存しない形で書ければベストですが、xの関数になっていても良いです。

  • incd
  • お礼率37% (24/64)

質問者が選んだベストアンサー

  • ベストアンサー
  • arrysthmia
  • ベストアンサー率38% (442/1154)
回答No.2

rank x y ' ≦ rank x ≦ 1 ですから、 その式が成立するためには、少なくとも、 rank diag(x) = (x の非ゼロ成分の個数) が 1 以下 でなくてはなりませんね。 rank diag(x) = 0 であれば、y は任意でよいし、 rank diag(x) = 1 であれば、y = x / |x| でよいです。

incd
質問者

お礼

そう考えればいいんですね。とてもクリアになりました。ありがとうございました。

その他の回答 (1)

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

一応確認ですが, 「y'」は y の転置を表すとしてよいですね. そうであれば, ほとんどの x に対してそんな y が存在しえないことはほぼ自明ではないでしょうか. x = (1, 1)' として考えてみてください.

incd
質問者

補足

ありがとうございました。

関連するQ&A

  • 対角化行列

    三次正方行列A= (       ) | 1 1 0 | | 1 1 1 | | 0 1 1 | (       ) 書き方わからないので見にくい方いたら申し訳ありません。(左上と右下だけ0であとはすべて1です。) この行列を対角化するんですが、固有値はλ1=1, λ2=1+√2, λ3=1-√2 の三つで、それぞれの固有ベクトルってλ1で、x=[1 0 -1] λ2で、x=[1 √2 1] λ3で、x=[1 -√2 1]となったのですが、これってあってますか? (↑はそれぞれ正規化してません、対角化行列を作るときはλ2,λ3のノルムである2にλ1をあわせるようにして作りました。) 対角化行列の逆行列を求めるときにどうしてもおかしくなってしまいます。よろしくおねがいします。

  • 行列の対角化

      ┌1 -2 -2┐ A=│1  2  2│   └(-2) 2  1┘ という行列なのですが、対角化できるのでしょうか? 何度も何度も解きなおしてるんですけど対角化できません。 Aの固有方程式の解で重解になっているものがないので対角化は・・可能ですよね? 固有値として-1、±√7が求まるのですが、±√7に対する固有空間を考えるとどうしても固有ベクトルとして成分がすべて0の(3,1)行列しか出てこなく、対角化行列が   ┌0 0 0┐ P=│1 0 0│    └(-1) 0 0┘ といったような行列になってしまうのですが、この場合P^(-1)が存在しないためP^(-1)*A*Pは存在しない事になり、Aは対角化不可能ということになってしまいますよね?? 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか?

  • 対角化の応用:標準形について

    対角化の応用:標準形についてです。 aX^2 +bXY+cY^2 =αX’^2+ βY’^2 対角化行列は α0 0β であるが、固有値がどっちがαか、どっちが βか、どう決めるか? 例:6X^2 -4XY+9Y^2の標準形を求めよう。 固有値は5と10なので、 固有ベクトルは 5  0 0 10 にしたんだ。 かえって、教科書の答えは 10 0  0 5 なぜなのですか? 5X’^2+ 10Y’^2じゃなくて、 10X’^2+ 5Y’^2が答えです。

  • 行列の対角化と固有ベクトル

    行列A、二次の正方行列PについてPが逆行列P~(-1)を持ち、P~(-1)AP=... α、βの値と行列Pの例を一つ定めよ という問題があります。(行列は添付の画像を参照してください。) 回答でわからないところがあります。(1)とおいたあと、 「固有方程式k^2-(1+4)k+1*4-2*(-1)=0から k=2,3」とします。 この2,3がα、βなんでしょうか? そのあと、K=2のとき固有ベクトルを(2,1)(←縦)、K=3のとき固有ベクトルを(1,1)(←縦)となり、 その後Pを添付の図のように導出しました。これは、第一列と第二列は逆にしてもOKなんでしょうか? k=2,3と出てきているので、α、βをどう入れても良いような気がするのですがどうなんでしょうか?

  • 行列 行ベクトル 列ベクトル について

    行列は見方を変えるとベクトルの集まりだと考える事ができる と思います。 質問なのですが、 X=(x1,x2) Y=(y1,y2) というベクトルを行列として見ると、 (x1 x2) (y1 y2) のように表されると思います。 ここで質問なのですが、 行列は、行ベクトルを縦に並べたもの、又は列ベクトル を横に並べたものと説明がありました。 列ベクトルとはXベクトルを (x1) (x2) と表したベクトルだと理解しています。 テキストにもこのように記載されています。 列ベクトルを横に並べたものとは、 (x1 y1) (x2 y2) となって上の行列と違います。 それとも、列ベクトルとは、 (x1) (y1) の事ですか? (x1) (y1) ってどんなベクトルなんでしょうか? 与えられた(仮定した)ベクトルは、 X=(x1,x2) Y=(y1,y2) ですよね・・・ 良くわかりません・・・ 列ベクトルを横に並べたものと言う説明がおかしいの でしょうか? 列ベクトルとはどのようなものか教えて頂けないでしょうか? 行列の積を考える場合、それぞれの型を考えて行列を作ります。 (X Y)(x1 x2) (y1 y2) や (x1 y1)(X) (x2 y2)(Y) 今回は、行列だけなので、 (x1 x2) (y1 y2) と (x1 y1) (x2 y2) は、行列式も同じになるので特に困った事には成らないのでしょうか? 上の行列2つは転置行列になります。 X=(x1,x2) Y=(y1,y2) のベクトルを行列として表す場合、 (x1 x2) (y1 y2) と表しても、 (x1 y1) (x2 y2) と表してもどちらも間違いではないのでしょうか? 以上、ご回答よろしくお願い致します。

  • diag(-1,1)

    S' = Q S Q という行列計算にてQの定義が Q=diag(1,-1) となっています。 このdiagというものは、対角要素を残して、対角要素以外は 0にするという所まではわかりましたが、上記の1と-1の意味が わかりません。 diagの意味、または、この表記が載っている分野(ベクトル解析?) を教えていただけないでしょうか?

  • 行列の固有値と対角化

    次の行列Aの固有値と固有ベクトルを求め、正則行列Pをもとめよ。 A=  0  1 -2 -3 で|A-λE|= -λ   1 -2 -3-λ より -λ(-3-λ)+2=3λ+(λ^2)+2 =(λ+1)(λ+2) よってλ=-1、-2 λ=-1に属する固有ベクトルは y=-xより(x、y)=α(1、-1) λ=-21に属する固有ベクトルは y=-2xより(x、y)=β(1、-2) これより正則行列Pは  1  1 -1 -2 になると思ったのですが、答えを見ると  1 -1 -1  2 とありました。どうしてでしょうか?

  • 対角化不可能な4次正方行列

    行列A= (-1,0,0,1) (0,1,0,0) (0,0,1,0) (4,0,0,-1) について。 Aの固有値を求め、それぞれの固有値に対するAの固有空間の基底を一組求めよ。また、適当な正則行列Pを求めてp^(-1)APが対角行列になるようにせよ。 という問題がわかりません。 自分で計算したところ、λ=-3,1(3重解)と出ました。 λ=-3のとき、基底のひとつはt^(1,0,0,-2)と出ました。 問題はλ=1のときです。(1*E-A)を変形したときのランクは1で、未知数4だから4-1=3>0で対角化不可能です。 このときの固有ベクトルをt^(x,y,z,w)とするならば、z=2xという関係式から t^(1,0,0,2) t^(0,1,0,0) t^(0,0,1,0) を基底に選んだのですが、これは間違っているでしょうか? あと、この後どうやったらいいのかわかりません。 いま出した4つのベクトルを正規化して横に並べても、これはPにはならないですよね。 教えてください。

  • 固有ベクトルの逆行列が存在しない?

    行列A= (0,1,1) (1,0,1) (1,1,0) の固有値と固有ベクトルを求める(ただし各固有ベクトルの最大の成分は1となるようにする) 問題なのですが, 固有値λ=-1(重解),2 と求め 固有ベクトルをそれぞれ x=(x1,x2,x3)=(1,-1/2,-1/2),(1,1,1) と求めたのですが, 対角化行列P= (1,1,1) (1,-1/2,-1/2) (1,-1/2,-1/2) の行列式が0になってしまいPの逆行列が存在しないことになってしまいます。 これはどこかで計算ミスをしているのでしょうか? それとも固有ベクトルに逆行列が存在しないことはあるのでしょうか? 自分ではこれ以上見直しても分からないので 教えてくださると助かります。

  • 固有値が重複している行列の対角化

    線形代数の質問です。 二次行列Aを、ある正則行列Pを用いて(P^-1)APと対角化するときのPを一つ求めよ、という問題があります。ここで、Aの固有値が二つあれば固有ベクトルも二つ求まりそれらを並べることでPがわかりますが、固有値が一つしかない場合はどうしたらいいのでしょうか。 教科書の例題を見ると、A=[a1,a2](a1=[3,-1]、a2=[0,2])のとき、固有値はλ=3で、[λI-A]x=0よりx+y=0となり、固有ベクトルは[1,-1]となります。このあとどのようにして正則二次行列Pを求めればいいのでしょうか。 どなたか御回答よろしくお願いします。