[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
262(2): 2024/07/14(日)21:16 ID:6HJnUG/t(11/11) AAS
∃f:R^N→R^N.∀x,y∈R^N.(xとf(x)は尻尾同値)＆(xとyが尻尾同値⇒f(x)=f(y))
選択公理によりこの関数は存在する
そして箱入り無数目では上記の性質以外の性質は使わない
で、上記はターンエー君にとって定義かね？
上下前次1-新書関写板覧索設栞歴
あと 740 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s