【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!
10
ログインして広告を非表示にする
Eureka GAP @j_tGAP 2018-01-22 20:07:23
@alg_d κ×κ=κやκ+κ=κの標準的な証明ってどこに選択公理使ってますか
alg_d @alg_d 2018-01-22 20:10:29
@j_tGAP どういうのが標準的なんでしょうか…普通整列して自明みたいな感じでは?
Eureka GAP @j_tGAP 2018-01-22 20:11:52
@alg_d それです。選択公理ポイントが分かってません
alg_d @alg_d 2018-01-22 20:12:25
@j_tGAP どういうこと? 整列するのに選択公理使ってるという事ではなく?
はかり @mg_toHKR 2018-01-22 20:14:11
κ×κ=κ、任意の極限順序数に対してκ×κ~κの系から出てくるやつしか知らないんですけど整列可能定理から直接出てくるんですか
はかり @mg_toHKR 2018-01-22 20:14:57
この~は対等の~で同型の~ではない
はかり @mg_toHKR 2018-01-22 20:15:35
極限順序数っていうか無限順序数か
Eureka GAP @j_tGAP 2018-01-22 20:19:00
@alg_d κ×κのorder type κ以下の整列順序って具体的に定義できますし選択公理をどこで使っているのかなと思っています
ジオッコ・ピアノの怠惰 @marx_saul 2018-01-22 20:16:47
選択公理なしで基数を考えるとか尋常じゃない
ぴあのん@さよ朝宣伝bot @piano2683 2018-01-22 20:18:20
@alg_d @j_tGAP ACなしで整列できるよ(キューネン数学基礎論講義より) pic.twitter.com/sFlLbM49z9
 拡大
alg_d @alg_d 2018-01-22 20:19:48
@piano2683 @j_tGAP 確認せずに聞くけどキューネンって基数って言った瞬間整列できることを仮定してるんじゃないの?
alg_d @alg_d 2018-01-22 20:20:43
@piano2683 @j_tGAP すみません、僕の流儀は(整列可能とは限らない)集合Xに対して基数|X|を定義しているので
alg_d @alg_d 2018-01-22 20:22:29
@j_tGAP @piano2683 (確認してないけど)Equ. ACとかCon. ACとか全部そうだと思うんだけど普通ではない?
alg_d @alg_d 2018-01-22 20:23:16
@piano2683 @j_tGAP だからκ+κ=κというのは、任意の無限集合Xに対して全単射X+X→Xが存在するという主張になる
さーぶ @kosakilovestory 2018-01-22 20:22:13
普通に考えて∀κ, κ^2=κは選択公理と同値
さーぶ @kosakilovestory 2018-01-22 20:24:00
一方∀κ, κ+κ=κは選択公理導かないらしいね、ウケる
ぴあのん@さよ朝宣伝bot @piano2683 2018-01-22 20:25:41
@alg_d @j_tGAP cardinalとcardinalityで区別するのでは [cardinalの理論は冪以外はAC抜きに展開できるが、cardinalityの定義にはACが必要]
スマートコン @mr_konn 2018-01-22 20:24:17
@j_tGAP @alg_d いつからκが整列可能基数だと錯覚していた?
スマートコン @mr_konn 2018-01-22 20:24:48
あっ完全に流れに遅れてた
スマートコン @mr_konn 2018-01-22 20:27:17
@alg_d @j_tGAP @piano2683 Levyの教科書でも|X|は「整列可能なら全単射のある最小の順序数、そうでないならXと全単射のあるランク最小の集合全体(Scott's Trickのやつ)」が定義で、基数とは「なんらかの集合Xに対して|X|の形でかけるやつ」という定義になってる
y. @waidotto 2018-01-22 20:42:40
集合のランクというのがあるのか〜(集合論弱者)
y. @waidotto 2018-01-22 20:43:34
rank(x)=min{α|x∈V_{α+1}} か
スマートコン @mr_konn 2018-01-22 20:30:44
@alg_d @j_tGAP @piano2683 なので、もちろん選択公理があれば後段の定義が取っ払われて我々のよく知ってる定義になる
残りを読む(43)
ログインして広告を非表示にする
ログインして広告を非表示にする