[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

244: 2024/06/14(金)07:48 ID:aKckKf/J(1) AAS
∃f∈(R^N→R^N)∀s1,s2∈R^N.s1~s2⇒s1~f(s1)＆s2~f(s2)＆f(s1)＝f(s2)

つまり
「実数の無限列から実数の無限列へのある写像fが存在して
　任意の実数の無限列s1,s2が尻尾同値であるならば
　そのfの像はそれぞれ元のs1,s2と尻尾同値であり
　さらに実は同じ無限列である」
　（つまりfは実数の無限列の尻尾同値類から実数の無限列への単射である）

このようなfの存在が選択公理から導ける
これ豆な

---

上下前次1-新書関写板覧索設栞歴

---

あと 758 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.015s