[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
85: １３２人目の素数さん [] 2022/08/27(土) 15:05:44.98 ID:W1i1kXFy >>83 >決定番号だって定めようがないし 代表系が存在するなら、∀s∈R^Nに対してある代表列r∈R^Nが存在して、s〜r。 同値関係の定義により、ある自然数dが存在して、n≧d ⇒ s_n=r_n。このdを決定番号と呼ぶ。 はい、定まってますけど？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/85
86: １３２人目の素数さん [sage] 2022/08/27(土) 15:26:39.96 ID:7YqURDwF >>85 そうですね。決定番号は「存在する」という意味で定まっている。 が、それだけでは「知る」ことはできない。 だから、「代表系の中身を知ることができる」 という選択公理を超える仮定が必要。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/86
89: １３２人目の素数さん [] 2022/08/27(土) 17:39:30.75 ID:mgTwRSyu >>85 定まるってだけでいいなら尻尾同値類や決定番号とか遠回りせずに、出題者が箱の中に実数を伏せた段階で定まってるから直接それを当てるでいいんじゃない？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/89
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s