• ベストアンサー

ベクトル空間

ベクトル空間Vの部分集合U₁、U₂、U₃に関して U₁⋂(U₂+U₃)=(U₁⋂U₂)+(U₁⋂U₃)は一般には成立しないのでしょうか? 自分の参考書にはそう書いてありますがこれが成立しない例が自分には思いつきません。 どなたか反例を挙げていただけないでしょうか?

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

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

例えばV={実数全体}, U₁={3}, U₂={1}, U₃={2}とすると、 U₁⋂(U₂+U₃)={3} (U₁⋂U₂)+(U₁⋂U₃)=φ となって等式は成り立ちません。 部分空間だとしても、例えば V={実2次元ユークリッド空間} U₁={(1,1)が生成する部分空間} U₂={(1,0)が生成する部分空間} U₃=={(0,1)が生成する部分空間} とすると、 U₁⋂(U₂+U₃)=U₃ (U₁⋂U₂)+(U₁⋂U₃)={0} となって等式は成り立ちません。

その他の回答 (1)

  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.1

「部分集合」なら、必ず成り立ちますよ。 「部分(ベクトル)空間」の間違いじゃないかな? だとすれば、A∩(B∪C) = (A∩B)∪(A∩C) でなく A∩(B+C) = (A∩B)+(A∩C) と書いてあるところがミソで、 その + は、ベクトル空間の直和の意味なんだと思います。 もしそうなら、B∩C≠φ の場合が反例になります。

関連するQ&A

  • 数ベクトル空間 ベクトル空間

    数ベクトル空間について教えて下さい。 ベクトル空間の章で数ベクトル空間という言葉がかなり多く 用いられます。数ベクトル空間がどのようなものかよく分かりません・・・ 数ベクトル空間の定義 K上の数ベクトル空間Vとは、 数の組をベクトル空間として扱ったもので、 V:={(a1・・・an)|a1,・・・,an∈K} と定義される。 ここで質問なのですが、数ベクトル空間は具体的にどのよう なものでしょうか? また、数ベクトル空間はベクトル空間の部分空間という理解は正しいでしょうか? 数ベクトル空間でないベクトル空間 ってどのようなものがあるのでしょうか? 数ベクトル空間の例とベクトル空間の例を具体的に示して頂けない でしょうか? 以上、ご回答よろしくお願い致します。

  • 部分ベクトル空間であることの証明

    Vをベクトル空間、WをVの空でない部分集合とする。 集合Wが次の2条件(1)(2)を満たせば、Wはベクトル空間(加法とスカラー倍はVのと同じものを使う)になることを示せ。 (1)Wの任意の元a,bに対して、a+bもWの元となる (2)Kの任意の元k、Wの任意の元aに対して、kaはWの元となる この証明なのですが、以下のように示しました。 (∵) WがVの部分ベクトル空間であるには、 (1)Wが空集合でない (2)Wがベクトル空間の性質を全て満たす (3)Wが加法、スカラー倍について閉じている の3つである。 (1)は題意より明らか。 (2)は、Vがベクトル空間で、WはVの部分集合であることから、Wも当然ベクトル空間の性質を満たす。 したがって、残りの(3)のみを満たしていれば良い。 Q.E.D こんな感じでよろしいでしょうか? 稚拙な部分等ありましたらご指摘お願いします。

  • 部分ベクトル空間について

    Vを3次多項式全体の集合 V={ax^3+bx^2+cx+d | a,b,c,d∈R} とする. 次の(1),(2),(3)のようなVの部分集合について,Vの部分ベクトル空間となるものはどれか? (1)W={ax^3+bx^2+cx+d | a,b,c,d≧0} (2)W={f'(x) | f(x)∈V} (3)W={f(x)∈V | f'(x)=0} 自分でやってみたところどれも部分ベクトル空間になりました. 合っているでしょうか?

  • ベクトル空間

    (1)零ベクトル0を含む、ベクトル空間V={0}の基底は何か?? という問題で、自分なりに本などを調べました。 そしたら、このベクトル空間の基底は『空集合』だということがわかりました。 しかし、どうして『空集合』になるのかがやはりよくわからないのです。 どうか、助言をお願いします。 (2)(e1,e2)も(f1,f2,f3)も同時にVの基底となることはできるか?? という問題についても自分なりに考えました。 f1かf2かf3のどれかひとつを0とすれば(f1,f2,f3)も2次元とみなすことができて、(e1,e2)と同時に基底となれるのではないか?と考えました。 この考え方は間違っていますか? どうか力になってください。 おねがいします。

  • ベクトル空間

    線形写像Φ:V→Wに対して、  v1~v2⇔v1-v2∈V'で与えられる同値関係~の同値類全体がなす集合V/V'について (1)商ベクトル空間V/V'が、ベクトル空間になることと (2)dimV/V'=dimV-dimV'になること を示したいのですが、なかなか思うようにできません。どなたか教えてください。お願いします。

  • 空間ベクトル ベクトル空間

    空間ベクトル ベクトル空間 線形空間=ベクトル空間と認識しています。 テキストの内積空間の項目で空間ベクトルという表現がありました。 例えばベクトルaとベクトルbの内積はa・b=|a||b|cosθと表され、 これを空間ベクトルと表現しています。||は絶対値です。 空間ベクトルとは何なのでしょうか? ある集合内のベクトルの事を空間ベクトルと呼んでいるのでしょうか? ご回答よろしくお願い致します。

  • 「0でない2つのVのベクトルu,vが直交⇒u,vは一次独立」の逆は成り立つ?

    F線形空間Vに於いて, 0でない2つのVのベクトルu,vが直交⇒u,vは一次独立。 が成り立つと思います。 逆 u,vが一次独立⇒u,vは直交。 は一般に成り立つのでしょうか? 成り立たないならばどんな反例がありますでしょうか?

  • ベクトルが3次元実ベクトル空間を動くとき

    以下の行列Aについて、すべての問いに答えなさい。   |1 4 0 | A = |1 0 2 |   |0 2 -2 | (1) 行列Aの固有値を求めなさい。 (2) 行列Aの各列をベクトルa1,a2,a3で以下のように表す。    A=(a1,a2,a3) これらの3個のベクトルの従属関係を式で示しなさい。 (3) ベクトルxが3次元実ベクトル空間(線型空間)V全体を動くとき、これによってつくられる点の集合を    W1={Ax|x∈V} とする。この集合がつくる実ベクトル空間の次元を求めなさい。 (4) ベクトルpをp=t(1,2,1)とする。ベクトルxがx・p=0となるような3次元実ベクトル空間Vを動くとき、xがどのような図形を描くか答えなさい。なお、t()は転置を表し、x・pはxとpの内積を表す。 (5) (4)のようにxが動くとき、集合    W2={Ax|x∈V,x・a=0} がつくる実ベクトル空間の次元を求めなさい。 という問題があるのですが、 (1):λ1=3, λ2=0, λ3=-3 (2):略 (1),(2)は合ってる自信があります。 (3)   |1 4 0 |   |1 4 0 | A = |1 0 2 | = |0 -4 2 |   |0 2 -2 |   |0 0 0 | これはrank=2となり、xをかけてもrankは変わらないので、 次元は2 (3)は次元は合ってる気がするのですが、答え方が間違ってるような気がします。 (4),(5)の解き方が分かりません。 (4)はx・p=0なので直交することは分かるのですが、これをどう使うかが分かりません。 (5)は(4)が解けないと解けないのですが、(4)が解けたとしてもaというよく分からないの出てきてて、解けなくなってしまいそうです。 どなたか(3),(4),(5)を解いて下さる方いらっしゃいませんか?

  • ベクトル空間における「体積」について教えてください。

    ベクトル空間における「体積」について教えてください。 Rを実数体とし、Vをn次元Rベクトル空間とする。 正定値かつ対称な双線形形式< , >:V×V→Rが存在するとする。 このとき、n個の一次独立なベクトルv_1,・・・,v_nで張られる集合Aを考える。 A={r_1v_1+・・・+r_nv_n|r_i∈R 0≦r_i<1} Aの体積V(A)を、V(A):=|det(<v_i,v_j>)|^(1/2)と定義する。 では、Vの任意の部分集合Aに対しては、どのようにして体積を定義するのですか?

  • ベクトル空間 アフィン空間

    ベクトル空間とアフィン空間について ベクトル空間は自然にアフィン空間であるという点なのですが、 ベクトル空間の対象は線形(原点を通る)だと思います。一次関数は線形ではありませんよね。 ここで、ベクトル空間の対象外である一次関数はアフィン空間の対象であるのになぜベクトル空間は自然にアフィン空間なのでしょうか? アフィン空間はベクトル空間を一般化という事は、アフィン空間はベクトル空間の上位集合?という感じでしょうか・・・ 今まで、いろいろ質問させていただき、回答をノートに纏めていたのですが、この点がどうも引っかかってしまって・・・ Wikipediaによると、 「一つのベクトル空間の張り合わせによってできる幾何学的な対象の一つにアフィン空間がある。」 とあるのですが・・・