- 1 名前：１３２人目の素数さん [2012/04/02(月) 14:37:04.28 ]
- 桜の季節が来たので復活
解析
高木、小平、杉浦、溝畑、笠原、加藤十吉、藤原松三郎、
田島、松坂、ハイラー＆ワナー、ラング、スピヴァク
小林昭七、一松、黒田、斎藤正彦、宮島、 金子晃、
難波誠、藤田宏、ルディンetc..
線型
佐武、斎藤正彦、齋藤毅、松坂、笠原、 永田雅宣、
長谷川、川久保、新井、ストラング、平岡、ラングetc...
シリーズ
理工系の、キーポイント、スミルノフ、石村園子、マセマ
ゼロから、なっとく、なるほど、30講他
過去スレ
【激しく】解析と線型代数の本何がいい？【既出】4
uni.2ch.net/test/read.cgi/math/1301782973/
【激しく】解析と線型代数の本何がいい？【既出】 3
science6.2ch.net/test/read.cgi/math/1260206599/
【激しく】解析と線型代数の本何がいい？【既出】2
science6.2ch.net/test/read.cgi/math/1236240837/
【激しく】解析と線型代数の本何がいい？【既出】
science6.2ch.net/test/read.cgi/math/1205577088/
- 96 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 21:07:33.15 ]
- >>93
佐武を読めば、ジョルダン標準形は計算できる。
お前の書いたレス番なんて知らんわｗ
- 97 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 21:11:13.88 ]
- 行列式の計算もできる
掃き出し法は載っていない
それだけ
- 98 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 21:42:56.22 ]
- 掃き出し法が載っていないのに、この時代の人はどうやって連立方程式解いてたの？
斎藤正彦も、掃き出し法で解くのが良いというのは工学者から聞いて知ったという風なことを言ってるし
- 99 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 21:54:28.49 ]
- >>90
問題豊富でいいよね
- 100 名前：１３２人目の素数さん [2012/04/26(木) 23:37:36.92 ]
- >>96
掃き出し法を知らないでどうやって行列式を
計算する？
- 101 名前：１３２人目の素数さん [2012/04/26(木) 23:50:28.50 ]
- 行列式の計算に掃き出し法なんか使わないんだが…
掃き出し法を使ったら値が変わってしまうのだが、頭大丈夫か？お前
- 102 名前：１３２人目の素数さん [2012/04/26(木) 23:51:33.84 ]
- >>96
あのなあ計算出来るの意味が違う。
実用になるかどうかってこと。
実用にならない計算法は証明の手段として
くらいしか使えない。
- 103 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 23:52:05.61 ]
- たぶんランクの計算とごっちゃになってるんじゃないか
- 104 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 23:53:42.83 ]
- クラーメルの公式を使って連立方程式を解いている
- 105 名前：１３２人目の素数さん [2012/04/26(木) 23:55:49.48 ]
- 次数が低い場合は、単因子を用いるより（斎藤のやり方）も広義固有空間の直和に分解する方法（佐武のやり方）の方が簡単なんだが、頭大丈夫か？お前
- 106 名前：１３２人目の素数さん [2012/04/26(木) 23:55:49.99 ]
- >>101
掃き出し法 行列式 でググれ
- 107 名前：１３２人目の素数さん [2012/04/26(木) 23:57:38.05 ]
- 掃き出し法で行列式の計算ですかｗｗｗ
行入れ替えたら符合変わっちゃいますが？ｗｗｗｗ
- 108 名前：１３２人目の素数さん [2012/04/26(木) 23:59:47.89 ]
- >>105
3次とか4次など次数が低くけりゃどんな方法だろうと大した違いはない
そんなとこで威張るなよ
- 109 名前：１３２人目の素数さん [2012/04/27(金) 00:00:41.92 ]
- 大した違いはないなら、どちらの本で学んでも大した違いがないんだからいいじゃん
頭大丈夫か？お前
- 110 名前：１３２人目の素数さん [2012/04/27(金) 00:01:15.63 ]
- 12次正方行列のJordan標準形を求めるのがお仕事なんだよ
察してやれよ・・・
- 111 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:01:45.31 ]
- 盛り上がってまいりました
- 112 名前：１３２人目の素数さん [2012/04/27(金) 00:03:17.49 ]
- >>107
符号変わったらマイナス掛ければいいだけだろ。
頭大丈夫か？
- 113 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:06:09.54 ]
- というか、基本変形はちゃんと載ってるんだから、掃出し法（みたいなもの）を使った行列式の計算なんて誰でも思いつくだろ
- 114 名前：１３２人目の素数さん [2012/04/27(金) 00:06:42.15 ]
- >>109
計算出来るって威張ったのはお前だろ
- 115 名前：１３２人目の素数さん [2012/04/27(金) 00:09:12.68 ]
- >>113
佐武は少なくとも本を書いたとき思い付いてない。
- 116 名前：１３２人目の素数さん [2012/04/27(金) 00:12:51.08 ]
- >>113
誰でも思いつくっつーか、行列式の計算は書いてあるんだよ
書いてないのは、連立一次方程式の基本変形による解法だけ
いい加減なこと言う前にまず本読めやアホたれ
- 117 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:15:06.70 ]
- >>116
そうだったか
内容うろ覚えだったのでスマン
- 118 名前：１３２人目の素数さん [2012/04/27(金) 00:18:46.42 ]
- アホ大学は別として、最近は学部2年の線型代数でテンソル積が扱われるのは普通だから、そのニーズを満たしていなければならない
- 119 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:19:57.87 ]
- >>118
アホ大学でも、最近は学部1年の線型代数で掃き出し法が扱われるのは普通だから、そのニーズを満たしていなければならないだろｗ
頭大丈夫かお前
- 120 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:21:39.60 ]
- >>118
そのニーズを満たすなら斎藤毅だが、最初にこれで勉強したら佐武で学ぶ以上に計算はできなくなるだろうｗ
- 121 名前：１３２人目の素数さん [2012/04/27(金) 00:34:08.46 ]
- 抽象論は分かっている人には便利だが、初学者にはその実態が想像しにくく、
論理だけは終えても具体的な対象の操作ができなければ理解もしにくいわけで、
その点、佐武と斎藤正彦の本は数学科の標準的な教科書として優れていると思うよ
- 122 名前：１３２人目の素数さん [2012/04/27(金) 00:36:22.35 ]
- 純粋数学なら別に具体的計算とかしなくても
理論だけでいける。佐武はそういう考えだろ。
そういう考えもあり得る。
その佐武を持ち上げるのにことかいて
佐武のジョルダン標準形は計算出来るとか
見当はずれも好い加減にしろ。
- 123 名前：１３２人目の７４３さん [2012/04/27(金) 00:36:53.47 ]
- うむ、よく分からなかったが、
どうやら線形代数は佐武一択らしいな
- 124 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:38:08.82 ]
- まーそーいうことで斎藤
- 125 名前：１３２人目の素数さん [2012/04/27(金) 00:38:20.69 ]
- 別に佐武が計算を度外視して理論だけで作っているわけではない
- 126 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:40:16.10 ]
- PCがまだ普及してない頃の教科書だから計算効率とかは考える必要がなかったのだろう
- 127 名前：１３２人目の素数さん [2012/04/27(金) 00:42:19.80 ]
- >>121
佐武は具体的計算もあまりよくない
>掃き出し法の無視
- 128 名前：１３２人目の素数さん [2012/04/27(金) 00:43:24.62 ]
- Jordan標準形が一意的に定まることの証明に沿って計算すればいいという事実を述べただけで的外れっていうのは意味がわかりませんな
- 129 名前：１３２人目の素数さん [2012/04/27(金) 00:44:19.67 ]
- >>127
もうお前は掃き出し法の名人にでもなれよｗ
- 130 名前：１３２人目の素数さん [2012/04/27(金) 00:49:34.80 ]
- >>129
掃き出し法は理論上も重要。
SL(n,Z)とかやるとわかる。モジュラー形式とか。
- 131 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:50:50.25 ]
- れれれーのれー
- 132 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:51:02.07 ]
- 線型代数＝掃き出し法とでも思ってるのかってくらいのdisりようだな
- 133 名前：１３２人目の素数さん [2012/04/27(金) 00:54:40.14 ]
- 掃き出し法知らんと逆行列もとてもじゃないが求められないから重要なのは当たり前
そんなこと改めていうほどのことじゃない
- 134 名前：１３２人目の素数さん [2012/04/27(金) 00:59:14.87 ]
- 掃き出し法ごときでここまで白熱できる人が羨ましいわ
- 135 名前：１３２人目の素数さん [2012/04/27(金) 01:00:25.45 ]
- >>133
その当たり前が分かってないのが佐武マンセー
- 136 名前：１３２人目の素数さん [2012/04/27(金) 01:02:00.84 ]
- 佐武自身がクラメルの公式を用いて連立方程式を解くことは推奨していない
- 137 名前：１３２人目の素数さん [2012/04/27(金) 01:03:06.75 ]
- >>133
当然、佐武も本を書いた当時はその重要性を
認識していなかった。
- 138 名前：１３２人目の素数さん [2012/04/27(金) 01:05:08.80 ]
- >>136
で何を推奨してたっけ？
- 139 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 01:10:33.39 ]
- 古屋 行列と行列式（培風館） 附録を参照されたい.
同署にはこの他にも種々の興味ある数値計算法が載っている.
（p63脚注）
- 140 名前：１３２人目の素数さん [2012/04/27(金) 01:14:26.81 ]
- 掃き出し法が載っていない一点でここまで叩かれるって、よっぽど読めなかった奴が多いんだなｗ
- 141 名前：１３２人目の素数さん [2012/04/27(金) 01:15:02.58 ]
- 万年線型代数どころか、万年掃き出し法のレビュアーしかいないのがこのスレｗ
- 142 名前：１３２人目の素数さん [2012/04/27(金) 01:19:05.60 ]
- いや、佐武は次元定理も表現行列も載っていないし、どう見ても現代的じゃないでしょ
- 143 名前：１３２人目の素数さん [2012/04/27(金) 01:24:59.67 ]
- >>142
＞次元定理
p104 （Ⅲ §4 定理7）
＞表現行列
p120 （Ⅲ §7）
まず、本を読んでからものを言おうな
- 144 名前：１３２人目の素数さん [2012/04/27(金) 01:26:13.86 ]
- >>140
掃き出し法で盛り上がったのは佐武は計算が出来ると
言い出したアホがいたから。
佐武の欠点はそれだけじゃない。
証明が明快でないという点。
むしろこっちが問題。
- 145 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 01:26:55.85 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 146 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:20:15.57 ]
- >>143
何なのお前？
気持ち悪いわ
一生佐武でも読んでろよｗ
- 147 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:21:09.79 ]
- >>144
佐武に載ってる方法でJordan標準形の計算ができるのは事実なのだが
あと、明快な証明とやらの定義を求む
- 148 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:22:41.86 ]
- 彼の頭の中では、明快な証明＝単因子論なんだから、論理での説得では不可能ですｗ
- 149 名前：１３２人目の素数さん [2012/04/27(金) 02:28:52.68 ]
- 広義固有空間への分解なんて、線型代数学の教科書としては極めて標準的な証明方法であって、とりわけ佐武だけが煩雑というわけではないと思うが
行列式の章は成分計算ゴリ押しが多いが、これはべつに良いとか悪いとかの問題じゃない
強いて問題をあげるとすれば、ケイリーハミルトンの定理の証明が天下り的すぎるくらいか
- 150 名前：１３２人目の素数さん [2012/04/27(金) 02:37:08.12 ]
- ケイリーハミルトンの定理の証明は、佐武p148にあるFrobeniusの定理を用いて証明するのが、俺の知っているなかでは最も明快だ
- 151 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:38:22.96 ]
- >>150
お前気持ち悪いよ＾＾；
そんなに佐武が好きなら一生佐武だけ読んでろよ＾＾；
- 152 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:39:05.59 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 153 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 02:40:17.45 ]
- >>151
気持ち悪いのなら、もうここには来なければいいのに
- 154 名前：１３２人目の素数さん [2012/04/27(金) 02:45:03.44 ]
- 線型代数の教科書で、中途半端に単因子論なんか援用する方が、よほど煩雑な証明になると思うのは俺だけか？
- 155 名前：１３２人目の素数さん [2012/04/27(金) 03:05:43.62 ]
- 単因子論どころか数学自体中途半端にしかやったことない奴らが私怨を書き連ねてるだけなんだからもう放っとけよｗ
- 156 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 06:33:36.78 ]
- __ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
- 157 名前：１３２人目の素数さん [2012/04/27(金) 06:48:23.86 ]
- 結論として佐武の本はどうなのですか？
- 158 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 07:55:08.41 ]
- >>157
言うまでもなく良書である
- 159 名前：１３２人目の素数さん [2012/04/27(金) 08:57:27.99 ]
- 単因子論は線型代数やるなら常識だろ。
ジョルダン標準型イコール単因子論と言っても
いいくらいだ。
ジョルダン標準型は有限アーベル群の構造定理と本質的に同じ。
だから整数成分の行列の単因子論とも本質的に同じ。
- 160 名前：１３２人目の素数さん [2012/04/27(金) 09:08:05.75 ]
- 整数行列の単因子論をポントリャーギンは行列の
基本変形を使って簡単に証明してるが
この方法はジョルダン標準形の証明にも使える。
- 161 名前：１３２人目の素数さん [2012/04/27(金) 09:38:53.05 ]
- 単因子論をやれば固有方程式と最小多項式が一致すれば
その空間は一個のベクトルで多項式環の加群として
生成されることが簡単にわかる。
これを使うと有限体上のガロア群の正規基底の証明が
簡単に得られる。
- 162 名前：１３２人目の素数さん [2012/04/27(金) 09:45:01.63 ]
- ジョルダン標準型と有限アーベル群の構造定理は本質的に同じということを
理解すれば、固有方程式は有限アーベル群の位数に対応し、
最小多項式はその群の指数に対応することがわかる。
固有値はその群の位数の素因子に対応する。
- 163 名前：１３２人目の素数さん [2012/04/27(金) 09:51:01.81 ]
- 可換代数の言葉を使うと 線型写像の固有値は加群の随伴素イデアルと
同一視される。
- 164 名前：１３２人目の素数さん [2012/04/27(金) 10:14:58.22 ]
- 有限アーベル群の位数はその群を零化する。
これはケーリー・ハミルトンの定理に対応する。
だからこの定理の証明を上記の類似を
使って簡単に証明出来る。
- 165 名前：１３２人目の素数さん [2012/04/27(金) 12:36:39.46 ]
- そうですか
- 166 名前：１３２人目の素数さん [2012/04/27(金) 12:37:28.39 ]
- 初等的な証明なんて、素数定理の初等整数論的な証明にこだわるくらい不毛なこと
- 167 名前：１３２人目の素数さん [2012/04/27(金) 12:40:25.31 ]
- 本質的に同じことをしているのであれば簡潔で明快な証明が求められる
解析学の教科書で、代数学の基本定理をε-δ論法と実数の性質のみを使って示す意味はあまりない
リュービルの定理を使って示すのと本質的にあまり変わらない上に、証明が煩雑になるからだ
- 168 名前：１３２人目の素数さん [2012/04/27(金) 12:55:41.41 ]
- >>166
素数定理の初等的証明はセルバーグの有名な結果
彼がフィールズ賞を受賞した理由の一つがこれ。
だからといってこれがほんとに重要なのかわからないが、
あんたが不毛と言い切る理由は？
- 169 名前：１３２人目の素数さん [2012/04/27(金) 12:56:45.43 ]
- 本当に数学やってるのか？ってくらい非論理的な文章だな
これだけのレスを重ねて未だに
「佐武の欠点は証明が明快でない点」
という主張の論拠が出てこないという不思議
- 170 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 12:58:39.23 ]
- >>168
フィールズ賞を受賞したから何なの？ｗ
解析的により簡明に証明できるのに、わざわざ初等的な証明に拘る意味がないｗ
そして、>>166は当然のことながら教育的な文脈で言っている
- 171 名前：１３２人目の素数さん [2012/04/27(金) 13:03:33.30 ]
- 何をもって証明が「明快」とみなすのかの説明がなされていない
Jordan標準形の「実用的な計算方法」とは何なのか？
何をもって佐武の教科書の方法を実用的でないとみなすのか
という説明もない
・行列式の計算法が載っていない
・Jordan標準形が計算できない
・佐武のJordan標準形の証明は煩雑（文脈からして、他書とくらべて煩雑ということ）
といった事実誤認に関しては、何の訂正もない
- 172 名前：１３２人目の素数さん [2012/04/27(金) 13:10:39.06 ]
- >>170
フィールズ賞を受賞すれば数学の世界では一目も二目もおかれる。
その受賞理由の一つにその初等的証明がある。
仮にそれは何かの間違いとして無視するとしよう。
その証明で開発さてたテクニックが未解決の整数論の問題を
解決するかもしれない。
- 173 名前：１３２人目の素数さん [2012/04/27(金) 13:16:09.08 ]
- >>171
明快の定義については>>76、>>77、>>78
- 174 名前：１３２人目の素数さん [2012/04/27(金) 13:23:53.30 ]
- >>171
計算出来るからいい証明ってことはない。
証明には計算的と概念的の2種類があって
どちらも長短がある。
しかし現代数学では概念的証明に重きを置いている。
計算的証明はごたごたして不透明なきらいある。
天下りな傾向も多い。
- 175 名前：１３２人目の素数さん [2012/04/27(金) 13:40:22.61 ]
- 駄目だ
日本語も論理も分かっちゃいない
そんなんでよく数学書のレビューができたもんだ
いいか？もう一回だけいうぞ
まず、「佐武の教科書の証明は明快でない」ことの論拠をあげろ
また何を以て証明が明快であるのかをはっきりさせろ
Jordanの標準形の実用的な計算方法とは何かを示せ
また、何を以て実用的と見なすのかをはっきりさせろ
そして、計算が出来るからいい証明だなんて誰が言ってるんだ？
いい加減、日本語読めるようにしろよ
- 176 名前：１３２人目の素数さん [2012/04/27(金) 13:45:02.76 ]
- まず、妄想が激しいんですね
誰が佐武を持ち上げているのか
小学校の国語からやり直したいなさい
- 177 名前：１３２人目の素数さん [2012/04/27(金) 13:49:35.27 ]
- ぶっちゃけ、標準形が計算さえできれば、証明なんかどうだっていいｗ
ああ、アホらし
- 178 名前：１３２人目の素数さん [2012/04/27(金) 13:59:26.33 ]
- より高等な数学に応用が効くことと、初等科の線型代数の教科書に載せるべきだということは、まったくの別のことであり、ましてや計算さえできれば証明方法などどうでもいい分野にちょっと単因子論を援用してるかどうかで、参考書の評価が分かれるなどということはない
- 179 名前：１３２人目の素数さん [2012/04/27(金) 14:01:13.90 ]
- 佐武信者必死だなｗ
一生線型代数やってろよ^^;
- 180 名前：１３２人目の素数さん [2012/04/27(金) 14:02:05.84 ]
- >>177
それだと数学の各分野への応用が狭くなる。
>>159から>>164を読め
- 181 名前：１３２人目の素数さん [2012/04/27(金) 14:04:47.12 ]
- >>178
高等な数学というより学部の常識なんだがw
- 182 名前：１３２人目の素数さん [2012/04/27(金) 14:07:33.55 ]
- 比較級が分からないようだ^^;
- 183 名前：１３２人目の素数さん [2012/04/27(金) 14:07:58.42 ]
- >>180
なんで？
- 184 名前：１３２人目の素数さん [2012/04/27(金) 14:09:52.10 ]
- 論理的な文章の書けない奴らだな^^;
単因子論を載せるべき論拠を示せってのｗ
- 185 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 14:16:21.48 ]
- 今日も頑張ろう
- 186 名前：１３２人目の素数さん [2012/04/27(金) 14:19:31.98 ]
- 応用の効く証明とか言ってるやつが、数学的な思考のし方を文章に応用できていないのが、なんとも皮肉だな
- 187 名前：１３２人目の素数さん [2012/04/27(金) 14:23:27.49 ]
- >>184
>>159から>>164を呼んでもわからないか？
単因子論はジョルダン標準形の本質
これ位は学部の常識と知っているべき。
- 188 名前：１３２人目の素数さん [2012/04/27(金) 14:26:07.94 ]
- 常識として知っているべき
- 189 名前：8 mailto:sage [2012/04/27(金) 14:26:28.30 ]
- 多変数の微積分のまとめ
・杉浦Ⅱ
・溝畑Ⅱ
・スピヴァック
・Munkres
- 190 名前：１３２人目の素数さん [2012/04/27(金) 14:29:16.11 ]
- >>187
分からないから分かるように教えてよ
本質知ってんでしょ^^
- 191 名前：１３２人目の素数さん [2012/04/27(金) 14:31:39.78 ]
- >>187
>>159-164が、「単因子論を学部初等科の線型代数の教科書に載せるべきだ」という主張を演繹できないことが分からないんですか？
それで応用の利く証明とか言ってたんですか？
- 192 名前：8 mailto:sage [2012/04/27(金) 14:38:37.04 ]
- 補足
・宮島
- 193 名前：１３２人目の素数さん [2012/04/27(金) 14:42:07.41 ]
- 高木の多変数は2次元までだっけ？
- 194 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 15:22:13.35 ]
- >>193
ネット上のを見るかぎり3次元までのよう
- 195 名前：１３２人目の素数さん [2012/04/27(金) 16:18:11.28 ]
- >>190
書いてある内容は理解出来る？
- 196 名前：１３２人目の素数さん [2012/04/27(金) 16:25:11.88 ]
- >>191
全部数学で基本的な事柄で密接に関連してる。
というか本質的に同じ事柄。
だからこれらは学部学生の常識とすべき。
|
 |
