• 締切済み

ベクトル空間の核の基底と次元の問題で

ベクトル空間の核の基底と次元の問題で 教科書には R^n→R^m の変換の問題はあったので解くことはできるのですが M22→M22(正方行列) や R[x]n→R[x]n(多項式) の場合、 核の基底も正方行列や多項式の形で表されますか? 列ベクトルの形の基底しか見たことがないので、 上のような形の答えが出てしまい不安です。 基本的なことが理解できていなくて申し訳ないのですが、 どなたか教えてください。

みんなの回答

  • masudaya
  • ベストアンサー率47% (250/524)
回答No.3

#2さんの言うとおり, 答えは,正方行列や多項式の形になります. 考え方としては,#1で述べたように,数ベクトルと同じに考えられますよ.ということです.誤解を与えてしまったようですみません.

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.2

もちろん「核の基底」は正方行列なり多項式なりで書くことになります.

ra66it
質問者

補足

ありがとうございます。 やはりそうなのでしょうか? 一応、masudayaさんの回答に添って列ベクトルに直してはみたのですが… どちらでもいいというわけではないのでしょうか? 不勉強ですみませんm(_ _)m

  • masudaya
  • ベストアンサー率47% (250/524)
回答No.1

正方行列も,変換して数字を1列に並べれば,数ベクトルと同じになります. 多項式についても,各次数の係数を並べれば,ベクトルと同じになります. (多項式の場合このベクトルは内積は定義できませんが各次数:x^n は1次独立になります.内積を定義するには別の多項式の系列が必要です.:直交多項式で探してみて下さい.)

ra66it
質問者

補足

ありがとうございます。 正方行列は、例えば2列になっていればそれをそのまま縦に並べて列ベクトルに 多項式は、係数を縦に並べて列ベクトルに …ということで合ってますでしょうか? 質問を重ねてしまいすみませんm(_ _)m

関連するQ&A

  • 線形部分空間の次元と基底

    K=R or C V=M(n,n;K):n次正方行列 W={X∈M(n,n,K) | Tr(X)=0} となる線形空間Vとその部分集合Wがあります。 1)Wが線形部分空間になることを示す. 2)Wの基底と次元を求める. 上記の1),2)を示したいのですが、1)は示せたのですが 2)の基底と次元の求め方がわかりません。 列ベクトルの基底等は連立などを用いて解くことができるのですが、 このような空間の基底を求めるのはどのように解放を進めればよいのでしょうか?

  • 三次元空間ベクトルの基底

    はじめまして. 皆様のお知恵を借りたく投稿しました. 今、丁度大学のテスト前で過去問を解いていました。 そこでどうしてもわからない問題がありました。 三次元ベクトル空間内の解空間 x [ y ] / x + 2y - 3z = 0 z の基底を一組求めよ。 どうやったらいいのかさっぱり分かりません・・・ 皆様、ぞうぞお力添えを・・・・

  • 行列のなすベクトル空間?

    2次元実行列のなすベクトル空間をM2とし M2 = {A = [a11 a12, a21 a22] : aij ∈ R , (i,j =1,2)} (Aは2*2行列です、Rはベクトル表記かもしれません) 以下の2*2行列 E1 = | 1 1 | | 0 0 | E2= | 0 0 | | 1 1 | E3= | 1 0 | | 0 1 | E4= | 0 1 | | 1 1 | がM2の基底であることを示したいのですが、行列を成分とするベクトル空間は参考書では見つけられませんでした。 ベクトルが成分であれば線形独立を示せばよいと思いますが、行列の場合はどうすればよいのでしょうか?

  • ベクトルが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)を解いて下さる方いらっしゃいませんか?

  • ベクトル空間 次元 について

    前回質問(数ベクトル空間 ベクトル空間)させて頂いた内容です。 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つのベクトル空間」の部分空間と言う事で、 次元とは無関係ですよね? 以上、ご回答よろしくお願い致します。

  • 基底 一次独立 についての質問

    R^3の空間において、v1,v2∈R v1=(1,0,0),v2=(0,1,0)は一次独立だがR^3の基底では無い。 なぜ、このベクトルv1,v2は一次独立となるのでしょうか? 基底とならないことは理解できます。 正方行列でなければ、行列式が作れないはずなのに・・・ 2つのベクトルを行列の形に並べると(行列のカッコは表記上つけられませんでした・・) 10 01 00 となり、階段行列よりrank=2なので 10 01 の行列について考えれば良いという事でしょうか?これなら、一次独立であることは理解できます。 また、R^2の空間においては、 10 01 00 は、基底となりうるのでしょうか? R^2の場合、3行まであるような表記はしない? ご回答よろしくお願い致します。

  • 部分空間の基底の求め方

    ベクトルa1=t(1,2,1,-1) a2=t(3,4,1,1) a3=t(0,1,1,-2) a4=t(5,3,-2,9)  ※t(p,q,r,s)は転置行列  によって生成される部分空間をWとします。このときWの次元とそのひと組の基底を求めよ。 という問題なのですが次元については   (1 3 0 5) A=(2 4 1 3)   (1 1 1 -2)   (-1 1 -2 9) とおいてこれの階数を求めてdimW=2と求められたのですが1組の基底の求め方がわかりません。 基底の求め方を教えてください。

  • 部分空間の基底と次元について

    すみません、大学の教科書で少しわからない点があったのでご教授ねがいます。 質問は、Wの基底と次元の話なのですが、 W={(a,a,b)∈R^3|a,b∈R} が与えられています。 (a,a,b)=a(1,1,0)+b(0,0,1) Aベクトル=(1,1,0),Bベクトル=(0,0,1)とおくと、 W=<Aベクトル,Bベクトル> ここで、AベクトルとBベクトルは1次独立であるから、 AベクトルとBベクトルはWの基底となり、dimW=2 となると思うのですが、次のようにするとどうでしょうか・・ W={(a,a,b)∈R^3|a,b∈R} が与えられています。 (a,a,b)=a(1,0,0)+a(0,1,0)+b(0,0,1) Aベクトル=(1,0,0),Bベクトル=(0,1,0),Cベクトル=(0,0,1)とおくと、 W=<Aベクトル,Bベクトル,Cベクトル> ここで、AベクトルとBベクトルとCベクトルは1次独立であるから、 AベクトルとBベクトルとCベクトルはWの基底となり、dimW=3 となってしまう気がします・・・ 同じ部分空間Wが基底の取り方によって次元が変わるのはおかしな話だと思うのですが、どこが間違っているのかわからないのです・・・ おねがいします。

  • ベクトル空間の問題

    問題自体をそのまま書きます 3次正方行列Aの階数が2であるという。行列Aの第1列、第2列、第3列をそれぞれa1,a2,a3とするとき、以下の量がそれぞれいくつかを答えなさい。ただしR^3は成分がすべて実数である3次元列ベクトル全体の集合を表し、行列Aの成分はすべて実数とする。 (1)a1,a2,a3の中で線形独立(1次独立)なものの最大数 (2)R^3の部分空間{u1a1+u2a2+u3a3|u1,u2,u3はすべて実数}の次元 (3)R^3の部分空間{x∈R^3|Ax=0}の次元 という問題なのですが、1番は分かるのですが、2番以降の{}の中身の読み方が分からず、どのように考えて良いかがさっぱり分かりません。 何かヒントをいただけませんか? 後これは数学の中で線形台数の範囲になると思うのですが、こういうことに関して理解していくのによい参考書またはHPを教えていただけるとうれしく思います。

  • 線形空間は必ず基底を持つ(有限次元)

     先日某所で、明らかに有限次元のベクトル空間に関すると思える話に出会い、   「線形空間は必ず基底を持つ!({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)においても、どこかで選択公理のお世話になっているんでしょうか?。