X



トップページ数学
1002コメント308KB
数学の本第77巻
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/06/02(土) 10:34:44.29ID:p7c+vC1c
数学の専門書についてのスレです

数学学習マニュアル まとめページ
http://www.geocities.co.jp/Technopolis-Mars/7997/
数学の本 まとめサイト
http://www3.atwiki.jp/math/pages/1.html


過去スレ
第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/
0629132人目の素数さん
垢版 |
2018/07/09(月) 21:27:42.51ID:6NqZcLGT
注文していた Michael Spivak さんの

A Comprehensive Introduction to Differential Geometry シリーズ全5冊

ですが、まだ到着しません。アメリカの空港の税関のチェックがやっと済んだところです。
0631132人目の素数さん
垢版 |
2018/07/09(月) 21:38:48.18ID:RtAVJQA3
昨晩読んだPDFのスライドでやっと情報幾何での使い方のピントが合ってきた
0632132人目の素数さん
垢版 |
2018/07/09(月) 21:44:45.43ID:6NqZcLGT
情報幾何学って本当に甘利俊一さんが創始したんですか?
0633132人目の素数さん
垢版 |
2018/07/10(火) 05:04:48.01ID:ItAJdNQv
微分幾何学の良書教えてちょんまげ
0634132人目の素数さん
垢版 |
2018/07/10(火) 05:29:57.79ID:a++Kr7PR
>>633

Michael Spivak さんの

A Comprehensive Introduction to Differential Geometry シリーズ全5冊

はどうでしょうか?
0636132人目の素数さん
垢版 |
2018/07/10(火) 08:10:22.98ID:DaJME+eZ
おまえら、リーマン幾何学理解できるのかよ?
0637132人目の素数さん
垢版 |
2018/07/10(火) 08:44:27.13ID:xp4zAh07
>>635

二つのテーマを扱っている本ですか?

なんか今一つ魅力を感じませんね。

1つに絞ってほしいですよね。
0640132人目の素数さん
垢版 |
2018/07/10(火) 11:19:31.40ID:xp4zAh07
Michael Spivak さんの

A Comprehensive Introduction to Differential Geometry シリーズ全5冊

が届きました。

Amazonの追跡情報っていい加減ですね。

本にシールが貼ってあってそれを剥がしたのですが、綺麗に剥がせませんでした。

テープでネバネバを根気よく取ろうと思います。
0641132人目の素数さん
垢版 |
2018/07/10(火) 11:20:57.88ID:xp4zAh07
第1巻だけシールをはがしたのですが、面倒なので他の巻のシールは
そのままにしておこうと思います。
0643132人目の素数さん
垢版 |
2018/07/10(火) 11:55:12.03ID:xp4zAh07
これから購入する本棚の選定をしようと思います。
0645132人目の素数さん
垢版 |
2018/07/10(火) 11:58:09.47ID:xp4zAh07
https://imgur.com/zcubk68.jpg

↑Michael Spivak さんの

A Comprehensive Introduction to Differential Geometry シリーズ全5冊

を本棚に仮置きしました。

なんか満足感がありますね。
0647132人目の素数さん
垢版 |
2018/07/10(火) 12:16:07.06ID:xp4zAh07
松本幸夫著『多様体の基礎』の参考文献のところに、 Michael Spivak さんの本について

「読んでなかなか面白く、だいたい何でも書いてある。」

というコメントがありますね。

あんなに分厚いシリーズに対して余裕のコメントですね。
0650132人目の素数さん
垢版 |
2018/07/10(火) 15:38:07.47ID:DaJME+eZ
おまえら、可換環論理解できるのかよ?
0651132人目の素数さん
垢版 |
2018/07/10(火) 16:19:14.34ID:jhnpT3cl
タン塩って美味いのでしょうか?
0652132人目の素数さん
垢版 |
2018/07/10(火) 16:50:15.90ID:WGGUcv2W
数学書の書評(レビュー)の書き方についてのサイトはありますか?英語でもいいです。
0653132人目の素数さん
垢版 |
2018/07/10(火) 16:52:52.84ID:jhnpT3cl
タン塩って美味いのでしょうか?
0655132人目の素数さん
垢版 |
2018/07/10(火) 17:10:39.35ID:jhnpT3cl
どんな味がするのでしょうか?
0656132人目の素数さん
垢版 |
2018/07/10(火) 17:29:54.69ID:xp4zAh07
>>645

Spivak さんの本を読む前に小林昭七さんの入門書を読んだ方がいいですかね?
0657132人目の素数さん
垢版 |
2018/07/10(火) 17:39:10.92ID:xp4zAh07
杉浦光夫著『解析入門I』を読んでいます。

p.68の例8に誤りがあります。

「実際、例2の説明からわかるように」

と書いてありますが、正しくは、

「実際、例3の説明からわかるように」

です。
0658132人目の素数さん
垢版 |
2018/07/10(火) 17:56:11.52ID:hyki4VCR
どこまでも圏論を回避して代数を学ぶことは可能でしょうか?
0659132人目の素数さん
垢版 |
2018/07/10(火) 18:16:29.68ID:xp4zAh07
圏論ってそんなに難しいんですか?
0661132人目の素数さん
垢版 |
2018/07/10(火) 18:22:36.89ID:hyki4VCR
圏は集合じゃないとかいう話を聞いて本当無理ってなりました。
0662132人目の素数さん
垢版 |
2018/07/10(火) 18:24:54.62ID:xp4zAh07
ベーシック圏論っていう翻訳書はどうですか?
0663132人目の素数さん
垢版 |
2018/07/10(火) 18:35:35.63ID:DaJME+eZ
多様体って簡単なのでしょうか?
0664132人目の素数さん
垢版 |
2018/07/10(火) 19:17:12.75ID:xp4zAh07
杉浦光夫著『解析入門I』を読んでいます。

p.70の図7.2が間違っています。

↓GeoGebraで正確な図を描きました。

https://imgur.com/rSormC0.jpg
0665132人目の素数さん
垢版 |
2018/07/10(火) 19:21:19.45ID:SBGJIKyI
>>658
受験数学よりははるかに自然な話なので別に無理矢理こだわることも無理矢理拒否することもないだろ。
0666132人目の素数さん
垢版 |
2018/07/10(火) 19:22:53.84ID:xp4zAh07
>>664

図7.2は正確に描かないと危険ですよね。

たまたま、議論に誤りが発生しなかっただけでしたね。
0667132人目の素数さん
垢版 |
2018/07/10(火) 19:24:28.48ID:hyki4VCR
>>665
普通の代数もよくわかってない人が安易に圏論に触れるのは
いいことではないと聞いたんですけど。
そういう意味で、できるだけ圏論の言葉によらない
代数の理解を深めた方がいいのかなと思ったんですが。
0668132人目の素数さん
垢版 |
2018/07/10(火) 19:26:48.64ID:xp4zAh07
簡単な代数も分かっていない人には結局、圏論も分からないから
時間の無駄になるという意味で触れない方がいいということでしょうか?
0670132人目の素数さん
垢版 |
2018/07/10(火) 20:01:09.86ID:xp4zAh07
圏論ってコンピュータサイエンスにも応用があるっていう話ですよね。
0671132人目の素数さん
垢版 |
2018/07/10(火) 20:01:19.12ID:RJMo1YHw
関数型プログラミングの本で圏論説明してる本なんか見たことないから
知らなくてもなんとかなっているのでは?
0672132人目の素数さん
垢版 |
2018/07/10(火) 20:05:36.88ID:kIadgO0Z
大体その話はモナドなんだけど、

モナドの定義を満たしていれば、プログラミングの見た目通り動く
満たしていないと、予定しない動きをする
ぐらいだから むしろ、そのスタイルに慣れることを推奨されている
0673132人目の素数さん
垢版 |
2018/07/10(火) 20:07:35.27ID:iDBm4iJ3
あくまで表現法だから慣れとけということでしょう
0674学術
垢版 |
2018/07/10(火) 20:28:30.63ID:T8adbVQo
暗唱でつないでいる人に仕込まれたことがないから本を買うんだろ。
それでもいい面とそうでない面。
0676132人目の素数さん
垢版 |
2018/07/10(火) 22:06:42.68ID:SBGJIKyI
haskell信者が深谷圏とか言い出してるのはネットでは聞いたことないな
0678132人目の素数さん
垢版 |
2018/07/11(水) 11:22:33.73ID:QXzCjdXW
クソ荒らしどもいつまで寝てんだよ

さぼってないでさっさと荒らして今日のノルマ達成しろよクズが
0679132人目の素数さん
垢版 |
2018/07/11(水) 11:29:19.72ID:Ffm9eJst
小林昭七著『続微分積分読本』を読んでいます。

2次対称行列の固有値というところを読んでいますが、ひどすぎます。

議論が穴だらけです。
0680132人目の素数さん
垢版 |
2018/07/11(水) 11:46:52.85ID:xxbdcVnQ
微分方程式の各種解法の議論って、どういう公理的立場からの基礎付けがされてるんですか?
dx,dyとかをただの数みたいに扱って勝手に微分したりしてるのがモヤモヤした気持ち悪さがあるんですが
その辺りを公理的、形式的な基礎付けをちゃんとしてる本教えて下さい
0682132人目の素数さん
垢版 |
2018/07/11(水) 13:45:43.14ID:Ffm9eJst
今、思ったんですけど、小林昭七さんって、昭和7年生まれだから
昭七なんですかね?

1932年1月生まれということは昭和7年生まれですよね。

これって大発見じゃないですか?
0685132人目の素数さん
垢版 |
2018/07/11(水) 15:30:22.90ID:Ffm9eJst
杉浦光夫著『解析入門I』を読んでいます。

p.71ですが、「x の近傍」という用語がそれまでに定義されていないにもかかわらず
使われています。有限個の開集合の共通部分が開集合になることも証明せずに
使われています。

パッと見は、完成度の高い本に見えましたが、よく読んでみると、結構雑な本ですね。
0686132人目の素数さん
垢版 |
2018/07/11(水) 16:21:22.59ID:xxbdcVnQ
>>685
発見した誤りやおかしい議論を一纏めにしてブログに貼るなりしてくれないか?
そしたらきちんと読むわ
0687132人目の素数さん
垢版 |
2018/07/11(水) 16:39:15.62ID:lqBR5ZLl
>>685
ε近傍の定義はなされている
それでいて近傍が定義されていないと言い張るのは
ε近傍を理解していない証拠。
それは後者の証明をいちいち要求することからもわかる。
お前は「門前払い」されているんだよ
0688132人目の素数さん
垢版 |
2018/07/11(水) 17:36:51.62ID:Ffm9eJst
x の ε 近傍と x の近傍とでは全く異なります。

この本で初めて近傍という言葉を見た人には意味が分からないに違いありません。

全体的にしつこいと言っていいほど丁寧な記述をしているのに、これは非常に
不自然な話です。

単に、定義し忘れたことに気づいていないだけではないでしょうか?
0690132人目の素数さん
垢版 |
2018/07/11(水) 18:30:15.08ID:yuyYPJek
資産9999不可説不可説転円の超絶天才ネットトレーダーと15分で数学の未解決問題を全て一人で証明した超絶天才数学者はどっちの方が凄いですか?
また、どっちの方が頭が良いですか?
0691132人目の素数さん
垢版 |
2018/07/11(水) 18:56:21.30ID:nNPMsuBb
>>682
年寄りはみんな知ってる
昭一さんは昭和1年生まれ(非常に少ないが)
昭五さんは昭和5年、
ちな、志村五郎さんも昭和五年、
俺の親類の爺さん婆さんもこんな名前だらけよ
0692132人目の素数さん
垢版 |
2018/07/11(水) 19:35:15.64ID:1tjRjZQw
代数多様体って難しいのでしょうか?
0693132人目の素数さん
垢版 |
2018/07/11(水) 20:09:59.72ID:Ffm9eJst
藤崎源二郎著『体とガロア理論』
梅原雅顕&山田 光太郎著『曲線と曲面(改訂版)』
T. レンスター著『ベーシック圏論 普遍性からの速習コース』
上江洲忠弘著『述語論理・入門―基礎からプログラムの理論へ』

を注文しました。
0694132人目の素数さん
垢版 |
2018/07/11(水) 20:13:00.38ID:Ffm9eJst
>>691

そうなんですか。

佐武一郎さんは1927年生まれですから、昭和2年生まれですが、
佐武二郎ではないんですね。
0696132人目の素数さん
垢版 |
2018/07/11(水) 22:11:03.66ID:Ffm9eJst
杉浦光夫著『解析入門I』を読んでいます。

p.75 定理8.1系2っておかしくないですか?
なぜ、上限、下限としているのか意味不明です。
最大値、最小値とすべきですよね。

定理8.1系2

f : I = [a, b] → R が連続ならば、 f(I) の上限、下限を M, m とするとき、
f(I) = [m, M] である。
0697132人目の素数さん
垢版 |
2018/07/12(木) 13:33:04.68ID:qt61F2SW
>>696
何でお前の頭っていつまで経っても微積・線型代数止まりで先に進めないの?
頭おかしいの?
0698132人目の素数さん
垢版 |
2018/07/12(木) 13:34:24.96ID:qt61F2SW
>>693の注文をした以上、それらの本読んでそっちの方面の“粗探し”を期待したいわww
0700132人目の素数さん
垢版 |
2018/07/12(木) 15:13:36.07ID:2D5qKHUs
杉浦光夫著『解析入門I』を読んでいます。

また、不自然なところを発見しました。

それは、p.75定理8.1系3の証明です。

「有界閉区間 [x, y] (または [y, x])」という記述です。

確かに、 f(x) < γ < f(y) となるような x, y ∈ I の組の中には、
y < x となるようなものも存在する可能性はあります。

ですが、 α = lim_{x → a+0} f(x)、 β = lim_{x → b-0} f(x) である
わけですから、 x は a の近くから、 y は b の近くからとるのが自然
です。その場合、 x < y となります。

x < y かつ f(x) < γ < f(y) となるような x, y ∈ I の存在はかならず
保証できますが、y < x かつ f(x) < γ < f(y) となるような x, y ∈ I
の存在は f によって存在したりしなかったりします。

もし著者が生きていて、この箇所の不自然さを指摘したらきっと修正
しますよね。
0702132人目の素数さん
垢版 |
2018/07/12(木) 15:55:09.11ID:yNKXXaKx
数年前からずっと思ってるんだけど、何で日本ってウダウダと長い一文で述べることに美学を感じてるんかな
短く切って並べた方が絶対分かりやすくなるのにな。

簡単な例をあげるとこんな感じになるかな

可換環RのイデアルMが極大イデアルとなるための必要十分条件は剰余環R/Mが体となることである

これは

Rを可換環、MをRのイデアルとする時、Mが極大イデアル ⇔ 剰余環R/Mが体 である。

って言った方が絶対通じやすいのにな
0703132人目の素数さん
垢版 |
2018/07/12(木) 16:18:16.54ID:sQqagqbK
>>702
それは日本語に限ったことじゃないよ。英語でもなるべく記号ではなく文章で書くのが推奨されてる希ガス。
こればっかは長いものに巻かれてる方がいいと思う。
こんなんこだわってもじゃぁない。
0704132人目の素数さん
垢版 |
2018/07/12(木) 18:15:42.47ID:yNKXXaKx
このスレの聞く耳持たないアスペ君じゃないけど、斎藤毅の「集合と位相」91ページなんてひどいぞ
   Xの部分集合Uで、Uの任意の元xに対しx∈V⊆UをみたすV∈Oが存在するという条件をみたすものはすべて、Oの元である。
初学者がこの文章を見てすぐに分かるのかなって気はするでしょ?
どう見ても
   ∀U⊆X[∀x∈U∃V∈O(x∈V⊆U)⇒U∈O]
と書いた方が簡潔かつ誰が読んでも一瞬で理解できる
0705132人目の素数さん
垢版 |
2018/07/12(木) 18:18:02.33ID:2y5lEXFF
自分に向いてるのが世間全員に向いてると思い込むのは止めた方がいいよ
0706132人目の素数さん
垢版 |
2018/07/12(木) 18:27:50.02ID:8ui1mBXz
神学と数学はどっちの方が崇高ですか?
0707132人目の素数さん
垢版 |
2018/07/12(木) 18:33:01.94ID:AV2r/HEy
選択公理は神学でしょ。
0710132人目の素数さん
垢版 |
2018/07/12(木) 21:41:50.38ID:WMoIHvbr
可微分多様体って、難しいのでしょうか?
0711132人目の素数さん
垢版 |
2018/07/12(木) 22:07:14.98ID:2D5qKHUs
杉浦光夫さんの『解析入門I』よりも松坂和夫さんの『解析入門3』のほうが
位相についてより一般的なことも書いてありますね。
0712132人目の素数さん
垢版 |
2018/07/13(金) 07:40:30.03ID:7l1yEMsz
杉浦光夫さんの『解析入門I』は難しいと言われることが多いようですが、
1変数の場合と多変数の場合が入り乱れて扱われているからではない
でしょうか?

不思議なのが松坂和夫さんの『解析入門』シリーズが簡単な本と言われる
ことが多いことです。

例えば、位相については、松坂和夫さんの本のほうが難しいと思います。
0713132人目の素数さん
垢版 |
2018/07/13(金) 08:05:20.15ID:gSu/pXGu
位相空間論は松坂和夫ので理解できなければもう諦めるしかないよ
それぐらい丁寧で優しい

松本幸夫の多様体入門で理解できなければ多様体諦めろ、というのと同じ
0714132人目の素数さん
垢版 |
2018/07/13(金) 08:20:32.90ID:vastcjgy
落合の微分幾何学入門は簡単だよな?
0717132人目の素数さん
垢版 |
2018/07/13(金) 09:39:24.42ID:TXJcGp6P
多様体は、松本とTuなら、どっちが良いですか?
0718132人目の素数さん
垢版 |
2018/07/13(金) 10:37:07.63ID:vastcjgy
多様体って、難しいよな
微分多様体が特に難しい
0720132人目の素数さん
垢版 |
2018/07/13(金) 16:58:34.13ID:7l1yEMsz
杉浦光夫著『解析入門I』を読んでいます。

p.88の命題1.5(ライプニッツの公式)ですが、なぜ、

f, g を実数値関数に制限して述べています。意味不明です。

複素数値関数でも同様に成り立つので、おかしいですよね?

p.84の命題1.3の(3)の積の微分法の公式では、 f, g は実数値または複素数値と
しています。

統一感のない本ですよね?
0721132人目の素数さん
垢版 |
2018/07/13(金) 17:02:20.64ID:7l1yEMsz
注文していた

藤崎源二郎著『体とガロア理論』
梅原雅顕&山田 光太郎著『曲線と曲面(改訂版)』
T. レンスター著『ベーシック圏論 普遍性からの速習コース』
上江洲忠弘著『述語論理・入門―基礎からプログラムの理論へ』

が家に届きました。

梅原さんらの本ですが、なんかいい加減系の本という印象ですが、どうなんでしょうか?

小林昭七さん、深谷賢治さんなど、幾何学系の人はいい加減な人が多いんでしょうか?
0722132人目の素数さん
垢版 |
2018/07/13(金) 17:06:14.41ID:7l1yEMsz
梅原さんと山田さんですが、同じ大学を同じ年に卒業していますね。
そして現在、卒業した大学とは違う同じ大学の教授ですね。
そして、共著の本を書いています。

なんか気味が悪いくらい仲がよさそうですね。

曲線と曲面の微分幾何の英語の本も共著で執筆していますね。
0723132人目の素数さん
垢版 |
2018/07/13(金) 17:12:36.24ID:j62wYgcc
アッー!
0725132人目の素数さん
垢版 |
2018/07/13(金) 18:04:53.44ID:7l1yEMsz
杉浦光夫著『解析入門I』を読んでいます。

p.92の定義1に誤りを発見しました。

「f が U における f の最大値である」

と書いてありますが、

「f(a) が U における f の最大値である」

が正しいですよね。
0726132人目の素数さん
垢版 |
2018/07/13(金) 20:01:33.12ID:X1DYvuNi
お母ちゃんにおねだりしたの、いっぱい本を買ってもらってよかったね
0727132人目の素数さん
垢版 |
2018/07/13(金) 20:47:51.37ID:7l1yEMsz
杉浦光夫著『解析入門I』を読んでいます。

p.96の定理2.5の系ですが、ステートメントが間違っていますよね。

「区間 I の各点 x で f'(x) > 0」となっていますが、
「区間 Iの内部 の各点 x で f'(x) > 0」ですよね?
■ このスレッドは過去ログ倉庫に格納されています

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