[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
221: 2024/06/12(水)21:16 ID:M1GZfUZp(16/20) AAS
∀と∃の順序がわからないのに線形代数の単位取れたの？？？
222: 2024/06/12(水)21:50 ID:H2WjMFc4(16/18) AAS
箱入り無数目が全く分かってないのに順序もクソも無い
223: 2024/06/12(水)21:59 ID:M1GZfUZp(17/20) AAS
r=sにするだけで箱入り無数目は解決したじゃん
馬鹿なのか？
224(1): 2024/06/12(水)22:06 ID:HnQbEE+9(15/15) AAS
f(s)＝sじゃ、１つの同値類に対して１つの代表を選ぶ関数じゃなくなってアウト
225(1): 2024/06/12(水)22:11 ID:M1GZfUZp(18/20) AAS
>>224
なんでアウトなの？
226: 2024/06/12(水)22:29 ID:M1GZfUZp(19/20) AAS
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明でr=sとすればいいというのはアウトらしいぞ
どこの電波数学だよ
227: 2024/06/12(水)23:11 ID:H2WjMFc4(17/18) AAS
>>225
おまえは分からなくてよい
228(1): 2024/06/12(水)23:13 ID:M1GZfUZp(20/20) AAS
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明でr=sとすればいいというのはアウト
電波数学ここに極まれり
229: 2024/06/12(水)23:16 ID:H2WjMFc4(18/18) AAS
>>228
よかったね
230: 2024/06/13(木)08:53 ID:9Ef1shUv(1/2) AAS
f(s)=sという関数では何も情報が得られない
箱入り無数目では、無限列のある箇所から先の尻尾の情報から、無限列全体の情報を得ようとする
このときf(s)=sという関数だと、尻尾に適当な頭をつけた偽無限列そのものの情報しか得られない
無限列から尻尾同値類の代表を返す関数の場合、
仮に尻尾が決定番号（無限列と代表が一致する尻尾の先頭）よりも後ろだったら
関数の適用により、決定番号〜尻尾の先頭の直前の情報が得られる
そこがポイント
そして一般に「無限列の尻尾同値類の代表を返す関数」は選択公理の下でしか存在が示せない
（無限列の範囲を限定した場合には、代表を具体的に構成できる場合もあるが）
231(2): 2024/06/13(木)16:49 ID:0N/Uftjc(1/5) AAS
r=sで証明できてるのに何言ってんだこいつ
232: 2024/06/13(木)17:10 ID:32iuQTgG(1/4) AAS
>>231
君は分からなくていいよ
233(1): 2024/06/13(木)17:11 ID:9Ef1shUv(2/2) AAS
>>231 できてないよ 君が選択公理による無限列の尻尾同値類の代表を返す関数を理解できないのをごまかしてるだけ
234(1): 2024/06/13(木)17:30 ID:0N/Uftjc(2/5) AAS
>>233
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
235(1): 2024/06/13(木)17:53 ID:32iuQTgG(2/4) AAS
>>234
一生言ってなさい
縁なき衆生は度し難し
236(1): 2024/06/13(木)18:27 ID:0N/Uftjc(3/5) AAS
>>235
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
237(1): 2024/06/13(木)18:59 ID:32iuQTgG(3/4) AAS
>>236
一生言ってなさい
縁なき衆生は度し難し
238(1): 2024/06/13(木)19:09 ID:0N/Uftjc(4/5) AAS
>>237
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
239(1): 2024/06/13(木)19:35 ID:32iuQTgG(4/4) AAS
>>238
一生言ってなさい
縁なき衆生は度し難し
240: 2024/06/13(木)19:44 ID:0N/Uftjc(5/5) AAS
>>239
∀s∈R^N,n∈N.∃r∈R^N.(n>＝d(s))⇒sn=rn
の証明の話してるんだよ？頭悪いからもう忘れたの？
選択公理なんて全く必要ない。ただrとしてsを選べばいいだけ
君は証明が正しいかどうかも自分で判断できないの？
上下前次1-新書関写板覧索設栞歴
あと 762 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s