facebook twitter hatena line google mixi email
★お気に入り追加


  • 1
  •  
  • 2015/01/12(月) 02:50:30.22
「コホモロジー」安藤 哲哉 編 日本評論社
本書は平成13年10月13日、20日に千葉大学で開催された公開講座「コホモロジー」をもとに加筆したもので、20世紀半ばに登場したコホモロジーという新しい道具を、新しい計算手段として、わかりやすく社会人や高校生等に解説しようとするものである。


層とかスキームの定義とかモチーフまでまともに言及してる。よくこんな一般向けの本掛けたなぁと思わない?

ここまで見た
  • 61
  •  
  • 2015/04/25(土) 10:30:17.53
>>49
にしても集合論とコホモロジーを一緒に勉強する必要性ってなんかあるか?なんかピントがずれた組み合わせに思えるが。
それに集合論って言ったってピンからキリまであるからなあ。

ここまで見た
  • 62
  •  
  • 2015/04/25(土) 11:12:29.89
>>61
Persistence and Homology
面白そうだろwww
でもな大学は金なかったから行ってないんだなwww

ここまで見た
  • 63
  •  
  • 2015/04/25(土) 11:25:54.53
計算幾何とか計算機科学とトポロジーの分野だと思うが。

ここまで見た
  • 64
  •  
  • 2015/04/28(火) 14:19:04.92
>>49のいう集合論は軍艦隊論のことじゃないのか 日本海海戦史とか そこからコスモクリーナロジー じゃなくて群環体論、抽象代数一般 集合は集合なので

ここまで見た
  • 65
  •  
  • 2015/04/29(水) 06:18:23.79
どの集合論の本にも書いてあると教わったことですが
次の命題の証明がわかりません。
次の性質をみたす集合Xが存在する。

濃度がXの濃度より真に小なる部分集合のべき集合の濃度は
Xの濃度より真に小

ご存知の方はヒントを下さい。

ここまで見た
  • 66
  •  
  • 2015/05/01(金) 22:11:20.68
>>65 ZFC が無矛盾ならば、それは証明不可能。実際、連続体仮説の下で、偽となる。

X を連続濃度、N を可算無限濃度とすると、N は X よりも真に小だが、N の冪集合の濃度は、
X そのものとなり、X の濃度よりも真に小となることは、ありえない。

ここまで見た
  • 67
  •  
  • 2015/05/01(金) 22:12:17.51
あ、ごめん、まちがえた。>>66 は撤回

ここまで見た
  • 68
  •  
  • 2015/05/01(金) 22:14:36.07
改めて、リベンジ。

X を可算無限濃度とすれば、X より真に小なる部分集合の濃度は、有限基数。
よって、有限基数の冪集合の基数は有限となり、X より真に小。

ここまで見た
  • 69
  •  
  • 2015/05/01(金) 22:16:52.11
X が非加算でなくてはならない場合は、

Yを連続濃度、Y_1 を Y の冪集合の濃度、帰納的に Y_{n+1} を Y_n の冪集合の濃度として、
X を Y_n (nは自然数)の上限と置けばよい。

ここまで見た
  • 70
  •  
  • 2015/05/06(水) 06:24:21.32
Xの部分集合は必ずどれかのY_{n}に含まれるわけではないのだが

ここまで見た
  • 71
  •  
  • 2015/05/06(水) 09:02:50.00
>>70 X の部分集合のうち、濃度が『Xの濃度より真に小』と書いてある。

ここまで見た
  • 72
  •  
  • 2015/05/06(水) 09:05:47.72
したがって、A が X の部分集合で 濃度が X の濃度より真に小ならば、
X の定義より、card(A)≦Y_n なる自然数 n が存在する。

基数の上限とか極限基数とか、きちんと勉強するように。

ここまで見た
  • 73
  •  
  • 2015/05/06(水) 09:09:31.62
>>72 に補足しておくと、card(A)≦Y_n なる自然数 n が取れるので、
2^card(A) ≦ Y_{n+1}<X.

べつに A がどれかの Y_k に含まれる必要はなくて、
A の基数を上から押さえる Y_n が存在すればよい。

ここまで見た
  • 74
  •  
  • 2015/05/07(木) 08:33:25.56
>>73
>>A の基数を上から押さえる Y_n が存在すればよい。
これは自明?

ここまで見た
  • 75
  •  
  • 2015/05/07(木) 08:39:46.43
自明
ただし
>>A の基数を上から押さえる Y_n が存在する
はどうか

ここまで見た
  • 76
  •  
  • 2015/05/07(木) 11:42:27.94
card(A) < X ならば、X = sup Y_n より、あるn が存在し、
card(A) ≦ Y_n.

ここまで見た
  • 77
  •  
  • 2015/05/07(木) 13:34:28.08
http://wc2014.2ch.net/test/read.cgi/math/1415660285/
でやれよ。まあそっちの専門のスレでも初等的で馬鹿にされると思うが。

ここまで見た
  • 78
  •  
  • 2015/05/08(金) 08:51:17.73
>>76
X=supY_nというのは自然な包含順序によるものであり
したがってXはY_nの合併集合と考えてよいわけだが
そのXの部分集合Aの濃度がXの濃度より真に小であるという条件から
Aの濃度がどれかのY_nの濃度で押えられるということは
何によって保証されるのでしょうか。
>>77
当然、専門のスレで議論するほどのことではありません。

ここまで見た
  • 79
  •  
  • 2015/05/08(金) 09:01:35.04
>>78
コホモロジーのスレでやる方がいかれぽんちだな。
コホモロジーは役に立つが集合論の濃度論なんてほとんど何の役にも立たないが。

ここまで見た
  • 80
  •  
  • 2015/05/08(金) 10:14:26.69
>>78 順序数の勉強をきちんとやるように。

ここまで見た
  • 81
  •  
  • 2015/05/08(金) 10:32:18.15
ヒント: 任意の順序数 x, y に対し、
x < y ⇔ x∈y ⇔ (x⊆y かつ x≠y)
後は順序数の族の上限の定義を見よ。

ここまで見た
  • 82
  •  
  • 2015/05/08(金) 13:34:38.02
一応言っておくが、これでもわからないと言うのであれば、
それは質問者側の学識不足の責任。

普通、まじめに集合論(特に順序集合の理論)を勉強しておれば、
>>76 の答えで十分納得できる

私はそんなに暇ではないので、後は自分で考えるように。

ここまで見た
  • 83
  •  
  • 2015/05/08(金) 17:05:21.30
コホモロジーのスレで何やってんだか
高校〜大学学部レベル質問スレ
http://wc2014.2ch.net/test/read.cgi/math/1427120597/l50
あたりが範囲広くていいんじゃないか

ここまで見た
  • 84
  •  
  • 2015/05/08(金) 19:16:14.17
濃度論法のハメハメちゃんってよそのスレも荒らすんだねえ。

ここまで見た
  • 85
  •  
  • 2015/05/08(金) 22:28:54.45
>>84 俺のことを言っているとしたら、それは人違い。

ここまで見た
  • 86
  •  
  • 2015/05/09(土) 00:25:16.06
>>81
順序数と濃度を混同してはいませんか?

ここまで見た
  • 87
  •  
  • 2015/05/09(土) 03:42:47.86
濃度は順序数の一種。

ここまで見た
  • 88
  •  
  • 2015/05/09(土) 03:45:21.90
>>86 あんたがまずやるべきことは、ここで質問することではなく、
自分で公理的集合論の本をまじめに読むこと。

まじめに勉強していないからこそ、>>78>>86 のような質問が出てくる。

ここまで見た
  • 89
  •  
  • 2015/05/09(土) 03:47:52.36
基礎論ってちょっと常識に欠いたおかしな人が多いのがよく分かった。

ここまで見た
  • 90
  •  
  • 2015/05/09(土) 03:49:52.63
どっちもスレ違いな話題いけしゃあしゃあと続けて恥じないし。

ここまで見た
  • 91
  •  
  • 2015/05/09(土) 08:32:37.14
環の極大イデアルの存在に選択公理が必要なことぐらいは常識なんだろうが
嵌めるキチガイのようにハメル基底連呼して濃度論ぐっだぐだ意味もなく証明に使う使えると勘違いし続けてる様は
可能性は低いがもしも将来訳が分かる様になれたら非常に黒歴史となるんだろうなぁ・・・。

ここまで見た
  • 92
  •  
  • 2015/05/09(土) 17:40:23.92
だから、人違いだって。

ここまで見た
  • 93
  •  
  • 2015/05/11(月) 01:55:13.37
この人いつでもどこでも見えない敵と戦ってそう>>91

ここまで見た
  • 94
  •  
  • 2015/05/11(月) 15:04:15.49
コホモロジーに敵意を向けるピントのずれた集合論マニアたち。集合論や基礎論は基本的にほかの主流の数学の役に立たないのがよくわかってない。

ここまで見た
  • 95
  •  
  • 2015/05/11(月) 15:50:39.40
そんなこと言うとあそこの信者が泣き喚くぞ

ここまで見た
  • 96
  •  
  • 2015/05/11(月) 16:02:59.66
もしかして俺も>>94に集合論マニアに認定されたのか?
君の周りは敵だらけなんだなw

ここまで見た
  • 97
  •  
  • 2015/05/11(月) 16:18:10.20
ちょっと常識に欠いたおかしな人が多いのがよく分かった。

ここまで見た
  • 98
  •  
  • 2015/05/11(月) 16:23:28.28
>>97
ちょっと真面目にお話しようよ
俺の書き込みの何を見てそう思ったんだ?
答えられないなら、こちらからはもう何も追求しないでいてあげるけど

ここまで見た
  • 99
  •  
  • 2015/05/11(月) 16:38:34.69
コホモロジーの話題ならまともだと思って相手してやるぞ。

ここまで見た
  • 100
  •  
  • 2015/05/11(月) 19:27:58.18
集合論は、確かにスレ違いだな。

ここまで見た
  • 101
  •  
  • 2015/05/12(火) 02:56:39.20
>>93は集合論の話なんてしてないけどな
むしろ>>91の方が集合論の話に囚われてしまって一人相撲をとっている

ここまで見た
  • 102
  •  
  • 2015/05/12(火) 03:00:50.31
>>99
相手が集合論の話をしていると決めつけて積極的に絡んでいってるように見える
見えない敵と戦っている、というのは的を射ているらしい

ここまで見た
  • 103
  •  
  • 2015/05/12(火) 03:28:25.94
コホモロジーの定義ぐらい分かるようになってから遊びにいらっしゃい。

ここまで見た
  • 104
  •  
  • 2015/05/13(水) 02:12:19.84
>>91
スレち気味だがハーン・バナッハの拡張定理とツォルンの補題。

ここまで見た
  • 105
  •  
  • 2015/05/13(水) 02:26:12.49
吉田善章「新版 応用のための関数解析」サイエンス社にコホモロジーが関数解析から見て紹介されてるw。
ベクトル場の理論の章が一つ丸々あって微分幾何の初歩を付録でやっている。あんまり幾何系と関数解析をゲージ理論位相的場の理論まで行かない時点で結びつけて論じてるのは奇異に見えるな。

ここまで見た
  • 106
  •  
  • 2015/05/13(水) 02:28:12.60
>>103
もっと理性的な返答を頼む
それでは>>94の二の舞になっている
まあ性懲りもなく同じ人なんだろうけど

ここまで見た
  • 107
  •  
  • 2015/05/13(水) 02:35:09.99
>>105
昨日千までいった物理学板の質問スレでストークスの定理のためにコホモロジーの定義まで勉強してられっか!的なこと言ってた人みたいな応用畑の人にも乳母心で
理論でなく応用の本でわざわざ紹介したのだろうか。

ここまで見た
  • 108
  •  
  • 2015/05/13(水) 02:39:11.24
>>105>>107
http://wc2014.2ch.net/test/read.cgi/sci/1428934262/986,990
もうコホモロジーは常識あつかいでもいいと思うのだが。ド・ラムコホモロジー使えばストークスの定理の証明は自明に近いし。

ここまで見た
  • 109
  •  
  • 2015/05/18(月) 09:43:50.60
>>81
「濃度全体は整列構造を持つ」を前提としてはいませんか?

ここまで見た
  • 110
  •  
  • 2015/05/18(月) 10:07:53.39
>>81 それは前提ではなく定理。

前と同じ事を繰り返し述べておく。

あんたがまずやるべきことは、ここで質問することではなく、
自分で公理的集合論の本をまじめに読むこと。

まじめに勉強していないからこそ、>>78>>86>>109 のような質問が出てくる。

ここまで見た
  • 111
  • 109
  • 2015/05/18(月) 10:31:44.91
>>110>>109 へのレス

お絵かきランド
フリックゾンビ
ここまで見た

★お気に入り追加

このページを共有する
facebook twitter hatena line google mixi email
おすすめワード