[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
375(2): 2024/07/17(水)06:42 ID:e5iwI0+k(4/17) AAS
>>372
お前は自分が日本語で書いたことをもう忘れたの？
357 １３２人目の素数さん 2024/07/16(火) 22:05:41.91 ID:M5D36QcJ
しっぽ同値類の代表選択関数fが存在するとの仮定から
f({0,0,・・・})＝{0,0,・・・}
は言えないが、
f({0,0,・・・})∈[{0,0,・・・}]
省2
376(1): 2024/07/17(水)07:50 ID:SACNuyQQ(1) AAS
>>375
仮定は選択公理（空でない集合の類からそれぞれ要素をとる関数が存在するという命題）
そこから尻尾同値類の代表をとる関数が存在して、
任意の無限列から自身が属する尻尾同値類の代表がとれる
という命題が定理として導ける
（完）
377(1): 2024/07/17(水)08:22 ID:JG9MQhwc(3/14) AAS
>>375
落ち着けよ それ書いたの俺な
ガチでそれ分かってないんだｗ じゃ無理だよ 君には無理
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s