数学の専門書についてのスレです
なんか知らんけど落ちてたので立てときました。
【過去スレ】
第67巻 https://rio2016.5ch.net/test/read.cgi/math/1454323135/
第68巻 https://rio2016.5ch.net/test/read.cgi/math/1477731209/
第69巻 https://rio2016.5ch.net/test/read.cgi/math/1487383364/
第70巻 https://rio2016.5ch.net/test/read.cgi/math/1492300530/
第71巻 https://rio2016.5ch.net/test/read.cgi/math/1495881990/
第72巻 https://rio2016.5ch.net/test/read.cgi/math/1501905603/
第73巻 https://rio2016.5ch.net/test/read.cgi/math/1508221180/
第74巻 https://rio2016.5ch.net/test/read.cgi/math/1511085768/
第75巻 https://rio2016.5ch.net/test/read.cgi/math/1515687474/
第76巻 https://rio2016.5ch.net/test/read.cgi/math/1522075216/
第77巻 https://rio2016.5ch.net/test/read.cgi/math/1527903284/
第78巻 https://rio2016.5ch.net/test/read.cgi/math/1533458753/
【関連サイト】
数学学習マニュアル まとめページ
http://www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
http://www3.atwiki.jp/math/pages/1.html
【諸注意】
★線形代数と微積分の本についてはこちらで
【激しく】解析と線型代数の本何がいい?【既出】11
https://rio2016.5ch.net/test/read.cgi/math/1526097568/
★雑談は雑談スレで
★算数の本も雑談スレで
数学の本第79巻
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2018/09/13(木) 16:42:01.63ID:k418pXfL152132人目の素数さん
2018/09/17(月) 12:45:10.90ID:qHRWi+xP153132人目の素数さん
2018/09/17(月) 12:47:51.91ID:qHRWi+xP154132人目の素数さん
2018/09/17(月) 12:50:41.97ID:qHRWi+xP155132人目の素数さん
2018/09/17(月) 12:53:19.25ID:qHRWi+xP 佐武一郎さんの本が一番しっかりしていますね。
156132人目の素数さん
2018/09/17(月) 12:57:43.25ID:qHRWi+xP ほぼ自明だから書いていないでは済まされませんよね。
こういう基本的な事実は書いておくべきです。
ほぼ自明だから書いていないというなら、線形代数のほとんどの命題はほぼ自明ですから、ほとんど
何も書いていない教科書でもOKということになります。
こういう基本的な事実は書いておくべきです。
ほぼ自明だから書いていないというなら、線形代数のほとんどの命題はほぼ自明ですから、ほとんど
何も書いていない教科書でもOKということになります。
157132人目の素数さん
2018/09/17(月) 13:00:15.14ID:qHRWi+xP 松坂和夫さんの『線型代数入門』も調べてみました。
ちゃんと書いてありました。
ちゃんと書いてありました。
158132人目の素数さん
2018/09/17(月) 13:36:12.17ID:qHRWi+xP あ、三宅敏恒さんの本には書いてありました。
齋藤正彦さんが一番ダメということですかね?
齋藤正彦さんが一番ダメということですかね?
159132人目の素数さん
2018/09/17(月) 13:52:54.87ID:kitNQFyN 測度論はもう諦めたのか…
160132人目の素数さん
2018/09/17(月) 14:36:19.15ID:UA7wYM1C いじめちゃだめだよw
161あぼーん
NGNGあぼーん
162132人目の素数さん
2018/09/17(月) 17:43:09.15ID:lVBV3yvT >>150
有限次元って言葉がある時点でその背景には基底があるんだが?
有限次元って言葉がある時点でその背景には基底があるんだが?
163132人目の素数さん
2018/09/17(月) 17:44:37.60ID:qHRWi+xP164132人目の素数さん
2018/09/17(月) 17:50:09.00ID:qHRWi+xP 佐武一郎さんの『線型代数学』では、
R^n には明らかな基底があるが、その部分空間にはそういう自然な基底がないというようなことが書いてあります。
R^n には明らかな基底があるが、その部分空間にはそういう自然な基底がないというようなことが書いてあります。
165132人目の素数さん
2018/09/17(月) 17:51:55.45ID:qHRWi+xP そして、 R^n の部分空間の話から抽象的な線形空間の話に移りますよね。
なかなかうまい説明だと思います。
なかなかうまい説明だと思います。
166132人目の素数さん
2018/09/17(月) 18:23:24.80ID:xh3Xj8A/167132人目の素数さん
2018/09/17(月) 18:32:15.15ID:d8zjpsee 今日、さんまの東大方程式あるで
みんな見るの?
みんな見るの?
168132人目の素数さん
2018/09/17(月) 18:34:22.24ID:lVBV3yvT169132人目の素数さん
2018/09/17(月) 18:40:42.71ID:d8zjpsee おまえら当然、東大数学や数オリは解けるんだろうな?
170学術
2018/09/17(月) 18:56:01.43ID:jlhqH3K5 5cは東大に限らない。世界全大学クラスでも目標が下。
171学術
2018/09/17(月) 18:56:46.09ID:jlhqH3K5 大学に入った後の勉強ずく、就職した後の実務能力が問われているんだよ。
172学術
2018/09/17(月) 18:57:03.89ID:jlhqH3K5 パリ第九でもいいのに。
173132人目の素数さん
2018/09/17(月) 19:13:00.30ID:xh3Xj8A/174132人目の素数さん
2018/09/17(月) 19:24:09.63ID:d8zjpsee おまえら、数学の偏差値いくつだった?
175132人目の素数さん
2018/09/17(月) 19:24:41.49ID:d8zjpsee さんまの東大方程式にルシファー出るかな?
176学術
2018/09/17(月) 19:28:51.80ID:jlhqH3K5 東大寺とあるから、東大って古い血統だよ。軍事教練のほうがたすかるぐらいだ。
177学術
2018/09/17(月) 19:29:42.04ID:jlhqH3K5 数学は中学で引きあげたけど上限の月さ。
178学術
2018/09/17(月) 19:30:05.24ID:jlhqH3K5 運試しのペーパーゲームのノリが私大。
179学術
2018/09/17(月) 19:30:40.56ID:jlhqH3K5 高校数学なんてやめてろよ。新教科教材あるのに。
180学術
2018/09/17(月) 19:44:36.87ID:jlhqH3K5 確率 微分 統計 積分 代数 幾何 等で新分野にこってたよ。
それより面白いのが技芸科でさ。体育のバレーもそこそこ。
それより面白いのが技芸科でさ。体育のバレーもそこそこ。
181132人目の素数さん
2018/09/17(月) 19:55:55.99ID:hw3db9vD 今日のまとめ
165 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
166 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
167 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
168 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
169 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
170 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
171 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
172 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
173 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
165 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
166 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
167 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
168 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
169 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
170 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
171 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
172 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
173 名前:あぼ〜ん[NG] 投稿日:あぼ〜ん
182132人目の素数さん
2018/09/17(月) 20:39:19.58ID:d8zjpsee みんなは東大理3のルシファーって知ってるかい?
183132人目の素数さん
2018/09/17(月) 21:04:13.37ID:hHCXI3nD ここを荒らしてるアンチ松坂君は空写像信者 笑
184132人目の素数さん
2018/09/17(月) 21:17:20.12ID:qHRWi+xP185132人目の素数さん
2018/09/17(月) 21:37:59.94ID:d8zjpsee そんなこと書いてないよ
186132人目の素数さん
2018/09/17(月) 23:39:32.53ID:d8zjpsee さんまの東大方程式面白かったわ
みんな見た?
みんな見た?
187132人目の素数さん
2018/09/18(火) 02:49:47.83ID:XTTGSRxr >>137
東京図書 2版 笠原乾吉訳 1973
東京図書 2版 笠原乾吉訳 1973
188132人目の素数さん
2018/09/18(火) 03:11:59.78ID:Vtex7VZ8 なんで嵐がスレ立ててんの?
189132人目の素数さん
2018/09/18(火) 06:13:24.11ID:vcQQXUVH190132人目の素数さん
2018/09/18(火) 10:03:41.76ID:J1nQHi9x >>188
アスペがスレたててるなw
アスペがスレたててるなw
191132人目の素数さん
2018/09/18(火) 11:54:25.76ID:vcQQXUVH >>190
メンヘル板へ行って、ちょっと勉強してから出直してこい。
『アスペルガー症候群 についてマターリ語り合うスレ223』
(ttps://mevius.5ch.net/test/read.cgi/utu/1531270886/)
メンヘル板へ行って、ちょっと勉強してから出直してこい。
『アスペルガー症候群 についてマターリ語り合うスレ223』
(ttps://mevius.5ch.net/test/read.cgi/utu/1531270886/)
192132人目の素数さん
2018/09/18(火) 20:19:30.37ID:Km2ZLC/b 東京図書の数学書はいい本が多かった。
最近見ないけど潰れたのかな?
最近見ないけど潰れたのかな?
193132人目の素数さん
2018/09/18(火) 20:26:16.09ID:R0cyVAbz 東京図書は潰れてないが「いい数学書を出していた」東京図書は消えた
194132人目の素数さん
2018/09/18(火) 20:27:13.78ID:R0cyVAbz もう死んだ子のことは忘れたよ
昔の良書をちくま文庫が復刊してくれたらいい
昔の良書をちくま文庫が復刊してくれたらいい
195132人目の素数さん
2018/09/18(火) 21:00:19.98ID:Km2ZLC/b 東京図書の経営方針が変わったということか。
昔は日本の数学教育と数学文化を支えるという精神が、
確かにあったのは出版物から感じたな。
経営層が変わって金儲け優先になったかな。
どこの業界も同じだな。ああ、やだやだ。
昔は日本の数学教育と数学文化を支えるという精神が、
確かにあったのは出版物から感じたな。
経営層が変わって金儲け優先になったかな。
どこの業界も同じだな。ああ、やだやだ。
196132人目の素数さん
2018/09/18(火) 21:10:42.71ID:48smdFkf 三浦敏恒著『線形代数学』を読んでいます。
問7
同値な正方行列のトレースは等しいこと、すなわち
tr(P^(-1) * A * P) = tr(A)
を示せ。
この解答を見てみたところ、この問題よりも前の問題である問3と問5より明らか、と書いてありました。
同値な正方行列の固有多項式は等しいから、問5のみから明らかだと思います。
問3はどこで使うのでしょうか?
問3
n 次正方行列 A, B, C について、 A と B、 B と C が同値ならば A と C は同値であることを示せ。
問5
A の固有多項式を g_A(t) = t^n + a_(n-1) * t^(n-1) + … + a_1 * t + a_0
とするとき、
a_(n-1) = -tr(A)
問7
同値な正方行列のトレースは等しいこと、すなわち
tr(P^(-1) * A * P) = tr(A)
を示せ。
この解答を見てみたところ、この問題よりも前の問題である問3と問5より明らか、と書いてありました。
同値な正方行列の固有多項式は等しいから、問5のみから明らかだと思います。
問3はどこで使うのでしょうか?
問3
n 次正方行列 A, B, C について、 A と B、 B と C が同値ならば A と C は同値であることを示せ。
問5
A の固有多項式を g_A(t) = t^n + a_(n-1) * t^(n-1) + … + a_1 * t + a_0
とするとき、
a_(n-1) = -tr(A)
197132人目の素数さん
2018/09/18(火) 21:47:48.17ID:ywgy1XuA 問題
A,B,Cのカードが2枚、D,E,F,Gのカードが各1枚、合計10枚ある。このカードを無作為に横一列に並べたとき、左から2枚目がBのカードでかつ3枚目がEのカードである確率はいくらか。
解答
B,Eのカード以外はどのカードも関係ないので、それをまとめてXのカードとします。10枚のカードの中にBのカードが2枚、Eのカードが1枚、Xのカードが7枚あると考えましょう。
並べ方の総数は、同じものを含む順列の公式を用いて、
10!/2!1!7!=360(通り)です。
左から2枚目がBのカード、左から3枚目がEのカードであるのは、他の場所に残りのカード(B1枚、X7枚)を並べればよいので、
8!/1!7!=8(通り)
したがって、求める確率は、
∴8/360=1/45
なぜ、B,E以外のカードをまとめてXのカードとして考えるのか、理解できる人いますか?30歳の私に教えてください。
A,B,Cのカードが2枚、D,E,F,Gのカードが各1枚、合計10枚ある。このカードを無作為に横一列に並べたとき、左から2枚目がBのカードでかつ3枚目がEのカードである確率はいくらか。
解答
B,Eのカード以外はどのカードも関係ないので、それをまとめてXのカードとします。10枚のカードの中にBのカードが2枚、Eのカードが1枚、Xのカードが7枚あると考えましょう。
並べ方の総数は、同じものを含む順列の公式を用いて、
10!/2!1!7!=360(通り)です。
左から2枚目がBのカード、左から3枚目がEのカードであるのは、他の場所に残りのカード(B1枚、X7枚)を並べればよいので、
8!/1!7!=8(通り)
したがって、求める確率は、
∴8/360=1/45
なぜ、B,E以外のカードをまとめてXのカードとして考えるのか、理解できる人いますか?30歳の私に教えてください。
198学術
2018/09/18(火) 22:57:49.14ID:bdccv7Cm 夜景国華
199学術
2018/09/18(火) 22:58:27.85ID:bdccv7Cm 電球の数でやれよ。裸電球も含めて。
200学術
2018/09/18(火) 23:00:08.11ID:bdccv7Cm ちゃんと演算したらどうだ。確率なんて求めるより、確率を求めることは
確率を減らすことのような気がするがヒント。
確率を減らすことのような気がするがヒント。
201学術
2018/09/18(火) 23:00:47.67ID:bdccv7Cm 何か確率で限定されているカードだけ見るとか、裏のなさがアホ。
202132人目の素数さん
2018/09/18(火) 23:06:04.86ID:xargDO13 >>196-197 はマルチです。ここで回答しないでください。
分からない問題はここに書いてね447
https://rio2016.5ch.net/test/read.cgi/math/1537106483/l50
分からない問題はここに書いてね447
https://rio2016.5ch.net/test/read.cgi/math/1537106483/l50
203132人目の素数さん
2018/09/19(水) 03:12:50.41ID:Dqxrhg4k204132人目の素数さん
2018/09/19(水) 05:04:16.53ID:tVk5Qbjk 前のスレでシリーズものについて質問したものです。
岩波講座 基礎数学 全24巻揃
ですが、1次は小冊子『数学の学び方』が付いてないので注意をということですね。
第1次刊行は15000円くらい、第2次刊行は30000円くらいなので、第1次刊行+『数学の学び方』がお得ということですね。
第1次刊行と第2次刊行の違いは、小冊子『数学の学び方』だけでしょうか?第2次刊行で誤植訂正などがあったりしませんか?
岩波講座 基礎数学 全24巻揃
ですが、1次は小冊子『数学の学び方』が付いてないので注意をということですね。
第1次刊行は15000円くらい、第2次刊行は30000円くらいなので、第1次刊行+『数学の学び方』がお得ということですね。
第1次刊行と第2次刊行の違いは、小冊子『数学の学び方』だけでしょうか?第2次刊行で誤植訂正などがあったりしませんか?
205132人目の素数さん
2018/09/19(水) 05:26:47.98ID:nLnx1y/v >>204
誤植訂正はない可能性がある。
あと、分冊の冊子になっていて、品質状態の良し悪しもある。
現在、品質状態がよいのは第2次刊行の方だと思う。
そして、それぞれの分冊が何巻の箱に入っているかが変わっていたり、
月報の内容が変わっている可能性もある。
まあ、読んで見れば分かる筈なので、第1次刊行の状態云々については余りいわない。
誤植訂正はない可能性がある。
あと、分冊の冊子になっていて、品質状態の良し悪しもある。
現在、品質状態がよいのは第2次刊行の方だと思う。
そして、それぞれの分冊が何巻の箱に入っているかが変わっていたり、
月報の内容が変わっている可能性もある。
まあ、読んで見れば分かる筈なので、第1次刊行の状態云々については余りいわない。
206132人目の素数さん
2018/09/19(水) 05:32:20.45ID:rZwJxAOP207132人目の素数さん
2018/09/19(水) 18:07:13.03ID:OO5v+uY+ この中にトロピカル幾何学やってる奴いるか?
208132人目の素数さん
2018/09/19(水) 18:56:19.06ID:OO5v+uY+ 慶応大学院生が歴史的な問題を数論幾何学を使ってしょうめいしたな
209132人目の素数さん
2018/09/19(水) 19:00:20.40ID:Gn6ogjJL 歴史的か?
210132人目の素数さん
2018/09/19(水) 19:44:19.32ID:OO5v+uY+ どう考えても歴史的だろ
約1000年間未解決だったんだぞ
約1000年間未解決だったんだぞ
211132人目の素数さん
2018/09/19(水) 19:46:45.65ID:XP53YA3V 誰か取り組んでたのか?
そもそも誰も興味がなくて誰も取り組んでない問題は
歴史的などとはいわない
そもそも誰も興味がなくて誰も取り組んでない問題は
歴史的などとはいわない
212132人目の素数さん
2018/09/19(水) 19:47:42.10ID:XP53YA3V 何がトロピカル幾何だよ
コメ稼ぎハゲおやじのくせに。
コメ稼ぎハゲおやじのくせに。
213132人目の素数さん
2018/09/19(水) 19:58:31.57ID:OO5v+uY+ たぶんフィールズ賞取るやで
214132人目の素数さん
2018/09/19(水) 20:00:02.65ID:+AYEmU2z 2682440^4 + 15365639^4 + 18796760^4 = 20615673^4
↑この等式を発見した人はフィールズ賞取れませんでしたよね。
↑この等式を発見した人はフィールズ賞取れませんでしたよね。
215132人目の素数さん
2018/09/19(水) 20:07:13.66ID:+AYEmU2z216132人目の素数さん
2018/09/19(水) 20:09:31.84ID:9VvlAo2k217132人目の素数さん
2018/09/19(水) 20:14:27.16ID:v8Hu3hJR218132人目の素数さん
2018/09/19(水) 20:16:03.58ID:+AYEmU2z そういう高度な理論を使って、素朴な問題を解くというのがちょっと面白いというだけではないでしょうか?
219132人目の素数さん
2018/09/19(水) 21:16:07.97ID:YpUoJKR2220132人目の素数さん
2018/09/19(水) 21:21:14.45ID:YpUoJKR2 >>219
とはいってもゼロ知識証明とか事後確率とか、
役に立つのか立たないのか わかりづらい話は
むずがゆい。
だから、面白そうな数学書があると、高いのに
つい うっかり買っちゃうんで、読み終わらない
数学書がどんどん増える (T_T)
とはいってもゼロ知識証明とか事後確率とか、
役に立つのか立たないのか わかりづらい話は
むずがゆい。
だから、面白そうな数学書があると、高いのに
つい うっかり買っちゃうんで、読み終わらない
数学書がどんどん増える (T_T)
221132人目の素数さん
2018/09/19(水) 22:09:32.15ID:X83bLEUw222132人目の素数さん
2018/09/19(水) 23:16:24.10ID:v8Hu3hJR 『普遍的な手法を用いて』証明するのだ!
なんて、達人なら考えてるんだろうか。
俺には無理だわ。
解けたらラッキーぐらいなもんよ。w
ちょっとずつ隣接分野にもクビを突っ込んで、
共通部分を見いだしていけばいいんかねぇ。
なんて、達人なら考えてるんだろうか。
俺には無理だわ。
解けたらラッキーぐらいなもんよ。w
ちょっとずつ隣接分野にもクビを突っ込んで、
共通部分を見いだしていけばいいんかねぇ。
223132人目の素数さん
2018/09/20(木) 01:42:31.93ID:z1K1qGzT そうそう
今回慶応の学生が証明した命題だけど、命題の内容よりも
その命題がどれぐらいの価値があるのか(n年間未解決のままだった、は興味なし)、
今後関連分野にどういう影響があるのか、
そういう意味での凄さってどれぐらいの物なのか説明出来る人居る?
今回慶応の学生が証明した命題だけど、命題の内容よりも
その命題がどれぐらいの価値があるのか(n年間未解決のままだった、は興味なし)、
今後関連分野にどういう影響があるのか、
そういう意味での凄さってどれぐらいの物なのか説明出来る人居る?
224132人目の素数さん
2018/09/20(木) 04:40:54.29ID:Ay5F2NWl 「wだけ半角」の馬鹿には一生無理w
225132人目の素数さん
2018/09/20(木) 06:34:40.77ID:4MmxT2WD 数論幾何学と代数幾何学って、どちらの方が難しいの?
226132人目の素数さん
2018/09/20(木) 09:02:21.07ID:kFpSVHx9 チャートは終わったのか?
227132人目の素数さん
2018/09/20(木) 09:40:46.35ID:vsAA67DN 高度な理論を使って、四色問題を解いてほしい
228132人目の素数さん
2018/09/20(木) 10:01:44.51ID:G7B3RsJN 三浦敏恒著『線形代数学』を読んでいます。
この本では、代数学の基本定理に全く触れていません。
そして、次の定理が書いてあります:
「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」
これはまずいのではないでしょうか?
「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」
と書かないといけないですよね?
この本では、代数学の基本定理に全く触れていません。
そして、次の定理が書いてあります:
「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」
これはまずいのではないでしょうか?
「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」
と書かないといけないですよね?
229132人目の素数さん
2018/09/20(木) 10:02:24.62ID:G7B3RsJN 訂正します:
三宅敏恒著『線形代数学』を読んでいます。
この本では、代数学の基本定理に全く触れていません。
そして、次の定理が書いてあります:
「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」
これはまずいのではないでしょうか?
「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」
と書かないといけないですよね?
三宅敏恒著『線形代数学』を読んでいます。
この本では、代数学の基本定理に全く触れていません。
そして、次の定理が書いてあります:
「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」
これはまずいのではないでしょうか?
「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」
と書かないといけないですよね?
230132人目の素数さん
2018/09/20(木) 10:05:35.28ID:G7B3RsJN 固有多項式が x^2 + 1 のような場合にも実数の範囲で上三角化できることになってしまいます。
231132人目の素数さん
2018/09/20(木) 10:06:19.18ID:G7B3RsJN 訂正します:
固有多項式が (x^2 + 1) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。
固有多項式が (x^2 + 1) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。
232132人目の素数さん
2018/09/20(木) 12:33:34.39ID:4MmxT2WD 山本KID徳郁って、何で亡くなったの?
233132人目の素数さん
2018/09/20(木) 12:48:25.85ID:a1/nOQ/g >>227
四色問題の「価値」は、シンプルな問題で昔からよく知られていたが
おそらくそうした問題に対して史上初めて計算機を用いて解き切ったこと。
計算機が必要と言うだけなら、複雑な力学の問題など四色以前にたくさんあったが
元の問題が単純で、いかにも正しそう、トーラス(というか種数が1以上)の
場合の方が易しくて10年前に先に解かれていた、という事情もあった。
プログラムの検証に10年くらいかかり、さらにその後も大きく2度ほど単純化されるなど
「計算機を用いて力づくで証明した」場合に、数学界としてどう検証・評価するのか
優れた先例にもなった。また、証明が発表されてから40年、単純化は進んだが
いまだに理論的に人間が読める証明はできてない。
それ自体にどれほど意味があるかわからないが、四色問題は数学史上の重要な成果だ。
もちろん、より理論的で簡単な証明が今後できれば、それも価値があると思う。
四色問題の「価値」は、シンプルな問題で昔からよく知られていたが
おそらくそうした問題に対して史上初めて計算機を用いて解き切ったこと。
計算機が必要と言うだけなら、複雑な力学の問題など四色以前にたくさんあったが
元の問題が単純で、いかにも正しそう、トーラス(というか種数が1以上)の
場合の方が易しくて10年前に先に解かれていた、という事情もあった。
プログラムの検証に10年くらいかかり、さらにその後も大きく2度ほど単純化されるなど
「計算機を用いて力づくで証明した」場合に、数学界としてどう検証・評価するのか
優れた先例にもなった。また、証明が発表されてから40年、単純化は進んだが
いまだに理論的に人間が読める証明はできてない。
それ自体にどれほど意味があるかわからないが、四色問題は数学史上の重要な成果だ。
もちろん、より理論的で簡単な証明が今後できれば、それも価値があると思う。
234132人目の素数さん
2018/09/20(木) 13:04:37.45ID:a1/nOQ/g >>222
現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜
ってことは今後もありうるだろうし、良い研究だと思う。
その大理論が(勉強するのは大変にしろ)既知のものばかりで
ン十年前の問題も解決した手法も特に広がりがないなら、高くは評価されないでしょ。
素数の間隙評価した張益唐は、36歳でやっと博士号、そこからサンドウイッチ屋の
Subwayとかで働きながら、8年後になんとか講師になり、58歳で大定理を証明して
Ann. Math.に論文載せて一気に教授になってCole賞受賞だ。おめーらも頑張れや
現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜
ってことは今後もありうるだろうし、良い研究だと思う。
その大理論が(勉強するのは大変にしろ)既知のものばかりで
ン十年前の問題も解決した手法も特に広がりがないなら、高くは評価されないでしょ。
素数の間隙評価した張益唐は、36歳でやっと博士号、そこからサンドウイッチ屋の
Subwayとかで働きながら、8年後になんとか講師になり、58歳で大定理を証明して
Ann. Math.に論文載せて一気に教授になってCole賞受賞だ。おめーらも頑張れや
235132人目の素数さん
2018/09/20(木) 13:09:32.22ID:4MmxT2WD 頑張るのやだ!
適当に生きるわ
適当に生きるわ
236132人目の素数さん
2018/09/20(木) 14:06:14.09ID:+3do99E+ >>233
Make 10 パズルだってペントミノだって、
コンピュータ使って総当たりで解くのが
けっきょくシンプルだろ。
「組合せの数が多すぎて解けねぇ (T_T)」
(四色問題の場合は、実質的に無限)つーのを
コンピュータで抑えこんで解決した、っつーのが
すごい、って話だと思うが。
「(辺長が自然数の)正方形を、すべて大きさの違う
(辺長が自然数である)正方形に分割する(ただし、
辺長が1の場合はトリビアルだから除く)」って
問題もわかりやすいけど、まだ「最小の解」っていうのが
見つかっていない(らしい。現在見つかっている解が
最小であるという証明もされていない)とかいうのも、
方法はともあれ、誰か解いてほしいと思う。
Make 10 パズルだってペントミノだって、
コンピュータ使って総当たりで解くのが
けっきょくシンプルだろ。
「組合せの数が多すぎて解けねぇ (T_T)」
(四色問題の場合は、実質的に無限)つーのを
コンピュータで抑えこんで解決した、っつーのが
すごい、って話だと思うが。
「(辺長が自然数の)正方形を、すべて大きさの違う
(辺長が自然数である)正方形に分割する(ただし、
辺長が1の場合はトリビアルだから除く)」って
問題もわかりやすいけど、まだ「最小の解」っていうのが
見つかっていない(らしい。現在見つかっている解が
最小であるという証明もされていない)とかいうのも、
方法はともあれ、誰か解いてほしいと思う。
237132人目の素数さん
2018/09/20(木) 14:12:43.27ID:+3do99E+ >>234
> 現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜
> ってことは今後もありうるだろうし、良い研究だと思う。
おれも評価してくんねぇかなぁ ……
行列使って五十年くらい未解決だった問題を、
連分数使って証明して、ついでに図形的に証明したんだが、
誰も評価してくんねぇ。
「Barning = Hall の定理の逆問題」(「原始ピタゴラス数を
生む行列」。「原始ピタゴラス数は三分木をなす」という定理の
逆)っていえば、そこそこ有名なんだけどなぁ。
> 現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜
> ってことは今後もありうるだろうし、良い研究だと思う。
おれも評価してくんねぇかなぁ ……
行列使って五十年くらい未解決だった問題を、
連分数使って証明して、ついでに図形的に証明したんだが、
誰も評価してくんねぇ。
「Barning = Hall の定理の逆問題」(「原始ピタゴラス数を
生む行列」。「原始ピタゴラス数は三分木をなす」という定理の
逆)っていえば、そこそこ有名なんだけどなぁ。
238132人目の素数さん
2018/09/20(木) 14:57:44.79ID:M6nVhqxS >>237
どんな未解決問題を解いたの?
どんな未解決問題を解いたの?
239132人目の素数さん
2018/09/20(木) 15:04:46.11ID:G7B3RsJN >>4
Amazon.com で注文していた本の一部が今日届きました。
8冊注文したうちの以下の4冊が届きました。
https://i.imgur.com/oDKiHvY.jpg
残念ながら、 Linear Algebra Done Right の角が少しへこんでいました。
その他の本も完璧とは言えない状態でした。
Amazon.com で注文していた本の一部が今日届きました。
8冊注文したうちの以下の4冊が届きました。
https://i.imgur.com/oDKiHvY.jpg
残念ながら、 Linear Algebra Done Right の角が少しへこんでいました。
その他の本も完璧とは言えない状態でした。
240132人目の素数さん
2018/09/20(木) 15:10:25.31ID:G7B3RsJN241132人目の素数さん
2018/09/20(木) 15:11:57.74ID:G7B3RsJN242132人目の素数さん
2018/09/20(木) 15:52:15.99ID:G7B3RsJN243132人目の素数さん
2018/09/20(木) 16:01:15.73ID:G7B3RsJN >>231
訂正します:
固有多項式が (複素数の範囲で零点をもつのか分からない実係数多項式) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。
「複素数の範囲で零点をもつのか分からない実係数多項式」と書いたのは、三宅さんの本では代数学の基本定理が成り立つことを書いていないからです。
仮に何の知識もないとすると複素数の範囲でも零点を持たない実係数多項式があるのではないか?と思ってしまいますよね。
訂正します:
固有多項式が (複素数の範囲で零点をもつのか分からない実係数多項式) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。
「複素数の範囲で零点をもつのか分からない実係数多項式」と書いたのは、三宅さんの本では代数学の基本定理が成り立つことを書いていないからです。
仮に何の知識もないとすると複素数の範囲でも零点を持たない実係数多項式があるのではないか?と思ってしまいますよね。
244132人目の素数さん
2018/09/20(木) 16:04:32.17ID:G7B3RsJN ともかく、固有値について各以上、代数学の基本定理に触れないというのはあり得ないことですよね?
245132人目の素数さん
2018/09/20(木) 16:04:53.11ID:G7B3RsJN ともかく、固有値について書く以上、代数学の基本定理に触れないというのはあり得ないことですよね?
246132人目の素数さん
2018/09/20(木) 16:57:43.97ID:+3do99E+ >>238
スレ違いだから、
『ピタゴラス数をなんと 〜荒らされたので立て直しました〜
[無断転載禁止]©2ch.net 』
(ttps://rio2016.5ch.net/test/read.cgi/math/1478040803/)
に書いとく。
基本的には、『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という
三次の行列を掛けることで、一意に表される』という話で、
小林 吹代『ピタゴラス数を生み出す行列のはなし』(ベレ出版)に
詳しく書いてあるんだが、「任意の原始ピタゴラス数を、e(={3, 4, 5})に
対する U/D/A の積の形で表せるか?」というのが未解決だったんだよ
(そのあたりは、細矢治夫先生の『トポロジカル・インデックス』に、
悪戦苦闘っぷりが詳しく述べられている)。
だけど、なんだかんだで図形的に証明(たぶん、ちょっと数学のできる
中学生だったら理解できる程度)できちゃって、「べつに行列とか
使わなくっていいじゃん?」みたいな話になっちゃったんだ。
「高校数学から行列がなくなっちゃう」という話は知ってたけど、
「だったら三角関数の加法定理とか、一次変換使わなくって、
どうやって覚えるの?」っつー思いがあって、「ベクトルを
教えるんだったら、二次・三次までの行列も、いちおう意味が
把握できる程度には、教えといたほうがいいんじゃないの?」と
思う。「線形代数」まで行っちゃうと、連立一次方程式との
関連とかいろいろあるんで、概念的に統合するのが大変だし、
線形計画法みたいな数値計算分野との関連があるんで、先送りに
してもいいとは思うんだけど。
スレ違いだから、
『ピタゴラス数をなんと 〜荒らされたので立て直しました〜
[無断転載禁止]©2ch.net 』
(ttps://rio2016.5ch.net/test/read.cgi/math/1478040803/)
に書いとく。
基本的には、『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という
三次の行列を掛けることで、一意に表される』という話で、
小林 吹代『ピタゴラス数を生み出す行列のはなし』(ベレ出版)に
詳しく書いてあるんだが、「任意の原始ピタゴラス数を、e(={3, 4, 5})に
対する U/D/A の積の形で表せるか?」というのが未解決だったんだよ
(そのあたりは、細矢治夫先生の『トポロジカル・インデックス』に、
悪戦苦闘っぷりが詳しく述べられている)。
だけど、なんだかんだで図形的に証明(たぶん、ちょっと数学のできる
中学生だったら理解できる程度)できちゃって、「べつに行列とか
使わなくっていいじゃん?」みたいな話になっちゃったんだ。
「高校数学から行列がなくなっちゃう」という話は知ってたけど、
「だったら三角関数の加法定理とか、一次変換使わなくって、
どうやって覚えるの?」っつー思いがあって、「ベクトルを
教えるんだったら、二次・三次までの行列も、いちおう意味が
把握できる程度には、教えといたほうがいいんじゃないの?」と
思う。「線形代数」まで行っちゃうと、連立一次方程式との
関連とかいろいろあるんで、概念的に統合するのが大変だし、
線形計画法みたいな数値計算分野との関連があるんで、先送りに
してもいいとは思うんだけど。
247132人目の素数さん
2018/09/20(木) 17:29:22.82ID:M6nVhqxS >>246
どういうこと?
>『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という
>三次の行列を掛けることで、一意に表される』
が成り立つなら、
>任意の原始ピタゴラス数を、e(={3, 4, 5})に
>対する U/D/A の積の形で表せるか?
は同じこと言ってるんだから証明するまでもなく正しいと思うんだけど。
どういうこと?
>『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という
>三次の行列を掛けることで、一意に表される』
が成り立つなら、
>任意の原始ピタゴラス数を、e(={3, 4, 5})に
>対する U/D/A の積の形で表せるか?
は同じこと言ってるんだから証明するまでもなく正しいと思うんだけど。
248132人目の素数さん
2018/09/20(木) 18:16:48.04ID:4MmxT2WD あなたが買った4冊の本はすべてダメな本ですよ
249132人目の素数さん
2018/09/20(木) 18:18:12.82ID:+3do99E+ >>247
表せるはずなのは解ってるんだけど、
「任意の原始ピタゴラス数から e に辿り着くルート求める
具体的なアルゴリズムを示せ」って言われると、けっこう頭を
抱えちゃうのよ。「そこが、この定理の泣き所だ」って、
細矢先生も『トポロジカル・インデックス』の中で
ボヤいていらっしゃった。
で、これを連分数の形で表現してみたら、そのルートが
「いちいち U・D・Aの逆行列を掛けてみなくても、
機械的に求められる」というのに気がついたのよ。
ところが、連分数って、要するにユークリッドの互除法と
同じことを言ってるワケじゃん?(長方形から、正方形を
取り除いてく操作と等価なんだから)
「だったら、図形的に解けるんじゃねぇ?」と思って、
その連分数表示を眺めていたら、「2」が必ず出てくるのよ。
「要するに、長方形から二個の正方形を取り除く操作なんじゃねぇ?」
と思ったら、ホントにそうだった、って話。
で、この発端が、古代バビロニアの数学粘土板、プリンプトン 322 の
解読だったんで、「これは、メソポタミアの書記の神、ナブー様の
お導きに違いない」と思っているのだよ。
表せるはずなのは解ってるんだけど、
「任意の原始ピタゴラス数から e に辿り着くルート求める
具体的なアルゴリズムを示せ」って言われると、けっこう頭を
抱えちゃうのよ。「そこが、この定理の泣き所だ」って、
細矢先生も『トポロジカル・インデックス』の中で
ボヤいていらっしゃった。
で、これを連分数の形で表現してみたら、そのルートが
「いちいち U・D・Aの逆行列を掛けてみなくても、
機械的に求められる」というのに気がついたのよ。
ところが、連分数って、要するにユークリッドの互除法と
同じことを言ってるワケじゃん?(長方形から、正方形を
取り除いてく操作と等価なんだから)
「だったら、図形的に解けるんじゃねぇ?」と思って、
その連分数表示を眺めていたら、「2」が必ず出てくるのよ。
「要するに、長方形から二個の正方形を取り除く操作なんじゃねぇ?」
と思ったら、ホントにそうだった、って話。
で、この発端が、古代バビロニアの数学粘土板、プリンプトン 322 の
解読だったんで、「これは、メソポタミアの書記の神、ナブー様の
お導きに違いない」と思っているのだよ。
250132人目の素数さん
2018/09/20(木) 18:26:44.39ID:M6nVhqxS >>249
具体的なルートを求めるアルゴリズムを考案せよ、という話でしたか。
それだったら、幅優先探索でU/D/Aの逆行列を1回ずつ掛け算すれば、
有限時間内にeに辿り着くのだから、eに辿り着いたルートが求めるルートですよね?
このやり方は指数時間かかるから現実的ではないけど、
単にアルゴリズムを考案せよっていう話なら、これで終わっちゃうと思うんだけど。
連分数の形で表現するというのが何を指しているのか分からないけど、
連分数だと効率よくルートが求まるのかな?
具体的なルートを求めるアルゴリズムを考案せよ、という話でしたか。
それだったら、幅優先探索でU/D/Aの逆行列を1回ずつ掛け算すれば、
有限時間内にeに辿り着くのだから、eに辿り着いたルートが求めるルートですよね?
このやり方は指数時間かかるから現実的ではないけど、
単にアルゴリズムを考案せよっていう話なら、これで終わっちゃうと思うんだけど。
連分数の形で表現するというのが何を指しているのか分からないけど、
連分数だと効率よくルートが求まるのかな?
251132人目の素数さん
2018/09/20(木) 18:27:27.15ID:JiKnlZxT >>249
もうジャーナルには掲載されてるのね?
もうジャーナルには掲載されてるのね?
252132人目の素数さん
2018/09/20(木) 18:34:14.30ID:4MmxT2WD おまえらはまだお子ちゃまだな
数学を極めると証明なんかいらないんだよ
数学を極めると証明なんかいらないんだよ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた★2 [ゴアマガラ★]
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた★3 [ゴアマガラ★]
- コカ・コーラ、日本の食事時飲用は主要40カ国平均の6分の1 唐揚げで食事需要開拓 [煮卵★]
- 【W杯】渋谷スクランブル交差点は「人・人・人」のお祭り騒ぎに 警察は「まもなく赤信号です!」と厳戒態勢 [ゴアマガラ★]
- 「自衛隊」発言・古賀議員も国会で後悔の涙😭「発言撤回は当然だが、経済的な事情と入隊は無関係ではない」と専門家★2 [パンナ・コッタ★]
- 【セルジオ越後】チュニジア相手の4-0で満足していたら危ない。ブラジル?モロッコ? 日本にはまだ“選ぶ権利”なんてない [ゴアマガラ★]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪 ★6
- ⚽Vtuberのみんなとニッポンを応援するお🏡
- 【高市朗報】森保監督、チュニジア戦でも国歌斉唱で涙👈いやこれどう言う感情? [714769305]
- 【悲報】「見て見て!死に物狂いで働いて苦しいローン組んで家建てたぞ!」→みんなに公衆便所みたいと言われてしまうwwwwwwwwwwwww [802034645]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪 ★7
- コカ・コーラ社「日本人を唐揚げ漬けにすれば、もっとコーラが売れる」いうほどコーラで唐揚げ食うか? [492715192]