[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
246(1): 2024/06/14(金)16:43 ID:7r1vwZVg(2/11) AAS
以前書いてあった筈だけどな
日本語で書くから論理式になおしてごらん
１．尻尾同値類から無限列への単射となる写像がある
２．無限列から自然数への関数で、その自然数から先の位置で代表と尻尾が一致するものがある
３．２の関数によって１００個の無限列に対して１００個の決定番号が存在する
４．１００列から１列選び、他の９９列を全部開けて決定番号を求め、その最大値をDとして
選んだ１列のD番目の箱は開けずに、D+1番目以降の箱を開けて代表列をもとめ
その代表列のD番目が選んだ無限列のD番目と一致する、すなわち、選んだ列の決定番号が
D以下となる列は、１００列中２列以上存在し得ない（つまりたかだか１列しか存在しない）
選んだ列のD番目の箱は開けてないからカンニングはしていない
また、選んだ列の決定番号が分かる必要もない
上下前次1-新書関写板覧索設栞歴
あと 756 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s