1 名前:132人目の素数さん mailto:sage [2011/04/03(日) 07:22:53.78 ] ここでじっくりやればいいんじゃない? 解析 高木、小平、杉浦、溝畑、笠原、加藤十吉、藤原松三郎、 田島、松坂、ハイラー&ワナー、ラング、スピヴァク 小林昭七、一松、黒田、斎藤正彦、宮島、 金子晃、難波誠、藤田宏etc.. 線型 佐武、斎藤正彦、齋藤毅、松坂、笠原、 永田雅宣、長谷川、川久保、新井、ストラング、平岡etc... シリーズ 理工系の、キーポイント、スミルノフ、石村園子、マセマ ゼロから、なっとく、なるほど、30講他 過去スレ 【激しく】解析と線型代数の本何がいい?【既出】 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/ 関連スレ 数学の本 第38巻 kamome.2ch.net/test/read.cgi/math/1293882228/
702 名前:132人目の素数さん mailto:sage [2012/01/08(日) 18:32:17.43 ] >>700 ラマヌジャンが読んだ本が何かはよく知られているが 無名さんの書いた無名の本。 俺も図書室で見てみたが、くだらない本だった。
703 名前:132人目の素数さん mailto:sage [2012/01/08(日) 18:33:58.02 ] >>701 松坂は擁護するものがいるが、笠原は業績晒し上げされて あんまり擁護がいないみたいだから、教科書を書いたとか 以前の、好みの問題だと思う。
704 名前:132人目の素数さん [2012/01/08(日) 18:35:21.05 ] >>702 あんたにとってくだらない本にしてもラマヌジャンにとっては大きく影響を受けた本だったということ
705 名前:132人目の素数さん mailto:sage [2012/01/08(日) 18:38:14.29 ] >>704 ラマヌジャンには、あれしか近くに数学の本が なかったんですよ。たぶん、別の本を読んでいても ラマヌジャンは数学をやったんだと思いますよ。 まあ、どういう本か自分で見てみればわかると思います
706 名前:132人目の素数さん [2012/01/08(日) 18:41:52.87 ] >>705 >ラマヌジャンには、あれしか近くに数学の本がなかったんですよ その本が役に立ったことに変わりはない
707 名前:132人目の素数さん [2012/01/08(日) 18:46:08.65 ] >>705 因みにその本の題名と著者名を教えてくれませんか?
708 名前:132人目の素数さん mailto:sage [2012/01/08(日) 20:50:46.53 ] ぐぐれ
709 名前:132人目の素数さん [2012/01/08(日) 21:11:58.15 ] >>708 ぐぐった ジョージ・ジューブリッジ・カーというイギリス人の書いた「純粋・応用数学基礎要覧」 英語では?
710 名前:132人目の素数さん [2012/01/08(日) 21:37:01.23 ] When Ramanujan was sixteen and still in high school an elderly friend who knew of his precocious mathematical talent gave him George Carr's Synopsis of elementary results in pure and applied mathematics. This two-volume encyclopedic tome contained six thousand theorems on all fields of mathematics. As Ramanujan read and worked his way through these theorems he discovered that he could derive results that were not in Carr. This was the beginnings of Ramanujan's mathematical productions and set the tone for his mathematical career.
711 名前:132人目の素数さん [2012/01/08(日) 21:41:14.45 ] >>710 この百科辞典的な2巻本は数学のあらゆる分野における約6000個の定理を含んでいた。 ただものじゃないだろ、この本は。
712 名前:132人目の素数さん mailto:sage [2012/01/08(日) 21:44:44.16 ] 数学辞典みたいなもの?
713 名前:132人目の素数さん [2012/01/08(日) 21:44:46.62 ] >>701 同意
714 名前:132人目の素数さん mailto:sage [2012/01/08(日) 23:09:33.47 ] >>701 集合位相とか線形代数じゃなくて、加藤のPerturbation Theoryとか 小林野水のDifferential Geometryとかなら、数学の発展に大きく 寄与したっていえるだろうね。 加藤敏夫も小林昭七も、どちらも研究者として偉大だけどさ。
715 名前:132人目の素数さん mailto:sage [2012/01/08(日) 23:10:49.55 ] >>712 共立の新数学公式が近いかなー
716 名前:132人目の素数さん [2012/01/08(日) 23:15:40.68 ] 初等的な分野の教科書であれば、数学ユーザーの育成に寄与し得るんでない? 物理とか工学とかの その意味で、立派な教育者
717 名前:132人目の素数さん mailto:sage [2012/01/08(日) 23:23:22.50 ] 問題:森毅は立派な教育者か?
718 名前:132人目の素数さん [2012/01/09(月) 00:45:57.82 ] >>717 ただの売文学者
719 名前:132人目の素数さん [2012/01/09(月) 00:51:34.33 ] その書き方だと文学を売る者に見えてしまう 売文業者というべきだ
720 名前:132人目の素数さん mailto:sage [2012/01/09(月) 00:52:40.60 ] 売文学を研究していたのかもしれないぞw
721 名前:132人目の素数さん mailto:sage [2012/01/09(月) 01:02:16.80 ] >>716 の視点から言えば、森毅だって「数学ユーザーの育成に寄与し」た 立派な教育者ってことになる。東大京大の教授で、森毅以上に 数学ユーザーの育成に寄与した数学者なんてほとんどいないだろ。 が、多くの人にはただの物書きとしか思われない。 結局、微積や線形レベルの話しか書かない人はその程度って話。
722 名前:132人目の素数さん [2012/01/09(月) 01:11:55.25 ] ただの物書きとしか思わない多くの人にとっては「その程度」って話なわけだね 最後の行に飛躍があるよ
723 名前:132人目の素数さん [2012/01/09(月) 01:24:41.10 ] >微積や線形レベルの話 これ等は数学の基礎だからこれ等のいい教科書を書くことは教育上重要 高木の解析概論の影響で日本の偏および常微分方程式関係の進歩が遅れたという説もある。 線型というと佐武か斉藤くらいしか名前が挙がらないのも問題 ルベーグ積分についてもいまだに伊藤というのもなんだか もっといろんなルベーグ積分の本があっていい
724 名前:132人目の素数さん mailto:sage [2012/01/09(月) 01:26:18.49 ] >>723 まあ、溝畑で勉強した京大のほうが長い間PDEの人材が 出たかもしれないねえ・・・ 異論は認めるw
725 名前:132人目の素数さん [2012/01/09(月) 01:32:12.69 ] >>723 いろんな大学のシラバスを見てたら、佐武や齋藤を使ってる方が 今は少ないよ。高木は言わずもがな。 ルベーグでも伊藤以外がけっこう挙がってる。 もう少しあんたが勉強した方がいいw
726 名前:132人目の素数さん mailto:sage [2012/01/09(月) 01:33:56.59 ] >>724 京都だけど、小さくないRudinで勉強したよ 英語苦手でも十分おk、溝畑せんせーの本高かったしw
727 名前:132人目の素数さん [2012/01/09(月) 01:34:41.56 ] うーん、さすがに解析概論は無かったが、 佐武一郎、斎藤正彦はまだあったよ。 伊藤以外にもあがってるのは事実。
728 名前:132人目の素数さん [2012/01/09(月) 01:37:08.01 ] >>727 数年前に探したとき、どっかの教育大で高木があったw 今はさすがにないかねえ。齋藤はまだそこそこ見るかな。 三宅が増えてるねえ・・・
729 名前:132人目の素数さん [2012/01/09(月) 01:37:15.56 ] >>725 高木の影響といっただろ 小平にしても杉浦にしても高木の影響を受けている 佐武や齋藤、伊藤は2chでは定番だが
730 名前:132人目の素数さん [2012/01/09(月) 01:44:22.07 ] 解析概論は名著ではあるが、何か一分野を半期かけて講義しようってときにあえて採用したい参考書ではないw
731 名前:132人目の素数さん [2012/01/09(月) 01:48:44.23 ] >>729 小平や杉浦使ってる講義も今じゃ少ないねw かなり前から大学教育の現場はとっくに多様化してんだよ。 2ちゃんの定番がどうであれ、リアルには関係無いよ。
732 名前:132人目の素数さん [2012/01/09(月) 01:51:49.26 ] >>731 >2ちゃんの定番がどうであれ、リアルには関係無いよ。 常識的に考えれば関係あるだろ 2chは別と考える理由は何?
733 名前:132人目の素数さん [2012/01/09(月) 01:54:16.72 ] >>732 2ちゃんの影響力を信じてるタイプ?w 外に出て、リアル大学生が手にしてる本を見てこいや
734 名前:132人目の素数さん mailto:sage [2012/01/09(月) 01:55:29.76 ] >>730 「『解析概論』について」って講義すりゃあいいんじゃね?
735 名前:132人目の素数さん [2012/01/09(月) 01:56:15.33 ] >>733 大学の教科書イコール学生に人気のある教科書じゃないだろ
736 名前:132人目の素数さん [2012/01/09(月) 01:59:01.47 ] >>733 2chの影響力を信じてるんじゃなくて2chはリアル人気を 反映してるだろってこと 2chは匿名だから本音がでやすいだろ
737 名前:132人目の素数さん [2012/01/09(月) 02:00:49.63 ] うわっ真性だwww
738 名前:132人目の素数さん [2012/01/09(月) 02:07:27.43 ] 2chでなんで嘘を書く必要がある? 業者は別だろうが
739 名前:132人目の素数さん [2012/01/09(月) 02:26:45.07 ] 2chの佐武人気は不思議だな リアル学生にも人気あるのか?
740 名前:132人目の素数さん [2012/01/09(月) 02:34:35.16 ] 具体的に佐武のどこらへんが不満なの?
741 名前:132人目の素数さん [2012/01/09(月) 02:40:11.67 ] >>740 証明が明快じゃない 例えばCayley-Hamiltonの定理の証明 行列式の導入が天下り それから良く言われていることだが掃き出し法が書かれていない
742 名前:132人目の素数さん mailto:sage [2012/01/09(月) 02:42:12.97 ] >>740 物理的に重い
743 名前:132人目の素数さん [2012/01/09(月) 02:42:37.39 ] ケイリーハミルトンは、p148のフロベニウスの定理使った方が明快だね
744 名前:132人目の素数さん [2012/01/09(月) 03:06:23.16 ] >>743 どうやるの?
745 名前:132人目の素数さん [2012/01/09(月) 03:21:25.05 ] >>744 f(A)の固有値はf((Aの固有値)) f(x)=|xE-A|とすると、f((Aの固有値))=0 だから、f(A)〜O ⇔ f(A)=O
746 名前:132人目の素数さん [2012/01/09(月) 03:23:55.95 ] >>745 馬鹿乙
747 名前:132人目の素数さん [2012/01/09(月) 03:38:12.73 ] 〜 ← これなんて読んでる?
748 名前:132人目の素数さん mailto:sage [2012/01/09(月) 03:39:44.83 ] ちょろん
749 名前:132人目の素数さん [2012/01/09(月) 04:01:33.23 ] にょろん
750 名前:132人目の素数さん [2012/01/09(月) 04:04:08.00 ] ぴょろん
751 名前:132人目の素数さん [2012/01/09(月) 08:54:57.67 ] チルダ マジレスデごめん
752 名前:132人目の素数さん mailto:sage [2012/01/09(月) 09:17:20.67 ] 杉浦解析入門 0<b <1 なる 自然数b があるとする。 B={p | p≧1 p∈N } C= {b^p | p∈ B} 集合Cは、下に有界なので、inf C は存在し、 inf C =0 。 集合Cは、自然数の部分集合なので、最小値がある。 inf Cが求まっているので、それと一致する。 min C = inf C =0 bを何乗かしてゼロになるということだが、これは矛盾。 よって、0<b <1 なる 自然数b は無い。 感想:なんか冗長
753 名前:132人目の素数さん [2012/01/09(月) 09:33:11.44 ] 杉浦さんのような数学者として(論文の)レベルが低かった人は やたら形式にこだわった書き方をするね どうでもいいことに思考時間を裂いて、なるほど 新しくて深いことを出来なかったわけだと思うわ
754 名前:132人目の素数さん mailto:sage [2012/01/09(月) 09:35:50.31 ] 杉浦さんの弟子っているのですか
755 名前:132人目の素数さん [2012/01/09(月) 09:38:03.23 ] >>752 任意の自然数 n = 1 +...+ 1 ≧ 1 これで証明終りだろ
756 名前:132人目の素数さん [2012/01/09(月) 09:51:15.18 ] >>753 >やたら形式にこだわった書き方をするね 解析学の定理を実数の公理から厳密に証明するというのがWeierstrass以来の流れ これはそれまでの直感に頼った解析学に対する反省から来ている だから一見自明にみえる命題も厳密に証明してるんだろ
757 名前:132人目の素数さん mailto:sage [2012/01/09(月) 10:36:01.54 ] >>753 形式にこだわってるのではなく 行間をくどくどと埋めて書いてるんだよ。 非数学科志望の普通の学生でも読めるように書いてあるってだけ。
758 名前:132人目の素数さん [2012/01/09(月) 11:38:22.30 ] >>752 なるほど! ただ、アホみたいに細かい話になっちゃうんだけど、 C⊂N つまり、b^p∈N b^p∈N を証明するのに、定義から証明したら面倒な雰囲気が… >>756 バカな俺にとっては自明に見える命題も証明してもらえるとありがたい。 どの命題がどの定理、公理から導かれているのか正確に分かるので、 循環論法等に陥ることが無くなる。 ただ、杉浦は証明というより、説明がやたら長く感じる。 説明はいらん。そのぶん、数式で厳密に定義してくれた方が分かりやすい。
759 名前:132人目の素数さん [2012/01/09(月) 11:44:11.13 ] >>758 任意の自然数 n = 1 +...+ 1 ≧ 1 これで証明終りと言ってるんだが分からない? なんなら n ≧ 1 を数学的帰納法で証明してもいい。 1^2 = 1 だから 1 > 0 だし。
760 名前:132人目の素数さん [2012/01/09(月) 11:44:22.98 ] 形式にこだわってそれが意味があるかのごとく思うのは 低いレベルの人だね
761 名前:132人目の素数さん [2012/01/09(月) 11:48:57.04 ] >よって、0<b <1 なる 自然数b は無い。 こんなアホなことの記述に頭を使う暇があるなら、もっと先を勉強するのがいい
762 名前:132人目の素数さん [2012/01/09(月) 11:50:41.82 ] >>759 分かるよ。 ただ、任意の自然数 n = 1 +...+ 1 を証明するのに、 P(0)=0 ∧ n∈N P(n+1)=P(n)+1 ⇔ {P(n)}=N ってのを証明する必要があると思うのよ・・・ でも、それ証明しちゃったら、0<a<1のとき P(0)=0<a<P(1)=1 P(n)は単調増加で即証明終わりだと思うのだが・・・
763 名前:132人目の素数さん [2012/01/09(月) 11:52:15.74 ] ミス 誤 P(0)=0 ∧ n∈N P(n+1)=P(n)+1 ⇔ {P(n)}=N 正 P(0)=0 ∧ n∈N P(n+1)=P(n)+1 ⇒ {P(n)}=N
764 名前:132人目の素数さん mailto:sage [2012/01/09(月) 11:59:32.41 ] >>760 それはそうだが、 2chに書き込むような低レベルの人が言うのは滑稽すぎる
765 名前:132人目の素数さん [2012/01/09(月) 12:00:16.78 ] >>761 アホなことでも証明出来ないならもっとアホだろ
766 名前:132人目の素数さん [2012/01/09(月) 12:02:39.26 ] >>762 数学的帰納法を使えばいい n = 1 のときは n ≧ 1 n ≧ 1 なら n + 1 > n ≧ 1
767 名前:132人目の素数さん [2012/01/09(月) 12:05:51.11 ] >>765 アホなことは証明なぞ必要なし 0と1の間に自然数がないなんてことの証明なんて不要
768 名前:132人目の素数さん [2012/01/09(月) 12:06:56.44 ] >>766 むむむ、分からんぞ・・・ 詳しく頼む。 私が言ってるのは、 1以上の任意の自然数nが n=1+1+…+1 で表せることを証明する必要があると言ってるのだが…
769 名前:132人目の素数さん [2012/01/09(月) 12:08:12.82 ] それは自然数の定義だろ
770 名前:132人目の素数さん [2012/01/09(月) 12:10:01.57 ] >>767 実数の公理からその命題を演繹しろというのが問題 それをアホだと思うのがあんたがアホだから
771 名前:132人目の素数さん mailto:age [2012/01/09(月) 12:10:05.60 ] >>558 そもそも公理厨のつり
772 名前:132人目の素数さん [2012/01/09(月) 12:11:51.95 ] >>769 杉浦さんは実数から自然数を定義してるよ。 完結に言えば、任意の継承的集合に属するすべての実数を自然数 よって、杉浦のやり方に従えば、定義じゃなくて証明するべき命題だと思ってたのだが…
773 名前:132人目の素数さん [2012/01/09(月) 12:14:17.14 ] >>768 任意の自然数 n に対して n ≧ 1 を証明すればいいんだろ。 n に関する数学的帰納法を使えばいい。 n = 1 のときは n ≧ 1 n ≧ 1 と仮定すると n + 1 > n ≧ 1 よって、任意の自然数 n に対して n ≧ 1
774 名前:132人目の素数さん [2012/01/09(月) 12:16:00.36 ] 任意の継承的集合に属するすべての実数を自然数 この日本語分かりにくいね。ごめん。訂正する。 自然数は任意の継承的集合の部分集合とする。
775 名前:132人目の素数さん [2012/01/09(月) 12:25:39.18 ] >>773 n + 1 > n ≧ 1 この部分で n+1∈N も必要では?
776 名前:132人目の素数さん [2012/01/09(月) 12:26:15.27 ] 実数体 R は制限完備な順序体として定義すればいい。 そうすれば R の要素としての自然数 n は n・1 = 1 +...+ 1 として定義出来る。
777 名前:132人目の素数さん [2012/01/09(月) 12:30:54.70 ] >>775 それは自然数の定義に含まれるだろ n ∈ N ⇒ n + 1 ∈ N を証明しろというのか?
778 名前:132人目の素数さん [2012/01/09(月) 12:34:13.17 ] >>777 私は杉浦の自然数の定義から、それを証明してたんだけど・・・ 662の証明って、大半がそこにさかれてる。 それが証明できちゃえば、あとは速効で終わった。
779 名前:132人目の素数さん [2012/01/09(月) 12:39:19.90 ] >>778 杉浦が手元にないから良くわからないけど>>776 のように定義すれば即終りだと思うけど。
780 名前:132人目の素数さん [2012/01/09(月) 12:43:38.89 ] >>778 自然数の集合 N がどのような定義にしろ n ∈ N ⇒ n + 1 ∈ N はさすがに自明だろ
781 名前:132人目の素数さん [2012/01/09(月) 12:53:37.94 ] >>558 杉浦の定義からもいくつか継承的集合の例を作れば、 n ∈ N ⇒ n + 1 ∈ N は明らかだから、自明にしたかったけど、 >>558 はもっと細かいことを指摘してるんじゃなかろうかと思ったのよね。 実際、証明したら少々苦戦したし、面倒だったし・・・ もしかしたら、対偶とか使えば楽に証明できそうな気もするが、考えてないw
782 名前:132人目の素数さん [2012/01/09(月) 12:54:10.25 ] >>780 杉浦の定義からもいくつか継承的集合の例を作れば、 n ∈ N ⇒ n + 1 ∈ N は明らかだから、自明にしたかったけど、 >>558 はもっと細かいことを指摘してるんじゃなかろうかと思ったのよね。 実際、証明したら少々苦戦したし、面倒だったし・・・ もしかしたら、対偶とか使えば楽に証明できそうな気もするが、考えてないw
783 名前:132人目の素数さん [2012/01/09(月) 12:56:30.06 ] >>776 >>779 >>558 が杉浦の本の範囲でできるって言ってたから、 定義を変えるのは反則的な感じがして、やらなかった。
784 名前:132人目の素数さん [2012/01/09(月) 12:57:05.72 ] >>782 継承的集合って何?
785 名前:132人目の素数さん mailto:sage [2012/01/09(月) 12:57:48.23 ] 継承的集合の定義を書いてみろアホンダラ!
786 名前:132人目の素数さん [2012/01/09(月) 13:00:17.06 ] ごめん 分かったwwwwww
787 名前:132人目の素数さん mailto:age [2012/01/09(月) 13:02:58.70 ] 以上、自演でした
788 名前:132人目の素数さん [2012/01/09(月) 13:06:21.74 ] >>787 自演だったらハッピーだわwwww 顔から火がでそうだよw やっぱ俺みたいなバカは大学行かなくて正解だったwwwwww うおおお、死にたい。 さて、無意味に数学やってくるわw
789 名前:132人目の素数さん [2012/01/09(月) 18:16:42.38 ] >>752 の証明はさすがにないだろ 755 :132人目の素数さん:2012/01/09(月) 09:38:03.23 >>752 任意の自然数 n = 1 +...+ 1 ≧ 1 これで証明終りだろ
790 名前:132人目の素数さん mailto:sage [2012/01/09(月) 22:33:40.31 ] 学問は簡単なことを難しく言うのが好きだからな。
791 名前:132人目の素数さん mailto:sage [2012/01/09(月) 22:45:02.26 ] 特に三流、四流は。
792 名前:132人目の素数さん mailto:sage [2012/01/10(火) 21:18:21.19 ] 自分が読んだ本の中で良いなと思う教科書をまとめてみた。 微積はもしかしたらルディンを追加するかもしれない。 今読んでるけどかなり好感触。 ttp://www.amazon.co.jp/lm/R128BJQLT1R0Y0
793 名前:132人目の素数さん mailto:sage [2012/01/10(火) 21:20:55.56 ] >>792 金持ちだな でなにやるつもり
794 名前:132人目の素数さん mailto:sage [2012/01/10(火) 22:09:36.00 ] アマゾンで光男の解析入門レビューしてるやつ、学生レベルだな。
795 名前:132人目の素数さん mailto:sage [2012/01/10(火) 22:14:40.17 ] 「俺は学生レベルなんてとっくに卒業してるもんね(フフン凄いだろ)」
796 名前:132人目の素数さん mailto:sage [2012/01/10(火) 22:20:57.58 ] >>793 自分でも良く分からん・・・・ やってて楽しいからやってる。 後、図書館で借りて読んでる分も多い。 こんなの全部買ってたら全く金が足りない。
797 名前:132人目の素数さん mailto:sage [2012/01/10(火) 22:26:18.97 ] >>796 了解。 おれもまず図書館でかりるようにしている。 昔は本マニアだったけど。
798 名前:132人目の素数さん mailto:sage [2012/01/10(火) 23:24:40.94 ] 光男の解析はβも名著だとほざいていた。
799 名前:132人目の素数さん mailto:sage [2012/01/11(水) 12:55:15.17 ] >>798 記述がクドいのと詰め込みすぎな所を除けば名著だと思うんだけど・・・ 結構分かりやすいし、個人的には溝畑より好き。
800 名前:132人目の素数さん [2012/01/11(水) 13:05:33.33 ] みんな解析入門とか線形代数の本だけで5、6冊持ってるの?
801 名前:132人目の素数さん mailto:sage [2012/01/11(水) 13:20:50.71 ] ぱっと見つかった手持ちの邦書だと 解析入門 田島、解析概論、杉浦I、お芽でとうジョージの本 線形代数 佐竹、ジョージの本 計6冊 そんなもんでしょ
802 名前:132人目の素数さん mailto:sage [2012/01/11(水) 15:00:30.51 ] ジョージって誰こわい