2012年02月12日深夜の数学クラスタ

黒ごまのかき氷 @hymathlogic

Cech コホモロジーの構成とかそういう話をしてるわけじゃないの(てかそんなの知らん)、何が集合になって何がならないかって話

V-alg-d（ZZ） @alg_d

"てかそんなの知らん" ワロタｗｗｗｗ

のらんぶる @nolimbre

@hymathlogic ごめんなさい，「割れば集合になり，」の部分は撤回します．しかし Cech コホモロジーの定義はダメージを受けません．

黒ごまのかき氷 @hymathlogic

@nolimbre 別にCech コホモロジーの定義には興味ないの、私は集合論的な部分のみ話してるのCech コホモロジーの定義にケチなんか付けてない。

黒ごまのかき氷 @hymathlogic

とりあえず同じ話題に対し違うところを見ていたせいで話がギクシャクしていた気がする。 違う背景を持つ人間が意思疎通をするのはすごく大変なことだな

黒ごまのかき氷 @hymathlogic

別にどちらかが悪いわけじゃないけど伝えたい事が違いすぎて凄くヤキモキした。

黒ごまのかき氷 @hymathlogic

まあ、話好きなので話が盛り上がったことは純粋に嬉しい。

黒ごまのかき氷 @hymathlogic

集合か集合でないかそれが問題だ

のらんぶる @nolimbre

@hymathlogic なるほど．僕の興味は「族は写像であると定義すべきか」と「Cech コホモロジーの定義に ZF(C) の範囲で問題が起こるのか」であり，これらとはもはや関係ないと分かったものが集合であるか否かには注意を払っていませんでした．

黒ごまのかき氷 @hymathlogic

つい熱くなってCech コホモロジーを罵倒した感じになったことは強く反省している。Cech コホモロジーのことはよく知らないが今後勉強していきたい。

小泉ふゅーりー @koizumi_fifty

Cech cohomologyって一般の空間で定義されるのでしたっけ。Brown函手にはなるのでしょうか（多分ならないのでしょうけど）。

V-alg-d（ZZ） @alg_d

え、一般の位相空間じゃないのコレ。

V-alg-d（ZZ） @alg_d

長完全列考えるときに制限がいるとは書いてある。

黒ごまのかき氷 @hymathlogic

CechってStone–ČechのČechかー!! かなり興味が湧いてきた

V-alg-d（ZZ） @alg_d

コホモロジーはよく分からないが選択公理ちゃんマジ公理であることはよく分かった。