• ベストアンサー

線形代数:内積・最大値

n次元実ベクトルp,q、n×n実行列U、に対し 写像p→p・Uqを考えるのですが、qを与えられたベクトルと見ます。で、この写像が最大値を取るのは、p=(0,…,0,1,0,…,0)のような単位ベクトルにおいてである、ということを示したいのですが、これは何故いえるのですか? それと、p≠qなる全てのpについてp・Uq<q・Uqが成り立つようなqは単位ベクトルである、ということも示したいのですが、どのようにして示すことができるのでしょうか? 教えていただけると嬉しいです。よろしくお願いいたします。

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

  • ベストアンサー
回答No.2

ウェブで数学記号使いまくると見難いので言葉だけ、雰囲気だけ伝えます。 1) まず2次元で考えます。Uq=(a, b)とおきます。すると内積pUqは、 pの成分和が1なので、aとbの重み付き平均ということになります。 「重み付き平均」はいろんな分野で出てきますので、知らなければ調べて覚えておくことをお勧めします。 aとbの重み付き平均が最大になるのはいつか? a>bなら、a 100%の時が最大です。100%とは1のことです。 つまりp=(1,0)の時が最大。a<bなら(0,1)の時が最大。 これで2次元の場合は解けた。 次元が大きくなっても、内積はベクトルUqの成分の重み付き平均なので、最大のところを100%にするのが最大。 つまりp=(0,…,0,1,0,…,0)。つまり単位ベクトル。 証明終わり。 2) qが単位ベクトルでない、つまり「どこかの成分100%」でない、つまり中途半端だとすると、 pとして、Uqの最大成分のところを100%にするようなベクトル、つまり単位ベクトルを持ってくれば、qUqよりpUqを大きくすることができます。 矛盾。 証明終わり。

kokkoro
質問者

お礼

感動しましたw。スッキリ解決です。 とても明快なご回答ありがとうございました!

その他の回答 (1)

回答No.1

1) 何か条件が抜けてません? だってp=(0,…,0,2,0,…,0) にしたら値が2倍になって、更に大きくなりますよ(正なら)。 2)もそうですが、行列Uについても、何か条件はないのですか?例えばUがゼロ行列だったら、1) も 2) も成り立ちませんよ。 あとUqという形で常に出てくるなら、q'等とおいてしまうべきだし。 出題文を見返すことをお勧め。

kokkoro
質問者

お礼

すみませんとんでもなくうっかりしてました(-_-;)ご指摘いただいてありがとう御座います。 p,qについての条件がすっぽり抜けていました。 p=(p1,p2,…,pN)とあらわすとき、∀iについてpi≧0であって、Σpi=1です。qについても同じです。

関連するQ&A

  • 線形代数の問題です。

    線形代数の問題です。 1.U,U'がそれぞれK上のn次元ベクトル空間とする。このとき線形写像f:U→U'が単射であることと全射であることが同値であることを証明せよ。 2. 行列Aの固有値をλ1,λ2,…λnとしたとき、 行列A^2の固有値は、Aの固有値をそれぞれ2乗したもの以外には存在しない。これは正しいか 3.Aのすべての成分が正でかつ行列式が正なら、Aの逆行列の成分もすべて正であることを示せ。 以上です。よろしくお願いします。

  • 線形代数の問題なんですが

    A=(1 0 1)    (0 1 0)    (1 0 1) と3次元空間上のベクトル r1=(1/√2)    (0)    (1/√2) があります。 行列Aの固有ベクトルq1,q2,q3を求め、それらを正規化したベクトルp1,p2,p3を基底とする座標系でr1を求めよ、という問題が解けません。 ここで行列Aの固有値は0、1、2で固有ベクトルは   (1) q1=(0)   (-1)    (0) q2=(0)   (0)   (1) q3=(0)    (1) です。 分かりづらくてすいませんがどうか解き方を教えてください。

  • 線形代数の行列式と内積の問題です

    nベクトルとmベクトルの内積を〈n,m〉で表す。a∈R^nとする。 n次正方行列A=[a1 a2 a3 ・・・ an]に対して、 det([〈ai aj〉]n×n)=( det(A) )^2 を示せ。 [〈ai aj〉]n×nは、aijを(i,j)成分するn×n行列です。 転置を使って内積を表して証明するらしいのですが、方法がいまいち分かりません。 よろしくお願いします。

  • 線形代数学(命題??)

    自然数nに対して、Iをn次単位行列とし、Aをその行列式が0でない任意に与えたn次正方行列とする。n次正方行列XがAの逆行列であるとは、XA=Iを満たすこととする。この場合、XA=Iが成立すれば、AX=Iも成立する。この命題の証明に関して以下の問いに答えよ。 XA=Iが成立しているものとする。そして、ベクトルa_1,a_2,・・・,a_n( _ はaに下付きでnがついていることを表す)で行列Aを構成するn個の列ベクトルを表すものとする。すなわち、(a_j)_iでベクトルa_jの第i成分を表し、A_ijで行列Aの第i,j成分を表すとすれば、i,j=1,2,・・・,nに対して、 (a_j)_i=A_ij となるものとする。また、ベクトル0およびOで、それぞれ、全ての成分が0であるベクトルおよび行列を表すものとする。 (1)(AX-I)A=Oが成立することを示せ。 (2)XA=Iを用いて、ベクトルa_1,a_2,・・・,a_nが、1次独立であることを示せ。 (3)一般に、n次元ベクトル空間において、任意のn+1個のベクトルは1次従属である。この関係と(2)の結果を用いて、n次元ベクトル空間の任意のベクトルを、ベクトルa_1,a_2,・・・,a_nの1次結合で表すことができることを示せ。 (4)(3)の結果を用いて、任意のベクトルyに対して、ベクトルy=Ax(xはベクトル)を満たすベクトルxが存在することを示せ。 (5)n次元ベクトル空間において、行列Bが任意のベクトルfに対してBf=0(fと0はベクトル)を満たすならば、B=Oとなることを示せ。 (6)(1)と(4)の結果を用いて、任意のベクトルyに対して、(AX-I)y=0が成立することを示せ。さらに、(5)の結果を用いて、AX=Iが成立することを示せ。 上で示した問題に関する質問です。 (1)を解くにあたって、AXにIを代入するとダメですか? 文章には、「この命題の証明に関して以下の問いに答えよ」とあるので、この問題全体はAX=Iということを証明する問題で、それぞれの問題を解くのにこれは使用したらダメなのかなと思ってしまったのですが…。 どうなのでしょうか? もしダメならば、(1)の問題は、どのように解いていくのがベストなのでしょうか。 また、他にも文章中に出ている条件で使用してはいけないものってあるのでしょうか。 よく分からない問題です。 (1)に関して、もしAX=Iを代入してよいのならば、(1)で示されている 式が成立するのは一目瞭然ですし・・・ 他の問題に関しても何かヒントをいただけるとうれしいです。 よろしくお願いします。

  • 大学・線形代数の問題です

    以下の問題が分かりません(;_;) n次の行列に対するトレースは、M(n,n;R)からRへの線形写像であることを示せ.次に、この写像の像空間,核空間の次元を求めよ. 大変困っています.お優しい方どうか助けてください(>_<)

  • 線形代数 一次独立について

    n個のあるn次元ベクトル(n行1列のベクトル)が一次独立であることを示すには、 例えば簡単のためにいまn=4としますけど、 その4つのベクトルを横に並べた新たな行列をAとし、 それを行基本変形をしてrank A = 4を示せば十分ですよね? 一応示し方は合ってるとは思うんですが確認しておきたいのでよろしくお願いします。それと、もしほかの方法があるのであれば、教えてください。

  • 線形代数の問題

    こんにちは、お世話になります。以下の2問についてですが 1. π_nをn次多項式空間とし、f:π_n→π_nとする,f(p)=p-∫p(0→1)は一次写像ならば、fの核と像を求めよ。また、fは同型写像であるか。基底{1,x^2,x^3,…,x^n}に対して、fを表す行列A_fを求めよ。  核は、定数とすぐにわかるのですが、像の求め方、また同型写像であるか否かと行列の求め方がわかりません。 2.Aが(m,n)行列、b∈R^m∩Im(A)のとき、Ax=bの解全体 がアフィン部分空間を成すことを示せ。 2については何をどうすればいいのか、検討もつきません。 どなたかわかりやすくご指導いただけると幸いです。 よろしくお願いします。m(__)m

  • 次元、線型代数

    実数または複素数(この集合をKとする)を成分とするm×n行列全体の集合は、Kの上のベクトル空間であることを証明し、この場合、零ベクトルとなるものを求め、このベクトル空間の次元を求めよ。 という問題で、ベクトル空間になっていることは示せたのですが、 1.零ベクトルについて 「すべての成分が0である行列をOとすると、明らかにOは零ベクトルである。また、零ベクトルは唯1つしかないからこれが零ベクトルである。」 で問題ないですか? 2.次元について m×nだと思うのですが、どう証明すればよいかわかりません。おしえてください。 以上2つありますが宜しくお願いします。

  • 線形代数での行列の問題が分りません

    皆様,宜しくお願い致します。 Aをn×n実正値対称行列とし u_i・u_j=δ_ijとする(つまり,(U:=(u_1 u_2 … u_n)は直交行列))とする時, (u_1 u_2 … u_{n-1})^TA(u_1 u_2 … u_{n-1}) =(U^TAU)(n|n) が成立する(但し,Tは転置を表し,(U^TAU)(n|n)はn×n行列U^TAUからn行とn列を取り除いた(n-1)×(n-1)の小行列を表す) 事を示したいのですが (u_{1i} u_{2i} … u_{ni}):=u_i^Tと成分表示し, b_{ij}:=Σ_{k=1}^n(Σ_{l=1}^n a_{lk}u_{li})u_{jk}と置くと (u_1 u_2 … u_{n-1})^TA(u_1 u_2 … u_{n-1})=(b_{ij}) という(n-1)×(n-1)行列に表される事が分かりましたがここで頓挫しております。 ここからどうすればこの(n-1)×(n-1)行列は (U^TAU)(n|n)に等しくなる事が言えるのでしょうか? U:=(u_1 u_2 … u_n)が単位行列なら (u_1 u_2 … u_{n-1})^TA(u_1 u_2 … u_{n-1}) =(U^TAU)(n|n) は簡単に示せたのですが。。

  • 線形計画法の問題です

    P:最大化c^Tx(c^Tはcの転置)   条件Ax<=b   x>=0 ただし、Aはm*n行列、bはm次元ベクトル、cはn次元ベクトル、xはn次元 変数ベクトルである。ベクトルはすべて列ベクトルとし、c^Tはcの転置を表す。 問題Pは最適解を持つと仮定し、目的関数の最大値をfと表す。また、問題P に関連して、m次元ベクトルuをパラメータとする次の線形計画問題を考える。 P(u):最大化c^Tx-u^T(Ax-b)     条件x>=0 問題P(u)の目的関数の最大値g(u)と表す。ただし、問題P(u)が有界でない 場合はg(u)=無限大と定義する。以下の問いに答えなさい。 1)問題Pの双対問題を書きなさい 2)任意のu>=0に対して、g(u)>=fが成り立つことを示しなさい 3)min{g(u)|u>=0}=fが成り立つことを示しなさい。ただし、線形計画問題 に対する強双対定理を用いて良い。 以上の問題をお願いします。