21/10/25 21:32:12.26 cxpU5FlM.net
IDコロコロｗ
451:１３２人目の素数さん
21/10/25 21:50:21.30 vD4h2k3q.net
真っ赤にしちゃってそんなに悔しいのかｗ
452:１３２人目の素数さん
21/10/25 21:53:11.90 cxpU5FlM.net
煽りｗ
453:１３２人目の素数さん
21/10/25 22:02:32.23 mqmHMKw/.net
なんだ説明できないのか
454:１３２人目の素数さん
21/10/25 22:07:58.66 cxpU5FlM.net
続けて
455:１３２人目の素数さん
21/10/25 22:25:54.32 vk2gf8cu.net
にぎやかでよい
456:１３２人目の素数さん
21/10/25 22:37:18.26 H9YTitO5.net
>>417
全く同感だな
解析学 こそ 数学の中の数学
PDEなんか数学の王様と言ってもいい
弟子の仁は不服かね??
457:１３２人目の素数さん
21/10/26 00:04:08.24 0P5kXS/Z.net
PDEは応用数学
458:１３２人目の素数さん
21/10/26 01:20:07.50 uWNKcT81.net
待ってましたと言わんばかりに賑わってきたな
459:１３２人目の素数さん
21/10/26 04:29:05.55 j2P4HVrV.net
数学っぽいかわからないけど、ヴィトゲンシュタインの[ 哲学探究 ]を読むｿﾞ
460:１３２人目の素数さん
21/10/26 13:33:23.70 N2c3igRS.net
受験参考書ではない中等教育レベルの数学書でいいのを教えてください。
宇沢弘文『好きになる数学入門(全6巻)』岩波書店
武藤徹『体系が見えてくる数学読本(全3巻)』三省堂
などを知っていますが、他の本はどうでしょうか。
461:１３２人目の素数さん
21/10/26 14:04:19.51 yF2k1LU
462:t.net
463:１３２人目の素数さん
21/10/26 14:57:37.23 Ba1Cgw2v.net
>>452
現代数学概説かな
464:１３２人目の素数さん
21/10/26 15:21:34.73 C7PL5/pF.net
体系って数研の？
あれ教科書の内容入れ替えただけでしょ
他社の教科書見たいなら良いと思うけど
465:１３２人目の素数さん
21/10/27 03:23:25.64 biMjM0Vz.net
>>453 体系数学って受験参考書でしょ？受験参考書は必要としていません。
466:１３２人目の素数さん
21/10/27 08:29:44.71 hW0femrt.net
>>455
>>456
中学・高校の数研の教科書の内容を再編成したもの
中高一貫校の教科書としても使われている
受験参考書とは違うと思う
467:１３２人目の素数さん
21/10/27 08:35:26.27 1E8Xhb9k.net
いらない
468:１３２人目の素数さん
21/10/28 18:05:06.45 8UOx7XUa.net
多変数の微積分でしっかり学べる良書があれば教えてください。
469:１３２人目の素数さん
21/10/28 18:39:23.19 60x3ME5A.net
Spivak くらいしか知らん
470:１３２人目の素数さん
21/10/29 02:50:19.07 3zEFN2bM.net
>>459
多変数に限らず君の知ってる良書教えて
471:１３２人目の素数さん
21/10/29 03:53:46.78 0knZ9w1P.net
>>460
Spivak は知ってます。
でもありがとう。
472:１３２人目の素数さん
21/10/29 18:57:23.50 dwRzvBfk.net
Spivakで入門？
阿呆のすることだな
これのオマケで位相や多様体やったって分かる訳ない
473:１３２人目の素数さん
21/10/29 19:17:45.46 Guzu5TaD.net
馬鹿アスペ一号押しのスピバックｗ
474:１３２人目の素数さん
21/10/29 20:00:03.74 KK9BKljl.net
本当に数学板に馬鹿が増えたな
475:１３２人目の素数さん
21/10/29 20:06:53.85 gqdGF9Sz.net
>>465
＞本当に数学板に馬鹿が増えたな
お前の学歴は？
476:１３２人目の素数さん
21/10/29 20:09:36.39 Guzu5TaD.net
学歴厨ｗ
477:１３２人目の素数さん
21/10/29 21:48:26.24 KK9BKljl.net
ほいよ これがお似合いだろう
加藤 文元
チャート式シリーズ 大学教養 微分積分
第5章関数(多変数)
1ユークリッド空間
2多変数の関数
第6章微分(多変数)
1多変数関数の微分
2微分法の応用
3陰関数
4発展:写像の微分
5発展:微分作用素
第7章積分(多変数)
1重積分
2重積分の応用
3広義の重積分とその応用
4発展:重積分の存在
478:１３２人目の素数さん
21/10/30 12:52:29.21 UqpcDocO.net
>>417
それは南雲道夫が言ったんじゃなく、当時の数学者の間ではそう馬鹿にされていたということだろう
「数学界に生息できる人間じゃない」とか「きみはゴキブリ以下だ」とかは言ったみたいだが
479:１３２人目の素数さん
21/10/30 13:33:34.12 9AjOv1U2.net
南雲の頃は日本人の離散数学の研究者の水準も低かったろうしな
今の離散が高いとは言わんが偏微分だって若手は層が薄いだろ
南雲が在籍した大学のPDEも今は悲惨じゃん
480:１３２人目の素数さん
21/10/30 14:37:14.44 Peh4kSOP.net
南雲仁一しか知らん
481:１３２人目の素数さん
21/10/30 16:00:02.31 VPm/TDk+.net
ホスホジエステラーゼ？
482:１３２人目の素数さん
21/10/30 17:17:45.49 Peh4kSOP.net
380 名前:レインボーファミリー(神奈川県)[KR] [sage] :2021/10/30(土) 17:12:40.09 ID:y739bo1u0
>>110
その一行でお前が相手する価値なしと判断されただけだよ
レッテル貼りと論点ずらしはバカの証明
483:１３２人目の素数さん
21/10/30 20:31:12.11 5J5qv88Q.net
>>459
解析系に進みたいなら溝畑・数学解析の下巻がイチオシ
溝畑の特長は多変数関数の微積分で線形代数を駆使して理論展開していくところ
杉浦が現代的という
484:声もあるが溝畑の方がより現代的な手法を用いている 解析入門Ⅱの多変数の微積分からは杉浦のやり方は古臭い
485:１３２人目の素数さん
21/10/30 22:57:09.49 s0oyzr1G.net
デュドネ、シュヴァルツの方がよりモダーンだよ
486:１３２人目の素数さん
21/10/30 22:58:21.32 y446hLWZ.net
解析って微積分の事ｗ
>解析系に進みたいなら溝畑・数学解析の下巻がイチオシ
487:１３２人目の素数さん
21/10/30 23:25:35.75 bn49pLwU.net
解析にいい教科書も悪い教科書もない
あんなのはただの計算
488:１３２人目の素数さん
21/10/30 23:30:03.00 jPBZHNeO.net
微積の激しい計算に耐えられない者は数学の院試の一次で落とされる。
489:１３２人目の素数さん
21/10/31 09:37:18.37 H6e/fB8L.net
ぷっ
490:１３２人目の素数さん
21/10/31 10:02:47.24 QXQqNy2c.net
理論理解を盾にして計算を軽視する輩が多すぎる
酷いのでは計算量の多めな積分や行列の対角化ができない
重篤患者だと具体例を考えることすらしない、ただ定理の主張を丸暗記してるだけ(それもすぐ忘れる)
当然理論面も碌に理解出来てはいないのだが、当人たちに言わせると「ちゃんと証明追ってるし、別に応用（笑）のために数学をやってるわけじゃない。問題解くための数学は高校で終わらせとけ馬鹿ｗｗｗｗｗ」だそうな
491:１３２人目の素数さん
21/10/31 10:05:45.80 H6e/fB8L.net
だからどうした？
492:１３２人目の素数さん
21/10/31 11:05:23.60 Kl/EARY0.net
>>479
>>481
可哀想
493:１３２人目の素数さん
21/10/31 11:36:22.27 H6e/fB8L.net
可哀想な奴ｗ
494:１３２人目の素数さん
21/10/31 11:38:42.34 PouzS/JG.net
>>480
俺はそれで全く問題ないと思ってるんだが
495:１３２人目の素数さん
21/10/31 11:46:00.48 Dca5lsqR.net
「微積分」とは
極限
1変数の微分法
1変数の積分法
多変数の微分法
多変数の積分法
で、これに
ベクトル解析
複素解析
微分方程式の初歩
が加わって「解析入門」となる(東大の場合)。
496:１３２人目の素数さん
21/10/31 11:48:21.21 H6e/fB8L.net
だからどうした？
497:１３２人目の素数さん
21/10/31 11:55:05.17 Dca5lsqR.net
微積分の重要な論点としては
極限や連続性に関してεδ論法(εN論法)に慣れる
微分の定義
積分の定義
微積分学の基本定理
陰関数定理、逆関数定理
変数変換公式
かな。
ひたすら「モダンな解析学」を求める解析学者ってなんなの？と思うけど。道具を整備するより物理を学んだりする方が重要。
498:１３２人目の素数さん
21/10/31 12:05:14.62 Sy0kgKSn.net
計算なんかできてもできなくても五十歩百歩
数学は計算技術や計算能力とは直接関係ない
499:１３２人目の素数さん
21/10/31 12:06:28.35 Dca5lsqR.net
道具を整備しても具体的な計算、泥臭い計算は避けられないのでひ弱なのは駄目だね
残念
そもそも解析に限らず証明を読んだだけで通用する分野は無いけどね
500:１３２人目の素数さん
21/10/31 12:06:36.10 Kl/EARY0.net
それは全くの間違い
501:１３２人目の素数さん
21/10/31 12:07:13.06 Dca5lsqR.net
>>488
全然駄目な考え方。数学がてきるようにはならないよキミ。
502:１３２人目の素数さん
21/10/31 12:09:47.30 Dca5lsqR.net
>>488
それはゴミ以下の考え方だから院試とか就職の時に「なぜか落ちる」原因になるよ。今からそれを教えておいてやる。
503:１３２人目の素数さん
21/10/31 12:11:24.35 H6e/fB8L.net
微積分に全力を注いで就職するおじさん
504:１３２人目の素数さん
21/10/31 12:12:28.27 Dca5lsqR.net
>>493
微積分「にも」全力尽くすのは当たり前。
505:１３２人目の素数さん
21/10/31 12:13:40.60 H6e/fB8L.net
逆に言うと研究ができないおじさん
506:１３２人目の素数さん
21/10/31 12:16:01.85 Dca5lsqR.net
>>495
もういいや。勉強しないだけの人間だったか。逃げてても何にもならないからその事は覚えておくように。現状が惨めで数学が出来�
507:ﾈいのはお前自身の心がけのせいだぞ。
508:１３２人目の素数さん
21/10/31 12:17:26.77 H6e/fB8L.net
さようならおじさん
509:１３２人目の素数さん
21/10/31 12:32:20.92 Sy0kgKSn.net
プロじゃないから数学できなくても全然OK
数学はコツコツ学んで楽しく研究するもの
510:１３２人目の素数さん
21/10/31 12:37:10.06 Dca5lsqR.net
だったら>>488のような「数学は~」という妄想を語るな。
511:５００
21/10/31 12:48:13.20 Sy0kgKSn.net
５００ゲットだ！！
おじさん達ムキになり過ぎ
512:１３２人目の素数さん
21/10/31 12:58:32.54 H6e/fB8L.net
おじさんの「数学」は微積分レベルということに気が付いていないｗ
513:１３２人目の素数さん
21/10/31 13:19:13.28 Dca5lsqR.net
>>501
またこいつか
514:１３２人目の素数さん
21/10/31 13:30:04.31 H6e/fB8L.net
>>502
いい加減気付けよおじさん
515:１３２人目の素数さん
21/10/31 13:31:41.82 H6e/fB8L.net
おじさんは微積分を勉強することが数学だったんだろ
516:１３２人目の素数さん
21/10/31 14:52:41.71 Dca5lsqR.net
どっかで見たことあるんだよなこいつ
線形代数の話のときは「線形代数しかてきないおじさん」とか
今は「微積分しか出来ないおじさん】とか同じ論法であおる。
実際にはこいつ線形も微積も出来ないのがバレて口だけって結論になる。
どのスレでもとりあえず「○○しかてきないおじさん」からあおりが始まるかまってちゃん。
517:１３２人目の素数さん
21/10/31 14:53:45.90 H6e/fB8L.net
おっちゃんか？
518:１３２人目の素数さん
21/10/31 14:54:29.77 H6e/fB8L.net
PG崩れの爺さんｗ
519:１３２人目の素数さん
21/10/31 15:02:10.15 Dca5lsqR.net
「○○しか出来ないおじさん」でこの掲示板に常駐してるちょっと恥ずかしくなるような存在
520:１３２人目の素数さん
21/10/31 15:04:11.69 H6e/fB8L.net
引くに引けなくて恥ずかしいおじさん
521:１３２人目の素数さん
21/10/31 15:10:34.83 Dca5lsqR.net
こいつの存在をバラしてしまった
焦ってるみたいだな
522:１３２人目の素数さん
21/10/31 15:21:34.07 H6e/fB8L.net
数学は素人、2chも素人恥ずかしい爺さん
523:１３２人目の素数さん
21/10/31 15:23:02.24 H6e/fB8L.net
爺さんの若い頃は数学解析を読んだものだよｗ
524:１３２人目の素数さん
21/10/31 15:42:45.12 UtnzSzNV.net
ID:H6e/fB8Lはただの知的障害者
525:１３２人目の素数さん
21/10/31 15:52:17.30 H6e/fB8L.net
効いてるな
526:１３２人目の素数さん
21/10/31 15:57:43.41 Dca5lsqR.net
>>509
この辺、効いてるのが分かる
527:１３２人目の素数さん
21/10/31 15:59:14.40 Dca5lsqR.net
>>512
こいつ自身がじいさんなんだよな
528:１３２人目の素数さん
21/10/31 16:01:38.19 H6e/fB8L.net
厨房ｗ
529:１３２人目の素数さん
21/10/31 16:07:09.08 Dca5lsqR.net
線形代数
微積分
集合論
と
解析学(複素解析、微分方程式)
代数学(群、環、体)
幾何学(位相空間、多様体)
ぐらいは押さえておく。
530:１３２人目の素数さん
21/10/31 16:13:41.06 H6e/fB8L.net
溝畑先生といえば偏微分法方程式論、爺さんにお薦め
531:１３２人目の素数さん
21/10/31 16:15:01.85 47jnpGzk.net
>>517
知的障害者
532:１３２人目の素数さん
21/10/31 16:20:13.21 Dca5lsqR.net
大学でさっと終わらせた、一応単位を取った、というのでなく自力で再構成するために教科書を読む。俺は杉浦解析入門でいいと思うけどダサくて嫌ならば別のでもいい。
533:１３２人目の素数さん
21/10/31 16:24:49.37 Dca5lsqR.net
>>519
読んでいない本をお勧めするのはこいつの特徴。それによって偏微分方程式くらいは分かってるというアピールをしているつもり。
俺は別の本で偏微分方程式を学んだし、その本を読むつもりは無い。
534:１３２人目の素数さん
21/10/31 16:25:17.96 Dca5lsqR.net
>>519
どういう所がお勧めか。
535:１３２人目の素数さん
21/10/31 17:12:56.31 H6e/fB8L.net
>>523
偏微分方程式の名著、溝畑先生といえばこれ
536:１３２人目の素数さん
21/10/31 17:15:35.08 7HooQ3OJ.net
>>518
数学科3年むきの代数・幾何・解析の中で
2つくらいわかっていたら上出来じゃないんですかねー
537:１３２人目の素数さん
21/10/31 17:22:31.93 Dca5lsqR.net
>>525
数学を続けるならこの辺の基礎科目は全部やっておいた方が良い。しかもなるべく早いうちにやっておく。
538:１３２人目の素数さん
21/10/31 17:24:34.84 uVc8eZa4.net
下らんことよくやってるな
>>479で ID:H6e/fB8L はバカ丸出しのことを書いている
539:１３２人目の素数さん
21/10/31 17:24:52.94 Dca5lsqR.net
>>524
そ�
540:､じゃなく内容。読んた人間ならば分かるはずの「感動した所、感心した所」について。 自分の言葉が無いんだよなお前には。深く読み込んだ形跡が見られない。
541:１３２人目の素数さん
21/10/31 17:32:57.88 Dca5lsqR.net
>>524
目次を見る限りかなり良さそうだ。Amazonで残り一点岩波5000円。悪くはないね。
542:１３２人目の素数さん
21/10/31 17:37:46.77 Dca5lsqR.net
>>525
例えば代数をやらない場合、代数は出来なくても良いということ？
群論を全て忘れちゃっても良いと？
それは無いよ。
543:１３２人目の素数さん
21/10/31 18:04:58.86 uVc8eZa4.net
>>519
今では、半双曲型方程式を発展方程式で抽象的に扱っているところ位
溝畑の偏微分方程式論は、線形 PDE ならテキストとして今でも通用するが、
読むにはかなりの準備が必要な割には、分かりにくい
他の本を読んだ方がいい
544:１３２人目の素数さん
21/10/31 18:19:53.79 H6e/fB8L.net
NGID:uVc8eZa4の馬鹿は何を勧めるの？
545:１３２人目の素数さん
21/10/31 18:22:42.10 QXQqNy2c.net
>>513
ただコンプレックス刺激されて暴れてる馬鹿かと思ってたけど、某スレでガチ知障だと確信したわ
546:１３２人目の素数さん
21/10/31 18:24:44.57 uVc8eZa4.net
フリッツ・ジョンや熊ノ郷の本
547:１３２人目の素数さん
21/10/31 18:25:45.12 H6e/fB8L.net
>>534
ヘルマンダーじゃないのか？
548:１３２人目の素数さん
21/10/31 18:28:33.87 H6e/fB8L.net
>>533
なんだ馬鹿
549:１３２人目の素数さん
21/10/31 19:03:34.94 H6e/fB8L.net
>>534
熊之郷先生の本はMIT版だと何が違うの？
550:474
21/10/31 20:39:35.08 mEdAMtEW.net
>>499
>>521
書き込み全て読んだけどイイ感じ
杉浦が古臭いなんてゴメンもっと言葉を選べばよかった
当たり前だが計算がよく出来る人は理論もよく分かっている
ID:Sy0kgKSnみたいな自分に甘いアホは少数派だからほっとけばいい
溝畑・数学解析は自主ゼミの話も増えてるから推してみた
でも偏微分方程式論は熊ノ郷とペトロフスキーが好き
>>475
これもイチオシだが極めて入手困難
URLﾘﾝｸ(page.auctions.yahoo.co.jp)
551:１３２人目の素数さん
21/10/31 20:57:05.54 Aq9Z8/An.net
URLﾘﾝｸ(www.kyoritsu-pub.co.jp)
552:１３２人目の素数さん
21/10/31 21:28:14.09 H6e/fB8L.net
解析学の基礎
URLﾘﾝｸ(www.iwanami.co.jp)
553:１３２人目の素数さん
21/10/31 21:48:37.68 H6e/fB8L.net
言い忘れたけど微積分の話はここでやってね
【激しく】解析と線型代数の本何がいい？【既出】11
ｽﾚﾘﾝｸ(math板)
554:１３２人目の素数さん
21/10/31 22:03:06.58 MhI0ageG.net
>>541
キチガイ
555:１３２人目の素数さん
21/10/31 22:04:29.30 H6e/fB8L.net
自己紹介乙
556:１３２人目の素数さん
21/10/31 22:05:30.92 H6e/fB8L.net
無能程良く吠えるｗｗｗ
557:１３２人目の素数さん
21/10/31 22:05:30.97 MhI0ageG.net
>>543
さすがキチガイ！
558:１３２人目の素数さん
21/10/31 22:05:42.44 MhI0ageG.net
>>544
キチガイさすが！！
559:１３２人目の素数さん
21/10/31 22:06:26.43 MhI0ageG.net
>>479
キチガイ
560:１３２人目の素数さん
21/10/31 22:06:47.94 H6e/fB8L.net
自己紹介は一回で十分だが
561:１３２人目の素数さん
21/10/31 22:09:46.75 MhI0ageG.net
>>548
キチガイ元気なくすなよ！
562:１３２人目の素数さん
21/10/31 22:11:09.47 H6e/fB8L.net
連呼しかできないアホ
563:１３２人目の素数さん
21/10/31 22:16:14.22 MhI0ageG.net
>>550
キチガイ！
564:１３２人目の素数さん
21/10/31 22:16:33.61 MhI0ageG.net
>>550
キチガイ元気出せ！
565:１３２人目の素数さん
21/10/31 22:18:38.38 H6e/fB8L.net
キチガイ君
566:１３２人目の素数さん
21/10/31 22:20:35.24 MhI0ageG.net
>>553
キチガイおじさん
オウム返しでキチガイ
567:１３２人目の素数さん
21/10/31 22:25:26.82 H6e/fB8L.net
真性包茎の童貞君
568:１３２人目の素数さん
21/10/31 22:34:16.58 lIxpzf9L.net
気違いじゃが仕方がない
569:１３２人目の素数さん
21/10/31 22:34:34.72 H6e/fB8L.net
ぽっちゃりした仮面浪人女子に惚れた童貞
570:１３２人目の素数さん
21/10/31 22:53:48.30 U4FcnhAU.net
>>557
きちがい
571:１３２人目の素数さん
21/10/31 22:55:35.31 H6e/fB8L.net
お前みたいな無能な童貞は相手にしてくれにぞ（）
572:１３２人目の素数さん
21/10/31 23:01:30.48 CqbUDLkg.net
>>559
キチガイ
573:１３２人目の素数さん
21/11/01 17:23:18.21 GqmbDAn3.net
ｗｗｗ
574:１３２人目の素数さん
21/11/01 22:49:01.45 lB+XBMHh.net
数学板でID真っ赤にしてる奴が複数いるとはな
575:１３２人目の素数さん
21/11/02 05:31:40.62 IVOYry0R.net
それが警告なら本人に届かなければ無意味
576:１３２人目の素数さん
21/11/02 10:25:48.75 0t9+FF1z.net
具体的に書けなければ無意味
577:１３２人目の素数さん
21/11/02 12:15:06.22 tCStDzn7.net
URLﾘﾝｸ(times.abema.tv)
数学で、テポロジーとか兼論という分野があるそうですが
どういう事が研究されているのですか？
578:１３２人目の素数さん
21/11/02 23:28:37.59 XwMZGdI+.net
永田の可換体論を読んでます
p.149 第3章 超越拡大体
「Zariski-Castelnuovo (ザリスキー - カステルヌォーヴォー) の定理」
というのが出てきて部分的に既知とした上で証明せよという章末問題があります.
脚注には「証明は非常にむずかしい」とまで書かれています.
URLﾘﾝｸ(i.imgur.com)
この定理を一般向けに解説している書籍やサイトってありませんか？
誰か知ってたら教えてください
579:１３２人目の素数さん
21/11/03 01:42:07.99 Izu8julH.net
永田といえば「初学者のための代数幾何」という薄い本を読んで
ものすごく読むのに時間がかかったことを思い出した。
あれがすらすらわかる高校生がいたらすごい
580:１３２人目の素数さん
21/11/03 16:37:09.56 TYU0CxYm.net
グロたんになれ
581:１３２人目の素数さん
21/11/03 16:46:27.55 bCNcdf4k.net
児玉、永見の位相空間論以外で、発展的な位相空間論を扱ってる和書ってある？
582:１３２人目の素数さん
21/11/04 16:26:46.70 ze4SKtuS.net
シュヴァルツの解析学の本6巻の和訳がありますが、あれはどんな本ですか？
583:１３２人目の素数さん
21/11/04 17:18:27.62 4xhE1ONN.net
複素関数
584:１３２人目の素数さん
21/11/04 22:56:17.31 0DZP+Rvn.net
>>566
S.Langの1980年の論文によると
森理論の応用としても証明できるようだ
585:１３２人目の素数さん
21/11/05 08:41:07.09 1U/ZMLJv.net
A Short Proof of Castelnuovo's Criterion of Rationality William E. Lang
URLﾘﾝｸ(www.jstor.org)
586:１３２人目の素数さん
21/11/05 11:32:00.96 Tglpw308.net
Hartshorn予想の解決は可換体論の問題が引き金だったかもしれないというわけか
587:１３２人目の素数さん
21/11/05 12:25:12.54 40kIe5YW.net
可換体論の問題というよりは、代数曲面の問題を可換体論の問題に還元した感じ
588:１３２人目の素数さん
21/11/05 14:39:08.67 9xqHWUdR.net
森理論は秋月永田以来の京都代数学派のDNAあってのもので
学園紛争で東大入試が中止になって森が京大に行ったことが
良い方向に作用したとは言われる
入学時の本人は辛かったとは思うが
589:１３２人目の素数さん
21/11/05 15:00:15.66 EIXh5Ehs.net
>>576
こういうどうでもいい話をする人は多いが自力で証明出来ない人しかいないよねここには
590:１３２人目の素数さん
21/11/05 15:17:35.75 1U/ZMLJv.net
雑談、蘊蓄語りしかできない巣ごもり厨しかいないからね
591:１３２人目の素数さん
21/11/05 15:18:34.29 GXNcwly0.net
人物エピソードが好きなやつは歴史研究の選択肢もある
592:１３２人目の素数さん
21/11/05 16:31:24.35 EIXh5Ehs.net
そうそうウンチク。
「数学の解説+ウンチク」ならばまあ聞くけど数学出来ないでウンチクだけしかも「通俗数学史」だけなんだよな。
「正確な数学史」は数学の実力+語学力が必要になるのでこれまた無理だろう。
○○学派のDNAを受け継いで、みたいな話は要らん。数学の本の内容の解説(証明)が出来る人がその内容を語れ。代数幾何学が分からない人が森重文を語るな
593:１３２人目の素数さん
21/11/05 16:40:39.74 S31hwkkw.net
フロベ二ウス写像をうまく使って有理曲線を作ることによって
接束がアンプルな射影代数多様体は射影空間に限ることが
証明できる。
同じ技法が古典的な有理性判定条件の証明にも使えることが
面白い。
594:１３２人目の素数さん
21/11/05 18:20:56.96 Tglpw308.net
代数幾何がわからないのによくここまで書けるな
595:１３２人目の素数さん
21/11/05 18:41:03.66 1U/ZMLJv.net
文献教えてもらったらてめーで勉強しろや
596:１３２人目の素数さん
21/11/05 19:01:03.80 Tglpw308.net
>>583
ウンチクさえ垂れられないので説教か
597:１３２人目の素数さん
21/11/05 19:02:59.24 1U/ZMLJv.net
逆切れすんなよ、巣ごもり厨
598:１３２人目の素数さん
21/11/05 20:00:34.13 GXNcwly0.net
児玉、永見の位相空間論以外で、発展的な位相空間論を扱ってる和書ってある？
599:１３２人目の素数さん
21/11/05 21:25:36.36 4K+MLea4.net
位相空間論について、他書に比べて、網羅的に記載されています。その点で、参考書として優れています。
600:１３２人目の素数さん
21/11/06 10:30:34.43 IVOCrtMF.net
森田紀一か北田 位相空間とその応用
601:１３２人目の素数さん
21/11/06 11:01:12.30 36fx/MEI.net
森田紀一： 位相空間論 岩波全書
位相空間論を展開するための準備として集合と写像から説き起し，位相空間，連続写像等々，位相空間論の基礎事項を解説するとともに，最終章では最近の話題にもふれる．練習問題を付した初学者向き教科書．解答付
北田韶彦：位相空間とその応用 朝倉書店
この本は、実に名著です。基本から応用まで幅広く書かれており、位相空間を学んでいる方は必見と思います。
また、ほかの位相空間の本に載っていない事項などもあり、購入して読む価値は十分にあります。
602:１３２人目の素数さん
21/11/06 16:02:17.97 pWhbxj9N.net
ほんとか
603:１３２人目の素数さん
21/11/06 16:20:39.74 ZLvLp92L.net
>>589
どうもです。
確かに森田のは発展的内容としてパラコンパクトを扱ってたな
内田のは写像空間を扱ってた
距離空間の完備化の定理って、多くの書籍の証明ではACを使ってるけど、
齋藤毅の証明ではACを使っていない感じだった。
何で、ACを使わなくても出来る証明をACを使ってできる証明で、しかも、多くの書籍で扱ってるのかがよく分からん
604:１３２人目の素数さん
21/11/06 16:52:26.82 tHBmXJy4.net
>>589
森田位相空間論は復刊すればいいのにな
605:１３２人目の素数さん
21/11/06 17:45:24.28 QzRi36KI.net
位相数学が専門なのに森田同値でも有名だもんな
606:１３２人目の素数さん
21/11/06 17:52:15.92 tHBmXJy4.net
森田位相空間論はボロボロの二冊持ってるけどもうボロボロなんよ
607:１３２人目の素数さん
21/11/06 21:18:40.38 iNhZkgHM.net
>>594 森田位相空間論
普通読み用に買ったのとは別に、大学の除籍本で入手したやつを風呂読書用に持ってる
608:１３２人目の素数さん
21/11/06 22:00:24.23 tHBmXJy4.net
>>595
それグチャグチャで読める？
609:１３２人目の素数さん
21/11/06 22:09:31.55 iNhZkgHM.net
ヨレヨレのグチャグチャだけど読めるし気にしない
廃棄予定だったのをタダで貰った本なので気にならない
610:１３２人目の素数さん
21/11/06 22:35:36.81 tHBmXJy4.net
なんか才能ありそうw
611:１３２人目の素数さん
21/11/08 08:14:14.38 JfETH95u.net
以前、特に違和感なく読んでいた箇所であっても、
更にもうちょっと知識がついてから読み直したら、以前には気づかなかった行間があったとことに気づいて、行間を埋めなきゃいけなくなることってあるよな
612:１３２人目の素数さん
21/11/08 11:47:02.12 mcYpHC8B.net
「なんだこの回りくどい証明は... 著者は何か勘違いしてるだろハハハ」
しばらく後で読み返すと実によく考えられた証明なのだと気づく事も
613:１３２人目の素数さん
21/11/08 13:49:12.43 DMgNGmTc.net
森田の位相空間論はそんな書き方がしてある本だというわけか
614:１３２人目の素数さん
21/11/08 21:49:14.60 es8lH4PH.net
糞岩波め 絶版と言わずに品切れといっても絶版だろ
金儲けしか考えてないのか
全書版を A5 で出すのも許せん
615:１３２人目の素数さん
21/11/08 22:09:17.39 KVz4eiMC.net
森田買おうかな、高いんだよな、価格上げ過ぎ
616:１３２人目の素数さん
21/11/08 22:13:17.79 6OIuA5+Y.net
森田を買う人はなぜ買うんですか？松坂じゃ不十分ですか？
617:１３２人目の素数さん
21/11/08 22:16:11.10 KVz4eiMC.net
フィルターが書いてあるから
618:１３２人目の素数さん
21/11/08 22:16:31.28 7Q8oiwZe.net
二位じゃなぜダメなんですか？
619:１３２人目の素数さん
21/11/08 22:23:43.21 KVz4eiMC.net
森田尼の1%引きしかない
620:１３２人目の素数さん
21/11/09 17:28:20.23 7eMIh7jK.net
「永田の可換環論、新版可換体論、抽象代数幾何学、代数幾何学(岩波)、代数幾何学(共立)と松村復刊可換環論」が6冊5000円で売ってた。状態はまあまあ(と言うかお前らと同じで読んだ形跡なしw)、ゆえに書き込みは無し(あってもいいが)。
2冊(新刊だと併せて一万円)だけバラで買いたかったが「それでも値段は同じ」と言われ仕方なく全部買った。解いたひもで本を結んで電車乗って帰ってきた。
岩波の現代物理学講座みたいなのが12~3冊セットで3000円とか理系の専門書を投げ売りしてたな。古本屋では売れないんだな。
古い物理の本なんて価値あるか分からんが数学は今も古い本が普通に出てるから買えると思う。
621:１３２人目の素数さん
21/11/09 17:43:27.02 a384Yr8X.net
共立・岩波・朝倉の講座ものとか昭和の数学書はしっかりしたのが多いが
明倫館の人に聞いたらそういう本はもうたくさん在庫あるからと言われた
もう売れないんだよ
絶版の数学書持っておけば高く売れるなんて話ないんだよー
622:１３２人目の素数さん
21/11/10 16:26:12.78 PDxDjHL4.net
安すぎじゃね
623:１３２人目の素数さん
21/11/10 17:33:01.72 qWaw6IR9.net
解析学基礎 単行本 ? 2021/11/11
原岡 喜重 (著)
URLﾘﾝｸ(www.kyoritsu-pub.co.jp)
624:１３２人目の素数さん
21/11/10 19:15:04.80 N9UA+V7B.net
これらはどうかね
諏訪 紀幸
有限体と代数曲線 (現代基礎数学)
‎朝倉書店
こちらはあまり読むところがなだそうだが、...
庄司 俊明
代数群の幾何的表現論 I,II:
代数群のシュプリンガー対応と指標層 (朝倉数学大系)
625:１３２人目の素数さん
21/11/10 19:20:56.61 1csNQjDe.net
二つとも生協の書店の最新刊の棚で目立っている
626:１３２人目の素数さん
21/11/10 19:34:16.47 qWaw6IR9.net
>>612
＞有限体と代数曲線
暗号理論とかやっている人向けですか？
627:１３２人目の素数さん
21/11/11 07:23:48.30 B5qUkpHd.net
立ち読み
628:したが、幾何的表現の方は偏屈層の理論や代数幾何が分かってないとなかなか読めなさそうな感じだった
629:１３２人目の素数さん
21/11/11 07:38:50.05 edr/KrQ2.net
それは本のタイトルだけからわかったので
開きもしなかった
630:１３２人目の素数さん
21/11/13 20:18:38.27 fxGsS/mn.net
齋藤正彦著『線型代数入門』ですが、p.8に定義されていない用語である「座標ベクトル」なる用語が登場します。
位置ベクトルが正しいのではないでしょうか？
631:１３２人目の素数さん
21/11/13 20:45:39.33 xVZrrped.net
位置ベクトルは数学辞典に載っていて
座標ベクトルは載っていないという意味？
それとも座標ベクトルは定義されていないが
斎藤本では位置ベクトルは定義されているということ？
632:１３２人目の素数さん
21/11/13 20:51:15.60 AoG0H/j3.net
馬鹿アスぺ一号に釣られる巣ごもり厨
633:１３２人目の素数さん
21/11/13 21:12:57.45 xVZrrped.net
数ベクトルはよく見たような気がする
634:１３２人目の素数さん
21/11/13 23:47:33.03 RBfqwbQ3.net
層とコホモロジー 送料込みで600円で買ったわ
読まんけど、安かったから取り敢えず、な。
635:１３２人目の素数さん
21/11/14 07:55:14.65 ulR1f3gv.net
とりあえず、ググって読んだら？
636:１３２人目の素数さん
21/11/14 09:35:17.99 Ci/bJtJU.net
「・・・のDNA」とかいう人に限って
１．DNAは何の略、と尋ねると答えられない
（答えはデオキシリボ核酸（deoxyribonucleic acid））
URLﾘﾝｸ(ja.wikipedia.org)
２．DNAの具体的構造は、と尋ねると答えられない
（答えはリン酸と糖の鎖と塩基対の”梯子”による二重らせん構造
塩基の並びが情報となっている）
637:１３２人目の素数さん
21/11/14 16:20:05.17 DiDwWgbB.net
まあ生物物理とかバイオインフォマティクス
やってる人の中にも、
え？DNAって20文字の一次元配列でしょ？
とかいう人も多いけどね。
最近はエピジェネティックな修飾も注目されてるから
またアレだけど
638:１３２人目の素数さん
21/11/14 16:45:31.70 FLF/GWac.net
Inter-universal geometry と ABC予想 (応援スレ) 61
誤爆にも食いつくｗ
125 ：１３２人目の素数さん[sage]：2021/11/14(日) 10:07:39.20 ID:Ci/bJtJU >>101
>数理モデルを立てるにあたり
>シミュレーションをしてから仮説を立てて
>その仮説が正しいことを証明する方法で
>数学を研究している人
上記の数理モデルを
「時間変化する現象の計測可能な主要な指標の動きを模倣する、
（微分方程式などの）「数学の言葉で記述した系」」
と考えた場合、上記の文章はおかしい
639:１３２人目の素数さん
21/11/14 17:21:38.71 Y/7tGHET.net
一松信っでいまだに執筆つづけてるんだ
640:１３２人目の素数さん
21/11/14 22:22:10.09 ebmxI7Tz.net
生きてる限りはどこまでも
641:１３２人目の素数さん
21/11/15 18:10:37.25 kWCGeXAx.net
目指せMichael Atiyah
642:１３２人目の素数さん
21/11/15 18:59:19.06 boyD5L/U.net
齋藤正彦著『線型代数入門』ですが、p.27に、一般の3つのベクトルに対してこの本では定義が書いていないにもかかわらず、
「a_1, a_2, a_3 が右手系ならば」などと書いています。
643:１３２人目の素数さん
21/11/15 19:07:41.63 nhZpbVhQ.net
>>629
それは良くありませんね
644:１３２人目の素数さん
21/11/15 19:16:39.75 nhZpbVhQ.net
生きてる限りはどこまでも
探し続ける恋ねぐら
傷つき
645:汚れた私でも 骨まで骨まで 骨まで愛して欲しいのよ
646:１３２人目の素数さん
21/11/15 19:20:58.33 fd9jF5e1.net
>>629
本の粗探しは楽しい？
647:１３２人目の素数さん
21/11/15 20:41:52.21 nqgy1Ib8.net
・p.21にしっかり書いてあるという指摘はしたら駄目かな(数学的な定義になっていないと突っ込まれる？)
・p.25(外積の定義)にも右手系なる言葉が出てくるんですがそれは
648:１３２人目の素数さん
21/11/15 20:45:04.16 nqgy1Ib8.net
もう一回見直したら、p.21にあるのは「単位ベクトル」に対する右手系だったね
単位ベクトルでない場合には触れてないから駄目、という指摘か
しょーもな
649:１３２人目の素数さん
21/11/15 21:31:59.07 fd9jF5e1.net
[NGID:boyD5L/U] は馬鹿アスペ一号
650:１３２人目の素数さん
21/11/15 23:13:30.82 boyD5L/U.net
齋藤正彦著『線型代数入門』ですが、第1章は全く厳密ではないですね。
651:１３２人目の素数さん
21/11/15 23:29:14.19 boyD5L/U.net
>>634
そのp.21に記述ですが、単位ベクトルが互いに直交するということも書くべきですが、書いていないですね。
652:１３２人目の素数さん
21/11/15 23:53:26.55 boyD5L/U.net
齋藤正彦著『線型代数入門』ですが、p.25に「ベクトルの組 e_1, e_2, e_3 から連続的に a, b, c まで、 a, b の線型独立性を保ちつつ移そう。」
と書いてありますが、「連続的に移す」の定義がありませんし、どうやって移すのかが書いてないですね。
653:１３２人目の素数さん
21/11/16 00:29:33.18 Rsj3sl8F.net
本にひたすらケチ付けていくのってなんか意味あるんだろうか
この論文理解するのにどういう本読んだらいいのか聞くとかあの本は面白かったとかそういう事の方が余程意味あると思うんだが
654:１３２人目の素数さん
21/11/16 00:48:33.06 QJMeU4es.net
自分で本書くなら意味あるとは思うが
まあカニ缶じゃね
655:１３２人目の素数さん
21/11/16 09:53:22.77 tuObChOX.net
カニ缶って何？
656:１３２人目の素数さん
21/11/16 15:16:08.11 tuObChOX.net
恥ずかしいですね、教科書disってるのにこんな問題だして
161 名前：１３２人目の素数さん[] 投稿日：2021/11/15(月) 17:15:13.96 ID:boyD5L/U
以下を直接証明せよ。
det A = 0 ⇒ A の列ベクトルは一次従属である。
657:１３２人目の素数さん
21/11/16 17:31:03.33 nLqif7o1.net
普通の問題だと思うがどこが悪いの？
658:１３２人目の素数さん
21/11/16 18:19:08.12 tuObChOX.net
自由でいいなー
659:１３２人目の素数さん
21/11/16 18:42:27.53 tuObChOX.net
評価Dだから
660:１３２人目の素数さん
21/11/16 20:24:20.43 3nw5TX/R.net
齋藤正彦著『線型代数入門』ですが、p.27の以下の説明は全く意味不明ですね。
「
[5.3]により、 det(a_1, a_2, a_3) は、ベクトル a_1, a_2, a_3 の張る平行六面体の体積に符号をつけたものに等しい。
この符号は、 a_1, a_2 ,a_3 が右手系ならば正、左手系ならば負である。実際、 a_1, a_2, a_3 が右手系ならば、
e_1, e_2, e_3 から、右手系であることを保ちつつ、連続的に a_1, a_2, a_3 まで移ることができる。
det(e_1, e_2, e_3) = 1 であるから、 det(a_1, a_2, a_3) は負となることはできない。
」
a_1, a_2, a_3 が右手系ならば、 a_3 と a_1 × a_2 の交角が 0 以上で π/2 未満であるから、
det(a_1, a_2, a_3) = (a_1 × a_2, a_3) > 0 になるというだけのことですよね。
661:１３２人目の素数さん
21/11/16 20:26:46.76 w2fusAM6.net
>>646
意味がわかる証明教えて
662:１３２人目の素数さん
21/11/16 20:28:27.84 3nw5TX/R.net
>>647
a_1, a_2, a_3 が右手系ならば、 a_3 と a_1 × a_2 の交角が 0 以上で π/2 未満であるから、
det(a_1, a_2, a_3) = (a_1 × a_2, a_3) > 0 になる。
663:１３２人目の素数さん
21/11/16 20:31:51.07 3nw5TX/R.net
>>646
この齋藤さんの記述は、その前のp.25での a, b, a × b が右手系をなすということの証明（説明）となんとなく同じようにできる
と思って、よく考えもせずに書いたとしか思えません。
全く意味不明な説明です。
664:１３２人目の素数さん
21/11/16 20:33:12.69 w2fusAM6.net
>>648
なぜそうなるの？
665:１３２人目の素数さん
21/11/16 20:34:30.22 tuObChOX.net
[NGID:3nw5TX/R]
[NGID:w2fusAM6]
666:１３２人目の素数さん
21/11/16 20:35:29.07 3nw5TX/R.net
a_1, a_2, a_3 が右手系であるということの定義が齋藤正彦著『線型代数入門』には書いてありません。
おそらく、
a_1 × a_2 と a_3 との交角が 0 以上 π/2 未満であるというのが定義なんだと推測します。
667:１３２人目の素数さん
21/11/16 20:36:18.34 w2fusAM6.net
>>652
�
668:Nの主張も随分と飛んでたってことかな？
669:１３２人目の素数さん
21/11/16 20:37:50.21 3nw5TX/R.net
とにかく、齋藤正彦さんの本はどれも細部においていい加減ですよね。
James R. Munkresさんのような細部においても決していい加減になっていない本というのは日本語の本ではないんですかね？
670:１３２人目の素数さん
21/11/16 21:13:03.26 7GFptGqV.net
自分で探したら？
671:１３２人目の素数さん
21/11/16 21:15:09.51 tuObChOX.net
968 名前：ご冗談でしょう？名無しさん[] 投稿日：2021/11/16(火) 18:05:38.84 ID:3+nyrfbO
3次元空間を扱う時、右手系か左手系かを決めて、その後、一貫してその系を使います。
実際には、右手系を使います。
一方、右手系の座標系自体は、一つの固定した座標系ではなく、別の座標系を考えたりします。
なぜ右手系で考えたり、左手系で考えたりはしないのでしょうか？
672:１３２人目の素数さん
21/11/16 22:15:40.89 w8v4nOkH.net
逆にJames R. Munkresさんの本ってそんな穴ないのか
だとしたら凄いいい本だね
673:１３２人目の素数さん
21/11/16 22:34:50.34 sfkSgbmi.net
穴のない本とかあるのか？
674:１３２人目の素数さん
21/11/16 23:27:52.61 K6BfBeoO.net
穴がないのが良いのか
675:１３２人目の素数さん
21/11/17 06:47:04.12 T/bgVpos.net
でも Munkres本には右と左の「定義」は載ってない (読んでないけど断言するわ )
それは いい加減だなと言わなくていいのかい？
676:１３２人目の素数さん
21/11/17 10:25:54.46 8Y0OJ3oZ.net
載ってるかどうかではなく、定義せずに使うことが問題なのでは
677:１３２人目の素数さん
21/11/17 11:42:43.24 c6dIdRQz.net
四則演算だけでできる、[ ベイズ統計学入門 ]を読んでるｿﾞ
678:１３２人目の素数さん
21/11/17 16:00:02.79 uoYLsMRr.net
仲良いね
[NGID:w8v4nOkH]
[NGID:sfkSgbmi]
[NGID:K6BfBeoO]
[NGID:T/bgVpos]
[NGID:8Y0OJ3oZ]
679:１３２人目の素数さん
21/11/17 18:06:35.67 b7VLhHCF.net
齋藤正彦著『線型代数入門』p.50定理[4.2]の証明ですが、階数の一意性を示すところの議論で、
r < m かつ r < n と仮定して証明していますね。
r = m または r = n のときの証明が書いてありません。
680:１３２人目の素数さん
21/11/17 18:11:27.13 b7VLhHCF.net
あ、その場合には、自動的に r = s になりますね。
681:１３２人目の素数さん
21/11/17 18:21:34.83 +63jeafb.net
でたらめが書いてある名著として有名なのがGunning-Rossiの本。
Cartan-Thullenの定理を岡潔が証明したことになっている。
682:１３２人目の素数さん
21/11/17 18:31:31.28 b7VLhHCF.net
齋藤正彦著『線型代数入門』のp.53の注意3に、
「
実際には、 (n, 2*n) 型の行列 (A E) を書き、これに上に述べた行のみの変形を施せば、結果は (E A^{-1}) となる。
もしもこの操作が途中で行詰れば、[4.4]によって A は正則ではない。すなわち、 A の正則性も同時に判定される。
」
と書いてあります。
たまたま、自分が行った行のみの変形では、途中で行き詰まったが、うまく行変形を行えば、 A を単位行列に変形できるという可能性を排除できませんよね。
[4.4]では 正則行列 A に対して、具体的にどのような行基本変形を施せば、単位行列に変形できるかということが書いてありません。
詰めが甘いですよね。
683:１３２人目の素数さん
21/11/17 18:39:45.69 n9cLm4tz.net
>>666
Gunning-Rossiとかもう古いよ
684:１３２人目の素数さん
21/11/17 18:39:59.74 +63jeafb.net
「
実際には、 (n, 2*n) 型の行列 (A E) を書き、これに上に述べた行のみの変形を施せば、結果は (E A^{-1}) となる。
もしもこの操作が途中で行詰れば、[4.4]によって A は正則ではない。すなわち、 A の正則性も同時に判定される。
」
これで十分わかるけどな
685:１３２人目の素数さん
21/11/17 18:43:05.91 +63jeafb.net
>>668
でも野口より詳しい。
686:１３２人目の素数さん
21/11/17 18:54:34.00 yBY9Z8Qx.net
>>667
＞たまたま、自分が行った行のみの変形では、途中で行き詰まったが、うまく行変形を行えば、 A を単位行列に変形できるという可能性を排除できませんよね。
つまり「僕が計算ミスしてるかどうか判定できるようにしろよ！なんでそこまで書かないんだよ！」ということね、キチガイ把握
687:１３２人目の素数さん
21/11/18 08:54:46.06 Ii4z+94D.net
どこかでAnnotated Gunning-Rossiを出し�
688:ﾄくれないかな
689:１３２人目の素数さん
21/11/18 17:46:05.04 mBJ0Pxro.net
先に一松と西野を読もう
690:１３２人目の素数さん
21/11/18 17:53:00.88 FRdXw7uP.net
野口の新しい本は？
691:１３２人目の素数さん
21/11/18 18:04:19.35 mBJ0Pxro.net
>>213
Elias M. Steinとか？
Complex Analysis 2010
Fourier Analysis 2011
Real Analysis: Measure Theory, Integration, and Hilbert Spaces 2009
Functional Analysis 2011
Harmonic Analysis 1993
692:１３２人目の素数さん
21/11/18 18:13:00.21 FRdXw7uP.net
SCV
693:１３２人目の素数さん
21/11/18 18:39:51.54 vlmQP4Sg.net
>>675
Princetonで長年講義した結果だが
Complex Analysisは
Ahlforsのより珍重されるかどうか
694:１３２人目の素数さん
21/11/18 19:44:59.33 RbAEKt4J.net
証明が
695:１３２人目の素数さん
21/11/18 20:41:34.47 mBJ0Pxro.net
>>677
個人的にはAhlforsと吉田かと
出版年を間違えたのでこちらが訂正です
URLﾘﾝｸ(en.wikipedia.org)
696:１３２人目の素数さん
21/11/18 22:38:46.06 Ii4z+94D.net
Ahlfors本は訳される前から名著だとは思ったが
ここまで広く親しまれるようになるとは思わなかった。
697:１３２人目の素数さん
21/11/19 05:44:26.02 X1nBUD19.net
小平の複素解析以外で、コーシーの積分定理の、あのくっそ長い証明を超丁寧に証明してる本ってある？
698:１３２人目の素数さん
21/11/19 08:32:07.43 IORocFNW.net
小平の複素解析はそれが超目玉
そこに存在価値がある
699:１３２人目の素数さん
21/11/19 10:56:31.50 R0QcUKMp.net
あんな証明を読むのは趣味の領域。
読むのは老後の楽しみに取っておいて、結果をそのまま認めて使うのが賢い人間。
700:１３２人目の素数さん
21/11/19 11:22:43.55 Au1kFpA/.net
>>683
そういう態度で色々難しい証明をとばしてしまうのはどうなんでしょうか？
701:１３２人目の素数さん
21/11/19 11:43:17.86 FMnaiPLa.net
賢い人間にとって
数学の味わいというものはどういうものなのでしょうか？
702:１３２人目の素数さん
21/11/19 12:28:09.78 TSS1A0V0.net
違いの分かる男のGB
703:１３２人目の素数さん
21/11/19 12:53:24.24 t1k/iS9a.net
ゴールドブレンド
704:１３２人目の素数さん
21/11/19 13:03:05.76 t1k/iS9a.net
宇宙戦艦ヤマトとどっちが古い？
705:１３２人目の素数さん
21/11/19 13:05:47.79 RmcGUSBZ.net
>>683
その証明は知らないが
くそ長いなら、何かがおかしいかもしれないと疑ってかかるべきかとおもうが
結果はあってるかもしれないが証明に欠陥があって、結果を証明できてない可能性もある
706:１３２人目の素数さん
21/11/19 13:10:46.97 r5naM9Gb.net
俺も小平本を読んだことないんだけど、コーシーの積分定理ってそんなくっそ長く証明するようなものなのか？
視覚的感覚的にわかりやすくかつ細かく書いてあるような感じ？
707:１３２人目の素数さん
21/11/19 14:03:41.37 t1k/iS9a.net
閉領域の細胞分割にページ数が費やされているだけで
コーシーの定理の証明自体はあっという間だ。
708:１３２人目の素数さん
21/11/19 14:05:09.88 Au1kFpA/.net
で、その証明は結局のところ厳密なんですか？
709:１３２人目の素数さん
21/11/19 14:23:36.86 t1k/iS9a.net
と思った。
710:１３２人目の素数さん
21/11/19 21:40:01.30 X1nBUD19.net
BG集合論上では圏論は綺麗に定式化出来ると思うんだが、実際にやってる文献何かある？
711:１３２人目の素数さん
21/11/19 22:47:07.02 /kCTMEas.net
>>680
Ahlfors本に比肩するのはKolmogorovの函数解析の基礎 上下かと
712:１３２人目の素数さん
21/11/19 22:52:03.38 TSS1A0V0.net
そんなにいいか？
Kolmogorovの函数解析の基礎 上下
713:１３２人目の素数さん
21/11/19 22:57:06.54 /kCTMEas.net
違いの分かる男のGorovBlend
714:１３２人目の素数さん
21/11/19 22:57:58.63 IORocFNW.net
倉田先生が生きていれば本を書いていたかも
715:１３２人目の素数さん
21/11/19 23:00:13.37 TSS1A0V0.net
違いの分かる男のRudin
716:１３２人目の素数さん
21/11/19 23:06:15.30 /kCTMEas.net
>>213
今の
717:日本なら大沢健夫先生が見事に体現しておられる 自分の知る限りこの人の代わりに書ける人なんていない
718:１３２人目の素数さん
21/11/19 23:07:18.63 TSS1A0V0.net
大沢健夫の多変数は難しい
719:１３２人目の素数さん
21/11/19 23:09:18.11 /kCTMEas.net
先にHörmander
720:１３２人目の素数さん
21/11/20 00:46:45.51 cDj5DssU.net
齋藤正彦著『線型代数入門』のp.84の定理[2.10]の証明の記述が分かりにくすぎますね。
p.85の ⊿_1 に対応する B の小行列式を ⊿_1’ とすれば、 ⊿_1’ = ⊿_1 であるから、…
⊿_1’ が何なのかが極めて分かりにくいです。
自分で証明を考えて ⊿_1’ が何なのかがやっと分かりましたが、説明がひどすぎます。
齋藤正彦さんは、説明力に問題ありだと思いました。
721:１３２人目の素数さん
21/11/20 04:17:03.95 ToS2G7UC.net
では説明力に問題ないとは？
722:１３２人目の素数さん
21/11/20 07:05:26.09 G3MSDpR0.net
>>702
というか、小平
723:１３２人目の素数さん
21/11/20 07:12:43.25 G3MSDpR0.net
>>701
なら先月出た野口本がお勧め
724:１３２人目の素数さん
21/11/20 10:16:30.87 cDj5DssU.net
>>703
「⊿_1 に対応する B の小行列式を ⊿_1’ とすれば」
「対応する」と書くと、行列 A の小行列式 ⊿_1 に対応するポジションの行列 B の小行列式のことだと思ってしまいますよね。
この解釈だと全く意味不明になってしまいます。
725:１３２人目の素数さん
21/11/20 10:17:36.68 cDj5DssU.net
齋藤正彦著『線型代数入門』
付録の多変数の多項式の話が分かりにくすぎます。
726:１３２人目の素数さん
21/11/20 10:32:07.40 9viR8t2K.net
理由
頭悪いから
727:１３２人目の素数さん
21/11/20 10:51:04.12 cDj5DssU.net
Sheldon Axler著『Linear Algebra Done Right 3rd Edition』
これを超えるスマートで明快な本は日本語の本にはないようですね。
728:１３２人目の素数さん
21/11/20 11:20:23.57 O0kPPiie.net
頭悪いのに書評などできるわけがない
という事すらわからなき
729:１３２人目の素数さん
21/11/20 13:40:03.95 9BB0E0Zn.net
馬鹿でアスペの拘り
730:１３２人目の素数さん
21/11/20 13:41:31.25 9BB0E0Zn.net
数学初めてはや10年、未だに線型代数と高校物理（爆笑）
731:１３２人目の素数さん
21/11/20 14:23:33.95 maZtcsfq.net
>>713
君は数学何年勉強して、どれくらいの業績持ってるの？
732:１３２人目の素数さん
21/11/20 14:36:47.06 9BB0E0Zn.net
>>714
まず君からどうぞ
733:１３２人目の素数さん
21/11/20 14:43:15.32 maZtcsfq.net
おれ？数学の勉強とかしてないよ笑
734:１３２人目の素数さん
21/11/20 16:36:50.59 vtWfBRv/.net
>>709
勿論「著者の」だよね
735:１３２人目の素数さん
21/11/20 16:41:56.06 9BB0E0Zn.net
研究会で何聞いてるのｗ
736:１３２人目の素数さん
21/11/20 16:47:10.94 maZtcsfq.net
研究会とか出たことない
それより君の学歴と業績は？
737:１３２人目の素数さん
21/11/20 16:47:52.67 9BB0E0Zn.net
高卒
738:１３２人目の素数さん
21/11/20 16:49:39.70 pGBO4WNJ.net
>>717
もちろん松坂くん
739:１３２人目の素数さん
21/11/20 16:49:48.78 maZtcsfq.net
それで逃げるのか笑
お前バカ坂君未満だな
740:１３２人目の素数さん
21/11/20 16:50:29.99 9BB0E0Zn.net
訂正
高卒ｗｗｗ
741:１３２人目の素数さん
21/11/20 17:13:42.34 vtWfBRv/.net
wwwは何の意味だったっけ？
742:１３２人目の素数さん
21/11/20 17:34:19.31 9BB0E0Zn.net
「w」は語尾につけて文章に「笑いの要素を加える」ことを目的に使用されます。
ｗの数に応じて笑いの要素が増えます、ｗは全角が好まれます
743:１３２人目の素数さん
21/11/20 18:03:43.59 9BB0E0Zn.net
>>722
ところで「バカ坂君」って誰？
744:１３２人目の素数さん
21/11/20 18:05:18.24 maZtcsfq.net
お前のお友達、仲良くな
745:１３２人目の素数さん
21/11/20 18:06:49.20 9BB0E0Zn.net
>>727
逃げるのか？
746:１３２人目の素数さん
21/11/20 18:07:29.29 9BB0E0Zn.net
ハイ論破（禿藁）
747:１３２人目の素数さん
21/11/20 18:07:37.37 maZtcsfq.net
お前がな
748:１３２人目の素数さん
21/11/20 18:11:08.83 9BB0E0Zn.net
馬鹿からかうと面白いね
749:１３２人目の素数さん
21/11/20 18:18:45.83 YHN0V181.net
それで面白いとはおめでたい
750:１３２人目の素数さん
21/11/20 18:19:50.22 maZtcsfq.net
めでたい障害者だよな笑
751:１３２人目の素数さん
21/11/20 18:20:18.31 9BB0E0Zn.net
どうして？
752:１３２人目の素数さん
21/11/20 18:21:57.67 9BB0E0Zn.net
>>733
研究会で何聞いたの？なんの研究会？
753:１３２人目の素数さん
21/11/20 18:30:11.45 9BB0E0Zn.net
>>732
研究会で何聞いたの？なんの研究会？
754:１３２人目の素数さん
21/11/20 18:33:44.00 9BB0E0Zn.net
>>732
どういう論文書いてるの？
755:１３２人目の素数さん
21/11/20 18:35:07.81 9BB0E0Zn.net
>>732
博士課程、ポスドク、助手？
756:１３２人目の素数さん
21/11/20 18:42:15.30 vtWfBRv/.net
>>738
まあ、心を落ち着けて
シューベルトの「アベ・マリア」ルートビッヒ・パーソンズを聴いて頂きたい。
757:１３２人目の素数さん
21/11/20 18:46:50.50 maZtcsfq.net
はあ？そこはバッハだろ
758:１３２人目の素数さん
21/11/20 19:01:49.49 9BB0E0Zn.net
>>733
自己紹介乙とは
2ちゃんねるで、誰かを罵倒する人に対して返される定型文。
759:１３２人目の素数さん
21/11/20 19:08:06.55 maZtcsfq.net
自己紹介乙ぅ～
760:１３２人目の素数さん
21/11/20 19:45:31.57 9BB0E0Zn.net
ワーグナーだろ
761:１３２人目の素数さん
21/11/20 19:53:51.72 9BB0E0Zn.net
楽曲ワルキューレ
762:１３２人目の素数さん
21/11/20 21:54:27.90 rcn2a4vU.net
>>705
そういえば証明を全部すっ飛ばして
Hörmanderよんだ！とかふかしてるバカがいたな
このレベルの本でこういう勉強法はもう最悪
後になーんも残らんから良い子は真似しないように
763:１３２人目の素数さん
21/11/21 07:39:40.73 aIf1Q4xY.net
>>743
>>744
葬送行進曲
764:１３２人目の素数さん
21/11/21 19:14:41.33 jeltjSx6.net
URLﾘﾝｸ(www.iwanami.co.jp)
松坂和夫 数学入門シリーズ (全6巻)
URLﾘﾝｸ(www.iwanami.co.jp)
数学入門シリーズ (全8巻)
これ、上と下で内容はどう違うんだろう？数学入門シリーズ (全8巻)の代わりになるようなシリーズ本はある？
765:１３２人目の素数さん
21/11/21 19:43:55.25 d4zBpsju.net
そりゃ書く奴で内容は違うし、入門本の代わりなんてどんだけでも
766:１３２人目の素数さん
21/11/21 21:02:04.12 AoEb6RZg.net
>>748
よく相手する気になれるね
767:１３２人目の素数さん
21/11/21 22:57:50.00 YsUi8u37.net
齋藤正彦先生の難しい方の微積分の本には全微分は書いてないね。
逆に『はじめての微積分』というやさしい方の本には、ほぼ説明なしで載ってる。
こういう書き方もありかもね。
768:１３２人目の素数さん
21/11/21 23:00:27.10 ErmmPoYV.net
「お前ら説明してもどうせわからないだろ？」
769:１３２人目の素数さん
21/11/22 02:53:30.26 CvOg8nhD.net
今、小平の複素解析の細胞分割可能定理を読んでるんだが、くっそ長い。20ページぐらいある
論理展開を読むのがくっそだるいんだが、誰かこの証明を見やすい感じにまとめてる人いる？
文字が汚くても論理の流れを綺麗にしてくれるんなら、手書きノートでも全然読みたいんだが、誰か持ってる？
770:１３２人目の素数さん
21/11/22 08:39:48.49 mhGZAXU9.net
>>752
どんなステートメント？
771:１３２人目の素数さん
21/11/22 08:56:49.91 CvOg8nhD.net
>>753
87ページ定理2.1
772:１３２人目の素数さん
21/11/22 12:09:54.22 mhGZAXU9.net
>>754
ものがない
画像上げてたも
773:１３２人目の素数さん
21/11/22 13:46:14.09 RYHMKP3d.net
>>754
ここならアカウント作るとかしなくてもスマホで取った画像一発であげられる
URLﾘﾝｸ(imepic.jp)
774:１３２人目の素数さん
21/11/22 21:29:27.70 CvOg8nhD.net
>>753－567
まぁ、そこは図書館で借りるなりして読めや
20ページを超える証明はマジで読む気が削がれる
775:１３２人目の素数さん
21/11/22 21:48:50.37 MFtn6t7k.net
>>757
イヤ、こっちもう卒業してるからしんどい
大学行けば借りれるけど大学遠い
ステートメント載ってるページなんか1ページだけじゃないの？
776:１３２人目の素数さん
21/11/22 21:57:59.69 MFtn6t7k.net
小平先生の複素解析って
ISBN-10 ‏ : ‎ 4000078151
777:; で合ってる？
778:１３２人目の素数さん
21/11/22 22:28:51.69 CvOg8nhD.net
>>758
は？主張読むだけで証明できるわけねぇだろ
779:１３２人目の素数さん
21/11/23 00:10:01.87 JV1Bxckp.net
>>760
なんで？
読んでみなきゃわからんやん？
780:１３２人目の素数さん
21/11/23 05:42:13.65 MXUVHCPv.net
>>761
お前、20ページも超える証明を何も見ずに解けんの？
781:１３２人目の素数さん
21/11/23 07:49:12.35 QSnsPEhH.net
>>762
みてみないとわからん
長さだけじゃわからんよ
長くても簡単な論文もあれば短くてもクッソ難しい論文もある
極論そのステートメントが別法で既に勉強済みの話なら瞬殺の可能性もある
782:１３２人目の素数さん
21/11/23 08:06:23.91 U2W4y9qQ.net
図を描いてみせれば簡単なのだけどちゃんと記述したら存外長くなったとか、脚注に書いてあったな
783:１３２人目の素数さん
21/11/23 08:52:59.21 MXUVHCPv.net
>>763
そんな抽象論の話してないんだが？
コーシーの積分定理聞いたことある？
その証明に至るまでに出くわすくっそ長い証明聞いたことある？
784:１３２人目の素数さん
21/11/23 08:58:04.58 MXUVHCPv.net
>>765
俺はそんなクッソ抽象論聞いてるんじゃなくて、>>765の証明を主張を聞いただけで書けんのかって聞いてんだよ
785:１３２人目の素数さん
21/11/23 09:07:04.43 QSnsPEhH.net
>>765
コーシーの積分定理って
f(z)=1/(2πi)∫f(ζ)/(ζ-z)dζ
じゃなくて？
786:１３２人目の素数さん
21/11/23 09:15:12.84 MXUVHCPv.net
>>767
細胞分割の話なのに何でそっちが出てくるんだ？
∫f(z)dz=0の方なんだが？
787:１３２人目の素数さん
21/11/23 09:20:08.41 C70j/s00.net
まず、その「細胞分割可能定理」を書いてよ
そうしないと話がいつまでたっても始まらないからさ
788:１３２人目の素数さん
21/11/23 09:20:15.92 NFzilZg4.net
グリーンの定理で一発終了する方だね
789:１３２人目の素数さん
21/11/23 09:25:46.79 QSnsPEhH.net
>>768
だよな？
たしかにその証明が終わらない段階ではまだf(z)についてわかってる情報が少ないので確かに中々の難敵ではあるけど、そんな何十ページもかけなきゃ証明できない定理じゃない
オレが学部の時読んだのは黒田先生の本だったけど、準備から全部ひっくるめても10ページいかないくらいだろう
ただだから小平先生の本の証明がヘタクソなわけでもなんでもなく、もちろんそこには小平先生なりのなんかこだわりがあってそのルートを選択されてるんだろうとは思う
だからコーシーの積分定理の証明自体に興味があるわけではない
そんなもんとっくにオレの血肉の一部になってる
知りたかったのは小平先生がどんなルートでコーシーの積分定理証明してるのか、どんな教育的配慮でそのルートを選択されたのかみてみたいなと
なのでどんなルート選択肢してるかだけ知りたかっただけ
790:１３２人目の素数さん
21/11/23 09:27:53.47 MXUVHCPv.net
>>769
だから、主張を見ただけで解ける根拠は？
>>767みたいなずれたレスしてるくせに
791:１３２人目の素数さん
21/11/23 09:28:59.89 QSnsPEhH.net
>>772
その人別人
792:１３２人目の素数さん
21/11/23 09:32:32.22 MXUVHCPv.net
>>771
結局、読んだこともなければ、証明も理解してないんだな
教育的配慮？
は？？
お前小平の本自体読んだこと無いセリフだな
小平三部作は高校卒業から論文読めるまでの高度な内容をセルフコンテインドで、かつ、初等的な切り口で解説してるんだよ
知らんのに何口出ししてんだよww
793:１３２人目の素数さん
21/11/23 09:37:41.95 NFzilZg4.net
小平本の証明を知らないと理解したことにならないのかｗｗｗｗｗ
794:１３２人目の素数さん
21/11/23 09:39:39.69 QSnsPEhH.net
>>774
読んだことないから聞いてんのに
もうとっくに理解した証明別の本の著者がどう書いてるか何て基本興味ないんだよ
ましてやコーシーの積分定理如きの初歩の初歩で
しかしあえてそんな20ページを超える難解なルート選ぶのはそれなりに意味があるのかなと思ったけど、まぁもう出てきそうにないしいいよ
頑張ってその証明突破してね
他の本ではもっとサラッと流してるけど、あえてそういうルート選んでるならそこには小平先生のこだわりがあるんやろ
そもそも「この本の証明はむずいからここだけ別本で」とかやってると力つかんからな
795:１３２人目の素数さん
21/11/23 09:46:51.65 MXUVHCPv.net
>>776
はい、>>761,763に矛盾するレスおつｗｗｗｗｗｗｗ
アホやこいつｗ
っつーか、興味ないなら最初から入ってくんなよｗ
>>難解なルート、小平のこだわり
だから、小平の本は初等的な切り口ってさっき言っただろ、アホww
人の話聞けよｗｗｗ
796:１３２人目の素数さん
21/11/23 09:48:48.18 QSnsPEhH.net
>>777
つまりは君はその“初等的な切り口”でつっかえて四苦八苦してるパープーというわけですな
797:１３２人目の素数さん
21/11/23 09:54:04.87 MXUVHCPv.net
>>778
ワロタｗｗｗｗ
↑このアホ>>752すら読んでねぇんじゃねぇの？w
アホがピキってレス返すから低能晒し続けてるｗｗ
798:１３２人目の素数さん
21/11/23 09:55:29.27 C70j/s00.net
>>770
ていうか、グリーンの定理の証明だね
例えば難波の「複素関数 三幕劇」では
定理のみで証明は微積分の本を見られたしと
あっさり省略されてた
799:１３２人目の素数さん
21/11/23 09:55:37.96 QSnsPEhH.net
>>779
低脳は辛いなぁ
800:１３２人目の素数さん
21/11/23 09:58:05.52 MXUVHCPv.net
>>780
知らんけど、入門書とかでは初学者にとって厄介な定理は避けられがち
集合論でもZornの補題は結果だけ載せてる本もちらほらある
801:１３２人目の素数さん
21/11/23 09:58:31.32 QSnsPEhH.net
>>780
でも微妙な話しだよな
確かにグリーンの定理を使わないってのは言葉尻だけ聞けば魅力だけど、現実問題グリーンの定理は微分幾何やる時の基礎になる話だから結局数学全体見回したら避けては通れない
ならグリーンの定理を全く使わないでコーシーの積分定理証明すると同じ事2回やることになる
まぁいい復習にはなるけどな
802:１３２人目の素数さん
21/11/23 10:00:06.71 8thyu8TP.net
おまいら落ち着け
803:１３２人目の素数さん
21/11/23 10:03:03.69 C70j/s00.net
>>783
いや、グリーンの定理を証明する場合必要になるから
結局真面目に一から証明する「厳密主義」の立場に立つなら
どこかでやる必要がある
ただ、無制限な「厳密主義」の立場が、常に有意義かといわれれば
正直いってそんなことないけどね 人生の時間は有限だから
804:１３２人目の素数さん
21/11/23 10:05:59.48 8thyu8TP.net
三角形分割可能性とかそういう話だろ、知らんけど
805:１３２人目の素数さん
21/11/23 10:09:04.36 C70j/s00.net
>>782
整列定理とかZornの補題の証明は、例えば、
松坂和夫の「集合・位相入門」に書かれているけど、
集合論専攻のフッチーノ氏によると、いろいろ問題があるらしい
ま、そんなこというなら、あんたが日本語でいい教科書かけよ
っていいたい気持ちはあるけど
（松坂氏は代数学が専門で、Zornの補題をよく使うから
その証明を頑張って載せたんだとおもうが、先駆者は
そうやって後からきた専門家に踏みつぶされるものらしい）
806:１３２人目の素数さん
21/11/23 10:14:28.93 8thyu8TP.net
>>770
言い換えに過ぎないだろ、アホか
807:１３２人目の素数さん
21/11/23 10:17:45.55 8thyu8TP.net
>>787
松坂は素朴な定義しかしていない、それだけの話だろ
808:１３２人目の素数さん
21/11/23 10:23:57.96 C70j/s00.net
>>789 そんなことはないけど
松坂の本、読んだことない？
809:１３２人目の素数さん
21/11/23 10:24:56.31 8thyu8TP.net
>>790
集合とはなんだ？
810:１３２人目の素数さん
21/11/23 10:36:08.82 C70j/s00.net
>>791
ああ、公理の話をして�
811:驕H フッチーノ氏も書いてるけど、通常の数学で使う集合論なら フレンケルの置換公理とか使わないもっと弱い集合論でＯＫ 整列定理もツォルンの補題もそのレベルの話 まあ、フッチーノ氏がいいたいのは 「おれなら、もっといい証明かける」 ってことらしいから 「それなら、あんたが教科書かけよ」 というのがオチなんだけどね （注：フッチーノ氏がいうのは本当のことだと思うけど やっぱりそれは教科書として出版することで 「証明」されると思うけどどうよ？）
812:１３２人目の素数さん
21/11/23 11:16:28.58 mkRpaoRQ.net
>>792
もちろん置換公理外して代わりになる弱い別の公理入れなきゃしょうがないけど、その“代わりの公理”がなんなのかわからん事にはコメントしょうもない
813:１３２人目の素数さん
21/11/23 11:22:11.73 QSnsPEhH.net
>>785
もちろんグリーンの公式は厳密に証明できんとダメやろ
一から百まで自分が論文で使う定理の証明理解できてる必要はないけど流石にグリーンの公式如きの話で「使えればいい、証明は眺めとけ」なんて通用しない
しかしグリーンの公式の証明でも20ページもいかんと思うんだけどなぁ
814:１３２人目の素数さん
21/11/23 11:40:28.54 8thyu8TP.net
>>792
どうでもいいわ
815:１３２人目の素数さん
21/11/23 11:57:55.31 BmHjxb18.net
そもそもこの話で盛り上げようと思うのが無理
816:１３２人目の素数さん
21/11/23 12:05:38.53 8thyu8TP.net
馬鹿ビッパーだろ
817:１３２人目の素数さん
21/11/23 12:17:09.75 12Oamdgh.net
小平の「私はこんな風に数学をやっています」というエキシビションだろう。
818:１３２人目の素数さん
21/11/23 12:29:36.07 8thyu8TP.net
バトル
819:１３２人目の素数さん
21/11/23 13:07:46.22 C70j/s00.net
てゆーか、だれも小平の複素解析持ってないんだ
所詮その程度の本なんだろうけどさ
820:１３２人目の素数さん
21/11/23 13:15:21.41 cJqwaiEn.net
ある本に以下の記述があります。
「このような分割の存在は小平先生の『複素解析』の第2章でくわしく証明されている。具体的に与えられた個々のγに対しては直感的に
明らかに見えても、一般的な設定で厳密に証明しようとすると現れる困難さと、それが見事に克服される様子を見るためにも一読してほしい。」
821:１３２人目の素数さん
21/11/23 13:30:20.88 C70j/s00.net
>>801 タイトル書いてよ
822:１３２人目の素数さん
21/11/23 13:52:17.64 mkRpaoRQ.net
ひとつだけ心当たりあるとすればもしかしてジョルダン閉曲線で囲まれた閉領域は閉円盤と同相というJordan Caratheodryの定理をこの段階で証明しようとしてる可能性はあるかなと
辻先生の教科書とかだと正則関数の基本的な定理(コーシーの定理とかも含めて)後の方の章で証明してるけど少なくとも閉曲線定理は関数論使わないで初等的に証明するルートがあるのでそれやってるのかもしれん
定理のステートメント誰も書かんからわからんけどな
まぁもういいや
823:１３２人目の素数さん
21/11/23 14:25:43.52 7nmaQwyR.net
みんな「もういいや」で済んでいるのが現代数学
824:１３２人目の素数さん
21/11/23 14:26:51.38 8thyu8TP.net
はいはい、雑談に戻ってｗ
825:１３２人目の素数さん
21/11/23 15:39:46.84 CoviqcHo.net
突然草生やして切り返すのって30代が多いのかな
数学のための論理学スレもこのタイプ
826:１３２人目の素数さん
21/11/23 16:33:00.44 8thyu8TP.net
大変だねｗ
827:１３２人目の素数さん
21/11/23 16:54:29.42 IwLZ/CqG.net
多様体でストークスの定理の時に1の分割使ってちゃんとやるからスルーする方が楽
828:１３２人目の素数さん
21/11/23 17:47:34.28 7nmaQwyR.net
今の人たちはグルサの証明を読んで
感動するということがないのが
可哀想といえば可哀想
829:１３２人目の素数さん
21/11/23 19:18:28.74 FV5a11HN.net
>>776
>>794
独学で小平複素解析をやってるの？
証明をすっ飛ばすバカが増えてるのに動機が感心ですね
830: 流れを嚙み砕いて整理したノートをろだに上げればいいのかな？
831:１３２人目の素数さん
21/11/23 19:23:15.12 QSnsPEhH.net
>>810
イヤ、オレは小平先生の本持ってないよ
挑戦してるのは
ID:MXCVHCPv
どうぞそちらとお話し下さいませ
私は興味失いました
832:１３２人目の素数さん
21/11/23 21:14:22.25 MXUVHCPv.net
>>810
お？一応読みたいっていうか、見るだけは見るぞ？
833:１３２人目の素数さん
21/11/23 21:17:43.21 8thyu8TP.net
複素多様体を読むときに得する？
834:１３２人目の素数さん
21/11/23 21:52:11.94 MXUVHCPv.net
小平の三部作は語り口がメッチャ平易で理解自体は確かにしやすい
でも、文章構成のレイアウト自体は全くと言っていいほど練られてないから、パット見てパッと把握するってのが全く出来ないタイプ
小平の頭の中のものを全部書き出して、最低限の文章構成にだけしたっていう感じ。
だから、読む時は最初からずー－っと読んでいかなきゃならない感じ
835:１３２人目の素数さん
21/11/23 21:56:35.84 8thyu8TP.net
ありがとう
836:１３２人目の素数さん
21/11/24 10:28:39.17 QtStfstJ.net
「コーシーの積分定理」を証明するルート
[A] Jordan curve theorem ジョルダン閉曲線
1. グリーンの定理（Green 1828, Cauchy 1846）とコーシー・リーマンの関係式（Riemann 1851）を用いる。
[[注意]] グリーンの定理は２次元と３次元でのみ成立する。
2. 連続性の過程を外す（Cauchy–Goursat theorem）
[B] ジョルダン閉領域
3. 細胞分割の定理（小平）
[C] Jordan–Schoenflies theorem（高次元拡張, Schoenflies problem）
4. Brown 1960
5. Mazur 1959（Morse 1960）
837:１３２人目の素数さん
21/11/24 10:43:05.80 wSmLe3hd.net
>>816
へぇ～、で、それら5条件が何らかの条件下で同値になったりして？
838:１３２人目の素数さん
21/11/24 10:45:41.07 r6dT+Ipz.net
>>816
ほう
839:１３２人目の素数さん
21/11/24 13:51:41.30 qo2nkaQr.net
齋藤正彦著『線型代数入門』のp.136に以下の記述があります。
「
実線形空間の線型変換 T の場合、任意の基底に関する T の行列を A とすれば、 A は実行列であり、実数 α が T の固有値であるということは、
実係数の斉次一次方程式 (α*E - A) * x = 0 が、自明でない実解を持つということである。第2章§2注意2（p.58）により、これは α が実特性根
であるということと同値である。証明終。
」
第2章§2注意2（p.58）とは、 A を実行列としたとき、 A * x = 0 の解は複素ベクトルにはならず、実ベクトルになるというものです。
上の齋藤さんの記述の「第2章§2注意2（p.58）により、これは α が実特性根であるということと同値である。」って必要ですか？
当たり前のことですよね？
第2章§2注意2（p.58）というのはなぜ書いたのかが分かりません。非常に自明なことです。
840:１３２人目の素数さん
21/11/24 13:55:49.56 qo2nkaQr.net
A * x = 0 の解は、 A の成分と四則演算のみを使って表わされるから自明なことです。
841:１３２人目の素数さん
21/11/24 19:16:35.15 V7507mjy.net
>>754 やっとステートメントを確認したよ
このくらい全文書いてやればいいのに
何もったいぶってんだろうな
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
小平邦彦「複素解析 Ⅰ」
第２章 Cauchyの定理 §2.2 細胞分割 p87
定理２．１
有界閉領域［Ｄ］の境界がどの二つも共通点を持たない
有限個の区分的に滑らかなJordan閉曲線からなっているならば
［Ｄ］は細胞分割可能である。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
842:１３２人目の素数さん
21/11/24 19:20:06.90 V7507mjy.net
>>821 定理２．１の証明は
（Ⅰ）［Ｄ］の境界がただ一つの滑らかなJordan閉曲線Ｃからなる場合 (p87-98)
（Ⅱ）［Ｄ］の境界がただ一つの区分的に滑らかなJordan閉曲線Ｃからなる場合 (p98-106)
（Ⅲ）［Ｄ］の境界がどの二つも共通点を持たない
有限個の区分的に滑らかなJordan閉曲線からなる場合 (p106の最終4行分)
からなるが、（Ⅲ）は（Ⅰ）（Ⅱ）の全く局所的な考察からなる証明より明らか
となってるので実質的には（Ⅰ）（Ⅱ）だけ
843:１３２人目の素数さん
21/11/24 20:55:54.32 f0SFCSoY.net
>>822
細胞分割の定義は？
ググっても出てこないから小平先生のその本だけで通用する造語じゃない？
844:１３２人目の素数さん
21/11/24 20:59:12.46 f0SFCSoY.net
あ、イヤCW複体の意味でのcell decompositionかな？
845:１３２人目の素数さん
21/11/24 21:12:41.25 wSmLe3hd.net
>>821,823
無駄無駄
どうせそんな労力をここの奴らに払った所で、教えて君が相手の善意に頼るだけで何の解決の見込みもないから。
だから俺は書かなかったんだよ
善意の労力が無駄になるアホらしさ
846:１３２人目の素数さん
21/11/24 21:49:53.92 qo2nkaQr.net
齋藤正彦著『線型代数入門』ですが、p.136の[1.4]について、
「
これと[1.2]あるいは[1.2]'とを合せ考えれば、つぎの定理が得られる。
」
と書いてありますが、飛躍が多すぎます。
847:１３２人目の素数さん
21/11/24 21:52:25.96 Cl2WUGcg.net
セルじゃうまく積分できないから凸セルなりなんなりの仮定を付けてるはず
848:１３２人目の素数さん
21/11/24 23:32:08.28 oL+hSP4F.net
小松、中岡「位相幾何学1」
これって「位相幾何学2」は出てますか？
予告にはあるけど見たことないから。お願いします。
849:１３２人目の素数さん
21/11/24 23:34:50.56 Cl2WUGcg.net
>>828
出てない
850:１３２人目の素数さん
21/11/24 23:38:48.87 sbDu1mMa.net
>>829
俺も
851:１３２人目の素数さん
21/11/24 23:50:21.03 oL+hSP4F.net
>>829
早速どうもありがとう。
852:１３２人目の素数さん
21/11/25 00:35:07.54 dblCQj5h.net
いえいえ(>_<)
853:１３２人目の素数さん
21/11/25 03:52:53.27 fo4CvcYX.net
>>824 正解。これはその本だけで通用する造語ではありません。
セル分割、細胞分割（Cellular decomposition）
URLﾘﾝｸ(en.wikipedia.org)
胞複体、CW複体
URLﾘﾝｸ(ja.wikipedia.org)
>>816 [B][C]は多様体での議論になっていて、[B]小平はワイル「リーマン面」よりも現代的な方法を選んでいる。
リーマン面を１次元複素多様体として歴史上最初に定義したのが上記ワイル本です。
854:１３２人目の素数さん
21/11/25 06:12:15.87 sLIgcZfQ.net
>>825
たった３行のステートメント書くことのどこが「労力」なんだろう？
文字数数えたら、１００文字もなかったぞ
855:１３２人目の素数さん
21/11/25 06:19:31.67 LoVE2yKX.net
>>834
お前らみたいなしょーもない奴ら相手に一々テキスト参照しながら文章を書くのが面倒なわけで、
50文字でも労力なんだよ
856:１３２人目の素数さん
21/11/25 09:13:56.40 085nmFs+.net
一般のCWセルの意味なら分割するまでもなく単連結領域がそのままセルになってるから
そもそも細胞分割なんて日本語はセル分割の訳語として普通は使わないし
単にセル分割って言えば一点の和とすれば可能なのは明らかなんだからそんな意味で使うわけがない
857:１３２人目の素数さん
21/11/25 09:41:57.37 nRiYrSrd.net
ちゃんと数式を書くのは手書きと違って大変
858:１３２人目の素数さん
21/11/25 09:44:22.98 zlRZGCE5.net
>>836
そ
859:うなんだよ そこがちょっと疑問 前の方に書いたJordan-Caratheodoryの定理は CがCP1の単純閉曲線ならCP1＼Cはちょうど２つの連結成分U1U2を持ち(ここまでかJodanの定理)さらにUi∪Cは閉円盤と位相同相になる まで言える コレが言えてしまえばCから一点Pを選んで C ∪ U1 .= P ∪ (C＼P) ∪ U1 がCW分割になる 今物が手元にないからハッキリしないけどJordan-Caratheodoryは初等的に証明するルートがあったはずでそれやってるのかもしれない 集合論的位相幾何学って本に載ってて衝動買いしてしまった記憶がある すげぇ古い本 もしかしたらこの本が書かれた当時とか小平先生が本執筆された前後の時代ではやってたのかもしれないな 誰の証明だったか忘れたけど確かアレキサンダーの補題とかなんとか使うんだったような記憶がある
860:１３２人目の素数さん
21/11/25 10:01:24.08 1xkUz6JB.net
>>591
ACを前提にしないと、数多くのの定理が証明出来ない。
このことから、ACに気遣う事が殆どなくなった。
861:１３２人目の素数さん
21/11/25 10:03:05.24 SCk3DyJw.net
齋藤正彦著『線型代数入門』ですが、p.136の[1.4]の後に、
「
とくに A が実行列で、その特性根がすべて実数ならば、 P は実正則行列に取れる。
」
などと書かれています。
P は実正則行列に取れるなどと書いていますが、必然的に実行列になりますよね。
862:１３２人目の素数さん
21/11/25 10:04:34.75 SCk3DyJw.net
逆に、 P は複素正則行列には取れないですよね。
この本の中でも、第5章の出来が特に悪いように思います。
863:１３２人目の素数さん
21/11/25 10:09:19.23 SCk3DyJw.net
齋藤正彦著『線型代数入門』ですが、どこがいいのか分かりません。
決して完成度の高い本ではないと思います。
佐武一郎著『線型代数学』はいい本だと思いますし、完成度も高いと思います。
脚注を読むと著者の細かいことまで色々と考えていることが分かります。
そして、一番いい線形代数の本はやはりSheldon Axlerの『Linear Algebra Done Right 3rd Edition』だと思います。
すっきりしていて非常に明快な本です。
864:１３２人目の素数さん
21/11/25 10:19:33.84 OvhRzUaO.net
なんで大学一年でなんとなく勉強する本にそんな無駄なこだわりを持つんです？
もっと新しいことに挑戦したほうがずっと生産的ですよ
865:１３２人目の素数さん
21/11/25 10:22:08.61 nRiYrSrd.net
アスペだから
866:１３２人目の素数さん
21/11/25 10:30:09.36 nRiYrSrd.net
荒らしに「正しい事」を説く
867:１３２人目の素数さん
21/11/25 15:11:30.93 fo4CvcYX.net
>>836 ID:085nmFs+
>>838 ID:zlRZGCE5
おまえら、本当に、いい加減にしてほしいな。反論するなら一度は小平本を読んでこいよ。いったい何日めだよ。
きちんと読まないなら誰がみても>>825 >>835の言い分の方が正しいじゃないか。ここは学問板なんだぜ。アスペと同じで迷惑なんだよ。
868:１３２人目の素数さん
21/11/25 15:18:17.81 cS0IeEa7.net
>>846
反論？
反論なんかしてないよ
そもそも反論しようにもステートメントも正確にわからんし
そして今まで上がった情報見て上がってきたステートメント見る限りわざわざ本取り寄せて読むほどのものでもなさそうだし
「オレこんな難しい本読んでんだぜ？すごいだろ？」止まりの話やろ
どうせこんなレベルで行き詰まってるやつ後2、3年で消えて無くなるしな
869:１３２人目の素数さん
21/11/25 16:36:46.37 fo4CvcYX.net
読むほどのものでもなさそうなんて捨て台詞を吐いている不勉強なクズ。
毎年、そんなのが数多く自殺して、その結果、2、3年で消えて無くなるんだよ。
おまえのような人間がな。m9(^Д^) >>847