線形代数で次のような問題があったのですが教えていただきたいです。1
n次正方行列Aに対し、次の3条件が同値であることを示せ。
○+は直和とする。
(1) R^n = ImA ○+ KerA
(2) ImA ∩ KerA = {0}
(3) Ker(A^2) = KerA
(1)⇒(2)
を示すときに、直和なので(2)は定義どおりのような気もするのですがこれは違うのでしょうか?
そうすれば
(2)⇒(1)
を示すのは次元定理を使ってやればいいのかと考え、
あとは
(2)⇔(3)を示そうかなと考えましたが…
何かしらのヒント、もしくは回答よろしくお願いします。
No.1
- 回答日時:
元代数の非常勤です。
えっとね、少し言葉が足りないと思う。
質問されている問題の、定義がよく分からないから、
そこを補足して置いてくれると助かるかな?
R^n は 何を意味してる?
C^n ではなくて? Im A は Aの虚数部分と捉えていいんでしょう?
と、すると、 ker A は 何を意味してる?
実数部? だとすると、(3)は特殊な状態じゃないと成立しない。
こういうのは、分かるように書いてくれないと、こっちも答えようがないから。
すいませんがよろしくお願いします。
(=^. .^=) m(_ _)m (=^. .^=)
自分は分かっているんだ! だからみんな分かるんだ! って言うのは
早合点だからね><
No.2
- 回答日時:
(2)⇨(3)
kerA∋cとするとAc=0よりA^2c=0なのでkerA^2∋c
よってkerA^2⊃kerA
kerA^2∋cでc∉kerAとすると
A^2c=0
Ac≠0
であるが
imA∋AcでありA(Ac)=0よりkerA∋Ac
であるので(2)に反する
よってkerA∋cである
よってkerA⊃kerA^2
よってkerA=kerA^2
(3)⇨(2)
ImA∋cかつKerA∋cかつc≠0とすると
ImA∋cよりc=Abなるbが存在するが
両辺にAをかけてみると0=Ac=A^2bなので
kerA^2∋b
kerA=kerA^2なのでbはkerAの元となり矛盾
よってImA ∩ KerA={0}
No.3
- 回答日時:
寝る前で寝呆けてたみたいなので修正
(2):ImA ∩ KerA={0}
(3):kerA=kerA^2
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
(2)⇨(3)
c∈kerAならばA^2c=A(Ac)=A0=0なのでc∈kerA^2
よってkerA^2⊃kerA
c∈kerA^2ならば
c∉kerAとするとA^2c=0かつAc≠0であるが
Ac∈imAでありA(Ac)=A^2c=0よりAc∈kerA
これはAc(≠0)がimAの元でありkerAの元であることを意味するので(2)に矛盾
よってc∈kerA^2ならばc∈kerAである
よってkerA⊃kerA^2
よってkerA=kerA^2
(3)⇨(2)
0≠c∈ImA ∩ kerAとすると
c∈kerAよりAc=0
c∈ImAより0≠c=Abなるbが存在するがb∉kerA
一方A^2b=A(Ab)=Ac=0なのでb∈kerA^2
これは(3)に矛盾
わざわざ修正までありがとうございます!
(1)⇔(2)
は先の方針で大丈夫でしょうか?
定義通りとか次元定理を使うとかが証明としていいものなのかが不安です…
No.4
- 回答日時:
えっと、No.1です。
分からないから聞いているんだから。
ker A って何よ?
普通と同じかどうかも書いてないから、聞いているんだから。
みんなが分かるように書かないとダメだって、書いたじゃない!
No.2,3さんの証明でいいよ、普通であれば。
Im A = 「0行列」なんだから、もっと単純にいけるかもしれないけど。
通常使っているとおりです、ならそう書くようにしてね。
どうにもならないよ~。これじゃぁね。
#σ(・・*)なら落とすよ。定義してないから。
(=^. .^=) m(_ _)m (=^. .^=)
Aはm×n行列、xはn次ベクトル
としたとき、
KerA = { x∈R^n | Ax=0 }
ImA = { Ax∈R^m | x∈R^n }
これが通常使っているとB-jugglerさんが言われているものならこのことです。
いまはAはn次正方行列ですが...
No.6ベストアンサー
- 回答日時:
ほら、違うじゃない・・・。
~~~引用開始
Aはm×n行列、xはn次ベクトル
としたとき、
KerA = { x∈R^n | Ax=0 }
ImA = { Ax∈R^m | x∈R^n }
これが通常使っているとB-jugglerさんが言われているものならこのことです。
いまはAはn次正方行列ですが...
~~~~引用終了。
Im A って、イマジナリーパートのImだと思った。
こういうのが書いてないから、σ(・・*)の回答はおかしいでしょう?
Im を虚数部 と見ていたから、C^nではなく? と聞いたわけね。
ちゃんと整理しないとこうなる・・。
みんなに分からないとダメだよ? こういう勘違いを生んじゃダメよ。
で、難しい証明は必要としないはずだけどね・・・。
(1)はそのまま。
よく見れば分かるけど、ImA は 対角化されてるね?
KerA は 0行列だから、直和はそのまま対角行列だね。
ここで対角行列が分かるから、(1)⇔(2)は 一目ね。
0行列と、体格化されている行列の共通な成分があるとしたら、
{0}以外にはないね。 #空集合じゃないから気をつける!
(1)⇔(3) が先だよ!
これも一目だ。KerAが 0行列と分かっているんだから、
(3)は必ず成立する。直和なんだから(1)も当然成立だね。
#(3)⇒(1)が、ちょっとだけ厄介だけど、KerAが0行列だと気がつけば
#一発だね。
(2)⇔(3)は これで問題なしだよ。
(2)⇔(1)⇔(3) がいえているんだから、
(2)⇔(3) だけを証明する必要はない。
あってもそんなに難しくはないはずだよ。
(3)から、0行列というのが明らかなんだから
#あるいは単位行列なんだけど。KerAの定義で0だ。
(2)との共通項は、「0」しかありえないね。
#もしも、KerAが単位行列ならば、「0,1」になるはずだからね。
きちんと定義を示していないから、自分でもわかっていなかったんじゃないかと思って、
きちんと!と書いて、やってみると、やはりそうじゃない。
よく自分で理解もして、他人様が見て間違わないように、
書ける位になっていないと、こんな問題でつまづく。
#これは簡単だよ?
なんでも人任せにしちゃだめだよ。まず理解しようとしてください。
大学なんだから、自分でお金払って勉強しているんだからね。
早く、ここまで登ってくることだよ。エスカレータやエレベータなんて
代数の山にはついてないよ! 自分の足で登っておいで。
見える景色が変わるから。それは補償できる。がんばれ~~~
(=^. .^=) m(_ _)m (=^. .^=)
Imが虚数部分だと思っているとはピンときていなかったので、
始めなにの説明を求めているのかわからず何度もすみませんでした。
線形代数って掴みどころのない空間を扱っているので
なかなか自分の中で理解が難しいんです…
回答有難う御座いました!
自分でも考えつつ参考にさせて頂きます
No.7
- 回答日時:
うん、No6です。
代数の元非常勤ね。えっと、確かにつかみようがない。
微積は「方程式がでてくる」。幾何は「図形ででてくる」。
ところが線形代数や、代数自身、形が見えないことが多いね。
よく使う手なんだけど、実際に行列を書いてみる!
2×2 では簡単だから、3×3くらいでね。とりあえず、こういう行列なのか?
って書いてみる。
そういう作業を惜しまないでいると、頭の中だけで整理できるようになるよ^^;
最初はみんな分からない。これは当たり前のことだよ。
知ろうとすることが大事よ^^;
理解しやすいように、自分で書いてみたり、想像してみたり・・・エトセトラ^^;
つかめないからつかむ努力をするんだ~~。
雲はつかめないでしょう? だから形や成分を分析するんだね。
代数もそうだよ。 「数の代わり」に何かを使う学問としての数学なんだから、
例えを作っているんだからね。
自分で作ってみればいいんですよ ヾ(@⌒ー⌒@)ノ
3×3 で適当に行列作ってみる!(定義されている通りに)
これだと思うよ。イメージがわくから。
(=^. .^=) m(_ _)m (=^. .^=)
適当な行列作ってやってみるってのはよくやってます!
でも今やってるところってなかなかそれでもよくわからない事が多いんですよね…
何度も回答ありがとうございました!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形代数学の問題です! Vは 4 次元ベクトル空間とし線形変換 f ∶ V→ V のある基底 v1, 1 2022/06/12 09:25
- 数学 代数学のわからない問題を教えて頂きたいです。 つぎのn次正方行列の集合Hはn次一般線形群GL(n,R 5 2022/11/19 20:47
- 数学 数学3の式と曲線の、媒介変数表示の曲線の問題で、わからない点がございます。 次の媒介変数表示された曲 3 2022/04/21 14:52
- 数学 都市経済学の問題です。わかる方教えてください。 地主が得る地代を増やすために、都市の端までの距離 x 2 2023/07/18 17:41
- 大学・短大 線形代数についての問題です。 A = 1 -2 -2c+1 2 -1 -c+2 1 -c+2 2c 7 2023/05/20 18:21
- 数学 大学数学の定期テストの直しを行っているのですがこの線形代数の問題が分かりません。 次の連立一次方程式 1 2022/08/22 13:48
- Visual Basic(VBA) VBAで早押しゲームを作りたい 4 2022/05/12 13:46
- 数学 線形代数の正方行列、交代行列についての問題がわからないです。 2 2022/07/14 14:55
- C言語・C++・C# C言語初心者 構造体 課題について 2 2023/03/10 19:48
- 数学 線形代数の正規直行系についての問題がわからないです。 1 2022/07/16 11:20
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
おすすめ情報