X



トップページ数学
177コメント40KB
線形代数学ムズすぎワロタw w w [転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0007132人目の素数さん垢版2015/06/04(木) 17:59:35.90ID:M/5YiBG5
どこがわからないの?
0010132人目の素数さん垢版2015/06/04(木) 22:08:24.10ID:7inhr1Y2
線型代数は、独学でどうにでもなる。
本屋で教科書を選んで、自分で読み、
あとは、先輩に過去問もらって試験対策。
ヘタクソな講義は、いらない。
0013132人目の素数さん垢版2015/06/04(木) 23:46:17.13ID:7inhr1Y2
>>12
線型代数は、範囲が狭くて、教養レベルで
完全理解が可能だから、黙々と教科書を読めば済む。
実際、ほんの20年ほど前は、理系の高校生は
受験勉強の一部として独学でマスターしてた。

線型以外は、ある程度ボリュームがあるから、
教科書の他に案内人があったほうがいいだろ。
0014132人目の素数さん垢版2015/06/05(金) 00:22:22.61ID:IQZQVhtS
ジョルダン標準形の作り方は難しいよな
あんなん覚えられへん
0015132人目の素数さん垢版2015/06/05(金) 00:27:03.60ID:IQZQVhtS
てか線"形"派かよ
ないわー
0016132人目の素数さん垢版2015/06/05(金) 01:01:25.05ID:xyS+fQ5x
そういえばうちの先生も板書するとき面倒だから線形にしますって言ってた
0017132人目の素数さん垢版2015/06/05(金) 01:06:43.96ID:yR8VNM5m
函数派もある
0021あんでぃ垢版2015/06/06(土) 08:24:48.20ID:M4ifBR2n
>>1
     ζ
  /  ̄ ̄ ̄ \
  // ~  ~ \:\
| (●)   (●) :|
| ノ(_)ヽ ::|
 | `-=ニ=-′ ::|
  \ `=′ ::/
  /`ー――-´\俺は迷った時は…直線書いて原点書いてその上でイメージしてる…
0022132人目の素数さん垢版2015/06/06(土) 08:43:35.44ID:B3ebV8sh
>>20
唯一のゴールではないが、
連山の一つの頂きではある。
ジョルダン標準形と
一般化逆行列が解ると、
かなりの部分をカバーした
ことになると思う。
0025132人目の素数さん垢版2015/06/07(日) 14:48:28.02ID:GfPuZo06
線型代数は、既に完成された分野で、現代では
他の学問の道具ではあっても、それ自体学問ではない。
線型が学問であった時代は、もう終わって久しい。
0026132人目の素数さん垢版2015/06/07(日) 18:40:03.02ID:xyYd9vVB
表現論かな
0027132人目の素数さん垢版2015/06/07(日) 23:57:15.91ID:rtzsnmCo
数学専攻以外の奴もいっぱい受講するような線形代数の授業は
結局これって何に役に立つのってことを語れない教員が担当して
延々と定義と定理と証明だけを淡々とやっていると、
一気に受講生がダレる。
0028132人目の素数さん垢版2015/06/11(木) 13:30:34.70ID:B7NcMNTX
線形代数のゴールは自由に使えて役立つ事

ワロタと書いてる奴が笑えた試しがない
0029132人目の素数さん垢版2015/06/21(日) 16:59:54.41ID:vvq8QYPN
>>1
ぶっちゃけ学部三年以下は先生なんて不要。
先生に授業させてあげないと君たちから授業料取れず食いっぱぐれる
から形だけやってるだけのこと。
0030132人目の素数さん垢版2015/06/21(日) 19:22:15.92ID:H9BWt239
>>25
本当に完成された分野なの?
Linear Algebra and its Applications で検索!
0032132人目の素数さん垢版2015/06/21(日) 21:51:30.54ID:qYAw3gAl
すぇんふぇーたいすぅ
0033132人目の素数さん垢版2015/06/22(月) 09:57:41.31ID:x1YvjqO0
授業で聞いてたときは意味不明だったけど
たいして線形代数について勉強もしてないのに
いつの間にかできるようになってた
0034132人目の素数さん垢版2015/07/07(火) 00:26:41.38ID:ICAnLjoF
こんなん何の訳に立つんだってずっと思ってた
そもそも掛け算がああなるのを論理的に解説できる奴いるのか?
0035132人目の素数さん垢版2015/07/07(火) 01:05:28.22ID:KThAE+XR
行列の掛け算?
あれは線型写像としての合成写像を表すように決めてるだけだよ
Aを行列として、xをAxに移す写像をf_Aとしたときに、
f_A・f_B: x |→ f_A(f_B(x))
がf_ABとなるようにABを決めてるだけ。
0036132人目の素数さん垢版2015/07/07(火) 11:58:40.43ID:+YSmYJIy
行列の積は、添え字使って成分表示するとごく自然に見えるし、
総和にアインシュタインの規約を使うとなおさら
0037132人目の素数さん垢版2015/08/14(金) 15:31:30.14ID:ts0VxyZa
工学部の二年生です。
数学科に準ずる内容の線形代数と微積分を終えるのに、今の時期までかかりました。
集合論や位相空間論はまだです。
とても遅いですよね?
0039132人目の素数さん垢版2015/08/14(金) 15:39:35.51ID:ts0VxyZa
ですよね。数学科の二年生だとどうなんだろう
0040132人目の素数さん垢版2015/08/14(金) 19:18:15.29ID:Pe/31HB4
工学部だと、具体的にガリガリ計算しないといけないことが多いから
そのペースだと困るんじゃないの

別に集合論や位相空間論は大して要らないだろうけど
0041132人目の素数さん垢版2015/08/14(金) 19:28:51.11ID:7CrhdgNx
遅いとは思うが、悲観するほどでもないんでね?
0042132人目の素数さん垢版2015/08/14(金) 19:30:32.00ID:7CrhdgNx
※だだし「数学科に準ずる内容の線形代数と微積分」がホントとして
0043132人目の素数さん垢版2015/08/14(金) 21:02:34.68ID:hz+ORblh
数学科の修士課程に進みたいんです。
εーδ理論や線形空間とかで数ヶ月もかかりました。
工学系の必修科目で時間取れませんでしたが、もう単位はある程度とったので一気に進めたいです
0044132人目の素数さん垢版2015/08/14(金) 22:57:09.89ID:Pe/31HB4
修士に行って何をやりたいの?

>εーδ理論や線形空間とかで数ヶ月もかかりました。
これ本気で言ってるならちょっと無理気味だと思う
0047132人目の素数さん垢版2015/08/15(土) 17:27:32.30ID:fuGjDKjn
博士号とる事自体でも難しいのでしょうか?
0048132人目の素数さん垢版2015/08/15(土) 17:40:21.22ID:oFhU3AyR
数学科ってそんなに難しい数学やってるの?
所詮フーリエ解析やったりする程度で工学部とかわんねーんじゃね?
0049132人目の素数さん垢版2015/08/15(土) 17:46:12.92ID:omEPK+ny
・学部なら、フーリエ解析は名前しか知らないで、それなりに優秀に卒業する人もいる
・割と近所の理論物理(※そちらではそれなりに優秀な人)でも、初回から逃げ出すのは日常
そんな世界
0050132人目の素数さん垢版2015/08/15(土) 18:51:02.67ID:fuGjDKjn
博士号なんて一般人には無理だとか、取る事自体は簡単だという意見を見ますがどちらが正解なのでしょうか?
0051132人目の素数さん垢版2015/08/15(土) 19:36:41.24ID:PsDPlrVI
才能もちょっとは要るけど、
そんなのよりも金の心配しなくていいくらいの十分な資産が要る

博士号は金になる免許ではないので
これがあるからって食ってける訳ではないので
0052132人目の素数さん垢版2015/08/15(土) 20:34:07.24ID:fuGjDKjn
それは覚悟してます。
私の場合ですと、全ての費用を考えて1000万は借金になります。
0053132人目の素数さん垢版2015/08/15(土) 23:34:22.30ID:fuGjDKjn
そもそも数学の研究が自分で出来るようになれば、大学のポストに着く拘りもありません。
それなら修士課程でベースとなる力は出来るのかな?
0055132人目の素数さん垢版2015/08/16(日) 14:09:19.16ID:RMSJ0zwv
修士課程から3年間も勉強するだけのことはあるからな
0057132人目の素数さん垢版2015/08/16(日) 17:12:31.86ID:L2UQlchc
線形代数は論理そのものだからなあ
0058132人目の素数さん垢版2015/08/16(日) 17:16:23.85ID:VOLx1rWl
有限次元でC,R係数なら、昔の高校生レベルに毛が生えただけじゃん
0059132人目の素数さん垢版2015/08/17(月) 23:51:54.38ID:5TKFumo4
とりあえず代数系ならscheme論理解してからもう一度数学板に戻って書き込みしてみなさい。
線形代数をちゃんと分かってるならその先の理論もすすめられるから
0060132人目の素数さん垢版2015/08/19(水) 06:07:23.83ID:nFTdfrBc
>>57
なんのこっちゃ…(*_*;
0061132人目の素数さん垢版2015/08/19(水) 21:35:47.66ID:fax3wkIv
線形代数終わらせたばかりの人が2年までにハーツホーンということか。
0062132人目の素数さん垢版2015/08/26(水) 14:13:10.78ID:y9hNxORm
>>57 計算(できること)も重要。
行列式やジョルダン標準形など。リー群とリー環が分かるか否かにも関係してくる。
でも、そういうことが分かるのは結構先に進んでから。
0063132人目の素数さん垢版2015/08/26(水) 15:46:06.28ID:LjheLZPj
線形代数終わったからって、複素解析あたりは手を抜くなよ。
学部3年で習うのですら半分は理解できずに終了するんだからな
0064132人目の素数さん垢版2015/08/26(水) 16:11:48.81ID:+5wlRAtf
線型代数の復習にリー環の古典論は結構良い
0065132人目の素数さん垢版2015/08/26(水) 16:18:22.62ID:LjheLZPj
どういう意味?
0066132人目の素数さん垢版2015/08/26(水) 16:22:45.91ID:TzmFlMap
文字通りだが?
0067132人目の素数さん垢版2015/08/26(水) 16:47:23.07ID:LjheLZPj
そういう本があるのね
0069132人目の素数さん垢版2015/08/26(水) 19:16:59.98ID:HCDHvRML
もっと細かく言えば、sl_2の有限次元表現は固有(値・ベクトル・空間)の良い復習
0070132人目の素数さん垢版2015/12/29(火) 12:26:43.63ID:XwomXdE/
結局、代数学の基本として(プロトタイプとしても)重要なのは、線型代数。

加群を独学で勉強しはじめて、線型代数をより抽象化一般化したものと気づく。

線型代数の代数構造=体上の(有限次元)自由加群

線型代数は、それ以外に、行列(式)とか双対空間とかテンソルとか、いろいろあるが。
それがわかってきたのは10年ほど前。
今やっと、可換環、環と加群からD加群(非可換環)とか、勉強してる。

ホモロジー代数、圏と関手、加群は地味だけど全数学の基礎として重要。
そこに気がついてから、(抽象)代数の存在理由が納得でき、苦手ではなくなった。
0071132人目の素数さん垢版2015/12/29(火) 13:26:01.35ID:53jZIk5/
ブルバキの代数とか彌永小平の現代数学概説Tとか読むと線型代数がよくわかる
0073132人目の素数さん垢版2016/01/01(金) 18:40:17.51ID:nZF6qwKJ
こういうゲームを考えました それはこういうルールで
こうなるとルール違反で 等と延々と聞かされても困るわけで
まずはどうしてそんなゲームを考えたのか? そこから始めないと
思考がはじまらない人間もいるんだよね
0074132人目の素数さん垢版2016/01/02(土) 12:34:58.10ID:0l5EfMwa
解析の入門をさらっとやって、その中で
線型性の重要さに自分で気がつかない奴には、
教えるのも勉強させとくのも完全に無駄。
鍬持たせて畑へ行かせろ。
0075132人目の素数さん垢版2016/01/02(土) 14:17:11.02ID:WliCnLnE
>>74みたいな単細胞こそ畑に行くべき
0076132人目の素数さん垢版2016/01/02(土) 14:22:00.17ID:ZWVvdtxz
定義:
解析の入門をさらっとやるとは、線型性の重要さに自分で気付くことをいう

こういうことだろwwwww
0077132人目の素数さん垢版2016/01/02(土) 18:26:29.13ID:9O3T3khC
普通だったら置換の定理でも見ればどう使われていくのか理解できるもんさ
0078132人目の素数さん垢版2016/01/02(土) 19:07:01.38ID:1DsrW2AK
正月休みで酒飲みすぎたついでに2ちゃんで憂さ晴らしするおっさんのいるスレはここですね
0079132人目の素数さん垢版2016/01/02(土) 21:33:19.88ID:5S0sGdOH
今10リットルのラム酒がある。
で、2リットルの容器に1リットルだけ入れたい。
ただし、8リットルの空の容器も使ってもいい。
どうすればいいと思う?
0080132人目の素数さん垢版2016/01/02(土) 21:44:01.47ID:lVCjevaN
めんどくさいから全部飲んじゃえばいいよ
0081132人目の素数さん垢版2016/01/02(土) 21:53:25.70ID:5S0sGdOH
実わ、2リットルの容器には、1リットルのところに印がついてんだよ。簡単だろ。
0082132人目の素数さん垢版2016/01/02(土) 22:09:32.46ID:WliCnLnE
しかしこれ、自分が賢いと勘違いしている馬鹿が書くような文章のテンプレとしては
なかなか有用なんじゃないかw


使用例:
代数学の入門をさらっとやって、その中で
圏論的思考の重要さに自分で気がつかない奴には、
教えるのも勉強させとくのも完全に無駄。
鍬持たせて畑へ行かせろ(キリッ
0083132人目の素数さん垢版2016/01/02(土) 22:28:17.56ID:5S0sGdOH
テンプレな(笑 2ch式固定観念の塊じゃ、頭のよしあし以前の問題だな
0085132人目の素数さん垢版2016/01/03(日) 08:11:46.25ID:5jE0tFNH
農産業なめちゃまずい
野菜でも和肉でも果物でも、はたまた魚でも
節度守って消費してりゃこれ以上外国から何買うんだ
ほどの貢献度。原則農にTPP必要なしと世襲で農に移った
友達の弁
0086132人目の素数さん垢版2016/01/03(日) 08:36:43.96ID:5jE0tFNH
連投。昔その友達が父親とマックでハンバーガー
食べたとき、あのパサパサの肉を口にした親父さんが
これ何の肉だ? 一応牛肉だけどみたいなやり取りが
あったらしいがどっちにしても身内は大事
0088132人目の素数さん垢版2016/01/03(日) 15:05:19.02ID:i3AxiZgA
導来軒の場合は、ラーメン屋へ
0090132人目の素数さん垢版2016/01/03(日) 20:41:51.40ID:BoFKYzW2
そうだなあ 変な表現だけど + ←これ
もう当たり前に出現する記号だが これに厚みを持たせる
十字架のように銀ピカになって それが圧力で変形して歪む
さらには穴が開いてキーホルダーとしても使える
0091132人目の素数さん垢版2016/01/03(日) 23:48:08.97ID:uDOc+xYv
74や77の言ってることも、そのとおりだと思うけど。
人のことは言えないけど、自分が賢いと思ってるんじゃなくてそのくらいできて当然と思ってるんじゃないかな?
ただひたすら定義・証明のインプットだけでは学者になんてなれないだろうし
0092132人目の素数さん垢版2016/01/04(月) 09:58:44.14ID:1hokwuJa
>>82
このスレでは圏論知らない人多いだろうから解説任せた
0093132人目の素数さん垢版2016/01/04(月) 18:39:10.08ID:zqNJBW0Y
抽象的議論と具体的実例に分けてみる。
抽象的議論(定義、例、命題)の繰り返しで理解できず挫折している人は
具体的に、2次元や3次元で考えてみるといい。

詳しく言うと、連立一次方程式、行列(式)、次元の計算問題が解けること。
ジョルダン標準形は、計算問題が解けるのは大事だが、背後にある意味というか
視点に気が付くと、腑に落ちる瞬間が訪れる。
0096132人目の素数さん垢版2016/01/04(月) 19:14:38.01ID:JnmzcBn5
え、そうなのぉ(涙)
佐竹の本にちょろっとでてたんだけどさらっとしか書かれてなかったので他にないかなと思って
0097132人目の素数さん垢版2016/01/04(月) 19:32:36.53ID:p48tBvSG
自由加群だと言葉がガラッと変わるな
0098132人目の素数さん垢版2016/01/04(月) 22:59:04.53ID:1hokwuJa
佐武の演習題はやりましょう。
やらない人おおすぎ
0100132人目の素数さん垢版2016/03/23(水) 15:16:27.62ID:EsX3Pz3r
チャート式の代数学買おうと思うんだがどうなんだ?
0101????????垢版2016/05/01(日) 08:10:09.73ID:GScjdjrG
斉藤斉次・・・何とよむ?  斉藤せいじさん?
大むかしのう、日本には藤原さんがたくさんおってのう。区別がつかんで、何とか
の藤原とかいっとった。なんとかの藤もんとか?で、みんな藤やから、おんなじ藤。
おなじ藤=>斉の藤、…斉藤になったんやて。いまでいや、同藤さんでもええや。
…一斉攻撃!!!!!!!!!!
0102????????垢版2016/05/01(日) 08:10:50.69ID:GScjdjrG
日本人における一般的な姓のひとつ。
「斎宮頭を務めた藤原氏」の略と言われている。
北海道や東北地方などに多く分布し、旧字体の「齋藤」のほか、異体字である
「齎藤」と表記する人物も多い。
0106・・・・垢版2016/05/08(日) 17:34:59.50ID:/i6gPHqb
性器行列ってなに????
0107・・・・垢版2016/05/08(日) 17:35:30.94ID:/i6gPHqb
なんでも性器化しちょうのかねぇ?
0108132人目の素数さん垢版2016/05/08(日) 17:38:37.57ID:fBVqqdjj
さすが九州土人
東北土人ざまあトンキンざまあお祝いますwwwww
とかほざいただけあって下品丸出し
0109?????垢版2016/05/08(日) 22:03:32.82ID:/i6gPHqb
出ました、お○ンコ行列。チ○コ行列てか?

チ○コ^t=列(縦)チ○コ行列を行(横)チ○コ行列に変換する?
0110?????垢版2016/05/08(日) 22:06:46.74ID:/i6gPHqb
性器行列とは  ZZ^*=Z^*Z チ○コ行列とマ○コ行列の体位が変わっても
感じるのは同じ?
0111?????垢版2016/05/08(日) 22:12:27.87ID:/i6gPHqb
魚、ぎよ!、ぎよ!ぎよ!ぎよ!ぎよ!ぎよ!ぎよ!ぎよ!…さかなクンか?
猛烈、パイ列、モーレツ!・・・・・

行列だぁ!!!!!!!!!
0112132人目の素数さん垢版2016/05/08(日) 22:14:59.94ID:LTnFiTZK
↑これが数学板の実力です
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル
0113132人目の素数さん垢版2016/05/08(日) 22:58:40.20ID:AN/swqkX
ゴミスレに劣等感
0116132人目の素数さん垢版2016/05/10(火) 20:19:46.51ID:xuqE8CyS
加群で同型だからといって環同型とは限らないんだね
opの練習問題みてやっとわかった
3日くらい悩んでた自分アホすぎ
0117132人目の素数さん垢版2016/05/12(木) 00:05:30.27ID:IJzfUjM0
加群で同型ってどういう事?
ある二つの環を、積を忘れて加群として見たときに同型って事?
0119132人目の素数さん垢版2016/06/08(水) 18:59:04.44ID:+iFGNZKB
V=R4乗とする。次のそれぞれのベクトルで形成されるVの線形代数の部分空間Wの基底を1組見出し、その次元を求めよ。
(1)v1=(1,4,-1,3),v2=(2,1,-3,-1),v3=(0,2,1,-5)
(2)v1=(1,-4,-2,1),v2=(1,-3,-1,2),v3=(3,-8,-2,7)
(3)v1=(1,1,0,-1),v2=(1,2,3,0),v3=(1,2,2,-2),v4=(2,3,3,-1),v5=(2,3,2,-3),v6=(1,3,4,-3)

実際の問題文では、ベクトルは全て縦書き(4行1列)で書かれています。
線形関数式を作って係数で1元1次方程式を作ってみたのですがどうもうまくいきません。
スレちならすみません。
0131132人目の素数さん垢版2016/12/19(月) 14:12:56.70ID:4qCEI1DC
〔問題〕
 (t1,t2,・・・,tn) = Π_[1≦i<j≦n] (t_j-t_j)
をtの差積という。(行列式の形で表わすことも可能)

 I_n = ∫[0<t1<…<tn<1] (t1,t2,・・・・,tn) dt1 … dtn
に対して、
 I_{n+1}/I_n = n!・n!/(2n+1)!
が成り立つでしょうか?

初めの方は
I_1 = 1,
I_2 / I_1 = 1/6,
I_3 / I_2 = 1/30,
I_4 / I_3 = 1/140,
I_5 / I_4 = 1/630,
I_6 / I_5 = 1/2772,
I_7 / I_6 = 1/12012,
0132132人目の素数さん垢版2017/02/09(木) 06:25:15.48ID:8w5nXYYM
X = (a, b)
  (c, d)

Y = (a', b')
  (c', d')
とする。

(1)
Xの固有値は tr(X)=a+d と det(A)=ad-bc で決まることを示せ。

(2)
Xの固有ベクトルは (a-d):b:c の比で決まることを示せ。

(3)
XとYが交換可能(XY=YX)ならば、
 (a-d):b:c = (a'-d'):b':c'
となることを示せ。

(4)
交換可能な行列は、固有ベクトルが一致することを示せ。

(5)
交換可能な行列は、同じ直交行列Tにより対角化できることを示せ。
0133132人目の素数さん垢版2017/02/10(金) 00:29:14.71ID:NScJQibH
訂正

(5)
〔対角化可能な行列について〕
交換可能な行列は同じ正則行列により対角化できることを示せ。

(6)
〔対称行列(b=c~)について〕
・異なる固有値に属する固有ベクトルは直交する。
・直交行列により対角化できる。
ことを示せ。
0134132人目の素数さん垢版2017/02/13(月) 07:44:25.04ID:jwjGj+UW
>>132
(4)
Aの固有ベクトルをuとすると、
 A(Bu)= B(Au)= a(Bu),
∴ Bu もAの固有ベクトル,
∴ Bu = bu,
∴ uはBの固有ベクトルでもある。

>>133
(5)
 固有ベクトルを並べた行列をTとする。
 A、Bは正則行列Tにより対角化できる。
0135132人目の素数さん垢版2017/02/16(木) 09:17:20.13ID:Evel7Aab
>>132
(1)
固有多項式
det(x・I-A) = xx−tr(A)・x+det(A),


>>133
(6)
Au = a1・u,Av = a2・v,a1≠a2
とする。
Aは対称行列だから
0 =(v,Au)-(A~v,u)=(v,a1・u)-(a2~・v,u)= (a2-a1)(v,u)
ここで a2-a1≠0 だから(v,u)= 0,
0136132人目の素数さん垢版2017/04/19(水) 11:26:15.17ID:hBN+Qmpx
このはしために教えてください。

正方行列Aを行基本変形を行い階段行列を行う際、掃き出し法によって(1,1)成分は必ず1にしないといけないのですか?
0138132人目の素数さん垢版2017/05/05(金) 23:55:02.44ID:60atbvIQ
佐竹一郎さんがお亡くなりになっていたとはなあ
昔数学ガイダンスという日本評論社の数セミ付録の佐竹先生の
書いたものを読ませてもらった。写経をするといいと書いてあった。
手元にある数学セミナー2013年2月の小林昭七さん特集に佐竹先生は小林昭七くんの
思い出という記事を書かれておられる。
0139132人目の素数さん垢版2017/05/05(金) 23:55:24.08ID:60atbvIQ
あげておきたいので再度書いてあげます
0140132人目の素数さん垢版2017/05/06(土) 00:23:02.39ID:oAu8sH8R
 
 線形代数も解析学と同じ使い道の多い数学、ってことだわ。
 
0141132人目の素数さん垢版2017/05/06(土) 18:17:47.76ID:B6+1cQfp
理系教養レベルの線形代数(受験勉強に余裕があったら高校生でも独学可)
面白い。数学的な考え方が身につく。他の分野でも幅広く応用できる
特に実験データなども要らない。
となるとベースとしては最強。
ただしっかり深く理解して身につけようとするとなかなか。
0152132人目の素数さん垢版2017/06/06(火) 08:54:38.23ID:tpt12kwV
工学部だとそこまで深くやらなくていいしな
0153132人目の素数さん垢版2017/06/06(火) 10:24:34.95ID:bIxrqy+c
冗談標準形が難しいなら、まあ仕方ない。最初は皆そういうものさ。でももし一次変換の行列表示
が難しいなら、君は向いていないかもしれん。
0164132人目の素数さん垢版2018/03/31(土) 12:06:30.67ID:eMUGV7fL
〔補題〕
Aはn次の正方行列
A_{i,j} = P_j(x_i)   P_j は多項式
1≦i≦n,1≦j≦n,とする。
このとき、det(A) は差積(x) = Π[1≦i<j≦n] (x_i - x_j) で割り切れる:
det(A) = (x)・Sym(x),

(略証)
det(A) は{x}の交代式だから

〔系〕
さらに各P_j がn-1次以下のときは、det(A) = C(x)

(略証)
det(A) は各x_iについてn-1次以下で、(x)はn-1次だから、係数はx_iを含まない。

〔例〕
P_j(x) = x^(j-1) のとき
det(A) = (x)  … Vandermonde の行列式
0165132人目の素数さん垢版2018/03/31(土) 12:07:54.32ID:eMUGV7fL
〔Krattenthalerの公式〕
Aはn次の正方行列
A_{i,j} = P_j(x_i),
P(x) ={Π[k=1,j-1] (x + b_k)}{Π[k=j,n-1] (x + a_k)}
1≦i≦n,1≦j≦n とする。
このとき、
det(A) ={Π[1≦i<j≦n-1] (b_i - a_j)}(x),
差積(x) = Π[1≦i<j≦n] (x_i - x_j),
0168132人目の素数さん垢版2020/04/10(金) 18:07:27.64ID:IAsBrfBV
det(A)≠0 とする。
 B := A^(-1) とおくと
 det(B) = 1/det(A),
 det(xI- B) = det(B) (-x)^n det((1/x)I - A),

分かスレ459-124
0169132人目の素数さん垢版2020/07/20(月) 18:57:58.09ID:ALqCLPeC
基本的な部分だけなら難しくないかもしれないけど
いくつか急激に難しくなる部分はあるんじゃないか
例えば複素数まで取り扱って計算するようになると結構な難度に
0170132人目の素数さん垢版2020/09/09(水) 22:35:49.19ID:IR7822fG
教科書を行間を埋めて読むしかない
イメージだの腑に落ちる説明だのなんて
単にいい加減な理解でごまかしているに過ぎない
0171132人目の素数さん垢版2020/09/13(日) 09:20:15.52ID:ytzI3Vl9
>>170
証明の論理を無視した説明は、百害あって一利もないね
証明の各ステップをイメージとして説明するのはあり

要するにイメージ=悪というわけではなく使いようなんだな
例えば行列の階段化と平行体の形状変更の対応を知れば
行列の操作と図形の操作の関係が分かるだろう
0172132人目の素数さん垢版2020/11/30(月) 00:29:44.87ID:Jl3CpvQN
二次正方行列
A = [a,b]
  [c,d]
を考える。

Aの固有値は2次方程式
 0 = (x-a)(x-d) - bc = x^2 - (a+d)x + (ad-bc),
の根。
∴ a+d, ad-bc により 2つの固有値が決まる。

一方、固有ヴェクトルを (cosθ, sinθ) とすれば
 tanθ = {-(a-d) ± √[(a-d)^2+4bc]}/2b, (b≠0)
 cos(2θ) = {bb - cc ± (a-d)√[(a-d)^2+4bc]}/{(a-d)^2 + (b+c)^2},
∴ 2つの固有ヴェクトルθが (a-d):b:c の比により決まる。

逆に
 a+d = α,
 b/(a-d) = β,
 c/(a-d) = γ,
 ad - bc = δ,
のときは
 a-d = ±√{(αα-4δ)/(1+4βγ)},
だから
 a = {α + (a-d)}/2,
 b = β(a-d),
 c = γ(a-d),
 d = {α - (a-d)}/2,
と決まる。(a≠d のとき)
0173132人目の素数さん垢版2020/11/30(月) 01:18:13.88ID:Jl3CpvQN
相似変換
 A ' = PAP^{-1}
により固有ヴェクトルは変更を受けるが、
a+d と ad-bc, 一般に det(xE-A) が保存するので固有値も保存する。

[分かスレ464.505,510,513]
0174132人目の素数さん垢版2020/11/30(月) 14:29:15.57ID:Jl3CpvQN
固有値は
 λ = {α - √(αα-4δ)}/4,
 μ = {α + √(αα-4δ)}/4,
 λ+μ = α, λ・μ = δ,

「固有」ヴェクトルは
 tanθ = {-1 ± √(1+4βγ)}/(2β),  (β≠0)
 cos(2θ) = {ββ-γγ ± √(1+4βγ)}/{1+(β+γ)^2},

[分かスレ464.522]
0175132人目の素数さん垢版2020/12/01(火) 01:28:37.78ID:GQSfN/Ph
3次正方行列
 A = ( a_{i,j} )
については
 |xE - A| = x^3 - αx^2 + εx - δ,
 α = tr(A) = a11 + a22 + a33,
 ε = a11・a22 + a22・a33 + a33・a11 - a12・a21 - a23・a32 - a31・a13,
 δ = det(A),
∴ 3つの固有値は α, ε, δ の3つで決まる。

3本の「固有」ヴェクトルは、残りの6変数で決まる。
0176132人目の素数さん垢版2020/12/06(日) 03:27:09.18ID:KT/cOuDT
二次正方行列
A = [a,b]
  [c,d]

A' = [a',b']
  [c',d']
が可換となるのは
固有ヴェクトルが一致するとき
 (a-d):b:c = (a'-d'):b':c'
0177132人目の素数さん垢版2020/12/09(水) 20:34:11.03ID:nSTBriB8
A A' - A' A = [ bc' - b'c,   (a-d)b' - (a'-d')b ]
        [ - (a-d)c' +(a'-d')c, b'c - bc' ]

AA' - A'A = O の条件は
 (a-d):b:c = (a'-d'):b':c'
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況