No.8ベストアンサー
- 回答日時:
Ker A の基底を求める前に rank A や dim Ker A を求める
必要はないように思う。ただ普通に Ap = 0 を解けば、
p1 ~ p8 のうち何個かを使って残りの何個かが表される。
p = p3(-1,0,1,0,1,0,-1,0)
+ p2(0,-1,0,0,0,0,1,0)
+ p4(0,0,0,1,0,0,0,0)
+ p6(0,0,0,0,0,1,0,-1)
と解けたのであれば、
{ (-1,0,1,0,1,0,-1,0),
(0,-1,0,0,0,0,1,0),
(0,0,0,1,0,0,0,0),
(0,0,0,0,0,1,0,-1) }
が Ker A の基底を成す。
結果的に、dim Ker A = 4 であることも判る。
Ker に関して、貴方の答えは合っているようだ。
8 次ともなると、私も計算に自信は無いが、前述の MAXIMA によると、
rank A = 4 であり、従って dim Ker A = 4。
貴方の 4 本のベクトルは Ap = 0 の p に代入すると成立しているし。
Im のほうは、計算間違いがあるようだ。
A の右側に第 9, 10, 11, 12 列として
貴方の 4 本のベクトルを並べた 8 行 12 列の行列 B は、
これも MAXIMA によると、rank B = 7 になる。
答えが合っていれば、rank B = 4 でなければならないが。
どこで間違いが入ったのかは、探す気になれない。
Im の解法は、もっとシンプルに、A の列を順に試して
基底に入るかどうか調べていったらいいと思う。
Ker を求めたとき、dim Ker A = 4 は判っているから、
dim Im A = 8-4 である。A の列の中から、一次独立な
4 本を拾い出せばいい。
まず、第 1, 2 列と第 2 を採って、
{ (1,1,-2,-1,-3,-2,3,3), (-1,-2,1,4,1,6,1,-6) }。
これが一次独立であることは、ひと目で判る。
次に、第 3 列を加えて 8 行 3 列の行列 C3 にする。
これも rank C3 = 3 であることは、暗算で判る。
第 4 列は、零ベクトルなので、加えてみるまでもない。
A の第 1, 2, 3, 5 列からなる 8 行 4 列の行列 C4 を作る。
計算してみると rank C4 = 3 なので、
第 5 列は第 1, 2, 3 列に従属。基底には使えない。
A の第 1, 2, 3, 6 列からなる 8 行 4 列の行列 C4' を作る。
計算してみると rank C4' = 4 なので、
第 6 列は第 1, 2, 3 列に独立と判る。
結局、A の第 1, 2, 3, 6 列を採って、
{ (1,1,-2,-1,-3,-2,3,3), (-1,-2,1,4,1,6,1,-6),
(1,3,-2,-4,-3,-5,1,6), (1,0,-2,0,-3,-1,4,2) }
が、Im A の基底の一例となる。
MAXIMA の参考→ http://phys.hirosaki-u.ac.jp/wiki.cgi/maxima
No.2
- 回答日時:
8 次ともなると、たいへんな計算だねえ。
まず、核のほうからやる。
Ax=0 を解けばいいのだから、面倒だけれど、
消去法で丁寧にやれば、中学生でもできる。
核が求まると、次元定理から像の次元 n が判る。
あとは、行列の列から n 本の一次独立なもの
を探し出せば、それが像の基底になる。
この部分は、試行錯誤かな。
1 本づつ、取り出す列の組に加えてみて、
加えても一次独立だったら本当に加えることを
n 本になるまで繰り返す。
実際にやるのは、勘弁。きっと計算間違いする。
答え合わせなら、maxima とか、パソコンに
やらせてみては、どうだろう?
この回答への補足
できました。
8×8正方行列
A=
[1 -1 1 0 -1 1 -1 1]
[1 -2 3 0 -4 0 -2 0]
[-2 1 -2 0 1 -2 1 -2]
[-1 4 -4 0 7 0 4 0]
[-3 1 -3 0 1 -3 1 -3]
[-2 6 -5 0 9 -1 6 -1]
[3 1 1 0 3 4 1 4]
[3 -6 6 0 -9 2 -6 2]
とします。
この写像の核Ker(A)と像Im(A)を求めて下さい。
[ 1 -1 1 0 -1 1 -1 1]
[ 1 -2 3 0 -4 0 -2 0]
[-2 1 -2 0 1 -2 1 -2]
[-1 4 -4 0 7 0 4 0]
[-3 1 -3 0 1 -3 1 -3]
[-2 6 -5 0 9 -1 6 -1]
[ 3 1 1 0 3 4 1 4]
[ 3 -6 6 0 -9 2 -6 2]
⇩(行を基本変形すると)計算略
[1 0 0 0 1 0 0 0]
[0 1 0 0 1 0 1 0]
[0 0 1 0 -1 0 0 0]
[0 0 0 0 0 1 0 1]
[0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0]
[0 0 0 0 0 0 0 0]
よって、rank(A)=4=dim(ImA)
dim(KerA)=8-4=4
だから、基底ベクトルは4つ。
p=[p1 p2 p3 p4 p5 p6 p7 p8]^t
(^tは、転置行列)と書く。
p=(p1,p2,p3,p4,p5,p6,p7,p8)
(列ベクトルの記述です)
として、基底ベクトルを求める
Ap=0
[1 0 0 0 1 0 0 0]p=0
[0 1 0 0 1 0 1 0]p=0
[0 0 1 0 -1 0 0 0]p=0
[0 0 0 0 0 1 0 1]p=0
p1+p5=0
p2+p5+p7=0
p3-p5=0
p6+p8=0
p4=任意
t,s,u,vを媒介変数(4次だから媒介変数は4つ)として
p1=-t
p2=-s
p3=t
p4=u
p5=t
p6=v
p7=s-t
p8=-v
とすると、
p=t(-1,0,1,0,1,0,-1,0)+s(0,-1,0,0,0,0,1,0)+u(0,0,0,1,0,0,0,0)+v(0,0,0,0,0,1,0,-1)
よってKerAは、列ベクトル
(-1,0,1,0,1,0,-1,0)
(0,-1,0,0,0,0,1,0)
(0,0,0,1,0,0,0,0)
(0,0,0,0,0,1,0,-1)
の4つの基底ベクトルで生成されるベクトル空間。
次にImAを求める。
[ 1 -1 1 0 -1 1 -1 1]
[ 1 -2 3 0 -4 0 -2 0]
[-2 1 -2 0 1 -2 1 -2]
[-1 4 -4 0 7 0 4 0]
[-3 1 -3 0 1 -3 1 -3]
[-2 6 -5 0 9 -1 6 -1]
[ 3 1 1 0 3 4 1 4]
[ 3 -6 6 0 -9 2 -6 2]
列を基本変形する。
4列目が零ベクトルである。
7列目とが2列目が全く同じである。8列目と6列目が全く同じである。
1列目,2列目,3列目,5列目,6列目が残る。
これをあらためて
1列~5列とすると、
[ 1 -1 1 -1 1 ]
[ 1 -2 3 -4 0 ]
[-2 1 -2 1 -2]
[-1 4 -4 7 0]
[-3 1 -3 1 -3]
[-2 6 -5 9 -1]
[ 3 1 1 3 4]
[ 3 -6 6 -9 2 ]
4列目に(4列目-1列目)をする。
3列目に(3列目-2列目)をする。
1 -1 2 -2 1
1 -2 5 -5 0
-2 1 -3 3 -2
-1 4 -8 8 0
-3 1 -4 4 -3
-2 6 -11 11 -1
3 1 0 0 4
3 -6 12 -12 2
これをあらためて1列~5列とすると
3列目=3列目+4列目
1 -1 2 1
1 -2 5 0
-2 1 -3 -2
-1 4 -8 0
-3 1 -4 -3
-2 6 -11 -1
3 1 0 4
3 -6 12 2
の4列のベクトルが残る。
これを出来るだけ簡単な数字にすると、
3列目=3列目+2列目
1 -1 1 1
1 -2 3 0
-2 1 -2 -2
-1 4 -4 0
-3 1 -3 -3
-2 6 -5 -1
3 1 1 4
3 -6 6 2
2列目=2列目+3列目
1は目=1列目-4列目
0 0 1 1
1 1 3 0
0 -1 -2 -2
-1 0 -4 0
0 -2 -3 -3
-1 -1 -5 -1
-1 2 1 4
1 0 6 2
3列目=3列目-4列目
0 0 0 1
1 1 3 0
0 -1 0 -2
-1 0 -4 0
0 -2 0 -3
-1 -1 -4 -1
-1 2 -3 4
1 0 4 2
3列目=3列目-1列目×3
0 0 0 1
1 1 0 0
0 -1 0 -2
-1 0 0 0
0 -2 0 -3
-1 -1 -1 -1
-1 2 0 4
1 0 1 2
4列目=4列目-2列目
0 0 0 1
1 1 0 -1
0 -1 0 0
-1 0 0 0
0 -2 0 1
-1 -1 -1 0
-1 2 0 2
1 0 1 2
1列目×(-1)
2列目×(-1)
0 0 0 1
-1 -1 0 -1
0 1 0 0
1 0 0 0
0 2 0 1
1 1 -1 0
1 -2 0 2
-1 0 1 2
よって、
ImAは、
列ベクトル
(0,-1,0,1,0,1,1,-1)
(0,-1,1,0,2,1,-2,0)
(0,0,0,0,0,-1,0,1)
(1,-1,0,0,1,0,2,2)
を基底ベクトルで生成されるベクトル空間。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- 大学・短大 線形代数についての問題です。 A = 1 -2 -2c+1 2 -1 -c+2 1 -c+2 2c 7 2023/05/20 18:21
- 数学 3次元実ベクトル空間において, 平面 P:x-y+z+1=0 と直線 L:2(x-1)=-y=-z 3 2022/10/29 14:39
- 数学 逆像法について 高校生です -1≦X≦2のとき、y=2x-3の値域を求めよ。 この問題を、集合X={ 4 2022/05/01 17:38
- Excel(エクセル) エクセル VBA セルの結合 2 2022/09/07 11:48
- 数学 代数の問題教えてください 1 2022/06/12 14:36
- 数学 x^4-x^2+1=0 の解を求める際、x^2=tと置き、 t^2-t+1=0 をみたすtを求めると 2 2023/02/18 13:49
- 数学 1次元球のホモロジー群 1 2022/07/26 19:38
- 数学 問題文 3点A(1、2、3)、B(2、3、-1)C(3、1、4)の定める平面ABC上に点P(X、-6 1 2022/10/09 17:29
- 数学 上三角行列のn乗の証明 2 2023/07/23 21:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3行3列の行列の和と積の計算...
-
線形代数です。 正方行列A,BがA...
-
行列式 証明
-
基本行列の積
-
[☆急いでます!!☆] 基本変形の解...
-
単因子の計算問題
-
核空間と像空間の求め方
-
直交補空間の問題が分かりませ...
-
にゃんこ先生の自作問題、ヴァ...
-
掃き出し法は、行の基本変形と...
-
行列を分割するメリットを教え...
-
diag(-1,1)
-
Vandermondeの逆行...
-
det(-A) = (-1)^n detA
-
AとBは同じサイズの正方行列と...
-
行列の階数(rank)を求める
-
一般逆行列の求め方
-
【数値解析】行列の可約、既約...
-
零因子の問題です・・
-
n次の正方行列の逆行列の行列式...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
3行3列の行列の和と積の計算...
-
線形代数です。 正方行列A,BがA...
-
基本行列の積
-
行列式を帰納てきに求めるにあ...
-
数学「行列」の実生活への応用
-
行列と行列式の違いは?
-
matlabで条件をみたしたデータ...
-
逆行列(AB)^-1について
-
Aはn次正方行列で、どんなn次...
-
diag(-1,1)
-
直交補空間の問題が分かりませ...
-
行列の消去法のコツなど教えて...
-
大学数学を忘れました。3×3行列...
-
行列の階数(rank)を求める
-
行列の平方根?のようなもの
-
det(-A) = (-1)^n detA
-
[☆急いでます!!☆] 基本変形の解...
-
線形代数学のユニタリ行列の質問
-
行列式 証明
-
NPU付きのPCを買ったのですが、...
おすすめ情報