[過去ﾛｸﾞ]
スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
316: １３２人目の素数さん [] 2022/09/18(日) 20:36:57.21 ID:3YOagFMY やれやれ >>306 >そこで、時枝記事では、 >「完全代表系 T を1つ固定する」と明言している。 時枝記事では、”明言している”に該当する記述ないよ いま、手元に時枝記事のPDFがある もし、明言しているというならば、何ページの何行目だ？ 無いよ、それ >選択公理によって排出された1つの T に決め打ちして >完全に固定してしまうということ。 意味わからん ”あんた、選択公理を完全に誤解している”と思うよ これを、読め https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 選択公理 >>307 >さて、T が1つ固定されたならば、各 x∈ R^N に対して、x～t を満たす t∈T がただ1つ取れる。 だから、その固定とかやって、なんで確率になるんだ？ 例えば、その固定で決定番号3としよう。決定番号3以外だと、どうなるの？ >「そのような t がただ1つ取れる」という性質こそが完全代表系たる ゆえん なのだから、 違うだろ 完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ これを、読め http://hooktail.sub.jp/algebra/FactorSet/ 完全代表系と商集合 物理のかぎしっぽ http://rio2016.5ch.net/test/read.cgi/math/1660377072/316
317: １３２人目の素数さん [sage] 2022/09/18(日) 20:46:24.28 ID:ldv25uGN >>316 確認してみたが、確かに明言はしてないな。しかし、実際には固定してるね。だって、 ＞ 幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. と書いてるからね。この場合の「商射影の切断」は無限に存在するわけで、 その中から「1つの切断を選んだ」ということ。そして、 「後から別の切断に取り換える場合もある」 なんてことはどこにも書かれてない。実際、別の切断に取り換えた場面は時枝記事の中に存在しない。 従って、完全代表系 T は、明言はされてないものの、実際には固定されている。 そもそも、T を後から変更してしまったら、d(x) は x に関して一価の関数ではなくなってしまうわけで、 そのことからも、T は固定しているとしか解釈のしようがない。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/317
318: １３２人目の素数さん [sage] 2022/09/18(日) 20:50:09.10 ID:ldv25uGN >>316 ＞だから、その固定とかやって、なんで確率になるんだ？ ＞例えば、その固定で決定番号3としよう。決定番号3以外だと、どうなるの？ 質問が抽象的すぎて意味不明だが、こちらで勝手に質問内容を補完して回答すると、次のようになる。 毎回必ず (√2, √2, √2, …) を出題したとする。このとき、出力される決定番号 (d1, d2, …, d100)＝(a1, a2, …, a100) は毎回同じである。ここでスレ主は 「その固定で決定番号3としよう。決定番号3以外だと、どうなるの？」と質問している。 たとえば、(d1, d2, …, d100) の中で d1＝3 だったとしよう。すると、スレ主の質問とは 「この設定下での d1 が 3 以外だと、どうなるの？」という意味になる。しかし、この質問は意味を成さない。 なぜなら、毎回必ず (√2, √2, √2, …) を出題しているので、出力される決定番号 (d1, d2, …, d100) も 毎回固定であり、そこでスレ主は「d1＝3だったとしよう」と追加の仮定を置いているのだから、 その場合、毎回必ず d1＝3 が出力されるだけであって、 「この設定下での d1 が 3 以外だと、どうなるの？」 という問いは意味を成さない。「その設定下だと、毎回必ず d1＝3 が出力されますね」としか言いようがない。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/318
320: １３２人目の素数さん [sage] 2022/09/18(日) 20:58:13.34 ID:ldv25uGN >>316 ＞>「そのような t がただ1つ取れる」という性質こそが完全代表系たる ゆえん なのだから、 ＞ ＞違うだろ ＞完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ 同じだよｗ意味が違うと思うのなら、それはスレ主が誤読しているだけ。 具体的に書こう。こちらが言うところの「完全代表系 T を1つ固定する」とは、次のような意味である。 ・ 無数に存在する完全代表系のうち、1つの T を取り出して、これを特別に T_0 と名付けて、 これ以降は、この T_0 のみを使用することにして、 この T_0 を他の完全代表系 T に後から差し替えることは絶対にしない。 こういうことね。時枝記事では、実際に「T_0」を後から別の T に差し替えることをしていない。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/320
324: １３２人目の素数さん [] 2022/09/18(日) 21:18:58.51 ID:/maedeNP >>316 >>そこで、時枝記事では、 >>「完全代表系 T を1つ固定する」と明言している。 >時枝記事では、”明言している”に該当する記述ないよ >いま、手元に時枝記事のPDFがある >もし、明言しているというならば、何ページの何行目だ？ 「幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. 」 おまえガチで分からんの？ 無理 おまえに数学は無理 http://rio2016.5ch.net/test/read.cgi/math/1660377072/324
325: １３２人目の素数さん [] 2022/09/18(日) 21:24:25.04 ID:/maedeNP >>316 >”あんた、選択公理を完全に誤解している”と思うよ 何の誤解も無い。 選択公理は選択関数の存在を保証している。 箱入り無数目は選択公理を認める前提だから、回答者には選択関数を使う権利がある。 そして実際時枝戦略ではそうしている。 「幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる. 任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ. 」 >意味わからん おまえが馬鹿なだけ http://rio2016.5ch.net/test/read.cgi/math/1660377072/325
326: １３２人目の素数さん [] 2022/09/18(日) 21:29:55.97 ID:/maedeNP >>316 >だから、その固定とかやって、なんで確率になるんだ？ 100列のいずれかをランダムに選ぶから。 「さて， 1〜100 のいずれかをランダムに選ぶ. 例えばkが選ばれたとせよ. s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない. 」 おまえ何一つ分かってないな。マジ諦めろ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/326
328: １３２人目の素数さん [] 2022/09/18(日) 21:40:35.56 ID:/maedeNP >>316 >完全代表系の「1つ取れる」と、あんたの固定とは意味が違うよ 完全代表系を一つ固定できて、それにより任意の実数列に対し代表列が一つ定まる。 おまえは一体何に言いがかりつけているのか？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/328
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s