[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)

スレタイ 箱入り無数目を語る部屋3 http://rio2016.5ch.net/test/read.cgi/math/1660377072/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

702: １３２人目の素数さん [sage] 2022/10/10(月) 21:02:03.20 ID:/bF8CLbh >>701 ＞回答者は、出題者が何を固定したのか超能力で透視できるのか？ｗ これ自分で書いてて気づいたけど、仮に超能力で透視できたとしても、 回答者は結局バカ正直に時枝戦術を使い続けるだけなんだから、 透視でカンニングできても意味がないなｗ だったら余計に、出題を固定することの何がインチキなのか理解に苦しむ。 どこにもインチキの要素がない。 しかし、スレ主は「固定はインチキだ」とほざいている。なんだそりゃ。 http://rio2016.5ch.net/test/re

ad.cgi/math/1660377072/702

703: １３２人目の素数さん [] 2022/10/10(月) 22:30:12.81 ID:KbysNzzt >>700 >”時枝記事の「99/100以上」という勝率”が、根本から間違っている 記事のどの部分がどう間違ってるのか具体的にお願いします 具体的に言えないならチンピラの言いがかりと解釈させて頂きますね http://rio2016.5ch.net/test/read.cgi/math/1660377072/703

704: １３２人目の素数さん [] 2022/10/10(月) 23:00:30.01 ID:KbysNzzt 「出題を固定するとインチキ」 これがまかり通るなら世の丁半博打はすべてインチキだな 壺の中のサイコロの目は固定されてるんだから くじ引きもインチキだな どのくじもすべてアタリ・ハズレとか〇〇等とかが固定されてるんだから ババ抜きもインチキだな どのターンでも手札は固定されている 他にも挙げればキリ無さそう http://rio2016.5ch.net/test/read.cgi/math/1660377072/704

705: １３２人目の素数さん [] 2022/10/10(月) 23:11:24.78 ID:EBzEjr+/ >>681 補足 もう既に書いたことだが １）可算無限列 a0,a1,a2,・・an,・・を 　形式的冪級数τ＝a0+a1x+a2x^2+・・+anx^n+・・に写して考えることができる（>>601 柳田伸太郎 名大 ） ２）しっぽの同値類は、同じ同値類に属する形式的冪級数τ1,τ2で差を作ると 　f(x)＝τ1-τ2 と多項式になる（等しいしっぽの項の部分が消える） 　逆に、τ1＝τ2+f(x)と書ける。つまり、同じ同値類に属する形式的冪級数は、τ2と多項式f(x) の和に書ける 　このことから、一つ

の同値類全体は、あるτ＋K[x] と書ける（K[x] は多項式環>>601で、 "τ＋K[x]"の+は、記号の濫用） ３）決定番号は、多項式f(x)の次数nのとき、n+1となる 　（つまり、n+1以降が共通のしっぽ部分になる） ４）形式的冪級数環の空間 K[[x]]>>601と多項式環K[x] との関係は 　多項式環K[x]を完備化すると K[[x]]になると考えることができる >>624 >>486-487 　（ちょうど、有限小数環を完備化すると、無限小数たる超越数等を含む実数の集合になるのと同じ）>>624>>629 ５）多項式環K[x]の中で、コーシー

列が形成できて、それが例えば超越関数τに収束する。が、τには到達しない（寸止め状態（皮一枚残り））>>681 　それは、可能無限状態で、いくらでも超越関数τに近い多項式が作れるってこと ６）これを、同値類のしっぽの視点で考えると、 　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 ７）だから、時枝記事のように、 　同値類のしっぽが無限大の大きさであることを前提とした確率99/100の議論は、前提が間違っているってこと 　つまり、”時枝記事の「99/100以上」という勝率”が、根

本から間違っているってこと http://rio2016.5ch.net/test/read.cgi/math/1660377072/705

706: １３２人目の素数さん [] 2022/10/10(月) 23:15:37.92 ID:KbysNzzt >>705 >いくらでも超越関数τに近い多項式 近いとは？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/706

707: １３２人目の素数さん [] 2022/10/10(月) 23:18:31.34 ID:fMmIzuDH ＞いくらでも しっぽを小さくできて、しっぽを無限小にできるということ 　「無限小」の定義がないが 　任意の形式的冪級数について 　同値類の代表元との一致部分である 　「尻尾」は必ずあるので０にはならない ＞だから、時枝記事のように、 ＞同値類のしっぽが無限大の大きさであることを前提とした ＞確率99/100の議論は、前提が間違っているってこと 　「無限大」の定義がないが 　無限長という意味なら、その通り 　かならず尻尾の長さは無限長になる 　有限長にも０に

もならない 　それ根本な　分からん奴は大学で単位とれない http://rio2016.5ch.net/test/read.cgi/math/1660377072/707

708: １３２人目の素数さん [] 2022/10/10(月) 23:25:02.39 ID:KbysNzzt >>705 R^N上の時枝同値関係を形式的冪級数τ＝a0+a1x+a2x^2+・・+anx^n+・・に写して考えた結果 決定番号の定義から自明に導出される命題「任意の実数列の決定番号は自然数」が否定されたなら、 写して考えた過程が間違ってると考えるのが正常な人間の思考です。 さらに言えばそもそも写して考える必要性は全く無くナンセンスだと考えるのが正常な人間の思考です。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/708

709: １３２人目の素数さん [sage] 2022/10/10(月) 23:32:59.31 ID:/bF8CLbh >>705 ＞６）これを、同値類のしっぽの視点で考えると、 ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 ＞７）だから、時枝記事のように、 ＞　同値類のしっぽが無限大の大きさであることを前提とした確率99/100の議論は、前提が間違っているってこと ＞　つまり、”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと 全く同じ屁理屈により、>>581-583でも「回答者の勝率はゼロ」

となってしまう。 しかし、>581-583では回答者の勝率は 99/100 以上である。 このように、スレ主の涙ぐましい努力は全て無駄であり、>581-583 によって玉砕される。 >>581-583は、スレ主の目論見(多項式環・形式的ベキ級数環・可能無限・完備性) を完全に汲み取った設定なのだから、スレ主が時枝記事に対する "反論" を思いつく限り、 その "反論" は >581-583 にも通用してしまい、スレ主は自動的に墓穴を掘るのである。 こちらとしては簡単なコピペでスレ主を論破できるのだから楽でいいわ。スレ主くん、無駄

な努力ご苦労さん。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/709

710: １３２人目の素数さん [sage] 2022/10/10(月) 23:43:31.24 ID:/bF8CLbh >>581から引用する。 ＞・ 次に、出題者は確率空間(R[x]^100, F, P)においてランダムに(f_1(x),f_2(x),…,f_100(x)) ∈ R[x]^100 を選ぶ。 ＞・ 各 s^{i} は形式的ベキ級数と見なせるので、出題者は t^{i} ＝ s^{i}＋f_i(x) と置く。 ＞・ この t^{i} もまた形式的ベキ級数である。出題者は、t^{1},t^{2},…,t^{100} を回答者に手渡す。 この3行により、t^{i} は毎回ランダムに選ばれる(あくまでも>>581の設定下ではね)。 よって、>>581の設定下でも、

スレ主が言うところの ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 これが実現可能になってしまう。よって、スレ主の屁理屈により、>>581-583では回答者の勝率はゼロになる。 しかし、>581-583では回答者の勝率は 99/100 以上である。つまり、スレ主は自動的にどこかを間違えている。 このように、スレ主の涙ぐましい努力は全て無駄であり、>581-583 によって玉砕される。 しかもスレ主は、>581-583を完全スルーしている。都合が悪すぎて一言も反応できないのである。ここ

がスレ主の限界。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/710

711: １３２人目の素数さん [sage] 2022/10/10(月) 23:50:42.08 ID:/bF8CLbh あと、結局スレ主は「固定がインチキ」であることの理由を書けなかったね。しかも、固定の場合は ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 この現象さえも "起こせない" ので、スレ主の今回の論法は、 もともとの時枝記事においては最初から崩壊しているｗ それで？なぜ固定がインチキなの？どこにインチキの要素があるの？出題者が出題を固定したって、 回答者から見れば「一体どんな数列を固定

したのか分からない。何もヒントがない」としか映らないのだから、 どこにもインチキの要素は無いじゃん。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/711

712: １３２人目の素数さん [] 2022/10/11(火) 07:21:32.02 ID:hfWoJpaE >>684 >＞多項式環 K[x] 内に、τに収束する多項式のコーシー列が形成できる >　「列」は形成できるが、コーシー列かどうかは知らん >　君は多項式間の距離を定義してないから >>707 >＞いくらでも しっぽを小さくできて、しっぽを無限小にできるということ >　「無限小」の定義がないが 既に書いたが>>486より再録する https://maspypy.com/%E5%A4%9A%E9%A0%85%E5%BC%8F%E3%83%BB%E5%BD%A2%E5%BC%8F%E7%9A%84%E3%81%B9%E3%81%8D%E7%B4%9A%E

6%95%B0%EF%BC%88%EF%BC%92%EF%BC%89%E5%BC%8F%E5%A4%89%E5%BD%A2%E3%81%AB%E3%82%88%E3%82%8B%E8%A7%A3%E6%B3%95 [多項式・形式的べき級数]（２）式変形による解法の導出 2022.02.21 形式的べき級数の和・差・積 形式的べき級数の和・差・積は、交換法則・結合法則・分配法則など、演算に関する自然な要請を十分に満たすことも分かります。 （※ 専門用語で、環をなすという） （※ 多項式環から形式的べき級数環を得る操作は、「環のイデアルによる完備化」という操作の特殊な場合。重要な類似物に、p 進整数環など。） 形式的べき級数環の位相 形式

的べき級数 は、最低次の項が高いほど、0 に近いと考えて扱います。このことを利用して、形式的べき級数の列の極限を定義することができます： 【定義】 形式的べき級数列F1,F2,F3・・・ が F に収束するとは、任意の k に対してある N が存在して、n>=N ならば Fn と F の k次未満部分が一致することを指す。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1660377072/712

713: １３２人目の素数さん [] 2022/10/11(火) 07:24:20.02 ID:hfWoJpaE >>712 上記に関連するが >>707 >　「無限大」の定義がないが >　無限長という意味なら、その通り >　かならず尻尾の長さは無限長になる >　有限長にも０にもならない 上記で定義した位相から、二つの式 F1,F2 の距離を ｜F1-F2｜＝1/(k+1) (注：k+1としたのは、定数項（0次）を扱うため) で定める つまり、上記の位相で、F1-F2が k次未満部分が一致して、はじめてk次で0で無い項がでるとき 二つの式の距離を、1/(k+1)とする 原点に極を持たない超越

関数τのx=0での冪級数展開に対し τに収束する多項式のコーシー列が定義できる ｜τ-fn(x)｜＝1/(n+1) とできる （fn(x)は、τのx=0での冪級数展開で、第n-1項までを取った多項式で、τ-fn(x)は第n項から初めて0で無い項が出るとする） この距離の定義で、τ-fn(x)のしっぽの長さを1/(n+1) とできる この場合、しっぽの長さは有限だが、多項式環の中で、0に収束するコーシー列が定義できる http://rio2016.5ch.net/test/read.cgi/math/1660377072/713

714: １３２人目の素数さん [] 2022/10/11(火) 07:32:17.51 ID:hfWoJpaE >>710 >スレ主の涙ぐましい努力 涙ぐましくもなんともない 大して努力は、していない ただ、>>601 柳田伸太郎 名古屋大 などの文献から 例えば ”P38 例 2.3.5. 形式的冪級数の空間 K[[x]] (例 1.3.8) から I = N を添字集合とする直積 K^N =Πi∈N K への写像 ψ: K[[x]] -→ K^N,　Σi=0～∞ fix^i -→ (fi)i∈N は同型写像 (証明は問題 2.3.2). 例 1.3.3 より K^N は数列空間だから, 形式的冪級数の空間 K[[x]] と数列空間 K^N は同じ線形空間と見な

せる事が分かる.”>>601 など、既存の数学の成果を使わせて貰い、そこで言えることを援用しているだけのことさｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/714

715: １３２人目の素数さん [sage] 2022/10/11(火) 12:12:37.28 ID:JlXFWGwK >>714 正しい時枝記事を「間違っている」としてトンデモ屁理屈を繰り返す姿のことを 「涙ぐましい努力」と表現しているのだよ、スレ主くん。 >>581から引用する。 ＞・ 次に、出題者は確率空間(R[x]^100, F, P)においてランダムに(f_1(x),f_2(x),…,f_100(x)) ∈ R[x]^100 を選ぶ。 ＞・ 各 s^{i} は形式的ベキ級数と見なせるので、出題者は t^{i} ＝ s^{i}＋f_i(x) と置く。 ＞・ この t^{i} もまた形式的ベキ級数である。出題者は、t^{1},t^{2},…,t^{100}

を回答者に手渡す。 この3行により、t^{i} は毎回ランダムに選ばれる(あくまでも>581の設定下ではね)。 よって、>581の設定下でも、スレ主が言うところの ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 これが実現可能になってしまう。よって、スレ主の屁理屈により、>581-583では回答者の勝率はゼロになる。 しかし、>581-583では回答者の勝率は 99/100 以上である。つまり、スレ主は自動的にどこかを間違えている。 このように、スレ主の涙ぐましい努力は全て無駄であり、&g

t;581-583 によって玉砕される。 しかもスレ主は、>581-583を完全スルーしている。都合が悪すぎて一言も反応できないのである。ここがスレ主の限界。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/715

716: １３２人目の素数さん [sage] 2022/10/11(火) 12:31:39.83 ID:JlXFWGwK スレ主のどこが間違っているのかを具体的に指摘しよう。 ＞６）これを、同値類のしっぽの視点で考えると、 ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 ここの解釈の仕方が間違っている。いくらでもしっぽを小さくできる(＝決定番号を大きくできる)からと言って、 「しっぽを無限小にできる(決定番号は直接的に＋∞)」 わけではない。ここがスレ主の間違い。決定番号は常に正整数なので、直接的に＋∞になるこ

とはない。 スレ主の(1)〜(5)(>>705)は数学的操作として矛盾がないので、 それらを用いるだけで「決定番号が直接的に＋∞」という矛盾が導出されるのなら、 それは「数学そのものの中に矛盾が見つかった」ことになって、大事件であるｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/716

717: １３２人目の素数さん [sage] 2022/10/11(火) 12:41:30.89 ID:JlXFWGwK あるいは、スレ主が言うところの「無限小」は、本来の意味での無限小ではなく、 「望むだけ小さくできる」という意味に過ぎないのかもしれない(エセ無限小)。 この場合、スレ主が言うところの ＞６）これを、同値類のしっぽの視点で考えると、 ＞　いくらでも しっぽを小さくできて、しっぽを無限小にできるということ（本来はこちら）>>681 この(6)は、同じ内容を2回繰り返しているだけということになる。つまり、この(6)は 「いくらでも しっぽを小さくできて、

しっぽを望むだけ小さくできるということ（本来はこちら）>>681 」 というトートロジーを表現しているにすぎないｗｗ そして、「しっぽを望むだけ小さくできる」とは、 「決定番号をいくらでも大きくできる(決定番号は写像として非有界である)」 という意味でしかない。つまり、スレ主は「決定番号は写像として非有界である」という内容を 「エセ無限小」のレトリックによって言い換えているだけなのである。 では、決定番号が写像として非有界だと、時枝記事はどこが破綻するのか？いや、どこも破綻しない。 それぞれの決定番号が正整数で

ありさえすれば、時枝記事は正しく機能するからだ。 結局、スレ主は時枝記事に全く反論できてない。そもそも、>>581-583を完全スルーしている時点でお察し。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/717

718: １３２人目の素数さん [sage] 2022/10/11(火) 13:10:35.92 ID:JlXFWGwK 状況を整理しておこう。形式的ベキ級数 s と多項式 f(x) が s−f(x)＝Σ[k＝n〜∞] a_k x^k という形に表せるとき、右辺を(s,f(x))に関する「しっぽ」または「 n しっぽ 」と呼ぶことにする。 (★) 任意の形式的ベキ級数 s と任意の(大きな) m≧1 に対して、ある多項式f(x)が存在して、 　　 (s,f(x))に関するしっぽが「 m しっぽ 」であるようにできる。 実際、s＝Σ[k＝0〜∞] s_kx^k と表せば、f(x)＝Σ[k＝0〜m−1] s_kx^k という多項

式を 採用することで s−f(x)＝Σ[k＝m〜∞] s_k x^k という形になり、右辺は確かに「 m しっぽ 」である。 ここからが本題。スレ主は「しっぽを無限小にできる」と言っている。 これが本来の意味での無限小なら、スレ主は次のように主張していることになる。 ・ ある形式的ベキ級数 s とある多項式 f(x) 及びある無限大超自然数 n^* が存在して、 　 (s,f(x)) に関する「しっぽ」は「 n^* しっぽ 」である。 しかし、「 n しっぽ 」の「n」は必ず正整数なので、これはあり得ない。従って、スレ主が言うところの 「無限小」は単なるレ

トリックであり、「望むだけ小さくできる」という意味に過ぎない(エセ無限小)。 となれば、スレ主は実際には上記の(★)を主張しているだけであり、 これを「(エセ)無限小」というレトリックで言い換えているだけ、ということになる。 では、(★)の性質があると、時枝記事のどこが破綻するのか？いや、どこも破綻しない。 「 n しっぽ 」の n は常に正整数であり、これが正整数でありさえすれば、時枝記事は正しく機能するからだｗｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/718

719: １３２人目の素数さん [] 2022/10/11(火) 17:14:22.18 ID:lRQfoMxL >>715-718 必死だな 必死さにワロタ 事態の深刻さが、ようやく分かってきたようですね http://rio2016.5ch.net/test/read.cgi/math/1660377072/719

720: １３２人目の素数さん [sage] 2022/10/11(火) 17:35:52.91 ID:JlXFWGwK >>719 「必死だな」とかいう使い古された煽りは別の板でやってくれ。 ここは数学板なので、具体的な反論が無いなら そこで終わり。時枝記事は正しい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/720

721: １３２人目の素数さん [sage] 2022/10/11(火) 19:01:27.72 ID:DT3AcY1E >>705 >いくらでも しっぽを小さくできて、しっぽを無限小にできるということ >>707 >「無限小」の定義がないが >>712 >形式的べき級数 は、最低次の項が高いほど、0 に近いと考えて扱います。 >>713 >上記で定義した位相から、二つの式 F1,F2 の距離を以下の式で定める >｜F1-F2｜＝1/(k+1) >(注：k+1としたのは、定数項（0次）を扱うため) >つまり、上記の位相で、F1-F2が k次未満部分が一致して、 >はじめてk次で0で無

い項がでるとき >二つの式の距離を、1/(k+1)とする なるほど http://rio2016.5ch.net/test/read.cgi/math/1660377072/721

722: １３２人目の素数さん [sage] 2022/10/11(火) 19:02:54.42 ID:DT3AcY1E >>713 >原点に極を持たない超越関数τのx=0での冪級数展開に対し >τに収束する多項式のコーシー列が定義できる >｜τ-fn(x)｜＝1/(n+1) とできる >（fn(x)は、τのx=0での冪級数展開で、第n-1項までを取った多項式で、 >　τ-fn(x)は第n項から初めて0で無い項が出るとする） ここまではいいよ 問題はこの後 >この距離の定義で、τ-fn(x)のしっぽの長さを1/(n+1) とできる はい、ダメ、全然ダメ 距離＝しっぽの長さ、ではありません 距離が０で

ない限り、しっぽの長さは全部無限です >この場合、しっぽの長さは有限だが、 >多項式環の中で、0に収束するコーシー列が定義できる しっぽの長さは有限、が嘘 距離が０でない限り、しっぽの長さは全部無限です http://rio2016.5ch.net/test/read.cgi/math/1660377072/722

723: １３２人目の素数さん [sage] 2022/10/11(火) 19:04:08.50 ID:DT3AcY1E >>714 >大して努力は、していない だから誤りにいつまでも気づけない >形式的冪級数の空間 K[[x]] と >数列空間K^N は同じ線形空間と見なせる事が分かる そして、多項式の空間 K[x} と 数列空間∪K^n (n∈N) も同じ線形空間と見なせる事が分かる で、尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 つまりK^Nを∪K^n (n∈N)ファイバー空間としたときの切断。 ∪K^n (n∈N)全体を1とするような測度が入れられるかといえば無理

なぜなら K^0+K^1+K^2+…=1 として、 K^0,K^1,K^2,…が、全部0なら、可算加法性から総和も0 K^0,K^1,K^2,…が、あるK^n で0より大きく、 かつ、任意のnで、K^n<K^(n+1)なら、 アルキメデスの性質と可算加法性から総和が∞ したがって、決定番号がnの集合は、nが何であれ非可測 http://rio2016.5ch.net/test/read.cgi/math/1660377072/723

724: １３２人目の素数さん [] 2022/10/11(火) 21:31:16.56 ID:hfWoJpaE >>721 >しっぽの長さは有限、が嘘 >距離が０でない限り、しっぽの長さは全部無限です 意味わかんないけど 距離、長さ 両方とも、計量の入れ方に依存すると思うよ で ”距離が０でない限り、しっぽの長さは全部無限です”？ 意味わかんないｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/724

725: １３２人目の素数さん [] 2022/10/11(火) 21:31:45.64 ID:hfWoJpaE >>723 >アルキメデスの性質と可算加法性から総和が∞ >したがって、決定番号がnの集合は、nが何であれ非可測 その”したがって”は、 おかしくないか？ 「総和が∞」は、可測のうちだよ 下記ヴィタリ集合は、下記 ”一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]。” であって、無限大も含めて、”いかな

る値も”だよ 無限大は、可測だよ (参考) https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 ルベーグ非可測な実数集合の基本的な例である[1]。 構成と証明 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4]。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/725

726: １３２人目の素数さん [sage] 2022/10/12(水) 00:35:52.53 ID:TRiiI02m >>718 この定義、よく見たら時枝記事の同値関係とは別物になってるな (スレ主のおかしさを指摘する分には問題ないが)。 抜きしちゃイカンな。以下で正しく清書する。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/726

727: １３２人目の素数さん [sage] 2022/10/12(水) 00:37:08.14 ID:TRiiI02m 定義1 s ＝ Σ[k＝0〜∞] s_k x^k と t ＝ Σ[k＝0〜∞] t_k x^k は形式的ベキ級数で、 ∃n≧0, ∀k≧n s.t. s_k＝t_k が成り立つとする。このとき s〜t と書くことにすれば、二項関係 〜 が K[[x]] 上に定義されたことになる。この 〜 は K[[x]] 上の同値関係になることが確認できる。 定義2 s,t∈K[[x]] は s〜t を満たすとする。よって ∃n≧0, ∀k≧n s.t. s_k＝t_k が成り立つわけだが、このような n には最小値が存在する。

その n に対して、 Σ[k＝n〜∞] s_k x^k という形式的ベキ級数のことを、(s,t)に関する「しっぽ」あるいは「 n しっぽ 」と呼ぶことにする。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/727

728: １３２人目の素数さん [sage] 2022/10/12(水) 00:39:03.56 ID:TRiiI02m 補題1 s,t∈K[[x]] は s〜t を満たすとする。さらに、(s,t)に関するしっぽは「 n しっぽ」かつ「 m しっぽ」だとする。 このとき、n＝m である。すなわち、「 n しっぽ 」の n は (s,t)に関して一意的である。 補題2 (1) s,t∈K[[x]] について、 s〜t が成り立つことと、s−t が多項式であることは同値である。 (2) s,t∈K[[x]] は、s−t が 0 でない多項式とする。その次数を d と置くとき、(s,t)に関するしっぽは「(d＋1)しっぽ」である。 (3)

s,t∈K[[x]] は、s−t が 0 という多項式だとする。このとき、(s,t)に関するしっぽは「 0 しっぽ」である。 補題3 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 補題3の証明 s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けばよい。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/728

729: １３２人目の素数さん [sage] 2022/10/12(水) 00:41:39.75 ID:TRiiI02m さて、ここからが本題。スレ主は「しっぽを無限小にできる」と言っている。 これが本来の意味での無限小なら、スレ主は次のように主張していることになる。 ・ ある s,t∈K[[x]] とある無限大超自然数 n* が存在して、(s,t)に関するしっぽは「 n* しっぽ 」である。 しかし、「 n しっぽ 」の n は必ず正整数なので、これはあり得ない。従って、スレ主が言うところの「無限小」は 単なるレトリックであり、「望むだけ小さくできる」という意味に過ぎない(エセ無限小)。と

なれば、スレ主は実際には 補題3(>>728) 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 と主張しているだけであり、これを "無限小" というレトリックで言い換えているだけ、ということになる。 では、上記の補題3の性質があると、時枝記事のどこが破綻するのか？いや、どこも破綻しない。 「 n しっぽ 」の n は常に正整数であり、これが正整数でありさえすれば、時枝記事は正しく機能するからだ。 n がどれだけ大きくても不都合は生じない。n は正

整数でありさえすればよい。 というわけで、スレ主の目論見はここで崩壊する。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/729

730: １３２人目の素数さん [sage] 2022/10/12(水) 00:44:28.15 ID:TRiiI02m ちなみに、スレ主は K[[x]] での極限を考えるのが好きらしいので、そのようなケースを考えてみよう。 まず、s,t ∈ K[[x]] が s〜t を満たさない場合を考察する。m≧0 に対して t^{m} ：＝ Σ[k＝0〜m−1] t_k x^k＋(s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けば、これは形式的ベキ級数であり、s 〜 t^{m} が成り立ち、(s, t^{m})に関するしっぽは「 m しっぽ 」である。 さて、t^{m} について、完備化されたK[[x]]の構造のもとで m→∞

の極限を考えると、 lim[m→∞] t^{m} ＝ t が成り立つことが確認できる。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」である が成り立つかのように見える。しかし、今回は「 s〜t を満たさない」という仮定のもとで考えていたので、 (s,t)に対しては、「しっぽ」が定義できる文脈から外れている。これはどういうことかと言うと、単純に 「(1)の文章は m→∞ の極限と交換可能ではない」 ということ。ここがスレ

主の間違いポイント。勝手に交換可能だと勘違いしているということ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/730

731: １３２人目の素数さん [sage] 2022/10/12(水) 00:46:46.24 ID:TRiiI02m では、s〜t が成り立つ場合はどうか？この場合、(s,t)に対して「しっぽ」が定義できる。 まず、s−t が 0 でない多項式の場合を考える。よって、s−t＝Σ[k＝0〜n_1] a_k x^k, a_{n_1}≠0 という形に表せる。特に、(s,t)に関するしっぽは「 (n_1＋1)しっぽ 」である。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」であ

る が成り立つかのように見える。しかし、(s,t)に関するしっぽは「 (n_1＋1)しっぽ 」なのだった。 これはどういうことかと言うと、単純に「(1)の文章は m→∞ の極限と交換可能ではない」ということ。 最後に、s−t＝0 という多項式の場合を考える。よって、(s,t)に関するしっぽは「 0 しっぽ」である。一方で、 (1) (s, t^{m})に関するしっぽは「 m しっぽ 」 なのだった。この(1)で m→∞ とすれば、t^{m} → t に注意して、 ・ (s, t)に関するしっぽは「 ＋∞ しっぽ 」である が成り立つかのように見える。しかし、(s,t)に関するしっ

ぽは「 0 しっぽ 」なのだった。 これはどういうことかと言うと、単純に「(1)の文章は m→∞ の極限と交換可能ではない」ということ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/731

732: １３２人目の素数さん [sage] 2022/10/12(水) 00:47:41.33 ID:TRiiI02m 以上により、いずれの場合でも、(1)の文章は m→∞ の極限と交換可能ではない。 これはどういうことかと言うと、K[[x]] の完備性を用いたスレ主の屁理屈は意味を成さないということ。 誤解を恐れずに表現すれば、 ・ K[[x]] が完備であっても、"(1)の文章は m→∞ の極限に関して完備ではない" ということ。スレ主は K[[x]] の完備性を用いて時枝記事に反論しようと目論んでいたが、最後の最後で ・ "(1)の文章が m→∞ の極限に関して完備ではない"

; という大きな壁に阻まれて、スレ主の目論見は失敗するのである。 これは当たり前の話である。決定番号は必ず正整数なのだから、どんなに屁理屈を捏ねても 「決定番号は＋∞」なんて言えないし、それに類する "矛盾" も示せないのである。 そもそも、数学的に矛盾のない操作だけを用いて決定番号に関する "矛盾" が導出できたなら、 それは「数学そのものの中に矛盾が見つかった」ことになって、大事件である。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/732

733: １３２人目の素数さん [sage] 2022/10/12(水) 00:50:52.14 ID:TRiiI02m あるいは、スレ主は 「極限を取っているのではない。m はいくらでも大きくできると言っているだけだ」 と反論するかもしれない。この場合、スレ主が言っていることは 補題3(>>728) 任意の s∈K[[x]] と任意の(大きな) m≧0 に対して、ある t∈K[[x]] が存在して、(s,t)に関するしっぽは「 m しっぽ 」である。 ということに過ぎない。スレ主は、この補題3を "無限小" というレトリックで言い換えているだけ、ということになる。 では、上記の補題3の性

質があると、時枝記事のどこが破綻するのか？いや、どこも破綻しない。 「 n しっぽ 」の n は常に正整数であり、これが正整数でありさえすれば、時枝記事は正しく機能するからだ。 つまり、m→∞ の極限を取っても時枝記事の反論に失敗するし、 極限を取らずに「 m は望むだけ大きくできる」と考えても失敗する。 ここがスレ主の限界。多項式環・形式的ベキ級数環で いくら屁理屈をこねくり回しても無駄。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/733

734: １３２人目の素数さん [sage] 2022/10/12(水) 01:02:09.29 ID:TRiiI02m 細かいことだが、添え字が若干ズレてたな。 >>728 × s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k と置けばよい。 〇 s＝Σ[k＝0〜∞] s_k x^k と表したとき、t ＝ (s_{m−1}＋1)x^{m−1}＋Σ[k＝m〜∞] s_k x^k と置けばよい。 >>730 × t^{m} ：＝ Σ[k＝0〜m−1] t_k x^k＋(s_m＋1)x^m＋Σ[k＝m＋1〜∞] s_k x^k 〇 t^{m} ：＝ Σ[k＝0〜m−2]

t_k x^k＋(s_{m−1}＋1)x^{m−1}＋Σ[k＝m〜∞] s_k x^k http://rio2016.5ch.net/test/read.cgi/math/1660377072/734

735: １３２人目の素数さん [] 2022/10/12(水) 06:21:38.07 ID:d1b0AKbp >>724 ＞意味わかんないけど 　長さを定義しないから、意味がわかんないんだよ 　尻尾の長さは始まりから終わりまでの項の数 　終わりがなければ、当然無限 　こんな簡単なことわかんないって人間失格だな、マジで http://rio2016.5ch.net/test/read.cgi/math/1660377072/735

736: １３２人目の素数さん [] 2022/10/12(水) 06:24:07.34 ID:d1b0AKbp >>725 ＞「総和が∞」は、可測のうちだよ 否定してるのは 「∪K^n (n∈N)全体を1とするような測度が入れられる」 だが？　日本語読めないか http://rio2016.5ch.net/test/read.cgi/math/1660377072/736

737: １３２人目の素数さん [] 2022/10/12(水) 06:32:06.79 ID:d1b0AKbp >>727-733 要するに>>1は極限が分かってない 中卒・高卒・文系卒・工学部卒等にありがちな症状 http://rio2016.5ch.net/test/read.cgi/math/1660377072/737

738: １３２人目の素数さん [] 2022/10/12(水) 07:01:23.57 ID:9R3xgkXT >>736 >＞「総和が∞」は、可測のうちだよ >否定してるのは >「∪K^n (n∈N)全体を1とするような測度が入れられる」 >だが？　日本語読めないか そもそも>>725 (引用開始) >>723 >アルキメデスの性質と可算加法性から総和が∞ >したがって、決定番号がnの集合は、nが何であれ非可測 (引用終り) だったろ？ ”否定してるのは 「∪K^n (n∈N)全体を1とするような測度が入れられる」” ならば、最初からそう書けば？ｗ 「非可測」という用

語の使い方がへんｗ おまえの論法ならば、 無限集合は、ほとんど非可測じゃね？ｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/738

739: １３２人目の素数さん [] 2022/10/12(水) 07:21:15.46 ID:9R3xgkXT >>735 >＞意味わかんないけど >　長さを定義しないから、意味がわかんないんだよ >　尻尾の長さは始まりから終わりまでの項の数 だから、そういう定義では、 コーシー列は収束しないだろ？ 例えば、円周率π を、無限小数展開する π＝3.141592・・・ 一方、これから有限小数列を作る π1＝3,π2＝3.1,π3＝3,14,・・・ πn＝3.141592・・ (小数第n-1位まで) ｜π-πn｜を考えると、これはどんどん小さくなって、コーシー列としてπに収束する 項の数は、無

限だろうが、 しっぽは、小さくなっていると思って良いんじゃね？ｗ >　終わりがなければ、当然無限 それで済むなら、無限公理はいらんわな 「限りが無い」＝「無限」だけれど そして、「いかなる有限よりも大きい」＝無限大 だけれど 数理哲学的には、可能無限と実無限に分けられるよ （無限公理で、実無限ができる） 例えば ”多項式空間 K[x] や形式的冪級数の空間 K[[x]] は無限次元”>>601 柳田伸太郎 名古屋大より これで ”形式的冪級数の空間 K[[x]] と数列空間K^N は同じ線形空間と見なせる”>>601（実無限）だけれど 多項

式空間 K[x] は、可能無限であって、数列空間K^N （＝ K[[x]] ）の真部分集合でしかない http://rio2016.5ch.net/test/read.cgi/math/1660377072/739

740: １３２人目の素数さん [] 2022/10/12(水) 07:34:44.29 ID:9R3xgkXT >>723 >で、尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 それ良いと思う で、なにか K^N の元が与えられたとき 同値類の代表は、∪K^n (n∈N)から一つ元を選んで その二つの元の和を考えれば良い つまり、100個の代表を考えるなら、 ∪K^n (n∈N)から100個の元を選べば済む だから、 選択公理を使わないで済ますことができる http://rio2016.5ch.net/test/read.cgi/math/1660377072/740

741: １３２人目の素数さん [] 2022/10/12(水) 08:10:33.22 ID:9R3xgkXT >>705 補足 >つまり、”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと 別の説明として 「発散する非正則分布で、有限のd1,d2,・・d100 を使うと、ランダム性（無作為性）が成り立たない。 　だから、確率計算になってない」 と思うよ つまり、非正則分布の代表例として、自然数Ｎ＝{1,2,・・,n,・・}を考える これは明らかに、中央値や平均値が無限大に発散しているし、分散も発散している 一方、有限のd1,d2,・・d100は 中央値や平均値

も有限で、分散も有限だから 両者は、確率論の視点では全く別物 これが、時枝記事のトリックの一つです（非正則分布は、確率計算に使えないのに、ごまかして使っているってこと） なお、有限のd1,d2,・・d100は、 代数学なら全く問題なしです （確率論とは立脚点が違うのです） http://rio2016.5ch.net/test/read.cgi/math/1660377072/741

742: １３２人目の素数さん [] 2022/10/12(水) 08:22:24.99 ID:nK7Tso5i >>741 >非正則分布は、確率計算に使えないのに、ごまかして使っているってこと だーかーらー 早く記事本文からエビデンスを引用してね 数学板は妄想を語る所ではありません http://rio2016.5ch.net/test/read.cgi/math/1660377072/742

743: １３２人目の素数さん [] 2022/10/12(水) 08:39:18.34 ID:nK7Tso5i >>740 >100個の代表を考えるなら、 ∪K^n (n∈N)から100個の元を選べば済む 大間違い 100列の決定番号は列kを選択する前に決定していなければならない。 おまえが言ってるのは、くじを引いた後に当たり外れを決める様なもの。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/743

744: １３２人目の素数さん [] 2022/10/12(水) 08:43:05.42 ID:nK7Tso5i >>739 >だから、そういう定義では、 コーシー列は収束しないだろ？ 何の問題も無い そもそも箱入り無数目ではコーシー列を考える必要がないから http://rio2016.5ch.net/test/read.cgi/math/1660377072/744

745: １３２人目の素数さん [] 2022/10/12(水) 08:46:35.65 ID:nK7Tso5i >>741 >”時枝記事の「99/100以上」という勝率”が、根本から間違っているってこと だーかーらー 早く記事のどこがどう間違ってるのか示してね 数学板は妄想を語る所ではありません http://rio2016.5ch.net/test/read.cgi/math/1660377072/745

746: １３２人目の素数さん [sage] 2022/10/12(水) 11:38:08.07 ID:TRiiI02m >>741 ＞つまり、100個の代表を考えるなら、 ＞∪K^n (n∈N)から100個の元を選べば済む ＞だから、 ＞選択公理を使わないで済ますことができる まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。 しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。 その >581-583 をいつまでもスルーし続けているのがスレ主という構図。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/746

747: １３２人目の素数さん [sage] 2022/10/12(水) 11:40:42.13 ID:TRiiI02m >>741 ＞「発散する非正則分布で、有限のd1,d2,・・d100 を使うと、ランダム性（無作為性）が成り立たない。 ＞　だから、確率計算になってない」 "無限小" が云々とかいうスレ主の詭弁は>>727-734で完全に論破したので、これでは困ったスレ主は、 再び「時枝記事は非正則分布を使っている」という詭弁に里帰りすることにしたようである。 だが、それも無駄である。時枝記事で使われている分布は ・ {1,2,…,100} 上の一様分布 なのであって、

・ {d1,d2,…,d100} 上の一様分布 ではないからだ。スレ主は後者だと勘違いしている。実際は前者である。 そして、前者は {1,2,…,100} という固定された有界集合である。 つまり、「発散する非正則分布」なんぞ時枝記事では使われてないのである。 そもそも、スレ主の屁理屈を使えば、>>581-583でも回答者の勝率はゼロになってしまう。 しかし、>581-583では回答者の勝率は 99/100 以上である。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/747

748: １３２人目の素数さん [sage] 2022/10/12(水) 11:47:59.54 ID:TRiiI02m >>741 ＞つまり、非正則分布の代表例として、自然数Ｎ＝{1,2,・・,n,・・}を考える ＞これは明らかに、中央値や平均値が無限大に発散しているし、分散も発散している 時枝記事では、そのような非正則分布は使ってない。 ＞一方、有限のd1,d2,・・d100は ＞中央値や平均値も有限で、分散も有限だから ほらね、ここがスレ主の勘違い。スレ主は {d1,d2,…,d100} 上の一様分布が使われていると勘違いしている。 そうじゃないだろ。時枝記事で使われている分布は {1,2,

…,100} 上の一様分布だろ。日本語が読めないのか？ ＞両者は、確率論の視点では全く別物 両者が別物なのはその通り。そして、時枝記事ではスレ主が提唱するところの前者(非正則分布)を使ってないし、 スレ主が提唱するところの後者({d1,d2,…,d100} 上の一様分布)も使ってない。 つまり、時枝記事では、スレ主が提唱する前者・後者のどちらも使ってない。 スレ主は前者と後者が別物だと指摘しているが、時枝記事では前者も後者も使ってないのだから、 両者が別物だからって時枝記事とは何の関係もない。 時枝記事で使われてるのは {1,2,…,100} 上

の一様分布にすぎない。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/748

749: １３２人目の素数さん [sage] 2022/10/12(水) 12:04:33.50 ID:TRiiI02m 「100枚の封筒」の設定における確率計算(>>690-697)を例にとる。>690の設定のもとで、 この設定を記述する確率空間は>691のように定義できて、「回答者が勝利する」という事象は A ＝ { (d_1,d_2,…,d_100, i)∈Ω｜d_i≦max{d_j｜j≠i, 1≦j≦100} } (>692) で定義される。よって、回答者の勝率は P(A) と書ける。>693 で書いたように、 d＝(d_1,…,d_100)∈N_100 を固定するごとに、A の d切片 A_d は A_d ＝ {i∈I｜(d,i)∈A} ＝ {i∈I｜d_i≦max{

d_j｜j≠i, 1≦j≦100} } と表現できて、i ∈ I＝{1,2,…,100} の中で d_i＞max{d_j｜j≠i, 1≦j≦100} を満たす i は高々1つ。 よって、確率空間(I, pow(I), η)において自明に η(A_d) ≧ 99/100 が成り立つ。 すると、フビニの定理により、P(A) ≧ 99/100 が直ちに従う(>>693)。 スレ主はまず、上記の確率計算(>>690-693)を完璧に理解すべきである。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/749

750: １３２人目の素数さん [sage] 2022/10/12(水) 12:13:20.46 ID:TRiiI02m >>690の設定では、封筒の中身(d1,d2,…,d100)に上限はない。そして、>>749の確率計算では、 出題する d＝(d_1,…,d_100) を固定した上で η(A_d) ≧ 99/100 を導出しており、 これを経由して P(A) ≧ 99/100 を導出している。従って、スレ主の屁理屈によれば、 「有限の (d_1,…,d_100) を固定した確率計算は、非正則分布とは確率論的に全くの別物なので、 　>749の確率計算はインチキだ。回答者の実際の勝率はゼロだ」 ということになってしまう。しかし

、>749の確率計算にインチキの要素はどこにもない。 なぜなら、そもそも非正則分布なんぞ使ってないからだ(使われる確率空間は>691で全て明記してある)。 また、「 d を固定した上で η(A_d) ≧ 99/100 を導出する」という、スレ主にとっては 「それはもう確率じゃないよねｗ」 としか映らないシロモノを用いて P(A) ≧ 99/100 が正しく導出されるメカニズムもはっきりしている。 そう、フビニの定理を使うだけである(>>693)。スレ主にとっては「それはもう確率じゃないよね」 としか思えないシロモノが、ちゃんと P(A) ≧ 99/100 の導

出に使えるのである。 つまり、「それはもう確率ではない」というスレ主の直観は間違いだったということ。 言い換えれば、d を固定することにインチキの要素はどこにもないということ。 これは当たり前の話である。なぜなら、d を固定したところで、回答者から見れば 「封筒の中身をどんな金額に固定したのか分からない。ヒントが全くない」からだ。 結局、スレ主だけがずっと間違え続けている。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/750

751: １３２人目の素数さん [] 2022/10/12(水) 19:55:03.55 ID:d1b0AKbp >>738 ＞「非可測」という用語の使い方がへんｗ ＞おまえの論法ならば、無限集合は、ほとんど非可測じゃね？ｗ 　おまえ、正真正銘の馬鹿だな いかなる無限集合も非可測だ、とはいってない ただ、例えば｛１，２，３，４，・・・｝という集合で ｍ（｛１｝）＜ｍ（｛２｝）＜ｍ（｛３｝）＜ｍ（｛４｝）＜・・・ かつ、Ｍ（｛１，２，３，４，・・・｝）＜∞（つまり有限） とすることはできない　これ初歩な　分からん馬鹿は大学入れない 万が一入れても出れない　ま、

工学部とかいう「専門学校」は知らんけどな 専門学校は算数ができればサルでも入れて出られる 工学博士はサルでも取れるザル資格としてサルに大人気 http://rio2016.5ch.net/test/read.cgi/math/1660377072/751

752: １３２人目の素数さん [] 2022/10/12(水) 20:03:09.32 ID:d1b0AKbp >>739 ＞コーシー列 　大学でε-Ｎ論法が理解できない馬鹿に限って 　コーシー列とわめきつづけるのが面白い 　よっぽど理解できなかったことが屈辱なんだろう（嘲） 尻尾の同値類は∪K^n (n∈N)だが、これは>>713の距離付けで完備ではない なぜなら、どんどん次数があがる多項式の列は ∪K^n (n∈N)の中で極限を持たないから それどころか、いかなる他の同値類の点についても、 それを極限とするような多項式の点列を構成し得る つまりコーシー列を考えた瞬間、

貴様は馬鹿として奈落に落ちたわけだ 馬鹿はわけもわからず考えて間違う　下手な考え休むに似たり http://rio2016.5ch.net/test/read.cgi/math/1660377072/752

753: １３２人目の素数さん [] 2022/10/12(水) 20:05:54.34 ID:d1b0AKbp >>740 ＞＞尻尾の同値類の代表元全体の空間はK^N/∪K^n (n∈N)であることもわかる。 ＞　それ良いと思う ＞　だから、選択公理を使わないで済ますことができる 　　ダラズが 　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 　　おまえ脳ミソサナダムシに食われまくってスッカスカなのか？ 　　 http://rio2016.5ch.net/test/read.cgi/math/1660377072/753

754: １３２人目の素数さん [] 2022/10/12(水) 20:12:40.28 ID:d1b0AKbp 任意の無限列a1,a2,a3,･･･について、この無限列に収束する 0,0,0,･･･ a1,0,0,･･･ a1,a2,0,･･･ という無限列の無限列が構成できる そして、上記の無限列の中のいかなる無限列も 0,0,0,･･･　と同値である しかし！ その「極限」である a1,a2,a3,･･･　は 0,0,0,･･･　と同値ではない！ 中卒馬鹿>>1は、 列のどの項も初項と同値なら、極限もまた初項と同値 という「独善的な馬鹿理屈」（もちろん誤り！）を 延々と唱え続けてその誤りに死ぬまで気づけない http://rio2016.

5ch.net/test/read.cgi/math/1660377072/754

755: １３２人目の素数さん [] 2022/10/13(木) 08:03:03.01 ID:MxOOS5Ta >>753 >　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 ？？ 商集合の構成には、選択公理は不必要では？ 商集合に分けたものが、有限なら有限に対する選択公理 商集合に分けたものが、可算なら可算に対する選択公理 商集合に分けたものが、非可算なら非可算に対する選択公理 が、代表系を構成するのに、それぞれ必要ってことでしょ？ そして、非可算に対するフルパワー選択公理を使うと 非可測集合たるヴィタリ集合（R/Q の代表系よりなる） が構成できるとい

うことでしょ http://rio2016.5ch.net/test/read.cgi/math/1660377072/755

756: １３２人目の素数さん [] 2022/10/13(木) 08:09:10.33 ID:MxOOS5Ta >>741 補足 ともかく １）時枝記事は、数学的には終わっている 　つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 　時枝は終わっている 　つまり、確率99/100は否定される ２）残る問題は 　・時枝トリックの謎解き 　・もっと言えば、なぜ当たらないのに当たるように見えるか？ 　　ってことだけ ３）思うに 　”d1,d2,・・,d100 固定”が 　代数学としては許されるが 　確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ http://rio20

16.5ch.net/test/read.cgi/math/1660377072/756

757: １３２人目の素数さん [sage] 2022/10/13(木) 12:52:16.65 ID:ve7b2LlS >>756 ＞　つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 ＞　時枝は終わっている ＞　つまり、確率99/100は否定される その手口は通用しない。時枝記事では出題は固定だからだ。しかも、スレ主が大好きな 「IID確率変数 X_i (i∈N)」 を一般的に論じているのが >>581-583 なのであって、スレ主はこの >581-583 を完全スルーしている。 そして、>581-583 では回答者の勝率は 99/100 以上である。 つまり、「IID確率変数 X_i (i∈N)」

を考えれば時枝記事に 反論できると目論んでいたスレ主の計画は既に崩壊しているのである。 これが現実。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/757

758: １３２人目の素数さん [sage] 2022/10/13(木) 12:54:42.93 ID:ve7b2LlS 出題を固定した場合の確率が一体何を意味しているのかを、以下で詳細に述べる。 100枚の封筒(>>690-693)の例において、出題者が100枚の中身 d＝(d1,d2,…,d100) を固定すると、 回答者の勝率は 99/100 以上になるのだった。これはどういうことかというと、 「 "回答者が勝利する" という事象の、d における断面として出現する事象は 99/100 以上の確率を有している」 ということ。簡潔に書けば、>>692 の事象 A に対して、 「 A の d における切

片 A_d は、確率空間(I, pow(I), η)において η(A_d) ≧ 99/100 を満たす」 ということ。一行で書けば、 ∀d∈N_100 s.t η(A_d) ≧ 99/100 ということ。スレ主は「固定はインチキだ」と主張しているが、インチキでもなんでもなく、正しい計算である。 d を固定するごとに、A の d における切片 A_d が定義できて、この A_d は確率空間(I, pow(I), η)において 可測であり、よってη(A_d)が定義できて、しかも自明に η(A_d) ≧ 99/100 であるという、 そういう簡単な事実を述べているだけである。どこにもインチキの要素はない。 http://rio2016

.5ch.net/test/read.cgi/math/1660377072/758

759: １３２人目の素数さん [sage] 2022/10/13(木) 12:58:36.07 ID:ve7b2LlS より一般的に、>>691 の確率空間(Ω,F,P)において、事象 B∈F を任意に取る。 (i) P(B)≧ 99/100 (ii) ∀d∈N_100 s.t η(B_d) ≧ 99/100 という2つの条件について考察する。まず、(ii)が成り立つ場合、フビニの定理から直ちに(i)が従う。 その計算方法は>>693と全く同じだが、一応書いておくと、 P(B) ＝ ∫_Ω 1_B(ω) dP ＝ ∫_{N_100}∫_I 1_B(d,i) dη dν_100 ＝∫_{N_100}∫_I 1_{B_d}(i) dη dν_100 ＝ ∫_{N_100} η(B_d) dν_100 ≧ ∫_{N_100}

(99/100) dν_100 ＝ 99/100 ということ。よって、(ii)が成り立つなら(i)が成り立つ。逆に、(i)が成り立つとしても、必ずしも(ii)は成り立たない。 これはどういうことかというと、事象 B に関する構造について、 (ii)の方が(i)よりも詳細な構造を述べているということ。 同じことだが、(i)は荒い構造しか述べてないということ。要するに、 「(ii)が示せるなら、その方が価値が高い」 「(ii)が示せるなら、それに越したことはない」 ということ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/759

760: １３２人目の素数さん [sage] 2022/10/13(木) 13:01:56.04 ID:ve7b2LlS さて、>>692 の事象 A に対して、B＝A を適用すると、 (i) ⇔ 回答者の勝率は 99/100 以上 (ii) ⇔ 出題者が d を固定するごとに、回答者の勝率は 99/100 以上 という言い換えが成り立つ。そして、「(ii)が示せるなら、その方が価値が高い」のだったから、結局、 「出題を固定するごとに回答者の勝率が 99/100 以上であることが示せるなら、その方が価値が高い」 ということになる。 ・ スレ主は「固定はインチキだ」とほざいていたが、現実は逆であり、むしろ

固定した状況で 　 回答者の勝率が 99/100 以上であることが示せるなら、それに越したことはないのである。 ・ スレ主は「IID確率変数 X_i (i∈N)」にこだわっていたが、現実は逆であり、むしろ固定した状況で 　 回答者の勝率が 99/100 以上であることが示せるなら、それに越したことはないのである。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/760

761: １３２人目の素数さん [sage] 2022/10/13(木) 13:09:27.28 ID:ve7b2LlS 時枝記事も同じ立場を採用しており、出題を固定した状況で回答者の勝率が 99/100 以上であることを示している。 それが示せるなら、それに越したことはないのだから、結局、時枝記事は正しい。 あるいは、次のようにも言える。スレ主は「IID確率変数 X_i (i∈N)」にこだわっているが、それは 「出題がランダムなら、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という直観に基づいている。では、出題を固定した場合には、回答者には どんなヒント

が提供されるのか？ いや、何のヒントも提供されない。回答者から見れば、「どんな出題を固定したのか分からない。ヒントがない」 としか映らないからだ。よって、スレ主は 「出題を "固定" したって、回答者には何のヒントもないのだから、回答者が当たるわけがない」 という立場を取らなければダブルスタンダードである。ところが、スレ主は「固定はインチキだ」と言っている。 つまり、スレ主は暗黙のうちに 「出題を固定すること自体が、回答者にとっては大きなヒントになっている」 というパラドックスを前提にしていることになる

。スレ主の立場はここで崩壊する。 結局、スレ主だけがずっと間違い続けている。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/761

762: １３２人目の素数さん [sage] 2022/10/13(木) 13:33:17.26 ID:ve7b2LlS というわけで、 ＞３）思うに ＞　”d1,d2,・・,d100 固定”が ＞　代数学としては許されるが ＞　確率計算としては、確率的には根拠レスで使えないってことじゃね？ｗ これに対する反論は>>758-761で完結した。スレ主は 「 d を固定するのは代数学としては許されるが、確率論的には根拠がないのでナンセンスである」 と主張しているわけだが、ちゃんと確率論的な根拠と意味付けがあったわけだ(>>758-761)。 ただ単に、スレ主が確率論の基礎を理解してなか

っただけの話。具体的に言えば、 「確率空間の積空間において、片方の空間の元を固定したときの切片として出現する事象の確率を計算する」 という行為を、スレ主は1ミリも理解してなかったということ。 おバカのスレ主のために、もっと簡単に説明してやると、出題を固定したって、回答者から見れば 「どんな出題を固定したのか分からない。ヒントがない」としか映らないのだから、 出題を固定すること自体が「確率論的な文脈を破壊する」なんて状況にはならない、ということｗ スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているよ

うだが、 それはスレ主の勘違いだということ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/762

763: １３２人目の素数さん [] 2022/10/13(木) 14:01:01.40 ID:NWPTDBix >>756 >つまり、IID(独立同分布)を考えれば、確率変数Ｘｉ i∈Ｎで、 それは時枝戦略の確率変数ではない。 記事のどこを読んでるの？日本語読めない？なら小学校の国語が先だね >　時枝は終わっている >　つまり、確率99/100は否定される 時枝戦略を否定したいなら時枝戦略を語って下さい。 違う話を語ってもただただナンセンスなだけ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/763

764: １３２人目の素数さん [] 2022/10/13(木) 14:23:32.87 ID:NWPTDBix >>755 >商集合の構成には、選択公理は不必要では？ 構成自体が要らない。 集合XとX上の同値関係〜を定めれば商集合X/〜も定まる。 >商集合に分けたものが、有限なら有限に対する選択公理 任意の有限族の選択関数の存在は自明だから余計な公理は不要。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/764

765: １３２人目の素数さん [] 2022/10/13(木) 14:30:32.40 ID:NWPTDBix >>762 >スレ主は「固定した時点で確率論的な文脈が破壊される」と思っているようだが、 >それはスレ主の勘違いだということ。 その通り 中卒くんは何が定数で何が確率変数かの設定をまったく読み解けていない 数学の前に国語を勉強すべき http://rio2016.5ch.net/test/read.cgi/math/1660377072/765

766: １３２人目の素数さん [sage] 2022/10/13(木) 19:12:00.05 ID:AMr2WmgW >>755 >商集合の構成には、選択公理は不必要では？ 商集合の元が同値類そのものなら不必要だが >>740では「同値類の代表元全体の空間」 といってるから、選択公理は必要 無駄なツッコミ５９６３ >商集合に分けたものが、有限なら有限に対する選択公理 >が、代表系を構成するのに、…必要ってことでしょ？ 1行目「、」の位置が不適切 正しい文章は「商集合に分けたものが有限なら、」な その上で、内容が誤り 商集合が有限なら、選択公理は必要な

い。 で、>>754には反論できず悶死か　御愁傷様 http://rio2016.5ch.net/test/read.cgi/math/1660377072/766

767: １３２人目の素数さん [sage] 2022/10/13(木) 19:12:32.37 ID:AMr2WmgW >>756 ともかく、 １）望月論文は、数学的には終わっている 　つまり、平均化すれば　j^2キャンセルで、 　望月は終わっている 　つまり、Corollary3.12の証明は否定される ２）残る問題は 　・望月の宇宙際トリックの謎解き 　・もっといえば、なぜ証明できたように見えるか？ 　ってことだけ ３）思うに 　”入れ子の宇宙”が思考としては許されるが 　数学理論としては、何でも証明可（つまり矛盾）だから 　却下！ってオチじゃね？ え、ここ箱入り無数目スレ？

・・・誤爆かｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/767

768: １３２人目の素数さん [] 2022/10/13(木) 23:33:07.75 ID:MxOOS5Ta >>766 >商集合の元が同値類そのものなら不必要だが >>>740では「同値類の代表元全体の空間」 >といってるから、選択公理は必要 誤魔化しだな。>>740なんてかんけーねｗ 正確に引用するよ 　>>755より (引用開始) >>753 >　　K^N/∪K^n (n∈N)を構成するのに選択公理が必要 ？？ 商集合の構成には、選択公理は不必要では？ 商集合に分けたものが、有限なら有限に対する選択公理 商集合に分けたものが、可算なら可算に対する選択

公理 商集合に分けたものが、非可算なら非可算に対する選択公理 が、代表系を構成するのに、それぞれ必要ってことでしょ？ そして、非可算に対するフルパワー選択公理を使うと 非可測集合たるヴィタリ集合（R/Q の代表系よりなる） が構成できるということでしょ (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1660377072/768

769: １３２人目の素数さん [] 2022/10/13(木) 23:36:21.48 ID:MxOOS5Ta >>767 それ面白いな １）望月論文は、数学的には、論文は受理され、査読され、出版された ２）シンポジウムも、多数ある ３）問題は、 ・望月の宇宙際トリックの謎解き ・もっと分かり易い説明が必要だ ４）それは、これからの仕事でしょ http://rio2016.5ch.net/test/read.cgi/math/1660377072/769

770: １３２人目の素数さん [] 2022/10/13(木) 23:40:26.79 ID:MxOOS5Ta >>756 補足 １）ともかく、大学教程の確率論、確率過程論を勉強して、ちゃんと単位を取った人は 　時枝記事などに惑わされることはない ２）可算無限数列のしっぽを使った決定番号 　そこから、d1,d2,・・・d100を使うトリック ３）結局ここで、確率論を踏み外しているんだｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/770

771: １３２人目の素数さん [] 2022/10/14(金) 00:42:25.36 ID:EE9vbJZt >>770 具体的にお願いしますね 記事のどの部分がどう間違ってると？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/771

772: １３２人目の素数さん [] 2022/10/14(金) 05:32:01.93 ID:jvsyohQG >>771 中卒には無理だろ 大学教程の確率論、確率過程論を勉強したことなんて一度もない筈 だって大学に入れなかったんだから ああ、工学部は別な　あれ、ただの「専門学校」だから 奴等は算数はできるが、論理による思考はできない だから数学理論は全く理解できないし　証明も全く読めない 実数の公理を何の前提もなく証明しようとしてできず悶絶する馬鹿 それが中卒 http://rio2016.5ch.net/test/read.cgi/math/1660377072/772

773: １３２人目の素数さん [] 2022/10/14(金) 05:35:27.56 ID:jvsyohQG >>768 ＞誤魔化しだな。>>740なんてかんけーねｗ 　誤魔化してるのは中卒、 　論理が解らん馬鹿には 「同値類の空間」と「同値類の代表元全体の空間」 　の違いが理解できんｗ 　それから、有限の選択公理は必要ない 　有限なら力ずくで選択できるからｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/773

774: １３２人目の素数さん [] 2022/10/14(金) 06:01:48.55 ID:jvsyohQG >>769 それつまらんわ ＞望月論文は、数学的には、論文は受理され、査読され、出版された 　重要な問題の証明なのに査読者は非公開 　SSの指摘に何の意味ある反論もなく受理、出版 　日本数学界の後進性を露骨に示す事例だな 　日本の知的レベルはアフガニスタンとかイエメン並み ＞シンポジウムも、多数ある 　でも肝心のCorollary 3.12の説明はなし 　そもそもそれ自体誤りの可能性大 　DupuyとHiladoは、まず、Corollary 3.12が 　「いかなる命題も導ける最強の前提

」 　だと示すべきだったな http://rio2016.5ch.net/test/read.cgi/math/1660377072/774

775: １３２人目の素数さん [] 2022/10/14(金) 06:09:41.00 ID:jvsyohQG >>769 ＞問題は、 ＞・望月の宇宙際トリックの謎解き ＞・もっと分かり易い説明が必要だ ＞それは、これからの仕事でしょ 「なぜ証明できたように見えるか？」分かりやすい説明が必要だ。 望月新一には無理だろう 説明するのはScholzeか？Dupuyか？それとも第三の男か？ 望月新一のIUTTが、ヒルベルト・プログラムだとしたら ヒルベルト・プログラムの破綻を示した不完全性定理にあたるのは何か そして、その何かを示すのは誰か？ http://rio2016.5ch.net/test/read.c

gi/math/1660377072/775

776: １３２人目の素数さん [] 2022/10/14(金) 06:15:28.09 ID:jvsyohQG では予言しておこう http://rio2016.5ch.net/test/read.cgi/math/1660377072/776

777: １３２人目の素数さん [] 2022/10/14(金) 06:16:33.61 ID:jvsyohQG >>770 【予言】 自己言及、自己相似とパラドックスの関係を理解したならば IUTTなどに惑わされることはなくなるだろう 入れ子の宇宙、そして、宇宙のｎ倍を無理矢理元の宇宙につなげる エッシャ―の「プリント・ギャラリー」のようなトリック 結局、それが、理論全体の整合性を打ち壊している、と示される筈 http://rio2016.5ch.net/test/read.cgi/math/1660377072/777

778: １３２人目の素数さん [sage] 2022/10/14(金) 06:27:50.53 ID:qAcMEQxL 100枚の封筒(>>690-693)を例にとる。 スレ主は「出題を固定した時点で確率論的な文脈が破壊される」と勘違いしているが、 実際にはそうではない。出題 d を固定した時点で、 「もともとの事象の、d における断面」 が新たな事象として登場するだけであり、確率論的な文脈は この事象に引き継がれるだけである。 厳密に書けば、もともとの事象を B として、出題 d を固定したなら、B の d における切片 B_d が定義できて、 「確率論的な文脈は、この新たな事象 B_d

に引き継がれるだけ」 である。つまり、出題 d を固定しても、確率論的な文脈は全く破壊されない。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/778

779: １３２人目の素数さん [sage] 2022/10/14(金) 06:28:24.60 ID:qAcMEQxL 要するに、スレ主が「確率空間の積空間」の概念を全く理解してないというだけの話である。 ・ 積空間においては、片方の空間の元を固定すると、その元における断面として 　 新たな事象が出現し、確率論的な文脈はその事象に引き継がれる。 ・ ところが、「断面」という視点が抜け落ちたスレ主にとっては、 　「確率論的な文脈を引き継ぐ対象が存在しない」ように見えてしまう。 ・ だからこそ、スレ主は「固定した時点で確率論的な文脈が破壊される」と勘違いしている

のだ。 ・ 実際には、確率論的な文脈は「断面」に引き継がれる。スレ主が「断面」という概念を理解してないだけ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/779

780: １３２人目の素数さん [sage] 2022/10/14(金) 06:38:20.27 ID:qAcMEQxL >>770 ＞２）可算無限数列のしっぽを使った決定番号 ＞　そこから、d1,d2,・・・d100を使うトリック ＞３）結局ここで、確率論を踏み外しているんだｗ 全く踏み外していない。 ・ >>690-693の場合だと、d を固定したとき、A の d における断面 A_d が新たな事象として出現し、 　 確率的な文脈は A_d に引き継がれる。すなわち、d を固定しても確率論的な文脈は破壊されない。 　 別の言い方をすれば、d を固定することの確率論的な根拠と意味付けが断面 A_d

によって担保される。 ・ A_d は確率空間(I, pow(I), η)において可測なので、η(A_d)が定義できて、しかも η(A_d) ≧ 99/100 である。 　 これが言えると何がうれしいのかと言うと、フビニの定理から直ちに P(A) ≧ 99/100 が従うのがうれしい。 ・ これは一般的に成り立つ。すなわち、B を事象として、もし ∀d∈N_100 s.t η(B_d) ≧ 99/100 が成り立つなら、 　 フビニの定理から直ちに P(B) ≧ 99/100 が従う。すなわち、η(B_d) ≧ 99/100 という性質は 　 P(B) ≧ 99/100 よりも深い性質を述べているのであり、η(B_d) ≧ 99/100 が示せる

なら、それに越したことはない。 ・ そして、η(A_d) ≧ 99/100 は「 d を固定したときの回答者の勝率が 99/100 以上」という意味である。 　 これが示せるなら、それに越したことはないということ。時枝記事はまさにこれ。 以上の理由により、時枝記事は確率論を全く踏み外してない。 単にスレ主が、確率空間の積空間において出現する「断面」を見落としているだけ。 http://rio2016.5ch.net/test/read.cgi/math/1660377072/780

781: １３２人目の素数さん [] 2022/10/14(金) 13:12:44.70 ID:EE9vbJZt >>770 ?任意の実数列の決定番号は自然数である ?100列の決定番号はどれも自然数だから最大値がある ?最大決定番号の列は1列または複数列である。 　?-1 複数列なら100列のどの列を選んでも勝てる。 　?-2 1列ならその列以外を選べば勝てる。 ?列選択はランダムだから勝率は99/100以上である。 ?〜?のどれが間違ってると？ http://rio2016.5ch.net/test/read.cgi/math/1660377072/781

782: １３２人目の素数さん [] 2022/10/14(金) 20:43:58.48 ID:vJZfsUiI >>770 補足 １）全国区世論調査に例えれば、時枝さんは、 　ランダムに抽出して世論調査をしたと言いながら 　その実、ランダムでなく偏りのある世論調査だってこと ２）全国区世論調査なら、北は北海道から南は九州沖縄まで、無作為抽出すべき 　ところが、南の九州の離れ小島だけ抽出したら？ 　それはまずい。島の人口100人で、99％の内閣支持率だという 　だけど、日本人口1億人の中では、ほとんど0でしょ。つまり、0*(99/100)＝0だ ３）同様に、d1,d2,・・・d100は

、 　例えば自然数Ｎ全体からみれば 　原点0の近くの有限部分でしかない 　自然数Ｎ全体は、可算無限集合だから、 　d1,d2,・・・d100の最大値を超えた領域の方が圧倒的に大きい 　上記の世論調査と同様 d1,d2,・・・d100の領域は全体から見れば0に等しい 　よって、0*(99/100)＝0だなｗ http://rio2016.5ch.net/test/read.cgi/math/1660377072/782

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.032s