- 締切済み
Vを有限次元実ベクトル空間とし、W、W’をVの部分
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- tmppassenger
- ベストアンサー率76% (285/372)
ちょっと自分で復習してください。
- tmppassenger
- ベストアンサー率76% (285/372)
一般に X を実数体上の有限次元線形空間、 YをXの部分空間とした時、X/Yの次元はどうなるか?という事。dim(X) = dim(Y) + dim(X/Y)であることは習ったはず。分からないなら、先ずそこから復習する事。線形写像 f: X→ X/Yを f(v) = v+Y とした時の Im(f), ker(f)を確認せよ。また、Yの基底から拡張してXの基底を選んだ時、X/Yの基底はどうなるか? それが分れば、今の問題で、(V/W’)/(W/W’)とV/Wの次元を確認すれば分るはず。
補足
考えてみましたが、聞かれているものは答えられませんでした。線形写像 f: X→ X/Yを f(v) = v+Y とした時の Im(f), ker(f)、及びYの基底から拡張してXの基底を選んだ時、X/Yの基底はどうなるか、それらの求め方をご教授下さいませんでしょうか。お手数おかけします。
- tmppassenger
- ベストアンサー率76% (285/372)
左辺と右辺の次元を考えよ。左辺の基底、右辺の基底を考えれば、左辺から右辺への自然な同型写像が構成出来る。
補足
ご回答ありがとうございます。具体的にどのように求めたら良いかを記して下さいませんか。
関連するQ&A
- V:ベクトル空間 W:Vの部分空間
V:ベクトル空間 W:Vの部分空間 Vの自己準同型写像φについて φ(V)がWに含まれるとすると Tr(φ)=Tr(φ|W)が成立 感覚的には理解できるのですが 証明ができません(泣) どなたかよろしくお願いします(>人<;)
- ベストアンサー
- 数学・算数
- ベクトルが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)を解いて下さる方いらっしゃいませんか?
- 締切済み
- 数学・算数
- 線形空間は必ず基底を持つ(有限次元)
先日某所で、明らかに有限次元のベクトル空間に関すると思える話に出会い、 「線形空間は必ず基底を持つ!({0}は除く)」 とやってしまいました。その時、 「持つためには、選択公理が必要」 という指摘を頂いて、「有限次元では(選択公理不要)」と加えたのですが「これって本当にそうなのか?」とふと思い、質問しています。以下、有限次元に限定します。 (1)今までは・・・ 今までは、こう思って来ました。「次元の等しい線形空間は、みな同型」という事から、要は数ベクトル空間について、基底を持つかもたないか、調べれば良いはずだと。 n次の(n次元とは言いませんの)数ベクトル全体をVをすれば、Vには 自然な生成系、 B={(δi1),(δi2),・・・,(δin)}(δijは、クロネッカーのデルタ) があり、Bが生成系である事はすぐわかり、(δij)らが互いに独立である事もすぐわかり、さらに任意のv∈VがBのベクトルに従属なのもすぐわかるから、n次の数ベクトル全体Vは、長さがnの基底を持ちn次元で、有限次元線形空間は、選択公理抜きで必ず基底を持つと。 (2)定義に戻ってみると・・・ ところが基底の定義は、 「Vから取り出せる、独立なベクトルの集合で、最大本数を持つもの」 となると思います。ここでは有限次元に限定しているので、最大本数と書きました。 この定義に忠実に従って基底の有無を調べるとしたら、Vの部分集合全てを調べなければならない気がします。このような操作のためには、やっぱり選択公理が必要でないのか?、と突然気づきました。有限次元であっても、Vに含まれるベクトルは、無数にあるので・・・。 (1)と(2)は、本質的に同じでなければならないと思います。そうすると(1)においても、どこかで選択公理のお世話になっているんでしょうか?。
- ベストアンサー
- 数学・算数
- ベクトル空間 次元 について
前回質問(数ベクトル空間 ベクトル空間)させて頂いた内容です。 http://okwave.jp/qa/q8631000.html#answer 前回の質問内容を整理してわからなかった点を再度質問させて頂きます。 ベクトル空間の次元についてですが、以下のように理解しました。 Vはベクトル空間であるとします。 x,y,z∈Vについて、 (1)x,y,zのうち2つのベクトルが0なら1次元ベクトル空間 (2)x,y,zのうち1つのベクトルが0なら2次元ベクトル空間 (3)x,y,zがどれも0ベクトルでなければ3次元ベクトル空間 と理解しました。 R^2は2次元ベクトル空間 R^3は3次元ベクトル空間 R^nはn次元ベクトル空間 という説明がウェブ上で多々ありますが、 これは、ベクトル空間の「成分の数(項数)」であって次元とは関係 ないと理解しました。 ここまでで間違いありますでしょうか? 間違いがあればご指摘よろしくお願い致します。 *****以下、質問内容***** x,y,z∈Vについて、 (1)x,y,zのうち2つのベクトルが0なら1次元ベクトル空間 (2)x,y,zのうち1つのベクトルが0なら2次元ベクトル空間 (3)x,y,zがどれも0ベクトルでなければ3次元ベクトル空間 ですが、 (1)、(2)、(3)はいずれもR^3の部分空間とのことなのですが、この点がよくわかりません・・・ 私のイメージなのですが、 (1)⊂(2)⊂(3)のイメージがあるのですが、これは大きな間違いでしょうか? 3次元ベクトル空間の部分空間は2次元ベクトル空間と1次元ベクトル空間 と言ったイメージなのですが・・・ R^3の部分空間であるとは、「成分が3つのベクトル空間」の部分空間と言う事で、 次元とは無関係ですよね? 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- V:有限次元内積空間,∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V)
宜しくお願い致します。 [問]VとDual(V)をそれぞれ有限次元内積空間とVの双対空間とする。 ∀f∈Dual(V),∃1y∈V such that f(x)=<x,y> (∀x∈V) という問題が証明できません。 Dual(V)はvHom(V,C):={f;f:V→C,fはベクトル空間準同型}(Cは複素数体を表す) の事です。 fがベクトル空間準同型とは∀v,w∈V,∀c∈C,f(v+w)=f(v)+f(w)∧f(cv)=cf(v)と満たす線形写像の事です。 内積の定義は複素線形空間Vの任意の要素x,yに対して複素数<x,y>が定まり,次の4条 件を満たす時<x,y>をxとyの内積といい,内積が定義されている空間Vを内積空間と言 う。 (i) <x,x>≧0; <x,x>=0⇔x=0 (ii) <x,y>=<y,x>~ (~はバーを表す) (iii) <x+y,z>=<x,z>+<y,z> (iv) <αx,y>=α<x,y> です。 この命題を満たすyとして何を採れば宜しいのでしょうか?
- ベストアンサー
- 数学・算数
- 線形代数の問題で困っています。
U={F:V→W|Fは線形写像} とおき、 Vを3次元線形空間とし、{v1,v2,v3}を基底とする。 Wを2次元線形空間とし、{w1,w2}を基底とする。 このとき (1)Uは線形空間であることを示せ。 (2)Uの基底を一組求めよ。 (3){v1,v2,v3}、{w1,w2}を用いて同型写像を作ることにより、UとM(2,3)は同型になることを示せ。
- 締切済み
- 数学・算数
- 次元が空間を決める?
線型代数に関する質問です n次元ベクトル空間VはK^nと同型である。特にすべてのn次元ベクトルは同型である という定理の意味が良くわかりません 同型であるという言葉の意味がピンとこないために分からないような気がします テストが近いので、出来るだけ早めに回答いただきたいです
- ベストアンサー
- 数学・算数
- v1=(0,1,1),v2=(1,1,0)で生成される実ベクトル空間R
v1=(0,1,1),v2=(1,1,0)で生成される実ベクトル空間R3の2次元部分空間の正規直交基底を求めよ。 という問題なのですが、「Rnのm次元部分空間」(ここでは、R3の2次元部分空間)はどのようにもとめればいいのでしょうか。また、問題の詳細な解き方を教えてください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 体K上のベクトル空間Vの部分集合Wについて
体K上のベクトル空間Vの部分集合Wについて Vの部分集合W(≠Φ)が二つの条件 (a) W+W⊂W. (b) 任意の λ∈K につき λW⊂W. を満足すれば、Wは「線形演算について閉じている」という。 (a),(b)を満たすWはVの部分空間をなす。 となっています。 そこで質問です。 (a)が成り立てば、W+W=W となるのは何故でしょうか。 また、 (b)が成り立つとき、λ≠0ならば λW=W となるのは何故でしょうか。 学び初めの者です。よろしくお願い致します。
- ベストアンサー
- 数学・算数
お礼
ありがとうございました。