[過去ログ] スレタイ 箱入り無数目を語る部屋19 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
87: 釈迦如来 2024/06/08(土)18:45 ID:O/8y6l/A(19/21) AAS
私が唱える最強の念仏
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
どんな無限列 f∈(N→R)も、ある尻尾同値類に属する
fの任意の箇所mから始まる尻尾から尻尾同値類がわかる
そして選択公理を認めれば、各尻尾同値類から代表rが取れる
で、fとrは同じ尻尾同値類に属するから、fとrは尻尾同値
fとrが尻尾同値だったら、ある自然数d∈Nが存在して d<=nならf(n)=r(n)となる
したがってd<mであれば、d<=n<mのf(n)の値がr(n)から分かる
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
上下前次1-新書関写板覧索設栞歴
あと 915 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.006s