• ベストアンサー

線形代数 補空間って?

「補空間」について調べていたのですが、「直行補空間」わかるのですが、ただの「補空間」は定義の記述が見当たらずに問題を解くのに困っています。 Vをベクトル空間、その部分空間をW1とした時に 「W2が、VにおけるW1の補空間である」とは、 VがW1とW2の直和になっている、という意味だと解釈してよいのでしょうか?

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

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

いいと思います で、質問者様がそのような疑問をもたれた背景には、 直交補空間の定義から VがW1とW2の直和になっている、という意味 が伺えなかったからだと思いますが、 実際は、直交補空間も補空間の特別なものになっています また、直交補空間 を直交する補空間と理解しても間違いありません 尚、補空間の大切な性質はduality(双対性)です

kokkoro
質問者

お礼

どうもありがとうございます!!

関連するQ&A

  • 線形代数の問題です。

    ・R上の数ベクトル空間R^2を二つの部分空間の直和として表す仕方を自明な部分空間は用いず、二通り求めよ. ・K上n次元の線形空間Vは、K上の数ベクトル空間K^nに同型であることを示せ. いま線形代数を勉強をしているのですが、この二問がどうしても解けなくて困っています。ご教授お願いできないでしょうか? 課題、レポートではありません。 この問題が解けないと先に進めません。どなたかよろしくお願い致します。

  • 線形代数学についての質問です

    R^2の部分空間W₁={(α,0)│α∈K}とW₂={(0,β)│β∈K}に対し線形空間R^2はW₁とW₂の直和になることを示しなさい この問題が分かりません…

  • 線形代数 ベクトル空間について

    Wがベクトル空間R^3の部分空間かを調べる問題で W={xはR^3に含まれる| 2x_1 - 3x_2 + x_3≦1} W={  〃     | 3x_1 + x_2 + 2x_3≦1} というのが分かりません。答えは「部分空間でない」です。 x_1は、xの右下に1がついているという意味です。x_2、x_3と同様です。 「≦1」ではなくて「=1」なら、部分空間でないことになるのはわかるんですが、不等号がつくと分からないです。 よろしくお願いします。

  • V:線形空間

    V:線形空間 W1,W2:Vの部分空間 f:W1?W2 → V (?は直和記号) f(x,y)=x+y と定めると,fは線形写像になる. このとき, W1とW2がVを生成する⇒fは全射 はどのように示せば良いですか? 線形写像と言うことは容易に分かりますが全射になることがわかりません. よろしくお願いします.

  • 線形代数で部分空間かどうかの判定

    R^2内の次の直線、曲線がR^2の部分空間かどうか判定せよ。 (1) y=3xを満たすベクトル[x;y]の全体 (2) y=2x+1を満たすベクトル[x;y]の全体 (3) y=x^2を満たすベクトル[x;y]の全体 …という問題で、本の答えはそれぞれ、 (1) 部分空間 (2) 部分空間ではない (3) 部分空間ではない …となっています。しかし、例題が載っていないので どうやって解いたのかいまいち理解できていません。 多分、次の定理を使うんだと思います: ベクトル空間Vの部分集合Wが部分空間であるための必要十分条件 (1) W=Φ (2) a, b∈W ⇒ a+b∈W (3) a∈W, λ∈R ⇒ λa∈W Aをm×n行列とするとき、 W={x∈R^n | Ax=0} はR^nの部分空間である。 …ここからは推測ですが、 (1)はyと3xが比例しているような関係で 「xのちょうど3倍がyになる」から部分空間なのですか? (2)は+1があって原点を通らないので 部分空間じゃないのですか? もし、y=2xだったら部分空間ですよね? +1や-1が付くような場合はすべて 「部分空間じゃない」と考えてもいいですか? (3)は原点は通っていても yがxの二乗に比例しているので 部分空間じゃないんですよね(倍数では表せないので)? 宜しくお願いします。

  • 線形代数の問題で質問です。

    線形代数の問題で質問です。 VをK上のベクトル空間とし、UおよびWをVの部分空間とする。 このとき、もしU∪WがVの部分空間であるならば、U⊂VまたはW⊂Vが成り立つことを示せ。 という問題なんですが、U∪WがVの部分空間であるならば、U⊂VまたはW⊂Vが成り立つというのは、なんとなく想像できるんですが、どうやって証明したらいいか分かりません。 教えてください、よろしくお願いします。

  • 線形代数の固有値の問題です

    vの転置行列をtvと表します。 問.v∈R3かつv≠0とし、a∈Rとして3次正方行列BをB=aE(3) + v*tvによって定める。 (1)Bvをaとvを用いて表すことによってvはBのある固有値に対する固有ベクトルであることを示し、vに対応するBの固有値をaとvを用いて表わせ。 (2)aはAの固有値であることを示し、aに対するBの固有空間はvで生成されるR3の部分空間の直行補空間であることを示せ。 という問題なんですが、固有ベクトルの定義に帰ってみて考えているのですが全然わかります。 tvがキーになっているように思います。 どなたか解説お願いします。

  • 線形代数学

    (1)W={x∈R^3|x_1+2x_2+5x_3=0,x^2_1+x_2+2x_3=0}とおく WはR^3の部分空間になるかどうか調べよ (2)Vをベクトル空間としW_1,W_2はVの部分空間とする、W_1∪W_2がVの部分空間ならば、 W_1⊂W_2またはW_2⊂W_1となることを示せ という2問がわかりません 1問でもいいのでわかるかた教えてください

  • ベクトル空間の問題について

    はじめまして、試験が近いのですが分からない問題があるので質問させていただきます。 「Vを空間上の有向線分のなすベクトル空間とする時、 1)一つの直線L上の有向線分全体WはVの部分空間であることを示せ。 2)一つの平面π上の有向線分全体XはVの部分空間であることを示せ。 3)Vの部分空間は、上記1)2)のタイプと、V自身、{0}のみであることを示せ。」 「V×Wが (v1,w1)+(v2,w2):=(v1+v2,w1+w2) λ(v,w):=(λv,λw) で定義された演算でベクトル空間になることを証明せよ。」 この二つの問題です。 頭を捻っても解答が出てこないので質問をさせていただきました。 よろしくお願いします。

  • 線形代数

    Uをベクトル空間、Wをその部分空間とする。 もし、dimW=dimUが成り立つならば、W=Uであることを示せ。 この問題が解けないです。教えていただけませんか。