- ベストアンサー
3次元で4つ以上のベクトルは線型従属である事の証明
3次元で4つ以上のベクトルは線型従属である事の証明を以下のように考えたのですが、あっているでしょうか？ ベクトルu,v,w∈R(3)が線型独立であるとすると、もう一つのベクトルxは x＝au＋bv＋cw のように3つのベクトルの線型結合によって表すことができる。 よって、4つ以上のベクトルは線型従属である。 自分的にはあまりしっくりこない証明なのですが、もし間違っていたり、助言があれば教えていただきたいです。 よろしくお願いします。
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
基本的には、その考えかたでよいのですが、 ＞ のように3つのベクトルの線型結合によって表すことができる。 の箇所の根拠を示す必要があります。 u,v,w の例を具体的に挙げてみては、どうでしょう。 数対ベクトルにおける加法とスカラー倍の定義から、 x(1,0,0)+y(0,1,0)+z(0,0,1)=(x,y,z) です。 これは、任意の (x,y,z) が { (1,0,0), (0,1,0), (0,0,1) } の 線型結合で表せることを示しています。 次元は基底の要素数であり、 基底 = 独立生成系 = 最大独立系 = 最小生成系 なので、 ←[*] 3 要素の生成系が見つかったということは、空間の次元は 3 以下、 したがって 4 ベクトルは従属ということになります。 基底というものの定義しかたによっては、[*] に証明をつける 必要があるかもしれません。
その他の回答 (2)
- 中村 拓男（@tknakamuri）
- ベストアンサー率35% (674/1896)
3次元というのは線形独立な基底が3個 という意味なので、3項のベクトル と言った方がよいでしょう。 N項のベクトル空間の基底がN個になるという 証明は、斎藤正彦の「線形代数入門」 に2通り載っていましたが、どちらも 結構複雑です。 1) 斉次方程式の解の法則を導き、そこから導く方法。 2) 極大独立系の定理から導く方法 証明の本体は1～2ページですが、基本定理や 補助定理等証明も含めると10ページ近い分量になります。 まともな証明を知りたいなら、線形代数の本を お買いになることをお勧めします。
お礼
アドバイスありがとうございます。 この証明は奥が深いんですね。 紹介していただいた本を参考にもう少し自分なりに考えたいと思います。
- koko_u_u
- ベストアンサー率18% (216/1139)
まずは「3次元」とはどういうことなのかを明確にするべきです。
お礼
解答ありがとうございます。 アドバイスの通り、基底を用いたりして3次元を詳しく説明して、解答を書き直したいと思います。
関連するQ&A
- 線形代数［線形従属・線形結合］
線形代数についての質問です。 １：０ベクトルを含むベクトルたちは、線形従属であることを示せ。 ２：少なくとも２つの同じベクトルを含むベクトルたちは、線形従属であることを示せ。 ３：次の２つの条件（１）（２）が同値であることを示せ。 （１）a_1ベクトル，・・・,a_nベクトルは線形従属である。 （２）a_1ベクトル，・・・,a_nベクトルが他のベクトルたちの線形結合で表される。 当たり前だろうと思ってしまい、証明が出来ません。 どなたが教えてくれるとありがたいです。
- ベストアンサー
- 数学・算数
- 次元に関する証明
Vをベクトル空間とする。 (1)Vにはｎ個の線型独立なベクトル x1,x2,…,xn が存在する。 (2)Vの n+1 個のベクトル y1,y2,…,yn+1 は線型従属である。 このとき、dimV = n であることを証明したい。 (2)から線型関係の式を作り、yは線型従属であることと、n項までのスカラー(a1,a2,…,an)は線型独立であることより an+1≠0 。 次に、上で作った式から yn+1 = （略）にして、 y1,y2,…,yn がVを生成し、線型独立であることを確認して、dimV=n という風（分かりにくい説明ですみません）に証明しようと思うのですが、この考え方でいいのでしょうか。 また、ベクトルx,yをうまく用いた、（きれいな）証明を教えてください。
- ベストアンサー
- 数学・算数
- 線形代数 基底、線形従属について
Ｖをベクトル空間とする。ｎ個の線形独立なベクトルx1,x2,…,xn（Ｖの要素）がＶの基底をなすための必要十分条件は、これらに任意のベクトルy（Ｖの要素）を加えたx1,x2,…,xn,yが線形従属となることである。このことを証明せよ。 どのような流れで証明すれば良いのでしょうか？ よろしくおねがいします。
- 締切済み
- 数学・算数
- 線形独立、従属について
試験前で以下の問題がわからなくて焦ってます;; 以下を証明せよ。 (1) V∋a1,a2,a3…akが線形独立ならば、これらからいくつ取り出したものも線形独立である。 (2) V∋a1,a2…ak,a(k+1)において、a1…akが線形独立、a1…a(k+1)が線形従属ならば、 a(k+1)はa1…akの線形結合である。 よろしくおねがいします！
- ベストアンサー
- 数学・算数
- 線形代数の1次独立・従属問題
命題「u1,u2,・・・umの中に零ベクトルがあれば、u1,u2,・・・umは1次従属」の正否を調べる問題です。解答は、「例えば、u1=0ならば、1u1+0u2+0u3+・・・+0um=0は自明でない1次関係を与えるからu1,u2,・・・umは1次従属」となっています。 m次元の空間を考えた時に、u1=0であっても、他のベクトルは全て独立になるので、1次独立であると思いますが。考え方がよく分かりません。 「自明」の意味が、u2,u3,・・・が独立でも、例えば、u2=v2+u1と書けるという意味でしょうか。u1が決まっても、u2は決まらないと思いますが。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 列ベクトルの線型従属性を最小化する変換法
度々お世話になります。下記の行列の問題で悩んでおります。 ＜問題＞ 既知のM×N実行列Xと，適当なN×K実行列Aを用いて， Y = X A Z = exp(X A) を計算する状況にあります。ただし，N < K < M, rank(X) = N です。また，exp()は()内の行列の各要素に対する演算です。 このとき， (1) Yの各列ベクトル間を可能な限り線型独立に近づける (2) Zの各列ベクトル間を可能な限り線型独立に近づける には，それぞれAを，どのように設定すればよいでしょうか？ ＜自分で考えたこと＞ ○ (1)について，N < Kなので，Yの列ベクトルは線型従属であり，完全な線型独立は実現し得ない。 ○ (1)(2)について，相関係数行列を用いるような，何らかの線型独立性の指標を，数値的に最小化する，という方法はありそう。指標として何が適切かは不明。
- 締切済み
- 数学・算数
- 空間ベクトルの従属・独立の証明
sが４以上ならば、s個の空間ベクトルの組は必ず従属となることを証明せよ という問題なのですが、どのように解いたら良いのかわかりません。 ３つのベクトルa,b,cが独立ならば (1)行列式(a b c)は０ではない (2)４点O,A(ベクトルa),B(ベクトルb),C(ベクトルc)は同一平面上にない (3)ベクトルa,b,cが平行六面体を作る という定理があると思うのですが、これを満たさなければ従属である、ということから導いていくのかなと思ったのですが、どのように証明すれば良いのかわかりません。 数学的帰納法を使用するのでしょうか？ アドバイス等でも良いので、どなたか回答をお願いします。
- ベストアンサー
- 数学・算数
- 線形代数 ベクトル空間について
1 2 2 5 Ａ＝3 6 1 0 Ａは４*３行列。 2 4 1 1 Ｗ＝｛Ａx l ｘ∈Ｒ＾４｝はベクトル空間である事を証明し、1組の基と次元を求めよ。 ｘとＲはベクトルです。 上の問題がわかりません。 Ｗ＝｛ｘ∈Ｒ＾４ l Ａｘ＝０｝の問題の時はわかりますが、上の問題になると 全くわからないのです。 線形代数が得意でないので、出来れば詳しく教えてください。 お願いします。
- ベストアンサー
- 数学・算数
- ベクトル空間の基と次元（線形代数）
「次の解空間の次元と一組の基を求めよ。」という問題です。 W=｛x∈R^5 | x1-2x2+x3+2x^4+3x^5=0 2x1-4x2+3x3+3x4+8x5=0｝ 係数行列を簡約化するのは、わかります。 ｜1 -2 1 2 3 | ⇒ | 1 -2 0 3 1 | ・・・(1) ｜2 -4 3 3 8 | | 0 0 1 -1 2 | ・・・(2) これから、次元は2とはならないのでしょうか。（質問１） このあと、 x = | 2c1-3c2-c3| | c1 | |c2-c3 | |c2 | |c3 | という式がでてきますが、これがどこからでてくるのかわかりません。（質問２） この後、 ベクトルa1=(2 1 0 0 0 ),a2=(-3 0 1 1 0 ),a3=(-1 0 -2 0 1 ) を定義しています。 これらは1次独立である、としています。これもよくわかりません。（質問3） 出典は、「入門線形代数」（培風館）です。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
なるほど!! とても分かりやすい解答ありがとうございます