- ベストアンサー
数学の問題について
数学の問題です。 m行n列（0<n<m)の行列Aとm次元の列ベクトルbが与えられたとき、線形方程式 Ax=ｂ ・・・(1) を考える。ただしｘはｎ次元の列ベクトルである。さらに(1)式に対応する同次方程式 Ax=0 ・・・(2) は自明でない解をもたないとする。 m次元空間において、行列Aのｎ個の列ベクトルが張る部分空間をVとするとき、(1)式の 解が存在する場合のVとｂの関係、および、解が存在しない場合のVとｂの関係をそれぞれ 説明しなさい。 意味が分かりません。参考書の部分空間のところを熟読してもいまいち意味が分かりません。 分かる方教えてください。 宜しくお願いします。
- u962878k
- お礼率43% (13/30)
- 数学・算数
- 回答数3
- ありがとう数1
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
一言一句の単位で考えたとき、「いまいち意味が分か」らないと仰るのはどの部分でしょうか。 ま、「一般逆行列」ってものを調べてみると、この問題の深い意味が分かるんじゃないかな。その応用は広く、そのものズバリの教科書もありますから、勉強してみて損はないと思いますが。
その他の回答 (2)
- Tacosan
- ベストアンサー率23% (3656/15482)
自明な解はそれであってます. ただ, 「自明でない解をもたない」 と 「自明である解をもつ」 とは違うことを言っているので「言い換え」にはなりません. 「自明でない解を持たない」というのはあくまで「自明でない解を持たない」と言っているにすぎないのであって, 「自明な解を持つ」かどうかについては言及していません. 「『自明な解』は自明なんだから持っていて当たり前」というのはある意味その通りですが, そうすると「自明でない解を持つかどうかに関係なく自明な解を持つ」わけだから, やっぱり言い換えにはなりえません. 「自明な解しか持たない」なら言い換えになるんだけど.
- Tacosan
- ベストアンサー率23% (3656/15482)
まず 「自明でない解をもたないとする。→自明である解をもつ。」 は意味がわからない. 正確には「→」が何を意味するのかがわからない. で (2) が自明な解を持つとして (というか必ず持つんだが), だからといって (1) が解を持つとは限らんのよ. 具体的には x = 1 x = 2 は解を持つ? えぇと, (2) の「自明な解」ってなにかわかりますか?
補足
回答ありがとうございます。 →は数学的な意味ではなくて、ただ言い換えてるだけなのですが 違うのですね。 自明な解ってx1=x2=...=xn=0ってことですよね。 間違ってたら教えてください。
関連するQ&A
- 線形代数:解が特殊解+一般解
現在復習として線形代数をやっているのですが、解が特殊解+一般解になるというものがあまり理解できません。 m×n行列A、n次の列ベクトルx、m次の列ベクトルbからなる Ax=b という方程式があるとします。 この方程式が解を持つならば、その一般解は1つの特殊解x_1と、対応する同次方程式の一般解x_0との和x=x_1+x_0で与えられるという定理があります。 この証明として、Ax_1=b, Ax_0=0とすれば、A(x_1+x_0)=Ax_1+Ax_0=b+0=b; だから、x=x_1+x_0はAx=bの解になる。 これは、証明中では「Ax_0=0とすれば」と書いてあるから成り立つのは理解できますが、定理の中では同次方程式の一般解がx_0=0と限定はしていません。 仮にx_0=0でない場合、例えばrankA=r(r<n)とすると、一般解はx_0=t_(r+1)x_(r+1)+t_(r+2)x_(r+2)+…+t_nx_n (t_(r+1)~t_nは任意の定数) というように、解はx_(r+1)~x_nまでの一次結合になります。 つまり、A(x_1+x_0)=Ax_1+Ax_0=b+x_0(≠0)≠bということになります。 これは、特殊解と一般解の和がこの方程式を満たしていないことになります。 しかし、前に微分方程式なんかを習っていたときも特殊解と一般解の和を答えとして出してた記憶もあるので、成り立たないはずはない・・・？と思いますがまったく納得いきません。 自分の説明が間違っているとは思うので、何か間違っている点がわかる方いましたらご指摘お願いします。 見づらくわかりにくい文章で申し訳ないです・・・。
- ベストアンサー
- 数学・算数
- 現在線形代数を勉強しているものです。
現在線形代数を勉強しているものです。 わからないことが出てきましたので質問させていただきました。 xを変数とするベクトル方程式Ax=bについて、 Aはm*nの複素行列、xはn次元、bはm次元複素ベクトルとすると この方程式が解をもつためのAが満たすべき必要十分条件は何でしょうか。 Aやbが実数行列や実数ベクトルであれば rankA = rank(A,b) が必要十分条件ですがこれは複素数の場合でも成立することなのでしょうか。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- 固有値問題で右辺の一部要素が 0 の場合を解きたい
通常、固有値問題は、 Ax = λx という形ですが、 右辺の x の一部の要素が 0 の場合を解きたいため、質問いたしました。 【詳細】 A： n x n の実対称行列 x： n 次元の実列ベクトル y： n 次元の実列ベクトル ただし、0 < m < n として、m 個目までの要素は x と同じだが、それ以降は 0 λ： スカラー変数 として、Aが与えられた場合、 A x = λy の条件で x, y, λ を求めたいです。 【参考】 n x n の単位行列から、m+1 行目以降を０とした行列を B とすると、元の式は、 A x = λ B x と、一般固有値問題の形になり、さらに A に逆行列 (=C) が存在すれば、 C B x = (1/λ) x として、通常の固有値問題に帰着できます。 しかし、よりエレガントな方法があればと思いまして質問いたしました。 なお、今取り組んでいる問題では、n は 3 の倍数で m = 1.5*n です。 この条件に限定していただいても構いません。 「この方面の文献が参考になる」 などのコメントでも結構ですので、 よろしくお願いたします。
- 締切済み
- 数学・算数
- N次元ベクトルの回転
N次元空間にm本の単位ベクトル v_1, v_2, ... v_m があるとします（m < N です。たとえば N=10000、 m=10とか） m本のベクトルは平行のものがあっても構わないとします。 ここに1本の新しい単位ベクトル x を加えます。 このベクトル x を上手に回転させて、既存の m本のベクトルとの関係を指定した通りにしたいのです。 たとえば v_1との内積は0.5、v_2との内積は-0.1....といった具合です。 m + 1 < N くらいの条件があれば解は必ず存在すると思います。 x の回転を表す行列、あるいは行列でなくてもv_1, v_2,...との関係を満たすベクトルの求め方をご教示ください。
- ベストアンサー
- 数学・算数
- 線形代数・連立方程式
４次の正方行列 A=(1 α β 0) (2 β 10 α) (α 4 β -4) (1 2 3 -4) とベクトルbを用いて表される４元連立１次方程式Ax=bについて、解空間が t(x1 x2 x3 x4)=t(5+2s -3s+2t 1+s-t 3-s+t) s,tは実数 で与えられているときの、α、βを求めたいのですが、どのような条件を使って考えていけばよいのでしょうか？同次方程式を考えたりしてみたのですが、うまくいきません。どなたかお力添えをお願いします。 なを、カッコの前のtは転置行列という意味で使用させていただきました。大変読みにくいかもしれませんが、よろしくお願いします。
- 締切済み
- 数学・算数
補足
回答ありがとうございます。 自明でない解をもたないとする。→自明である解をもつ。 と解釈してAは逆行列を持つということでいいですか？ 分からないのは、解が存在する場合と存在しない場合の～～というところで、存在しない場合というのが分かりません。(2)式で自明である解をもつと言っているのに解が存在しないというのはどういうことなんでしょうか？