黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
Favolog ホーム
» @genkuroki
» 2012年09月17日
並び順 : 新→古 | 古→新
2012年09月17日(月)
MarriageTheorem @MarriageTheorem
@kagami_hr 選択公理→ツォルンの証明は置換公理無しで大丈夫そうですが、ツォルンから選択公理の証明で、与えられた非空集合族についてその「部分選択関数全体」が集合になることをいうときに置換公理を使わなくて大丈夫かどうかが心配です。（「集合族」の定義によるかもしれませんが。）
タグ：
posted at 01:11:48
MarriageTheorem @MarriageTheorem
@kagami_hr もう少し考えてみましたところ、「与えられた集合族の和が集合である場合に制限した選択公理」とツォルンの補題がZ上同値だけれども、「」と一般の集合族に関する選択公理がZ上同値かどうかが（少なくとも私には）わからない、という考えに至りました。
タグ：
posted at 01:52:13
ゲラゲラ "@hymathlogic: 日本化学会「スーツで来るように。服装が悪いと何言われるかわからんぞ」 物理学会「スーツ着用の必要はない。スーツの人も居るけど服装をとやかく言う人はいない」 数学会「着衣で来るように。服着てないと何言われるかわからんぞ」"
タグ：
posted at 21:21:24
スポンサーリンク
