21/01/28 23:02:38.70 KJqD0oLz.net
>>676
つまんなそうな本持ってるな
それでお前が行間埋めたノート作ってみて
716:１３２人目の素数さん
21/01/29 00:10:21.64 gAhZqNsd.net
「本当に誰にとっても行間のないノート」の条件を
717:考えてみると、どんな些細なことでもすべて定義に立ち戻って議論することになりそうだね 例えば移項操作についても次のような証明が必要だろう 「a+b=cと仮定すると両辺に-bを足して(a+b)+(-b)=c+(-b)、左辺は結合律からa+(b+(-b))=a+0=a、右辺はc-bとなる(減法の定義！)のでa=c-bが成り立つ。逆にa=c-bと仮定すると両辺bを足してa+b=(c-b)+b=c+(-b+b)=c+0=cが成り立つ。したがって、a+b=cとa=c-bは同値である」 もちろん、既に証明済みの定理を用いる場合はその定理番号を明記した上で定理の仮定を満たすかどうかの検証を一切の省略なしで書き下さないといけない ……こういうことを最初から最後まで同じペースでやる必要があるけど、少なくとも個人的には読みたくないわウンザリする こんな感じの微積の本があるとしたら1変数だけで軽く5000ページ以上になりそうな気がするｗｗｗｗｗｗｗｗ
718:１３２人目の素数さん
21/01/29 00:21:59.78 EcLGS2bh.net
受験参考書で細かく説明してるのあるけどうざいだけ
719:１３２人目の素数さん
21/01/29 01:03:41.66 eruCmpmh.net
このスレッドの伸びる速さは３０/日を超えました。
新しいスレッドを立ててください。
life time: 22日 10時間 1分 30秒
720:701
21/01/29 01:04:11.89 eruCmpmh.net
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
──────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
──────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
URLﾘﾝｸ(premium.5ch.net)
▼ 浪人ログインはこちら ▼
URLﾘﾝｸ(login.5ch.net)
721:１３２人目の素数さん
21/01/29 01:49:23.21 YuR4ekgI.net
えっスレ落ちんの？
722:１３２人目の素数さん
21/01/29 09:28:34.29 DWQk7xhe.net
>>698
移行だとそう見えるけど、
スキーム論だとどうなる？
723:１３２人目の素数さん
21/01/29 09:47:17.37 DWQk7xhe.net
移行を知っている人が移行をやられるとうんざりする、はまあいいとして、
じゃあスキームを知らない人がスキーム論を読むときに詳しく書いてあったらどうだろう
724:１３２人目の素数さん
21/01/29 19:05:41.08 pv54g3nr.net
>>698
それはレイアウトの問題
プログラミングでは行間飛ばしなんて出来ないわけだから全処理を記述しないといけない(数学で言えば行間が完全にゼロ)わけだけど、
そここそプログラマの腕の見せ所で、メソッドやクラスに分けたりして綺麗なロジックで纏めて読みやすくしてるし、
大抵のエディタには折りたたみ機能があるから、「読みたい人だけ読めばいい行間埋め」が出来る。
読みたくない・うんざりするっていうのは、今の数学書のレイアウトを前提にした感想
↑これな
725:１３２人目の素数さん
21/01/30 09:23:26.68 3uI1SCb1.net
で、理想の本君のためのノートを誰かアップせんの？
726:１３２人目の素数さん
21/01/30 10:12:15.43 tuMqt+NZ.net
>>705
数学の証明でループ文がプログラミングと同じように使えると思ってんの？
プログラミングなら実際に動かしてみてエラーにならなければ問題ないけど、数学ならそのループが正常に終わるための確認(証明)が必要でしょ
プログラミングだと細かい計算はその命令内で処理してるわけで、それをそのまま数学の証明に置き換えてみると省略がある(行間がある)ことになるんじゃね
727:１３２人目の素数さん
21/01/30 10:18:29.39 3uI1SCb1.net
プログラミングがなぜ動くのか
わからんｗ
728:１３２人目の素数さん
21/01/30 11:20:37.48 lHyDsxQK.net
>>707
プログラミングにおけるループが数学における何に対応してる？一定の議論(証明)の纏まりのことか？
>プログラミングだと細かい計算はその命令内で処理してるわけで、それをそのまま数学の証明に置き換えてみると省略がある(行間がある)ことになるんじゃね
数学の証明はどこまで行間を埋めて、それを持ってして「行間ゼロに埋めたぞ！」と結論付けれるかっていう問題
例えば、>>698の場合、更に突っ込もうとすると
「＝の反対称律・推移律についても零元についても断ってねぇじゃねぇかよ。行間があるだろ」って言える
でもこの程度は書かなくても理解できるという共通認識があるから特に問題はないってことになる(別に書いてもいい)
まぁ流石に用語の定義をした直後はもっとしつこく行間を埋めるのもいいとは思うが。
729:１３２人目の素数さん
21/01/30 11:21:48.99 lHyDsxQK.net
訂正
「＝の対称律・推移率についても～
730:１３２人目の素数さん
21/01/30 11:23:39.94 g2/5rmjt.net
吉田のルベーグ積分入門の新装版が3月に日本評論社から出る。
731:１３２人目の素数さん
21/01/30 11:47:46.62 9MJw2egn.net
確率統計のもみたいだね
遊星社から日本評論社へ鞍替えということか
732:１３２人目の素数さん
21/01/30 12:59:11.70 h4IQDAfk.net
>>711
本人がいないので本文の訂正、問題の追加は期待できない
733:１３２人目の素数さん
21/01/30 13:09:55.00 0v2uQS3s.net
>>713
吉田伸生死んだの？
734:１３２人目の素数さん
21/01/30 13:10:17.20 fCLmxD4n.net
小木曽の代数曲線論って本のタイトル若干違う気がする
普通代数曲線といえば一次元代数多様体だが、小木曽の代数曲線論の中ではリーマン面(連結複素一次元複素多様体)を扱っている
ましてやスキームなど全然登場しない
735:１３２人目の素数さん
21/01/30 13:14:13.17 0v2uQS3s.net
代数曲線論はスキームの前からあるけど
736:１３２人目の素数さん
21/01/30 13:32:54.68 2qu6yNXR.net
理想の教科書＝Coqで全部証明かく
737:１３２人目の素数さん
21/01/30 13:33:27.52 fCLmxD4n.net
>>716
なるほど、古いからか
現代的には代数曲線＝一次元代数多様体になっちゃったしなぁ
738:１３２人目の素数さん
21/01/30 13:49:24.79 h4IQDAfk.net
>>714
耕作じゃないほうか
739:１３２人目の素数さん
21/01/30 15:16:37.17 3NCvmoRn.net
モジュライって、代数幾何学なの？
740:１３２人目の素数さん
21/01/30 16:13:31.64 2qu6yNXR.net
寺杣のリーマン面とか岩沢の代数函数論とかいろいろ合わせないとな
楕円曲線だけでも楕円関数だけでもすぐれた本があるし
741:１３２人目の素数さん
21/01/30 16:29:34.60 lHyDsxQK.net
なんか、アカデミックな本ほど、一文に対して装飾語句をふんだんに盛り入れて文法構造を読み取るのに一瞬時間がかかってしまうレベルにまで長文にすることでインテリさを表そうとしてるかのような文ってちらほら見かけるけど、
そういうのってむしろ読者にとっては邪魔なだけで、短文を連接させる文のほうが読者としてはすんげぇ読みやすいんだよな
742:１３２人目の素数さん
21/01/30 16:31:20.06 lHyDsxQK.net
さっき宮島の関数解析をちらっと見てて思った
この本は割と短文を連接させてくれていてて、ちょっと読みやすい
やすい(3000円)し濃密だし(500ページオーバー)おすすめ
743:１３２人目の素数さん
21/01/30 16:55:16.32 h4IQDAfk.net
黒田�
744:謔閧ﾇこがいいいの？
745:１３２人目の素数さん
21/01/30 16:57:21.89 h4IQDAfk.net
安さなら宮寺が1300円
746:１３２人目の素数さん
21/01/30 17:18:08.75 UR+CaWlo.net
>>712
遊星社が廃業したからでしょ。
教科書・参考書に採用されることもあるような本だから、今後も手に入るのは良いことかと。
747:１３２人目の素数さん
21/01/30 17:24:56.49 UR+CaWlo.net
宮島の関数解析は手に入りにくいよね？amazonで中古にプレミアついてるし。
748:１３２人目の素数さん
21/01/30 17:26:22.31 2qu6yNXR.net
品切れの多い宮島の関数解析はここで昔からステマの対象
マケプレヤフオクに出るたびに宮島上げのレスが入る
749:１３２人目の素数さん
21/01/30 17:27:43.31 2qu6yNXR.net
共立・黒田だったら解析系の教員もたいてい持ってるから話が通じやすい
長年の定番教科書ってこうやってなかなか変わらない
750:１３２人目の素数さん
21/01/30 17:29:25.01 h4IQDAfk.net
そうだ
751:１３２人目の素数さん
21/01/30 17:30:27.14 h4IQDAfk.net
>>728
なーんだ
752:１３２人目の素数さん
21/01/30 18:07:52.66 lHyDsxQK.net
>>727
残念だねw
俺は昔ジュンク堂で新品で定価で買えたわ
もうこの本なかなか売ってないよな
横浜書店は他にも欲しい本売ってるけどアマゾンに出てないんだよな
753:１３２人目の素数さん
21/01/30 18:15:32.97 g2/5rmjt.net
宮島の本（微積、ベクトル解析、関数解析）は雑すぎてどこがいいのかわからん。
754:１３２人目の素数さん
21/01/30 18:19:10.03 u3mdIrfM.net
理科大関係者のステマだろ
755:１３２人目の素数さん
21/01/30 18:32:39.58 tuMqt+NZ.net
ソボレフ空間は割と良いよ
え？他に代替できる本が少ないだけ？その通りだ
756:１３２人目の素数さん
21/01/30 19:34:30.84 l16roCLd.net
レアだけど普通に手続きすれば買える感じだと思う
教科書指定とかでも積まれてた記憶
757:１３２人目の素数さん
21/01/30 19:36:16.71 u3mdIrfM.net
宮島の本は理科大の教科書でしょ、今は知らんが
印税稼ぎに付き合わされて気の毒だわ
758:１３２人目の素数さん
21/01/30 20:16:32.31 lHyDsxQK.net
ID:u3mdIrfM←本の中身に一切言及せずデマだけの可哀想なアホがここにも居たな
こういうアホは、数学以前に、勉強ができない偏差値の低いタイプ
まっ、相手せずさっさとNGしとくか
759:１３２人目の素数さん
21/01/30 20:18:51.68 lHyDsxQK.net
松田稔の「測度・積分とバナッハ空間」も安くて分厚い
760:１３２人目の素数さん
21/01/30 20:31:20.70 u3mdIrfM.net
そりゃ立ち読みの時点でうけつけなかったからな宮島の本
761:１３２人目の素数さん
21/01/30 21:11:25.62 5o6t4Yl4.net
>>738
みやじい信者うざいわ
762:１３２人目の素数さん
21/01/30 21:16:52.60 lHyDsxQK.net
>>741
信者でもなんでもない
ただ単に俺が沢山持ってる本の内の1冊をレスしただけｗｗ
763:１３２人目の素数さん
21/01/30 21:17:25.47 5o6t4Yl4.net
>>742
持ってる本の写真アップ
764:１３２人目の素数さん
21/01/30 21:18:05.48 lHyDsxQK.net
ゴミにレスしてしまった
NG完了
765:１３２人目の素数さん
21/01/30 21:18:31.67 5o6t4Yl4.net
なんだ持ってないのか
766:１３２人目の素数さん
21/01/30 23:50:17.20 ZunQadfZ.net
ブレジスの英訳増補版が出たのに今さら宮島とか
767:１３２人目の素数さん
21/01/31 10:53:47.43 TpE3uGns.net
松坂くん居たら返事して
768:１３２人目の素数さん
21/01/31 11:03:54.73 AC03gMcS.net
うせろカス
769:１３２人目の素数さん
21/01/31 16:29:17.31 z0C8XY1x.net
松つん♡
770:１３２人目の素数さん
21/01/31 18:58:38.98 FpjuW5ds.net
キモい
771:１３２人目の素数さん
21/01/31 20:17:06.41 AC03gMcS.net
位相空間 例と演習 川崎 読んだ奴おる？
772:１３２人目の素数さん
21/02/01 20:22:45.81 SCZBNagS.net
>>746
線形の人は読まないよ
773:１３２人目の素数さん
21/02/01 20:39:17.91 SCZBNagS.net
どこかで見たと思ったら宮島の関数解析は書泉グランデで売ってるわ（通販可）
774:１３２人目の素数さん
21/02/01 21:47:56.76 9OdBBU0Z.net
ふだん田舎暮らしなのです。
東京に行ったときに数学書をチェックしたいと思ってますが
東京で数学書が充実している書店はどこですか？
775:１３２人目の素数さん
21/02/01 21:57:25.20 SCZBNagS.net
>>754
丸善＠丸の内、書泉グランデ＠神田、ジュンク堂＠池袋
776:１３２人目の素数さん
21/02/01 22:12:55.65 Upy4zHCy.net
>>754
図書館創成期に大量に転がってるやん
777:１３２人目の素数さん
21/02/03 12:12:21.46 R3X61nyo.net
単にGalois TheoryってワードだけでMSCを見ても11~14,18の分類があるから
本の中身知ってる奴じゃ無いとどこに分類して良いかさえも分からんな
778:１３２人目の素数さん
21/02/04 17:38:37.39 veoVBkPf.net
前スレででてたZornの補題ｐｄｆの2個目の方の証明が宮島の関数解析のでの同証明と全く同一だな
779:１３２人目の素数さん
21/02/04 19:00:08.99 Bql6DY4Z.net
Zornより超限帰納法使えよ
780:１３２人目の素数さん
21/02/04 19:19:32.41 veoVBkPf.net
>>759
超限帰納法を使うにはZFCの順序数の議論を既知としなきゃいけないから素朴集合論からスタートしてる人には向いてない
781:１３２人目の素数さん
21/02/04 22:35:19.03 veoVBkPf.net
巨大奇数の集合論ってやべぇほど難しいな
基礎論の入門書を1,2冊読む程度じゃ全然読めないわ
782:１３２人目の素数さん
21/02/06 01:11:09.64 6WIJbOXT.net
今月の数理科学が面白そうだったから買おうと思ったが、
ネット書店にはどこにも在庫がない。残念
783:１３２人目の素数さん
21/02/09 20:11:11.89 Xzz/5xiT.net
>>761
基数に関してはこのコラムが面白かったな
可算無限から強到達不可能基数までサラッと紹介してて読みやすかった
URLﾘﾝｸ(samidare.halfmoon.jp)
784:１３２人目の素数さん
21/02/10 00:16:47.56 zygx+CRE.net
これ最後の方誤魔化してないか？
785:１３２人目の素数さん
21/02/10 00:59:18.25 vV1oPeTr.net
>>763
到達不可能基数まではガッチリ読めば誰でも分かる
基礎論の、順序数論→基数の理論って流れのまだまだ初歩レベルだから
本当に意味不明になってくるのは、絶対性、反映定理、構成可能性あたりから
強制法まで分かってるのは研究者
786:１３２人目の素数さん
21/02/10 01:02:29.24 vV1oPeTr.net
>>763
公理的集合論に興味湧いたら
現代数学レクチャーズ B-10 公理的集合論 田中尚夫 培風館
読みやすい
キューネン（藤田訳）が定番らしいが。
787:１３２人目の素数さん
21/02/10 01:03:40.63 vV1oPeTr.net
>>763
それ、、ブルーバックスレベルやな
788:１３２人目の素数さん
21/02/10 11:41:39.08 i6PNRAHj.net
トンデモ本かそうでないかってどう見分けてる？
789:１３２人目の素数さん
21/02/10 12:36:37.10 7PMtDxxR.net
すっかりゴミレベル
790:１３２人目の素数さん
21/02/10 15:04:48.38 aezVBaEK.net
>>762
保型形式か
791:１３２人目の素数さん
21/02/11 00:20:50.59 4f+907zw.net
>>762
susumukuniがレビュー書いてたな
792:１３２人目の素数さん
21/02/13 14:43:16.24 HLGsHwCu.net
スキームってなに？
793:１３２人目の素数さん
21/02/13 14:55:12.34 BiTkMCqH.net
インターネットミ
794:ームだよ
795:１３２人目の素数さん
21/02/13 16:02:21.67 2pQAraI8.net
バズワードじゃないの？
796:１３２人目の素数さん
21/02/13 16:34:48.14 HLGsHwCu.net
アメーバってなに？
797:１３２人目の素数さん
21/02/15 19:58:45.92 +8wXe1tw.net
Z図書館もちょくちょく更新してるからチェックすべきだな
結構あっちの方とかぶってるけど
798:１３２人目の素数さん
21/02/16 05:34:50.17 dV64Xm65.net
駄スレ
799:１３２人目の素数さん
21/02/17 01:15:08.63 d/bjP7Qg.net
>378 は、お前のいう理想のテキストはどんなもんなのか教えてほしい。気になるし、名著だったら、>376 も黙るんじゃ。
>376
日本の大学など、どこも変わらんよ。
底辺の方が、技術しっかり持っていてかつ命令に忠実だから、むしろよいよ。
東大ごときで吠えてても、
誰もかしこも数学をプロダクトに落とし込めるほどに全く理解していないので、
ふつうに税金の無駄遣い言われても無理ないで。
純粋数学の発展にさほど寄与もしとらんし、京都では、選択公理仮定して頭おかしい理論発表するわで、一回日本潰れたらええんちゃうか思うけどな。
いいとこあるの。
底辺ってなに？
お前が、エロゲしてる間に底辺はビル建ててるんやけど。
800:１３２人目の素数さん
21/02/17 07:07:38.51 IVFR23jA.net
MSCじゃなくて
AMS(MOS) Subject Classification
の方の分類情報ってどこで確認できますか？
801:１３２人目の素数さん
21/02/17 07:38:07.94 nNCZO5IN.net
>>778
風俗エロゲビルメン
802:１３２人目の素数さん
21/02/17 09:26:03.43 xTd8bI5I.net
分類屋ｗ
803:１３２人目の素数さん
21/02/17 10:26:08.56 IVFR23jA.net
>>781
数千冊持つようになれば分類の大変さがお前も分かるようになる
804:１３２人目の素数さん
21/02/17 10:28:13.26 xTd8bI5I.net
読まねーくせに、それに収集が目的ではない
805:１３２人目の素数さん
21/02/17 13:21:13.33 RJinsonS.net
五千冊くらい持っているが
分類なんか大雑把なもんだ
壁一面に一目でわかる
806:１３２人目の素数さん
21/02/17 13:27:23.99 xTd8bI5I.net
本棚にハンドルついてる？
807:１３２人目の素数さん
21/02/17 13:28:22.39 f1xMLHaw.net
すげー
僕まだ1200冊くらいだわ
808:１３２人目の素数さん
21/02/17 13:34:53.12 JX/9y0Yw.net
大学レベルの数学の教科書の読み方【数学の学び方】
URLﾘﾝｸ(www.youtube.com)
809:１３２人目の素数さん
21/02/17 14:12:38.42 hZB5fiv7.net
ワイ5万冊持ってるよ
810:１３２人目の素数さん
21/02/17 14:42:16.83 xTd8bI5I.net
新潟は大雪か？
811:１３２人目の素数さん
21/02/17 15:42:19.08 UesFj30q.net
Kindleにしているかい？
812:１３２人目の素数さん
21/02/17 17:23:19.01 IVFR23jA.net
>>784
地震・火災等の天災で一瞬で消失する恐怖を感じないのか？
俺はそれがあるからほぼ全部電子化したぞ
813:１３２人目の素数さん
21/02/17 17:26:28.74 lHT3d0CE.net
その時間がもったいない
数学書学者になりたいわけじゃないしな
814:１３２人目の素数さん
21/02/17 17:30:01.11 lHT3d0CE.net
>>784
普通はそんな感覚だろ
電子化とかpdf化とかそんな暇あれば論文読む
815:１３２人目の素数さん
21/02/17 18:02:29.64 xTd8bI5I.net
>>787
大したこと書いてない、指導教官がいれば指導してもらえばいいじゃん
816:１３２人目の素数さん
21/02/17 21:14:21.85 IVFR23jA.net
>>792,793
あ、新しいものについて何も知らずして変な先入観で忌避して保守化するタイプか
そういう奴って電子書籍の話題に限らず何言っても聞く耳持たんタイプだよな
817:１３２人目の素数さん
21/02/17 21:15:25.57 xTd8bI5I.net
818:ああ聞かないよ
819:１３２人目の素数さん
21/02/17 21:15:57.56 IVFR23jA.net
>>792
例えて言うなら、「飛行機なんて墜落したら100%即死じゃん。だったらどこ行くときも自転車のほうが安全だわ」とか言ってるタイプｗｗ
820:１３２人目の素数さん
21/02/17 22:02:51.38 xTd8bI5I.net
読んでわかるレベルの数学しかできないくせにｗｗ
821:１３２人目の素数さん
21/02/17 22:40:24.70 rzoNN25W.net
買うても読めない、分からない本だらけw
822:１３２人目の素数さん
21/02/17 22:45:30.72 J9Y8Wlcd.net
松坂さんの入門書がバイブル
823:１３２人目の素数さん
21/02/17 23:35:57.21 7niLAp9u.net
マックス・テグマーク
『数学的な宇宙』究極の実在の姿を求めて (講談社)
が読みたくなったのですがすでに払底しているようでAmazonマーケットプレイスでも極めて高価でした
この書物と内容が近くて宗教には遠い和訳の本、もし
ありましたら教えていただきたいです
自力では見極めが出来ずお頼みいたします
824:１３２人目の素数さん
21/02/18 09:55:46.22 /lbPnmtm.net
物理板で聞け
825:１３２人目の素数さん
21/02/18 10:56:06.24 j63NbnVp.net
はい
826:１３２人目の素数さん
21/02/18 20:57:40.65 2XMzKZHb.net
>>797
アンカ連打して効いてるなw
827:１３２人目の素数さん
21/02/18 22:04:36.49 W6mF4z3X.net
てｓｔ
828:１３２人目の素数さん
21/02/18 22:19:14.35 W6mF4z3X.net
>>804
な～んの根拠にもなってないこと言ってるアホがまたここに湧いてきたとさ
829:１３２人目の素数さん
21/02/18 22:19:33.46 W6mF4z3X.net
>>804
あい、安価連打してるけど、お前のアホ理論では効いてるとさ
830:１３２人目の素数さん
21/02/18 22:29:15.37 W6mF4z3X.net
>>804
はい、3連打目なんだが、お前のアホ理論によると俺は今ブチギレ厨ってことか？w(失笑)
831:１３２人目の素数さん
21/02/18 22:32:35.63 2XMzKZHb.net
お前修論も書いたことないだろ？どうなんだ？
832:１３２人目の素数さん
21/02/18 22:36:33.56 rwatwyAR.net
論文は目的ではなく手段
833:１３２人目の素数さん
21/02/18 22:40:30.18 W6mF4z3X.net
>>809
アホがまた湧いてきた
またまた根拠なしの妄言か。
憐れすぎ
834:１３２人目の素数さん
21/02/18 22:41:08.91 W6mF4z3X.net
>>809
俺に勝ちたかったら根拠を持って理屈で勝ってみろ
負け犬(嘲笑)
835:１３２人目の素数さん
21/02/18 22:41:17.35 2XMzKZHb.net
どうなんだ？
836:１３２人目の素数さん
21/02/18 22:44:21.62 2XMzKZHb.net
あーまたお前か
全然進歩ねーなwwwwwwwwwww
837:１３２人目の素数さん
21/02/18 22:52:39.05 W6mF4z3X.net
>>814
じゃ、負け犬ｼｮｰｶﾞｲｼｬは病院行って頭の検査受けてきましょう
838:１３２人目の素数さん
21/02/18 23:43:56.40 gqpAI0cn.net
>>753
デカい割には安かったような。
839:１３２人目の素数さん
21/02/19 09:33:55.13 lI+aHMZp.net
楽しそう
840:１３２人目の素数さん
21/02/19 13:59:08.22 zRC5rRHx.net
体上のテンソルで体の標数が0の場合と正の場合の違いは何ですか？
841:１３２人目の素数さん
21/02/20 13:41:23.01 zdnDD6pv.net
「整数問題事典（本の泉社）」が整数問題で最強では？
842:１３２人目の素数さん
21/02/20 14:25:25.60 6WIaSxk9.net
整数論 雪江 お勧め
843:１３２人目の素数さん
21/02/20 22:53:24.93 Jqvd/ngC.net
怪しすぎるw
> 著者プロフィール
> 西園寺 淳（サイオンジ ジュン）
> 某国立大学卒。国立大学の教官として約10年間勤務（この間、一時、情報処理専門学校の非常勤講師を兼務）。郷里の高校教諭を務めたのち、進学塾を経営、現在にいたる。
844:１３２人目の素数さん
21/02/22 08:18:33.19 DSi+qHbL.net
何故か5ちゃんのゴミシステムで書き込み規制受けてたけどついに解除された記念レス
845:１３２人目の素数さん
21/02/22 09:38:53.42 0fHS+zA8.net
なぜゴミに戻ってくる？
846:１３２人目の素数さん
21/02/22 14:29:30.14 NRhJDaYS.net
一般にガーベージコレクションとして機能してる面が強いんじゃないの？。
匿名掲示板というシステム自体が。
847:１３２人目の素数さん
21/02/22 18:10:47.96 SRH8TVKt.net
数論幾何学最高だよな
848:１３２人目の素数さん
21/02/22 19:20:26.40 aM+Penpc.net
数論幾何とは何か？
849:１３２人目の素数さん
21/02/22 19:43:48.02 0fHS+zA8.net
ヒマラヤだよ
850:１３２人目の素数さん
21/02/22 20:55:30.26 FmXH3NsO.net
白頭山(ペクトウサン)だよ
851:１３２人目の素数さん
21/02/23 17:35:18.36 w+UsXMbt.net
春から数学科に行くことが決まりました。
そこで入学までにちょっと勉強しようと思います。
田島一郎さんの解析入門を使おうかなと考えています。
どんな本かわかる方いらっしゃいますか？
852:１３２人目の素数さん
21/02/23 18:35:27.33 XFu1lSkV.net
それが理解できなければ大学で習う数学は諦めるしかない
853:１３２人目の素数さん
21/02/23 18:36:02.15 1P3uwE1O.net
マセマのにしなさい！
854:１３２人目の素数さん
21/02/23 18:38:22.65 +aRCJn6l.net
大森英樹とか森毅とか評論してる爺のは駄目
855:１３２人目の素数さん
21/02/23 19:16:26.53 9KVOqLSE.net
DQN、素人にも分かるようクドク解説3大潮流
・位相、εδ
・ガロア理論
・相対性理論
856:１３２人目の素数さん
21/02/23 19:57:48.20 xLZ08X6W.net
男は黙って解析入門
857:１３２人目の素数さん
21/02/23 20:46:27.76 w+UsXMbt.net
田島一郎さんの解析入門はあまり良い本では無いのですか？
858:１３２人目の素数さん
21/02/23 20:46:46.55 w+UsXMbt.net
>>832
それは田島さんですか？
859:１３２人目の素数さん
21/02/23 20:47:05.70 w+UsXMbt.net
>>830
それぐらいが基準なんですかね？
860:１３２人目の素数さん
21/02/23 20:48:06.30 w+UsXMbt.net
>>831
マセマはいい本なんですか？店頭で見てもいい本なのかはわからなかったです。
861:１３２人目の素数さん
21/02/23 20:50:25.56 xLZ08X6W.net
>>835
【激しく】解析と線型代数の本何がいい？【既出】11
ｽﾚﾘﾝｸ(math板)
862:１３２人目の素数さん
21/02/23 21:11:37.60 zOjlkuZH.net
>>829
小平邦彦の解析入門のほうが絶対におすすめ！
863:１３２人目の素数さん
21/02/23 21:41:43.47 z0bjAslZ.net
数論幾何学が一番面白いよな？
864:１３２人目の素数さん
21/02/23 21:47:01.34 w+UsXMbt.net
>>839
ありがとうございます！
見て検討します。
865:１３２人目の素数さん
21/02/23 21:47:22.51 w+UsXMbt.net
>>840
なるほど。
どういう良さがありますか？
866:１３２人目の素数さん
21/02/23 21:51:11.03 xLZ08X6W.net
>>843
移動しろ
867:１３２人目の素数さん
21/02/23 22:34:10.76 ra64roRY.net
てｓｔ
868:１３２人目の素数さん
21/02/23 22:34:34.65 ra64roRY.net
また書き込めるようになった
何だこれ？
俺は運営にバンされてんのか？
869:１３２人目の素数さん
21/02/23 22:34:56.19 w+UsXMbt.net
>>844
わかりました。
870:１３２人目の素数さん
21/02/23 22:39:38.35 ra64roRY.net
こんなアホ共の意見なんか参考にするな
高度な質問には答えられず初学者相手しかマウント取れないアホがここぞとばかりにマウントとってるだけだから
871:１３２人目の素数さん
21/02/24 07:10:38.52 eavifJXy.net
>>833
＞・位相、εδ
＞・ガロア理論
＞・相対性理論
特殊相対性は、光円錐を不変とする線型変換群が分かればOK
ガロア理論はベキ根による体の拡大と、群の拡大の関係が分かればOK
872:１３２人目の素数さん
21/02/25 00:07:55.62 bnmUzTDC.net
>>848
質問に答えてやらないくせに余計な口出しするなアホ爺
873:１３２人目の素数さん
21/02/25 07:56:20.88 H+5XaAIi.net
てｓｔ
874:１３２人目の素数さん
21/02/25 11:18:40.77 OArqCmSu.net
おまえがアホやろが！！
875:１３２人目の素数さん
21/02/25 14:27:59.57 WEFoYyMN.net
代数入門(新装版): 群と加群（堀田） がでるぞ
876:１３２人目の素数さん
21/02/25 17:14:16.58 HXTJLibH.net
代数幾何学のは、なんかないん�
877:ｩ？
878:１３２人目の素数さん
21/02/26 02:45:42.95 0Nv7/LJA.net
余計な口出しするなアホ爺
879:１３２人目の素数さん
21/02/26 11:38:59.62 kPQbE5qq.net
有名大学院の数学科を目指してみたのだがあっさりと院試に落ちた
悲しい
数学は好きだけど就職したら勉強する気力も余裕も出なくなるのかな
人生の目標を失った気がする
880:１３２人目の素数さん
21/02/26 12:00:43.02 kNvP7Hr1.net
近年の数学科院試に落ちるのはそうとう出来が悪いのでは(除く数理研)
881:１３２人目の素数さん
21/02/26 12:12:48.70 kPQbE5qq.net
>>857
それは認めたくないな
中国と日本じゃ受験競争が桁違いだと聞いた
882:１３２人目の素数さん
21/02/26 14:41:47.48 kPQbE5qq.net
こうなったら就職してお金を貯めてから日本の大学院を目指すしかないよな
883:１３２人目の素数さん
21/02/26 15:03:05.30 D9qoW1hd.net
おまえにはムリやろ
884:takeo ohsawa
21/02/26 21:13:59.52 rpTyP75D.net
時枝正著 大人の目・子供の目(仮) が3月31日発売予定
885:１３２人目の素数さん
21/02/26 21:21:14.71 5sfz8knJ.net
イタチ
886:１３２人目の素数さん
21/02/26 21:21:57.06 5sfz8knJ.net
アインシュタイン
887:１３２人目の素数さん
21/02/26 21:28:24.79 cAJEGXFU.net
ナインシュタイン
888:１３２人目の素数さん
21/03/01 14:42:32.98 n3AK5mCO.net
フランケンシュタイン
889:１３２人目の素数さん
21/03/01 15:35:07.68 7WR1vrJf.net
シュタイン多様体
890:１３２人目の素数さん
21/03/01 16:23:13.10 /L3uaYs1.net
何を読むかは重要には違いないが
どう読むかも大事
解析概論を読み切るのに
大学の４年間を費やしたという先生に
1年次の微積分を習ったが
定年退職してから
やっとその意味がわかった
891:１３２人目の素数さん
21/03/01 16:27:53.00 5fjGtyUl.net
よかったね
892:１３２人目の素数さん
21/03/02 09:46:36.01 r7BdnAiX.net
集合位相（内田）5章定理16.4の証明の(1)->(4)で、f(A~)⊂f(A)~（~は閉包）を示すのにy=f(x)の形を仮定してるけどいいのか？
893:１３２人目の素数さん
21/03/02 09:54:42.86 JR1T3dYd.net
何が言いたいのかよくわからないけど、xをAの閉包の元(触点だっけ？)としてるんでないの？
894:１３２人目の素数さん
21/03/02 10:33:37.94 r7BdnAiX.net
y=f(x)と表わされない点についての言及がない
895:１３２人目の素数さん
21/03/02 11:02:44.73 lVDOEQYl.net
>>869
自明に近い定理の証明が分からんのかw
基本からやり直せ。
896:１３２人目の素数さん
21/03/02 12:56:06.14 JR1T3dYd.net
>>871
像f(A~)の定義を知らんの？
897:１３２人目の素数さん
21/03/02 13:55:36.60 r7BdnAiX.net
入門書やでｗ
898:１３２人目の素数さん
21/03/02 14:35:53.13 iymhtcl8.net
読めてないやつは頓珍漢なこと
聞いて来るから直ぐ分かる。
899:１３２人目の素数さん
21/03/02 15:11:25.35 r7BdnAiX.net
頓珍漢なレスされても
900:１３２人目の素数さん
21/03/02 15:36:38.91 1AxNGwMz.net
集合論の部分最初から読めよ
901:１３２人目の素数さん
21/03/02 15:40:25.61 r7BdnAiX.net
対偶を証明してるから気にしてる、直接包含関係をしているわけではない
内田を読んでないだろ
902:１３２人目の素数さん
21/03/02 16:42:29.59 1AxNGwMz.net
>>878
手元にあったから読んだ
y∈f(A~)ならばx∈A~が存在しy=f(x)
対偶によってx∈A~ならばf(x)∈f(A)~
よってy=f(x)∈f(A)~
903:１３２人目の素数さん
21/03/02 18:34:07.59 6naLX14F.net
URLﾘﾝｸ(www.wakaba.ouj.ac.jp)
URLﾘﾝｸ(honto.jp)
4月から放送大学で正多面体と素数（’２１）開始
放送大学にしては尖ってるな
904:１３２人目の素数さん
21/03/02 20:44:07.70 r7BdnAiX.net
>>879
対偶分かってる？
905:１３２人目の素数さん
21/03/02 21:08:57.57 r7BdnAiX.net
対偶は「y∈/f(A)~ ならばy∈/f(A~)」（∈/は属しない）でしょう
やっぱりちゃんと読んでない人がいた
906:１３２人目の素数さん
21/03/02 21:21:52.12 1AxNGwMz.net
URLﾘﾝｸ(i.imgur.com)
対偶ってわかるか
907:１３２人目の素数さん
21/03/02 21:24:11.88 r7BdnAiX.net
笑、もういいよ、答えは書いた
908:１３２人目の素数さん
21/03/02 22:03:05.41 JR1T3dYd.net
>>883
これが内田の証明なの？確かにちょっとおかしいな
f(x)の時点で何らかの像から取ってきてるし、fが単射でなければx∈/Aであってもf(x)∈f(A)となり得るし
対偶というより背理法な気がする
909:１３２人目の素数さん
21/03/02 22:06:57.28 JR1T3dYd.net
あ、いやxは任意だからやっぱりいいのか
>>885は取り下げ
910:１３２人目の素数さん
21/03/02 22:47:55.00 K+c/1zVJ.net
脳味噌が息切れ
アップアップしとるなwww
911:１３２人目の素数さん
21/03/02 22:49:47.74 1AxNGwMz.net
書き方悪かったか
y∈f(A~)ならばx∈A~が存在しy=f(x)
内田本の証明にあるf(x)∈/f(A)~ならばx∈/A~の対偶によってx∈A~ならばf(x)∈f(A)~
よってy=f(x)∈f(A)~
912:１３２人目の素数さん
21/03/02 23:20:17.17 JR1T3dYd.net
もともと示すべきは
「x∈A~ならばf(x)∈f(A)~」
この対偶は
「f(x)∈/f(A)~ならばx∈/A~」
ということで、>>883は全く問題ないな
913:１３２人目の素数さん
21/03/02 23:25:32.31 33VqjWb8.net
∀y(y∈f(A~) ⇒ y∈f(A)~)を示す
対偶を取ると∀y(y∈/f(A)~ ⇒ y∈/f(A~))となる(∀yに続く括弧の中を*とする)
ここで、「あるx∈X1が存在してy=f(x)」が成り立たないとする
このとき「∀x∈X1 y=/f(x)」なので、像の定義からy∈/f(X1)である
写像についての一般的な補題(※)からf(A~)⊂f(X1)なので、y∈/f(A~)であり、*が成り立つ
よって後は「あるx∈X1が存在してy=f(x)」が成り立つ場合について*を示せば良い
(※)A~⊂X1⇒f(A~)⊂f(X1)
914:１３２人目の素数さん
21/03/02 23:37:13.30 r7BdnAiX.net
俺は素直に、yがfの値域に入らない場合はφ∈f(X1)^c∩f(A)~で成立、yがfの値域に入る場合は内田と同じ、と考えた
915:１３２人目の素数さん
21/03/03 08:22:36.14 B8SW2Jt0.net
内田は魔方陣でも有名
916:１３２人目の素数さん
21/03/03 10:37:58.27 t5DD5bH+.net
内田先生の専門は位相幾何かどうりで
917:１３２人目の素数さん
21/03/03 17:21:13.12 eEWGnt0p.net
堀川穎二の複素代数幾何学入門めちゃくちゃいいテキストだな
もっと早く出会いたかった
918:１３２人目の素数さん
21/03/03 18:40:13.21 6v+dbF11.net
堀川は小平先生の講義録でも有名
919:１３２人目の素数さん
21/03/04 12:32:27.26 n6c2pI8c.net
ネヴァンリンナ理論と代数曲面論は英訳が出た
920:１３２人目の素数さん
21/03/05 06:26:33.70 OxxzoAiv.net
松村の可換環論って、いいの？
921:１３２人目の素数さん
21/03/05 06:38:25.26 3CF8MBeN.net
永田の可換環論と比べると標準的なテキスト
922:１３２人目の素数さん
21/03/05 16:43:15.75 NzZKranU.net
松村のは難しいだろ
アティヤ&マクドナルドの可換代数入門がお薦め
923:１３２人目の素数さん
21/03/05 17:18:02.29 Cs2IPsZM.net
それで物足りなかったらクンツがいいかも
924:１３２人目の素数さん
21/03/05 17:44:34.91 iALgbiXt.net
Eisenbudもいいよ
925:１３２人目の素数さん
21/03/05 18:09:54.72 Cs2IPsZM.net
アイゼンブド、デビッド(2005)
朔望の幾何学
可換環論と代数幾何学の2番目のコース．
数学の大学院テキスト．229
ニューヨーク．Springer-Verlag. xvi+243.
926:１３２人目の素数さん
21/03/05 18:23:00.34 iALgbiXt.net
リードのもいいな
927:１３２人目の素数さん
21/03/05 18:54:09.37 iALgbiXt.net
Mikhalkinもいい
928:１３２人目の素数さん
21/03/05 21:27:31.57 01FavEzc.net
>>899
和訳の方も良かった？
929:１３２人目の素数さん
21/03/05 22:38:37.10 Ug/cM
930:Duh.net
931:１３２人目の素数さん
21/03/06 06:29:14.19 OgCAcy43.net
森の双有理幾何学って、難しいの？
932:１３２人目の素数さん
21/03/06 07:46:08.89 LR2BFyu4.net
それは趣味による
933:１３２人目の素数さん
21/03/06 11:05:19.58 x583/cTm.net
双有理幾何学自体がクソ難しい
934:１３２人目の素数さん
21/03/06 12:54:00.69 xjhZaoCf.net
てｓｔ
935:１３２人目の素数さん
21/03/06 14:43:22.97 LR2BFyu4.net
精密なプラモデルの工作に通じる世界かもしれない
936:１３２人目の素数さん
21/03/07 08:06:17.39 VANrevBh.net
宮西の代数幾何学って、難しいの？
937:１３２人目の素数さん
21/03/07 09:32:52.61 QAdcSs4S.net
宮西の代数幾何学は
I.基礎的知識
II.スキームと代数多様体
III.代数曲面論
から成っていて
IIIの最終章で非特異完備代数曲線上のP^1束の構造を決定する定理が述べられる。
よくまとまっている。
この本が難読書として敬遠されるとしたら
日本の数学は終わりだろう。
938:１３２人目の素数さん
21/03/07 12:53:36.90 PrHgO3rp.net
宮西のもいいが、ハーツホーンが秀逸だよな
939:１３２人目の素数さん
21/03/07 13:10:09.81 ATjNYW2k.net
解析入門1
URLﾘﾝｸ(www.youtube.com)
940:１３２人目の素数さん
21/03/07 13:22:21.18 uqasvaLr.net
スレチ、宣伝
941:１３２人目の素数さん
21/03/07 14:11:38.12 23JZ1vFQ.net
ハーツホーンの代数幾何は
高橋宣能と松下大介の共訳
942:１３２人目の素数さん
21/03/07 16:17:50.12 g0U2FS7T.net
ハーツ本は過去の遺物
これからは永井の代数幾何学
URLﾘﾝｸ(www.morikita.co.jp)
943:１３２人目の素数さん
21/03/07 16:29:16.96 23JZ1vFQ.net
クンツの本と比べるとどちらがおすすめか微妙かも
944:１３２人目の素数さん
21/03/07 18:20:39.24 4nQFz2AT.net
>>918
スキーム無いやん
945:１３２人目の素数さん
21/03/07 18:37:15.55 23JZ1vFQ.net
ホッジ理論もない
946:１３２人目の素数さん
21/03/07 19:58:21.17 7gm+H7Aw.net
マンフォードのは、どうなの？
947:１３２人目の素数さん
21/03/07 20:54:41.68 QAdcSs4S.net
最初のネーターの正規化定理で
永田先生の証明が書かれていて
感激した
948:１３２人目の素数さん
21/03/07 21:03:25.57 7gm+H7Aw.net
上野のもいいよね？
949:１３２人目の素数さん
21/03/07 22:26:31.32 ixxSq/NU.net
>>913
同感だな
その本の真価に気づかない人の多さを残念に思う
950:１３２人目の素数さん
21/03/07 23:55:07.56 +4I0dAc8.net
宮西のはムズすぎだろ
ハーツホーンが丁度いいよ
951:１３２人目の素数さん
21/03/08 01:45:50.05 hW/TJfzK.net
transfinite induction が ZFC の特許みたいに書いてるのなんなん？
なんかの宗教か？アホすぎんか？
952:１３２人目の素数さん
21/03/08 06:00:51.35 1UPct/65.net
代数幾何学なら、ハーツホーンだよな
953:１３２人目の素数さん
21/03/08 07:09:49.44 h9/+Wg0C.net
WeilのFoundation of algebraic geometryを京都の秋月セミナーで
勉強した人たちが、射影幾何のバージョンアップとしての代数幾何の
簡単な部分への入門書として書いたのが
秋月・中井・永田の代数幾何学で
Grothendieckのスキーム論を基礎にして
そこへの別の入り口を示したのが宮西の代数幾何学
両方とも最後の方で中井の判定法にふれているが
証明はしてない
954:１３２人目の素数さん
21/03/08 10:29:47.51 tHlTN7kN.net
>>927
それ、木村俊一が”無限のスーパーレッスン”で
「選択公理とは任意の集合で超限帰納法が使えるということ」
と書いて、集合論研究者の渕野昌に思いっきり非難されてたな
955:１３２人目の素数さん
21/03/08 10:58:19.62 h9/+Wg0C.net
代数学者は集合論を軽視しがち
956:１３２人目の素数さん
21/03/08 11:41:43.76 15LJvwOQ.net
EGA読んどけ
957:１３２人目の素数さん
21/03/08 12:16:22.60 Vcd6W5ks.net
向井のモジュライ理論って、難しいの？
958:１３２人目の素数さん
21/03/08 12:41:03.19 O88i923h.net
難しかったら英訳されるわけがない
959:１３２人目の素数さん
21/03/08 14:10:09.07 JhqAW6M7.net
めっちゃ難しいだろ
960:１３２人目の素数さん
21/03/08 15:40:00.96 hs7qR+sx.net
高校生にはそうだろう
961:１３２人目の素数さん
21/03/08 19:57:44.76 KkNHwxP4.net
永井のって、いいの？
962:１３２人目の素数さん
21/03/08 21:54:52.99 h9/+Wg0C.net
それは読む目的次第だが
基本的にはいい本であることは確かだろう
963:１３２人目の素数さん
21/03/09 09:42:01.66 O5MinYzI.net
永井の本をちゃんと読むと
渡辺敬一のグループの人たちに相手をしてもらえそうなので
そこで残りの事柄をいろいろ教えてもらうという
やり方もあるだろう
964:１３２人目の素数さん
21/03/09 10:33:21.70 Szoo9rGE.net
せっかくだから代数幾何と可換体論の本をまとめておけばいいのに
965:１３２人目の素数さん
21/03/09 11:57:56.09 tYdAkEbO.net
まとめたつもりなのが
可換環論では？
966:１３２人目の素数さん
21/03/09 14:23:24.48 Szoo9rGE.net
忘れてくれ
967:１３２人目の素数さん
21/03/09 14:31:01.41 MmZQjaPH.net
洋書はまとめている本多いだろ
968:１３２人目の素数さん
21/03/09 14:34:44.04 Szoo9rGE.net
どうでもいいけど本のリストの話
969:１３２人目の素数さん
21/03/09 15:05:32.71 eZ24ybC+.net
可換環論と代数幾何学って、なんで関連が深いの？
970:１３２人目の素数さん
21/03/09 15:22:53.97 SKEI5bO2.net
松坂和夫著『解析入門上』の複素整級数のところに以下の記述があります。
C の部分集合 S で一様収束する複素連続関数列の極限関数が複素連続関数になるという命題の証明について、
R の区間 I で一様収束する実連続関数列の極限関数が実連続関数になるという命題の（この本での）証明を
そのまま用いるわけにはいかないということを言っています：
「さらに、一様収束する連続関数列の極限はまた連続である。（厳密にいえば、実変数の場合の9.1節の定理4は定理3に依拠しており、定理3の記述は
やや実変数に“局限”された形になっているから、証明には多少の補正を要しよう。しかしそれは容易であるから、ここではあらためて述べない。実際には
この定理は、後の距離空間の位相の章でみるように、もっと一般的な状況のもとに直接かつ簡単に証明することができる。）」
「定理3の記述はやや実変数に“局限”された形になっている」という箇所が何を言いたいのか分かりません。
定理3を見てみても実変数に“局限”などされていないと思います。
971:１３２人目の素数さん
21/03/09 15:27:45.93 SKEI5bO2.net
定理3で登場する x_0 は R の区間 I の任意の点ですので、かならず I の集積点になります。
一方、 z_0 を C の任意の空でない部分集合 S の任意の点とすると、 z_0 はかならずしも S の集積点にはなりません。（S の孤立点になる可能性があります。）
ですが、孤立点においては、関数はかならず連続ですから、証明に「多少の補正を要」するとは思いません。
972:１３２人目の素数さん
21/03/09 17:54:01.00 tYdAkEbO.net
>>945
例えばアファイン空間上のベクトル束が自明束に限ることは
多項式環上の射影加群が自由加群に限るという
可換代数の問題に翻訳することができ、
証明もそのようにしてしかできない
973:１３２人目の素数さん
21/03/09 20:35:07.68 Szoo9rGE.net
>>946
松坂君来たぞ
974:１３２人目の素数さん
21/03/09 22:40:06.73 O5MinYzI.net
>>945
代数幾何では連立方程式の解すなわち代数的集合の幾何学的構造が問題になるが
一般的な公式を次元に関する帰納法で示したりするとき
その問題を多項式環とそのイデアルについての代数的な問題として定式化しておくと
見通しがよいことがある
975:１３２人目の素数さん
21/03/10 02:37:3
976:9.13 ID:n+3VAOhz.net
977:１３２人目の素数さん
21/03/10 02:39:56.35 n+3VAOhz.net
この定理は、後の距離空間の位相の章でみるように、もっと一般的な状況のもとに直接かつ簡単に証明することができる
証明貼ってみ
978:１３２人目の素数さん
21/03/10 02:41:36.14 n+3VAOhz.net
俺、こいつのレスもう数年見てるけど、ほんとにマジで微積･線形代数･位相から一切成長してないな
なんなん？この病気
ひたすら学部初年度を無限ループするこの頭のおかしさｗｗ
979:１３２人目の素数さん
21/03/10 06:14:45.61 65bIIBni.net
前の世代の狂人にkingと言うのが居た。
980:１３２人目の素数さん
21/03/10 08:56:31.28 A3Ze8757.net
巣ごもりで他にすることがないので
前の世代の方々が戻ってきているのでは？
981:１３２人目の素数さん
21/03/10 13:01:24.46 YvV6SUL9.net
コルモゴロフらの『函数解析の基礎第4版』ってどうですか？
982:１３２人目の素数さん
21/03/10 14:12:04.33 2VDr50wb.net
こいつを相手にするな
983:１３２人目の素数さん
21/03/10 20:43:42.64 HvfxHJxC.net
構って5chに張り付かせておけば実社会に出ることなく
それが社会のためになるのかもしれない
984:１３２人目の素数さん
21/03/10 20:49:18.79 IHtzrX17.net
松坂君が好きかｗ
985:１３２人目の素数さん
21/03/11 07:26:55.63 BmmErwAI.net
スキームに関係している分野は、何がありますか？
986:１３２人目の素数さん
21/03/11 09:08:21.93 3ISTbzHW.net
kingはもういないかもしれないが
増哲のようなカキコはある
987:１３２人目の素数さん
21/03/11 10:07:21.97 4/ziou8l.net
猫は親父の遺産を相続して悠々自適の隠居生活。
最早昔のように暴れることは無い。
988:１３２人目の素数さん
21/03/11 11:12:34.33 pTIKgpe6.net
f(x) を区間 [-π, π] で積分可能な関数とします。
このとき、
∫_{-π}^{π} f(t) dt = ∫_{x-π}^{x+π} f(x-t) dt
が成り立ちます。
置換積分の公式は使えませんので、定義に戻って確かめる必要があります。
確かに自明ですが、松坂和夫著『解析入門中』で、この事実を何の注釈もなく、当たり前のように使っています。
これはありですか？
989:１３２人目の素数さん
21/03/11 11:17:40.57 StVjmTGZ.net
猫真似のムジナだよ、ただの荒らし
990:１３２人目の素数さん
21/03/11 11:20:48.55 pTIKgpe6.net
f(x) を R で定義された、区間 [-π, π] で積分可能な周期 2*π の関数とします。
このとき、
∫_{-π}^{π} f(t) dt = ∫_{-π}^{π} f(x-t) dt
が成り立ちます。
置換積分の公式は使えませんので、定義に戻って確かめる必要があります。
確かに自明ですが、松坂和夫著『解析入門中』で、この事実を何の注釈もなく、当たり前のように使っています。
これはありですか？
991:１３２人目の素数さん
21/03/11 11:46:13.63 uF4JDuyZ.net
荒らしなのか？
992:１３２人目の素数さん
21/03/11 12:38:18.69 1Ix3SgSg.net
芸風変えた松坂かただの猿真似だろ
993:１３２人目の素数さん
21/03/11 14:05:57.48 DDLE6VYj.net
もう少し構ってもらえそうな話題は振れないのだろうか
994:１３２人目の素数さん
21/03/11 14:12:25.23 pTIKgpe6.net
以下の命題も松坂和夫著『解析入門中』で証明なしで使っています。
「f(x) を R で定義された周期 2*π の連続関数とする。
f(x) は R で一様連続である。」
この命題は明らかですが、きちんと証明を書いてください。
証明は、できるだけシンプルかつ自然かつエレガントなものをお願いします。
995:１３２人目の素数さん
21/03/11 14:54:41.39 StVjmTGZ.net
松坂の猿真似だな
996:１３２人目の素数さん
21/03/11 15:17:06.42 StVjmTGZ.net
マルチしまくり
997:１３２人目の素数さん
21/03/11 15:26:13.65 pTIKgpe6.net
>>969
証明：
f(x) は [-π, 3*π] で連続であるから、 [-π, 3*π] で一様連続である。
よって、任意の正の実数 ε に対して、 x, y ∈ [-π, 3*π] かつ |x - y| < δ ⇒ |f(x) - f(y)| < ε となるような正の実数 δ が存在する。
(1) 2*π < δ である場合。
x, y ∈ R かつ |x - y| < δ とする。
x - 2*m*π ∈ [-π, π] となるような整数 m が存在する。
y - 2*n*π ∈ [-π, π] となるような整数 n が存在する。
x - 2*m*π, y - 2*n*π ∈ [-π, 3*π] かつ |(x - 2*m*π) - (y - 2*n*π)| ≦ 2*π < δ であるから、
|f(x) - f(y)| = |f(x - 2*m*π) - f(y - 2*n*π)| < ε である。
(2) δ ≦ 2*π である場合。
x, y ∈ R かつ |x - y| < δ とする。
x = y であるとき、 |f(x) - f(y)| = 0 < ε である。
x ≠ y であるとき、一般性を失わずに、 x < y と仮定できる�
998:ｩらそう仮定する。 y - x < δ ≦ 2*π である。 x - 2*n*π ∈ [-π, π] となるような整数 n が存在する。 -π ≦ x - 2*n*π < y - 2*n*π < (x + 2*π) - 2*n*π = (x - 2*n*π) + 2*π ≦ 3*π である。 よって、 x - 2*n*π, y - 2*n*π ∈ [-π, 3*π] かつ |(x - 2*n*π) - (y - 2*n*π)| = |x - y| < δ であるから、 |f(x) - f(y)| = |f(x - 2*n*π) - f(y - 2*n*π)| < ε である。
999:１３２人目の素数さん
21/03/11 19:08:35.55 pTIKgpe6.net
馬場敬之著『フーリエ解析キャンパス・ゼミ改訂3』に以下のように書いてあります。
この人は sin(1/x) という関数を知らないのでしょうか？
「グラフはプツン、プツン切れていても、有界な関数であれば、区分的に連続な関数と言える。」
1000:１３２人目の素数さん
21/03/12 01:32:18.79 x8QAFuJr.net
>>973
区分的に連続 の定義を言ってみ
1001:１３２人目の素数さん
21/03/12 10:54:16.24 gJresj7P.net
荒らしにかまうなよ
1002:１３２人目の素数さん
21/03/12 15:05:42.61 jl30Wzp2.net
松坂和夫著『解析入門中』の「フーリエ展開」の章を読んでいますが、証明が技巧的で面白いですね。
勉強になります。
1003:１３２人目の素数さん
21/03/12 15:37:45.68 gJresj7P.net
命名 馬鹿アスペ２号
1004:１３２人目の素数さん
21/03/12 18:14:01.32 X/z96zj2.net
なんか小林昭七の本がアマゾンキンドルで安くなってる。
1005:１３２人目の素数さん
21/03/12 21:13:40.76 yld3bNgg.net
紙で売れれば電子でも売れる
1006:１３２人目の素数さん
21/03/13 09:59:12.72 1zeKgE/X.net
紙で売れないものは電子でも売れない
こっちの方が自明の理
1007:１３２人目の素数さん
21/03/13 12:07:06.80 0gGR16zK.net
次スレ
数学の本 第93巻
ｽﾚﾘﾝｸ(math板)
1008:１３２人目の素数さん
21/03/13 22:03:24.90 1zeKgE/X.net
最初から電子で出た本は？
1009:１３２人目の素数さん
21/03/14 07:13:34.58 GRtPIuIP.net
オレが3年前に紙で出した本の電子化は
一桁しか売れていない
1010:１３２人目の素数さん
21/03/14 09:27:40.83 zVA72HGL.net
>>969
2つの連続関数 g: R → S^1 (g(x) = exp(2πix)) と h : S^1 → R によって,
f = hg と分解できる. g は 位相群の間の連続準同型だから一様連続,
h はコンパクトハウスドルフ空間から R への連続写像だから一様連続.
よって, その合成 f = hg も一様連続となる.
1011:984
21/03/14 10:02:05.29 zVA72HGL.net
あ、f は周期 2πか。
g(x) = exp(ix) じゃないとダメだな。
1012:１３２人目の素数さん
21/03/14 10:44:21.45 ScwvS6pD.net
馬鹿アスペ2号に釣られてしかも間違っている、恥ずかしい
1013:１３２人目の素数さん
21/03/14 21:56:44.00 GRtPIuIP.net
釣る方も慣れてうまくなっているのだろうか
1014:１３２人目の素数さん
21/03/14 22:17:28.97 ScwvS6pD.net
馬鹿アスペ2号は新人
1015:１３２人目の素数さん
21/03/15 11:51:43.00 6zX9Uu0R.net
シンガーが亡くなったんだが？
1016:１３２人目の素数さん
21/03/15 11:58:13.52 V6akagXu.net
ほんとだ
2月11日
1017:１３２人目の素数さん
21/03/15 15:20:04.03 Jvqf347l.net
Institute Professor Emeritus Isadore Singer, renowned mathematician who united math and physics, dies at 96
URLﾘﾝｸ(news.mit.edu)
1018:１３２人目の素数さん
21/03/15 16:47:40.29 V6akagXu.net
数学セミナーでも見た
1019:１３２人目の素数さん
21/03/15 17:16:56.53 w69OQAGE.net
シンガーアンドソープの本は学部のときに世話になったなあ
1020:１３２人目の素数さん
21/03/15 18:34:08.77 IYFAJImc.net
シンガーが日本に来たとき一緒にソープに行ったなあ
1021:１３２人目の素数さん
21/03/15 22:19:43.97 SHEFQEq9.net
シンガーが京都に来た時
修学旅行の中学生に
ミュージシャンと間違われたなあ
1022:１３２人目の素数さん
21/03/15 22:42:31.34 SHEFQEq9.net
いやこの人は数学者だと言ったら
体格の良い中学生にいきなり
「数学て何だ！」と怒鳴られた
1023:１３２人目の素数さん
21/03/15 23:47:13.57 w69OQAGE.net
つまんねえから自殺しろ無能
1024:１３２人目の素数さん
21/03/16 09:09:45.02 KRCSDSVf.net
おっとあの時の中学生がオヤジ化したか
1025:１３２人目の素数さん
21/03/16 12:27:38.46 z+kRVWnH.net
いいからキチガイは死ねよ
1026:１３２人目の素数さん
21/03/16 14:00:01.41 nRx1T7bg.net
1000ならソープ行く
1027:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 68日 22時間 16分 59秒
1028:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています