[過去ログ] スレタイ 箱入り無数目を語る部屋3 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
332(1): 2022/09/18(日)23:52 ID:ldv25uGN(25/26) AAS
スレ主の指摘のうち、いくつかは「意味が分かった」ので、一応ここに書いておく。まず、
>選択公理によって排出された1つの T に決め打ちして
という表現については、
「選択公理を上手く応用することで、完全代表系 T を1つ得ることが出来るので、そのような T を1つ決め打ちして」
という意味である。より誤解のない表現にすれば、
省7
385(3): 2022/09/19(月)23:45 ID:aLiBZfCJ(10/10) AAS
>>332
>「選択公理を上手く応用することで、完全代表系 T を1つ得ることが出来るので、そのような T を1つ決め打ちして」
あと、細かいが、いわゆる(フルパワー)選択公理は不必要
要するに、列は100個だから
使う同値類は100個にすぎない
100個の同値類から、代表を選ぶだけでよいから、有限個に対する選択公理で良い(可算選択公理である必要さえない)
だから、”ヴィタリが構成したような非可測集合”は、時枝では出現しない(この点でも時枝氏は勘違いしている。ここらはデリケートなので、下記の渕野をご参照)
省14
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.029s