301:１３２人目の素数さん
24/02/12 22:43:58.58 7PLohM0M.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
解釈と帰結
上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
まず定義中の集合
A は以下の性質を満たすことを確認できる。
・∅ ∈ A （空集合 ∅ は A} の要素である）
・∅ ∪ {∅}={∅}∈ A} （「空集合 ∅ を要素にもつ集合」は A の要素である）
・{∅}∪ {∅∪{∅}}={∅,{∅}}∈ A} （「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は A の要素である）
（以下同様に繰り返す）
各手続きで得られた集合を要素とする集合を
B:={∅ ,{∅ },{∅ ,{∅ }},・・・ } とおくと、
B は A の部分集合である。 この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、
B は有限集合であり A≠ Bである。なぜならば定義により
B∪{B}∈ A であるが、
B∪{B}∉ B となるからである。一方
A が有限集合であれば、この手続きを繰り返すことで
B が A よりも多くの要素をもつことができてしまう。
従って、A は有限集合ではない（すなわち無限集合である）ため
無限公理を採用すれば直ちに無限集合の存在を認めることになる。
上記の手続きはペアノの公理における自然数の構成方法と同様である。
ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
(引用終り)
以上
302:１３２人目の素数さん
24/02/12 22:47:46.32 vqdMPIUf.net
ああ、向きが反対だった1/100じゃなくて99/100
この確率に等しいことが証明されているのに100%になる場合もあるのは何故なんだ？
303:１３２人目の素数さん
24/02/12 22:52:54.93 vqdMPIUf.net
ごめん間違えた
>>271
は忘れて！
304:１３２人目の素数さん
24/02/12 23:10:02.57 qFdMPY/k.net
>>276
>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！ｗｗｗ
じゃあ決定番号が有限の確率は1ですね
305:１３２人目の素数さん
24/02/12 23:36:51.57 7PLohM0M.net
>>228
>>>224
>>>>可算無限列では、C(s)全体の濃度は6^Nで 非可算濃度（∵2^N が非可算濃度）
>>>可算無限列では、C(s)全体の濃度は∪(n∈N)6^nで可算濃度です
>>正しくは、”非可算濃度（∵2^N が非可算濃度）”ですが
>>もし、C(s)全体の濃度が →∞ （n →∞）に発散していることを認めるならば
>>可算無限か非可算無限かは、些末なことですので、いま保留とします
>
>重大なことですがね
・重大なことなら、お分かりだろうｗ
”決定番号の集合をKとすると、自然数Nと同様に可算無限集合であり、N＝Kである！”
箱にサイコロの目 1～6を入れると
C(s)全体の濃度は6^Nで 非可算濃度（∵2^N が非可算濃度）
・さらに、そもそも 箱には任意実数を入れて良いとされていた
箱３個 s=(s1,s2.s3) として、ミニしっぽ同値類の集合C(s)を考えると
代表は r=(r1,r2.r3) として、r3＝s3の条件でしっぽ同値関係を満たす
(r1,r2)で、r1,r2は任意の実数だから、2次元ユークリッド空間と一対一対応ができる
よって、ミニしっぽ同値類の集合C(s)の濃度は非可算です
よって、箱を可算無限個にした場合のフルサイズの集合C(s)の濃度は、非可算以上です
306:１３２人目の素数さん
24/02/12 23:42:16.60 7PLohM0M.net
>>280 >>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！ｗｗｗ >じゃあ決定番号が有限の確率は1ですね ・自然数Nで、∀n∈N 各nは有限なるも、nには上限なし！（∵Nは無限集合） ・決定番号の集合Kで、∀d∈K 各dは有限なるも、dには上限なし！（∵Kは無限集合） 基礎論バーとか呼ばれているが 基礎論パーじゃないのか？ｗ
308:１３２人目の素数さん
24/02/12 23:49:32.85 qFdMPY/k.net
>>282
上限が無くても有限の確率１ですよ？ 有限の確率０は間違いと認めますか？
309:１３２人目の素数さん
24/02/13 05:46:14.64 12BgzyOF.net
>>270 自分でやってみれば
>>271 決定番号が単独最大の列がなければ、どれを選んでも成功するよ 失敗列ないから
310:１３２人目の素数さん
24/02/13 05:47:18.82 12BgzyOF.net
>>272-273 全くその通り
311:１３２人目の素数さん
24/02/13 05:52:45.04 12BgzyOF.net
>>274
>実際に証明してるのはもっと強くて、
>この戦略では約1/100であるまで言ってるじゃん
何が1/100か、誤解してそう
”失敗確率” が ”たかだか”1/100ね
たかだかって日本語知ってる？
”最大でも”って意味だよ
>>275
>なにが言いたいのか分からん
最大の決定番号を持つ列が2列以上あれば
どの99列をとっても、その中の決定番号の最大値は
100列全体の決定番号の最大値になる
だから失敗列は存在せず、したがって失敗確率は0になる
これでわかったかい？
312:１３２人目の素数さん
24/02/13 06:16:27.65 12BgzyOF.net
>>276
>自然数 n に対して自然数 S(n) をその後者 (successor)が、存在する
>つまり、a が自然数なら a + 1 は自然数 だ
うん、そうだよ よく知ってるね
>そうして、無限公理によって、自然数の集合Ｎが、最小の可算無限集合として定義される
>これが、ＺＦＣの自然数の集合Ｎの構成ですよ
うん、そうだよ よく知ってるね
>さて、任意有限nの決定番号に対しても、常に後者 n+1の決定番号が存在し、それの裏付けの代表が存在する
>例えば、問題の固定した数列 s=(s1,s2,s3,…,sn,sn+1,…) に対し
>代表r=(r1,r2,r3,…,rn,rn+1,…） 但し rn≠sn,rn+1＝sn+1,…
>を選ぶことができます （この場合決定番号はn+1です）
考え方が逆でしょ
ある尻尾同値類の代表r=(r1,r2,r3,…,rn,rn+1,…)に対して
決定番号nの数列s=(s1,s2,s3,…,sn,sn+1,…)の存在から
snを異なる数s'nと変えることによって
決定番号n+1の数列s=(s1,s2,s3,…,s'n,sn+1,…)の存在を
導くことができる、でしょ
>よって、決定番号はペアノ公理を満たす
うん、同値類の中に任意の自然数ｎを決定番号に持つ列が存在するよ
いわずもがなだけどね ごくろうさま
>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！
うんそうだよ
で、君、いったい何を言おうとしてる？
「しっぽの可算無限個の箱が一致して、有限nの決定番号になるよね」
『そして、それ以外、尻尾同値にはなり得ませんが、おわかりですか？』
『』に対する反論だよね？でも君全然できてないよ
決定番号が自然数でない列の存在が示せてないよ
君こそ数学パーじゃない？
313:１３２人目の素数さん
24/02/13 06:20:33.95 12BgzyOF.net
>>278
>ああ、向きが反対だった1/100じゃなくて99/100
>この確率に等しいことが証明されているのに
いや 誰も等しいとかいってないけど
失敗確率が「たかだか1/100」だから
成功確率は「少なくとも99/100」だよ
>100%になる場合もあるのは何故なんだ？
100列中、同じ最大決定番号を持つ列が2列以上あれば失敗列は存在しないよ
>>279
>ごめん間違えた 271は忘れて！
落ち着け
314:１３２人目の素数さん
24/02/13 06:22:07.34 12BgzyOF.net
>>276 >>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！
>>280 >じゃあ決定番号が有限の確率は1ですね
その通りですね
315:１３２人目の素数さん
24/02/13 06:35:19.11 12BgzyOF.net
>>281
>>>(同値類の集合が)可算無限か非可算無限かは、些末なことですので、いま保留とします
>>重大なことですがね
>重大なことなら、お分かりだろう
ええ あなたが分かってないことも
>”決定番号の集合をKとすると、自然数Nと同様に可算無限集合であり、N＝Kである！”
文末に”！”って、何を力みかえってるのかな？
>箱にサイコロの目 1～6を入れると、C(s)全体の濃度は6^Nで 非可算濃度（∵2^N が非可算濃度）
もしかして、任意有限長小数全体の集合は非可算濃度だと思ってる？
違うよ、可算濃度だよ
サイコロとかいってるから6進で考えるね
任意有限長小数の全体は∪(n∈N)6^nで、これは可算濃度だよ
無限小数の全体が6^Nで、これが非可算濃度
サイコロ数列の場合
各尻尾同値類は、任意有限長小数全体と一対一対応するから可算濃度
無限列全体は、無限小数とほぼ（※）一対一対応するから非可算濃度
（※ 例えば0.055…と0.100…を等しいとしないなら、完全に一対一対応）
>さらに、そもそも 箱には任意実数を入れて良いとされていた
>箱３個 s=(s1,s2.s3) として、ミニしっぽ同値類の集合C(s)を考えると
>代表は r=(r1,r2.r3) として、r3＝s3の条件でしっぽ同値関係を満たす
>(r1,r2)で、r1,r2は任意の実数だから、2次元ユークリッド空間と一対一対応ができる
>よって、ミニしっぽ同値類の集合C(s)の濃度は非可算です
それ、ダメな
R^nでも非可算、で、誤魔化してるだけだから
>よって、箱を可算無限個にした場合のフルサイズの集合C(s)の濃度は、非可算以上です
あ、それも、誤りな
濃度に関しては 2^N=R^N だから
R^Xで、Xが非可算じゃないと、更に高い濃度にできないから
これ、豆な
316:１３２人目の素数さん
24/02/13 06:40:41.60 12BgzyOF.net
>>282
>自然数Nで、∀n∈N 各nは有限なるも、nには上限なし！（∵Nは無限集合）
>決定番号の集合Kで、∀d∈K 各dは有限なるも、dには上限なし！（∵Kは無限集合）
”各*は有限なるも”って、君、敗北認めてるじゃん
はい終戦
あとは、サイコロ可算無限列（より一般には箱の中身の範囲の集合がたかだか可算集合）の場合
その尻尾同値類が可算集合であることを理解することだね
いいかい？
317:∪(n∈N) 6^n ⊂ 6^N だけど ∪(n∈N) 6^n = 6^N ではないよ！ いっけない つい力んじゃったｗ
318:１３２人目の素数さん
24/02/13 06:45:56.44 12BgzyOF.net
>>283
>上限が無くても有限の確率１ですよ？ 有限の確率０は間違いと認めますか？
なんか過去にも同じやりとりがあって
そのときは反駁できなくて、実に悔しそうに「うん・・・」と認めてるみたいだけど
なんかどうしても自分が間違ってることが受け入れられなくて、記憶されないみたい
だから、また同じ誤りを犯しちゃうんだよね 二度ならず三度も
もう、これは病気だね 不治の病
数学は無理 政治板に帰ってニッポンバンザイって叫んでればいいと思うんだな 彼は
ナントカ記念の日も、あの旗をちぎれるほど勢いよく振って、こう絶叫したんだろうなあ
「ニッポン、バンザァァァァァァァァァァァァァァァァイ！」
・・・ああ、あほくさ
319:１３２人目の素数さん
24/02/13 07:58:05.04 P6qchTRk.net
>>283
>上限が無くても有限の確率１ですよ？ 有限の確率０は間違いと認めますか？
その自然数n∈Nで、「nが有限の確率１」は測度論の外の”素人確率論”（文学的表現）だよ
なぜならば、自然数の集合Nは可算無限だからね
（要するに「すべてのnは、有限」を、文学的に表現しただけ）
測度論の落ちこぼれさんは、へんに自分の落ちこぼれを自慢するね ；ｐ）
320:１３２人目の素数さん
24/02/13 08:06:31.15 P6qchTRk.net
>>291
>いいかい？
>∪(n∈N) 6^n ⊂ 6^N だけど
>∪(n∈N) 6^n = 6^N ではないよ！
>いっけない つい力んじゃったｗ
そうそう
力んでいる数学落ちこぼれさんでしたｗｗ
・下記のコーシー列で、”lim _n,m → ∞”とあるけど
n,m は常に有限です
・ε-N論法のNは有限です
知らないみたいだね、数学落ちこぼれさんは ；ｐ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
コーシー列（Cauchy sequence）は、数列などの列で、十分先の方で殆ど値が変化しなくなるものをいう。
実数論において最も基本となる重要な概念の一つである。
コーシー数列
無限数列 (xn) について
lim _n,m → ∞ |x_n-x_m|=0
が成り立つとき、数列 (xn) はコーシ－列である（あるいはコーシー的である、コーシー性を持つ）という。有限数列 (x1 ,x2, …, xk) は xk = xk+1 = xk+2 = … と延長することにより、コーシー列と見なせる。
321:１３２人目の素数さん
24/02/13 08:12:59.23 P6qchTRk.net
補足
・無限数列 (xn) では、nに上限がないという意味で”無限”と表現していることに気づけよ
知らないみたいだね、数学落ちこぼれさんは ；ｐ）
322:１３２人目の素数さん
24/02/13 09:30:41.92 IEqzpFV3.net
ID:P6qchTRk 氏に質問
サイコロ無限列6^Nの尻尾同値類の数は幾つ？
以下から選んでくれる？
1．サイコロの目が6つだから、当然6
2．実は6^N(非可算無限)
3. それ以外(この場合、具体的に明示されたし)
323:１３２人目の素数さん
24/02/13 11:36:41.89 qWiuCoeA.net
>>296
>サイコロ無限列6^Nの尻尾同値類の数は幾つ？
>以下から選んでくれる？
>1．サイコロの目が6つだから、当然6
>2．実は6^N(非可算無限)
>3. それ以外(この場合、具体的に明示されたし)
>>4でスレ主です
数学落ちこぼれさんの 基礎論パーかい？
勉強不足では？
１）まず、下記 冪集合の濃度をご参照請う
冪集合 2^S で、Sが有限ならば2^Sも有限だが
Sが(加算以上の)無限集合では、非可算無限（”冪集合の濃度は元の集合の濃度より常に大きい（カントールの定理）”）
２）つまりは、冪 2^Sは 有限か、さもなくば非可算無限の二択
よって、答えは自明 （証明は思いつくであろう ガロア語録よりｗ）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
冪集合（英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことで�
324:る。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。 冪集合の濃度 S の部分集合 A とその指示関数 χA を対応づけることにより、冪集合 2^S と S から {0, 1}[脚注 1]への写像全体のなす集合 Map(S, {0, 1}) =: {0 ,1}^S が一対一に対応する。 これは、S の元 a が部分集合 A に属するとき 1、属さないとき 0 をラベル付けすることで部分集合 A が特定できるということに対応する。 したがって特に A の濃度 card(A) が有限の値 n であるとき冪集合 2^A の濃度 card(2^A) は 2^card(A) = 2^n に等しい。 一般に、有限集合 E から有限集合 F への写像の総数は card(F)^card(E) となり、このことは E から F への写像全体のなす集合を F^E と記す（無限集合の場合にも記号を流用する）ことの根拠の一つとなっている。 そして、冪集合やその濃度の2の冪としての記法はこれの特別の場合にあたる。 冪集合の濃度は元の集合の濃度より常に大きい（カントールの定理）。 有限集合のときにはこれは自明である。一般の場合は、カントールの対角線論法によって示される https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86 カントールの定理（Cantor's theorem）は、集合論における基本的な定理の一つで、冪集合の濃度について述べたものである 最初にこれを証明したドイツ人数学者ゲオルク・カントールにちなむ 内容 任意の集合 A に対して、A のすべての部分集合の集合（ A の冪集合）は A 自身よりも真に大きい濃度を持つ 証明 略
325:１３２人目の素数さん
24/02/13 11:41:57.97 2iZULXQd.net
>>297
>>296の質問を誤解してますな
「サイコロ無限列6^Nの尻尾同値類の数は幾つ？」
要するに、
サイコロ無限列がいくつの尻尾同値類に類別できるか、という質問
サイコロ無限列の１つの尻尾同値類の濃度について尋ねる質問ではないよ
ということで
以下から選んでくれる？
1．サイコロの目が6つだから、当然6
2．実は6^N(非可算無限)
3. それ以外(この場合、具体的に明示されたし)
326:１３２人目の素数さん
24/02/13 11:49:31.50 2iZULXQd.net
ヒント書こうか
サイコロ有限列6^nの場合、nがいくつであっても類別の数は6
なぜなら、最後の箱の中のサイコロの目で類別できるから
さてサイコロ無限列6^Nについては最後の箱が存在しない
この場合、類別の数はいくつか、という問い
1．サイコロの目が6つだから、当然6 ← サイコロ有限列と同じ
2．実は6^N(非可算無限)
3. それ以外(この場合、具体的に明示されたし)
327:１３２人目の素数さん
24/02/13 20:08:58.93 CnPiEXtG.net
>>293
あなたの持論「決定番号が有限の確率は０」は間違いと認めるんですね？
よろしい
では次の質問
あなたはいかなる実数列の決定番号も自然数であることを認めました。
では、出題列を2列に並べ替えたときの決定番号d1,d2がいかなる自然数なら的中確率が1/2に満たないか答えてください
328:１３２人目の素数さん
24/02/14 04:05:50.85 bKw9yN68.net
>>135
伊藤清の本を発掘してきたぞ
§5.3の情報と情報増大系
ってそのものズバリな名前の節に書いてある
329:１３２人目の素数さん
24/02/14 04:18:55.15 bKw9yN68.net
>>177
やだよ、自分で金出して買ってこい
330:１３２人目の素数さん
24/02/14 04:36:37.70 TCvAASJz.net
>>301-302 アホ騒ぐ
331:１３２人目の素数さん
24/02/14 04:44:20.22 TCvAASJz.net
全ての項が0の無限列の尻尾同値類を考える
これは、ある自然数nから先の項が全て0の列の全体である
コインの裏表（裏が0、表が1）で項を決めるとする
その場合
決定番号1の列 1個
決定番号2の列 1個
決定番号3の列 2個
決定番号4の列 4個
…
となり、その総和は可算無限である
そして、全無限列のほとんど全ては、全ての項が0の無限列と尻尾同値でない
全無限列を尻尾同値で類別すると、類別の数は2ではなく、非可算無限（2^N)となる
これは有限列の場合とは全く異なる
（有限列の場合、最後の箱の中身で決まるから類別の数は2）
332:１３２人目の素数さん
24/02/14 04:51:05.09 TCvAASJz.net
>>304 追記
全ての項が1の無限列の尻尾同値類を考える
これは、ある自然数nから先の項が全て1の列の全体である
サイコロの目（1から6）でで項を決めるとする
その場合
決定番号1の列 1個
決定番号2の列 5個
決定番号3の列 30個
決定番号4の列 180個
…
となり、その総和はやはり可算無限である
そして、全無限列のほとんど全ては、全ての項が1の無限列と尻尾同値でない
全無限列を尻尾同値で類別すると、類別の数は6ではなく、非可算無限（6^N)となる
これまた有限列の場合とは全く異なる
（有限列の場合、最後の箱の中身で決まるから類別の数は6）
333:１３２人目の素数さん
24/02/14 08:00:50.93 IokDU4Hd.net
>>301-302
>>4でスレ主です
情報紹介ありがとうございます
深謝！！
334:１３２人目の素数さん
24/02/14 10:34:42.22 8ZQ5lxgO.net
>>304
>コインの裏表（裏が0、表が1）で項を決めるとする
>その場合
>決定番号1の列 1個
>決定番号2の列 1個
>決定番号3の列 2個
>決定番号4の列 4個
>…
>となり、その総和は可算無限である
・その個数は、等比数列になってるでしょ？
つまり、２倍ずつ
・下記の等比数列の和の公式を見てね
公比 r=2なら、無限和は2^Nじゃないの？
・だったら
その総和は非可算無限でしょ！ ｗｗｗ
(参考)
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
等比数列の和の公式（例題・証明・応用）2021/03/07
初項 a，公比 r，項数 n の等比数列の和は（r≠1 のもとで），
a+ar+ar^2+・・・+ar^(n-1)=a(r^n －1)/(r-1)
とも表せます。これを証明してみます
略
335:１３２人目の素数さん
24/02/14 10:47:27.09 Svi5gd6l.net
>>307
>>コインの裏表（裏が0、表が1）で項を決めるとする
>>その場合
>>（中略）
>>となり、その総和は可算無限である
>その個数は、等比数列になってるでしょ？
>つまり、２倍ずつ
なってるね
>等比数列の和の公式を見てね
>公比 r=2なら、無限和は2^Nじゃないの？
ああ、素人が必ず落ちる落とし穴に見事にはまってますね
結論からいうと「違いますよ」
>だったらその総和は非可算無限でしょ！
「だったら」でないのでそれは言えません
結論は1+Σ2^nなので、可算無限です
自然数全体の個数は非可算無限ですか？ 違うでしょ
だったら、有限小数と一対一対応できるコイン任意有限列の全体も非可算無限ではなく可算無限です
それとももしかして、自然数の全体も非可算無限、とか爆弾発言しますか？
その場合N＝２＾Nとなって、カントールのパラドックスで矛盾しますけどね
336:１３２人目の素数さん
24/02/14 10:50:35.40 Svi5gd6l.net
それにしても
「等比数列の和の公式から
無限和１＋１＋２＋４＋・・・は
非可算無限２＾Nである！」（ドヤァ）
は
「任意の”正方行列”の逆行列は
余因子行列を行列式で割る公式で
求められる」（ドヤァ）
と同じくらい粗雑な誤りですなぁ
それじゃ大学１年の微分積分の単位取れませんよ マジで
337:１３２人目の素数さん
24/02/14 12:15:43.18 8ZQ5lxgO.net
>>308
>結論は1+Σ2^nなので、可算無限です
>自然数全体の個数は非可算無限ですか？ 違うでしょ
>だったら、有限小数と一対一対応できるコイン任意有限列の全体も非可算無限ではなく可算無限です
>それとももしかして、自然数の全体も非可算無限、とか爆弾発言しますか？
>その場合N＝２＾Nとなって、カントールのパラドックスで矛盾しますけどね
・全然ロジックが繋がっていないぞ！ｗｗ
・Σ2^n の部分は、等比数列の和公式で一つの指数関数で およそ2^(n+1)となるよ（下記yahooご参照）
・n→∞ (自然数N全体を渡る)とき、下記の冪集合の記法を流用して、2^Nと書けるよｗ
(参考)
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
ajg********さん 2012/2/22
数列です。Σ2^kを求めよです。(Σの上がn、下がk=1)
ベストアンサー
abc********さん 2012/2/22
Σ2^k
=Σ2*2^(k-1)
これは、
初項2、公比2、項数nの等比数列の和であるから
=2*(2^n-1)/(2-1)
=2^(n+1)-2
(参考)>>297より再録
URLﾘﾝｸ(ja.wikipedia.org)
冪集合（英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。
集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。
冪集合の濃度
S の部分集合 A とその指示関数 χA を対応づけることにより、冪集合 2^S と S から {0, 1}[脚注 1]への写像全体のなす集合 Map(S, {0, 1}) =: {0 ,1}^S が一対一に対応する。
これは、S の元 a が部分集合 A に属するとき 1、属さないとき 0 をラベル付けすることで部分集合 A が特定できるということに対応する。
したがって特に A の濃度 card(A) が有限の値 n であるとき冪集合 2^A の濃度 card(2^A) は 2^card(A) = 2^n に等しい。
一般に、有限集合 E から有限集合 F への写像の総数は card(F)^card(E) となり、このことは E から F への写像全体のなす集合を F^E と記す（無限集合の場合にも記号を流用する）ことの根拠の一つとなっている。
そして、冪集合やその濃度の2の冪としての記法はこれの特別の場合にあたる。
冪集合の濃度は元の集合の濃度より常に大きい（カントールの定理）。
有限集合のときにはこれは自明である。一般の場合は、カントールの対角線論法によって示される
URLﾘﾝｸ(ja.wikipedia.org)
カントールの定理（Cantor's theorem）は、集合論における基本的な定理の一つで、冪集合の濃度について述べたものである
最初にこれを証明したドイツ人数学者ゲオルク・カントールにちなむ
内容
任意の集合 A に対して、A のすべての部分集合の集合（ A の冪集合）は A 自身よりも真に大きい濃度を持つ
証明
略
338:１３２人目の素数さん
24/02/14 13:18:26.21 tlqw11TK.net
>>310
書けねぇよw
339:www 馬鹿すぎるwww
340:１３２人目の素数さん
24/02/14 13:24:17.30 8ZQ5lxgO.net
そもそもが、箱には任意実数r∈Rが入るよ
箱一個で、非可算通りですがな ；ｐ）
341:１３２人目の素数さん
24/02/14 13:25:51.04 VmCXISZI.net
>>310
>Σ2^n の部分は、等比数列の和公式で一つの指数関数で およそ2^(n+1)となるよ
1+Σ2^i (i=0～n) とすれば、正確に2^(n+1)となるよ
>n→∞ (自然数N全体を渡る)とき、下記の冪集合の記法を流用して、2^Nと書けるよ
マジで云ってる？ ヤバいよ
自然数を2進数で表すと
任意の自然数m桁の自然数が存在する
これはいくらなんでも否定しないよね？
で、それらm桁の自然数をすべて合わせた「すべての自然数」の濃度は？
2^N（非可算無限）？
ちがうよね？
で、桁の向きを逆向きにして有限小数で考えても
まったく同じことがいえるよね
で、有限小数が0.000・・・の尻尾同値類の全体だよね
違う？違うなら、有限小数でない尻尾同値類の元が存在する
ってことになるけど、それって具体的に何？ 書いてみて
>全然ロジックが繋がっていないぞ！
全然ロジックもなんもなしに
初歩から間違った「直感発言」で
自爆してるのは ID:8ZQ5lxgO じゃね？
有限小数の全体と無限小数の全体の違いもわからんって
大学１年の４月の微分積分で落ちこぼれてるよね
ま、大学行ってれば、だけどさ
342:１３２人目の素数さん
24/02/14 13:29:20.37 VmCXISZI.net
>>310 >n→∞ (自然数N全体を渡る)とき、冪集合の記法を流用して、2^Nと書けるよ
>>311 >書けねぇよ 馬鹿すぎる
まったくですね
「自然数の全体２＾Nは非可算集合」は
「正方行列の（乗法）群」と同じくらいの
超ド級自爆発言ですね
アーメン
343:１３２人目の素数さん
24/02/14 13:35:25.18 8ZQ5lxgO.net
>>311
>書けねぇよwwww
>馬鹿すぎるwww
ありがと
これ（下記）か
なるほどね
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
msd********さん
2010/4/24 12:27
教えて下さい´◇｀
有限小数の集合が可算で
ある理由を述べよ
ベストアンサー
宿題丸投げ撲滅委員会仮会員さん
2010/4/24 13:53
可算集合である有理数の部分集合だからです。
その他の回答（1件）
clickyさん
2010/4/24 15:23（編集あり）
まず、有理数が可算個であることを示しましょう。
有理数は整数 x,y を使って、y/x と表せます。一意にするために、y≧0, x≠0, xとyとは互いに素であるとします。
貼った図を参照して下さい。有理数は、原点 および 第1象限と第2象限における単位長さが1である格子上の点(x,y)として表せます。
図のように、内側から約分できるものはスキップするという条件で、格子による原点を中心とした同心正方形の上側（第1象限と第2象限）の点を選択しながら反時計回りに進んでいき、x軸に達すれば外側に移ることにすれば、有理数をすべて網羅していてかつ重複しない数列が一意に決まります。
0, 1, -1, 1/2, 2, -2, -1/2, 1/3, 2/3, 3/2, 3, -3, -3/2, -2/3, -2/3, -1/3, ・・・
数列は自然数に一対一に対応しているので（全射かつ単射なので）自然数の濃度=可算個あります。したがって、有理数全体は可算個です。
この数列で整数だけを除くと、明らかに有限ではないので可算個の数列です。
貼った図では、深緑色の点が整数で、紺色の点が整数ではない有理数です。
さて、『有限小数』という表現はあいまいです。
10進数の1/3は 0.3333・・・ と無限小数ですが、3進数に変換すると 0.1 となって有限小数です。
10進数の場合は、分数表現で2と5だけで素因数分解できるときは有限小数、できないときは無限小数です。
2進数の場合は、分数表現で2の倍数のときは有限小数、2の倍数でないときは無限小数です。
いずれにしても、n進数において有限小数とは、先に定義した有理数を網羅する数列の部分集合であり、しかも無限集合であることから、可算個であることが示されました。
344:１３２人目の素数さん
24/02/14 13:42:04.42 VmCXISZI.net
>>315
>さて、『有限小数』という表現はあいまいです。
>10進数の1/3は 0.3333・・・ と無限小数ですが、
>3進数に変換すると 0.1 となって有限小数です。
>10進数の場合は、分数表現で2と5だけで素因数分解できるときは有限小数、できないときは無限小数です。
>2進数の場合は、分数表現で2の倍数のときは有限小数、2の倍数でないときは無限小数です。
345: そもそも○進と言わずに有限小数とかいう奴ぁはいませんや コイン裏表の場合明らかに２進 それすらわからんなら数学は無理ですわ >いずれにしても、n進数において有限小数とは、 >先に定義した有理数を網羅する数列の部分集合であり、 >しかも無限集合であることから、可算個であることが示されました。 いや、直接示せますがね 自然数を２進で表すと、２進有限小数と1対1対応しますから もちろん、３進だろうが何進だろうが、同じ方法で示せますがね 0→0 1→0.1 10→0.01 11→0.11 100→0.001 101→0.101 110→0.011 111→0.111 … あああ、あほくさ
346:１３２人目の素数さん
24/02/14 13:45:30.92 VmCXISZI.net
ところで、>>316の方法で、自然数と無限小数（＝実数）は1対1対応してる！と云ってた人が昔ネットにいたが
もちろん、間違っている
どこがどう間違ってるか、数学科を（惨憺たる成績でも）卒業した人なら、説明できる筈
347:１３２人目の素数さん
24/02/14 13:46:59.09 8ZQ5lxgO.net
>>314
３．１４ で円周率か
有限小数の集合が可算は分かったけど
で、どうしたの？
時枝「箱入り無数目」の正当化にどう使う？
そもそもが、箱には任意実数r∈Rが入るよ
箱一個で、非可算通りですがな ；ｐ）
348:１３２人目の素数さん
24/02/14 13:52:54.69 VmCXISZI.net
>>318
>有限小数の集合が可算は分かったけど
それが、0.000…と尻尾同値なのも分かった？
だったら、任意の無限列は必ず自然数の決定番号を持つことも分かった？
そしたら、箱入り無数目の戦略はｎ列の場合、少なくとも確率1-1/nで成功することも分かった？
もし、全部分かったんなら、もういうことないだろ？ 黙りなよ
任意の正方行列は逆行列を持つとか、任意有限列の全体は非可算無限とか
もう初歩レベルの自爆発言で自虐するのはやめなよ みっともないよ
349:１３２人目の素数さん
24/02/14 14:18:33.23 8ZQ5lxgO.net
>>319
なんだ？ｗ
”沈没難破船”かい？ｗｗ
有限小数の集合が可算は分かったけど
で、どうしたの？
時枝「箱入り無数目」の正当化にどう使う？
そもそもが、箱には任意実数r∈Rが入るよｗｗ
箱一個で、非可算通りですがな ；ｐ）ｗｗｗ
350:１３２人目の素数さん
24/02/14 14:28:29.47 8ZQ5lxgO.net
有限小数の集合は可算です
↓
ところが、時枝「箱入り無数目」の箱には
任意実数r∈Rが入るので、非可算です
これで沈没だね
（”沈没難破船”だなｗ）
351:１３２人目の素数さん
24/02/14 15:28:38.26 VfwfZJ5/.net
>>320-321 幽霊船の船長「さまよえる大阪人」
352:１３２人目の素数さん
24/02/14 16:16:03.33 8ZQ5lxgO.net
>>322
ありがと
それなら、大阪難波の沈没幽霊船かな？ ；ｐ）
353:１３２人目の素数さん
24/02/14 16:44:58.81 7SPjPhs1.net
>>323 「N＝２＾N！」と「カントールのパラドックス」を声高に叫ぶ自爆大阪人 ID:8ZQ5lxgO
354:１３２人目の素数さん
24/02/14 16:49:55.27 8ZQ5lxgO.net
基礎論バー ならぬ 基礎論パー
大したことないね
大声で叫ぶ
大阪難波の沈没幽霊船船長でした ：ｐ）
355:１３２人目の素数さん
24/02/14 16:51:33.15 6zEqEPdE.net
箱の中身の候補が有限集合Sでも、無限列S^Nの尻尾同値類はS^Nで非可算無限！とドヤる自爆大阪人 ID:8ZQ5lxgO
356:１３２人目の素数さん
24/02/14 18:38:48.39 8ZQ5lxgO.net
箱の中身の候補が有限集合Sで
だれかが、ｋ面サイコロと言っていたが
ｋは、任意の２以上の自然数を取れるよね？
ｋは、上限が無いという意味で無限（可算無限）
ｋが、２からｋ→∞ のとき ｋに依存性なく 的中確率99/100が出せる？ 素晴らしい！！ｗｗｗ
で、お説の”箱の中身の候補が有限集合Sで可算無限”と宣う 基礎論パーさん
どぞ、『的中確率99/100 を ”箱の中身の候補が有限集合Sで可算無限”使って導け！』よ
がんばれ、基礎論パーさんｗｗｗ
（”箱の中身の候補が有限集合Sで可算無限”と全く無関係と思うのは、私 大阪難波の沈没幽霊船船長だけかい？ｗ）
357:１３２人目の素数さん
24/02/14 20:17:20.85 TCvAASJz.net
>>327
ID:8ZQ5lxgOは、なんで
「箱の中身の候補が有限の場合の１つの同値類集合の濃度」
を尋ねられてるかわかってないね
自然数各ｎについて、決定番号ｎの列は有限個
同値類全体は集合は有限個の可算和なんだから
非可算になるわけがないだろ
大阪難波の難破船の船長とはよくいったもんだ
358:１３２人目の素数さん
24/02/14 20:18:55.16 TCvAASJz.net
>>328
誤 同値類全体は集合は有限個の可算和なんだから
正 同値類全体の集合は有限個の可算和なんだから
359:１３２人目の素数さん
24/02/14 21:59:53.76 q8j05Y6w.net
>>327
>>300の回答は未だですかね
早く答えてもらえませんか？
あなたは「
360:当たりっこない」と思ってるんですよね？なら簡単に示せるはずですよね？
361:１３２人目の素数さん
24/02/14 23:51:57.90 IokDU4Hd.net
>>328-329
>自然数各ｎについて、決定番号ｎの列は有限個
>同値類全体は集合は有限個の可算和なんだから
>非可算になるわけがないだろ
・>>321より
”有限小数の集合は可算です
↓
ところが、時枝「箱入り無数目」の箱には
任意実数r∈Rが入るので、非可算です”
と書いたのに、読めてないね、お主はｗｗｗ
・いま、簡単に有限で箱3つに 任意実数r∈Rを入れる
r1,r2,r3 としよう
しっぽは、r3だ
だから、数列r1,r2,r3=π(円周率) と 数列r1,r2,r3=e (自然対数の底)と
この二つの数列は、しっぽ同値ではない
つまり、r3には任意の異なる実数が入り、同値類の集合の濃度はRと同じで、非可算だ
・一方、r1,r2,r3=π(円周率) について
しっぽ r3=π(円周率)を固定すると
r1,r2 には任意の実数r∈Rが入るので ２次元ユークリッド空間と見ることが出来る
即ち、R^2で集合の濃度は非可算
なんだかな
これ、中高一貫の高校生でも分かる話だよ
どっかの数学科修士卒だって？ 大丈夫か？
362:１３２人目の素数さん
24/02/15 05:51:54.61 /+tDeogO.net
>>331
>有限小数の集合は可算です
> ↓
>ところが、時枝「箱入り無数目」の箱には任意実数r∈Rが入るので、非可算です
箱の中身の候補全体が有限集合Sの場合に限定しているので、
限定外の場合を持ち出しても無意味な
>と書いたのに、読めてないね、お主は
他人の文章の前提を削除した上で
否定した場合のこと書くのは無意味な
君、人としての倫理、ないだろ
363:１３２人目の素数さん
24/02/15 05:58:06.46 /+tDeogO.net
>>331
>いま、簡単に有限で箱3つに 任意実数r∈Rを入れる
>r1,r2,r3 としよう
長さ３の列って書こうな 日本語、書ける？
>しっぽは、r3だ
>だから、数列r1,r2,r3=π(円周率) と 数列r1,r2,r3=e (自然対数の底)と
>この二つの数列は、しっぽ同値ではない
別に箱の中身をRとしなくても{0,1}でも{1,2,3,4,5,6,}でも同じだろ 頭、大丈夫？
>つまり、r3には任意の異なる実数が入り、同値類の集合の濃度はRと同じで、非可算だ
それ「(１つの)同値類の集合の濃度」ではなく「類別の数」な
日本語 間違ってるぞ
さて、質問
列を可算長とする、
その場合の類別の集合はどれか
１．R
２．R^N
３．それ以外（具体的に記せ）
さっさと書けよゴルァ
364:１３２人目の素数さん
24/02/15 09:27:52.02 Ex0uJ/ss.net
0∈Sとする
有限列S^nの場合
S^n＝S^n/～×[O] (Oはすべての項が0の列、[O]はOの同値類）
S^n/～＝S [O]＝S^(n-1)
無限列S^Nの場合
S^N＝S^N/～×[O]
Q1. S^N/～はいかなる集合？
Q2．[O]はいかなる集合？
365:１３２人目の素数さん
24/02/15 10:17:11.69 /VWIjnQ+.net
論より証拠
論理より倫理
366:１３２人目の素数さん
24/02/15 10:21:00.72 sj8qH7fu.net
>>335 君でもいいよ >>334に答えてごらん
367:１３２人目の素数さん
24/02/15 10:57:12.43 h9PoCcmd.net
記号の意味がよく分からん。
率直に言って、何を言ってるのか分からない>>334
368:１３２人目の素数さん
24/02/15 11:12:39.42 7BrFpf3H.net
>>337
記号以前にそもそも尻尾同値が分かってないんじゃね？
>>181－183まず読め で、わからなかったら
「どこ」が「どう」分からんか質問してな
それが数学 あんた数学やったことないの？
369:１３２人目の素数さん
24/02/15 11:13:10.16 7BrFpf3H.net
>>337
記号以前にそもそも尻尾同値が分かってないんじゃね？
>>181-183まず読め で、わからなかったら
「どこ」が「どう」分からんか質問してな
それが数学 あんた数学やったことないの？
370:１３２人目の素数さん
24/02/15 11:26:26.58 FS2Ghl2l.net
基礎論パーは、手抜きでしばらく他人にお任せしますｗ
弥勒菩薩さまのご指導で、数学素人ですが ”定理、証明”の形にしてみます
まず、(参考)時枝記事>>212より
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
（なお下記では、記号や定義は上記の時枝記事に従う。また>>4-8ご参照）
定理Ａ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
このとき、決定番号nとなる確率は0
証明：決定番号nとは、可算無限長の２つの数列（問題の数列と、問題の数列に対するしっぽ同値類の代表数列）
で、n以降 n,n+1,n+2,・・・ の可算無限の箱の数が一致する場合であった
一つの箱の的中確率がp<1なので、n個の数の一致確率p^nであり、可算無限 n→∞ p^n→0となる
定理Ｂ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
「箱入り無数目」の決定番号n1,n2,・・たちの大小比較で導く、確率99/100ないし1-εは
条件付き確率であり、定理Ａの帰結「決定番号nとなる確率は0」より
最終的には、(99/100)・0＝0 ないし(1-ε)・0＝0 となる
証明：ほとんど自明だが
定理Ａより、決定番号nとなる確率は0であるから
確率0の条件下で得られた 確率99/100ないし1-εは
結局 (99/100)・0＝0 ないし(1-ε)・0＝0 となる
QED
以上
371:１３２人目の素数さん
24/02/15 11:26:49.66 YlN93sc3.net
>>335
屁理屈より証明
372:１３２人目の素数さん
24/02/15 11:28:25.26 h9PoCcmd.net
尻尾同値は分かってる。
数列において、途中からすべて一致するとき同値と言うわけでしょ。
しかし、この定義がしっくりくるのは無限列の場合で
有限列の場合は、いかにもナンセンスなことを考えてる感じがする。
たとえば、無限列の場合は
「高々有限個を除いて一致する」としても同値な定義になるが
有限列ではそうではない。
>>334で分からないのは、S^n/～×[O]とか。
×[O]って何？
373:１３２人目の素数さん
24/02/15 11:37:23.43 ZM+h7GAz.net
>>342
> ×[O]って何？
×は直積 [O]は、列Oが属する同値類の列全体の集合 かと
374:１３２人目の素数さん
24/02/15 11:41:31.76 ZM+h7GAz.net
>>340
>定理Ａ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
> このとき、決定番号nとなる確率は0
>証明：決定番号nとは、可算無限長の２つの数列（問題の数列と、問題の数列に対するしっぽ同値類の代表数列）
> で、n以降 n,n+1,n+2,・・・ の可算無限の箱の数が一致する場合であった
> 一つの箱の的中確率がp<1なので、n個の数の一致確率p^nであり、可算無限 n→∞ p^n→0となる
これ定理Aとして書かれた命題の証明になってないね
「可算無限長の２つの数列が、尻尾同値となる確率が0」って証明しただけかと
375:１３２人目の素数さん
24/02/15 11:44:17.22 ZM+h7GAz.net
>定理Ｂ：一つの箱の的中確率をp<1とし、可算無限個の箱はiid(独立同分布)とする
> 「箱入り無数目」の決定番号n1,n2,・・たちの大小比較で導く、確率99/100ないし1-εは
> 条件付き確率であり、定理Ａの帰結「決定番号nとなる確率は0」より
> 最終的には、(99/100)・0＝0 ないし(1-ε)・0＝0 となる
定理Aは誤りで、実際には「決定番号の定義から、決定番号が自然数となる確率１」なので
確率99/100ないし1-εは条件付き確率ではなく、確率0にはなりようがない
頭、大丈夫？
376:弥勒菩薩
24/02/15 11:52:06.05 YlN93sc3.net
>>340
俺はそんなことはいっていない
・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
・値がRの場合も同じように勝つ戦略は確率0か非可測になるあろうと予測
377:１３２人目の素数さん
24/02/15 11:53:31.69 YlN93sc3.net
基礎論ババアは同値類もわからない（爆笑）
378:１３２人目の素数さん
24/02/15 12:09:02.32 h9PoCcmd.net
>>343
OK.
379:１３２人目の素数さん
24/02/15 12:11:27.74 S8hOqy8C.net
>>346
>・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
「末尾事象」だという証明は？
380:１３２人目の素数さん
24/02/15 12:25:47.16 CQ4P3J8/.net
弥勒は壊滅的に頭悪いね
未だ全然分かってないじゃん
381:１３２人目の素数さん
24/02/15 12:27:19.21 YlN93sc3.net
>>349
過去スレに書いてある、そのうち書くかもしれない
382:１３２人目の素数さん
24/02/15 12:34:37.86 CQ4P3J8/.net
出たw
「過去スレに書いてある」←嘘w
「そのうち書くかもしれない」←絶対書かないw
383:１３２人目の素数さん
24/02/15 13:23:18.26 hMkchTfP.net
ｽﾚﾘﾝｸ(math板:572番)
> 0572弥勒菩薩
> 2023/10/21(土) 05:11:02.94ID:ljgKc6Do
>☆時枝記事のまとめ（訂正版）
>X=R^Nの尻尾同値類の族を{C(α)、α∈A}とする。
>選択公理から代表元{r(α、α∈A)}を決める。
>t∈Xの決定番号d(r(α)、t）は
>t∈C(α)のとき有限、
>それ以外の時は決まらない（∞）。
まったくの素人🐎🦌発言
{C(α)、α∈A}のAが不明
α∈Xの尻尾同値類をC(α)とする、ならわかるが
そうでないなら全く意味不明
それとも{C(α)・・・}で同値類を要素とする集合を表してるのか
384: その場合、 「選択公理から代表元{r(α、α∈A)}を決める。」が意味不明 各C(α)から、代表元r∈C(α)をとるなら分かるが なんで同値類を要素とする集合から”代表元”とるんだ？🐎🦌 で、極めつけはこれ 「t∈Xの決定番号d(r(α)、t）は t∈C(α)のとき有限、 それ以外の時は決まらない（∞）」 まず、d(t)でいいだろ なんでtが属さない同値類の代表元と比較するんだ？🐎🦌 こんなトンチンカンな勘違いで 「tとrが尻尾同値かどうかは末尾事象！ tとrが同値でなければ決定番号∞」 とかいってるんなら、高卒レベルの失笑発言
385:１３２人目の素数さん
24/02/15 13:29:28.64 L/kCMxsK.net
ｽﾚﾘﾝｸ(math板:584番)
> 0584弥勒菩薩
> 2023/10/21(土) 09:48:25.71ID:ljgKc6Do
> 572追加
>tとsは同値である<->d(t,s)が有限な値に決まる
>tとsは同値ではない<->d(t,s)が決まらない
最後の行が🐎🦌
>sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。
これ大嘘
どこでもいいからある箱を選び、そこから先（番号が大きくなる方向）の箱をすべて開ければいい
したがって、開けない箱を有限個残すことが可能
>これ(全部開ける)はルール違反でレッドカード。
実に初歩レベルの誤解
>よって、決定番号d(r(α),s)は決まらない（何度も指摘済み）。
何度指摘しても誤り
そもそもsの同値類の代表元r(s)が決まればいい
それは選択関数によって求められる
386:１３２人目の素数さん
24/02/15 13:34:49.47 L/kCMxsK.net
全部開けなくても、代表元が求まることは「箱入り無数目」に書いてある
ついでにいうと、D<dでも求まる
（ただ、この場合は開けなかった箱の中身に関する情報は得られないが）
>>182
何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう
387:１３２人目の素数さん
24/02/15 15:05:20.58 FS2Ghl2l.net
>>346
>・値が二値で等確率の場合、コルモゴロフの0-1法則で勝つ戦略は確率0
>・値がRの場合も同じように勝つ戦略は確率0か非可測になるあろうと予測
弥勒菩薩様、>>340のスレ主です
ご指導ありがとうございます
”コルモゴロフの0-1法則”は、寡聞にして知りませんでしたが
”確率 0”の事象があるということ、大変よく分かりました
なお、”値がRの場合”は 値が二値で等確率の場合よりも圧倒的に難しくなり
したがって、確率は当然下がりますから、二値の確率0より大きくはなりませんね（つまり0ですね）
”非可測”がどうかですね
(参考)再録>>25より
下記のコルモゴロフの0-1法則の確率0の場合と同様と思われる
（前スレの弥勒菩薩さまの説 ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
コルモゴロフの0-1法則（英: Kolmogorov's zero–one law）は、アンドレイ・コルモゴロフにちなんで名づけられた定理である。
この定理は、末尾事象（tail event）と呼ばれる特別な事象は、ほとんど確実に起きるか、あるいはほとんど確実に起きないかのどちらかであることを主張している。
つまり、このような事象が起きる確率は0か1かのどちらかであるということである。
末尾事象は、確率変数の無限列を用いて定義される。
X_{1},X_{2},X_{3},・・・
を独立な確率変数の無限列とする[注釈 1]。
略
388:１３２人目の素数さん
24/02/15 15:31:50.93 L/kCMxsK.net
>>356
ID:FS2Ghl2 も ID:YlN93sc3 も同値類の代表元の（選択公理による）選出と決定番号が分かってない
二人が「確率０の末尾事象」といってるのは、「結局2つの無限列が尻尾同値となること」でしかない
いかなる無限列も、当然どこかの同値類に類別される そしてその中には必ず一つの代表が存在する
無限列に対して自身が属する同値類の代表と比較すれば
必ず自然数ｎで表される
389:一致箇所の先頭が存在する（同値なんだから当たり前） それが決定番号である この初歩が二人とも分かってない だから決定番号をトンデモ定義して 「確率１で∞」とかトンデモ発言するわけである
390:１３２人目の素数さん
24/02/15 17:16:03.02 Yql9K+Mt.net
>>269
>>270
これっていつ論理式で書いてくれるんかね？
例えば、無限にあるだと∀と∃とか、ただひとつしかないだと∀と=みたいにイディオムが決まってるんだけど、箱を開けてないってのはどうやるんかね？
391:１３２人目の素数さん
24/02/15 17:45:32.22 FS2Ghl2l.net
>>358
>>>269
>>>270
>これっていつ論理式で書いてくれるんかね？
>例えば、無限にあるだと∀と∃とか、ただひとつしかないだと∀と=みたいにイディオムが決まってるんだけど、箱を開けてないってのはどうやるんかね？
>>340でスレ主です
ありがとうございます。
そこ、面白い指摘ですね、重要論点かも
論理式では、書けないのでスマンけど、私の解釈は
「問題の無限数列のしっぽの部分 D番目から先 D,D+1,D+2,・・の箱を開けて
属する同値類を知ったときに、属する同値類の代表列rを知って、決定番号dを知る
そのとき、『D>=d』となる保証が無い。というか、『D<d』つまり 一致のしっぽ部分はとっくのとうに終了しています
だから、数当てなど、夢のまた夢です」
となっているってことでは？
類似の趣旨が>>340です
(参考)
270１３２人目の素数さん
2024/02/12(月) 20:39:29.09ID:vqdMPIUf
>>269
論理式で書けるのそれ？
269１３２人目の素数さん
2024/02/12(月) 20:22:35.28ID:aIPiDkR2
>>268
「定理２」の文中の”上の注意”は、以下の文章
「何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.」
392:１３２人目の素数さん
24/02/15 17:52:56.46 YlN93sc3.net
これは証明できていない
「何らかの事情によりdが知らされていなくても，
あるD>=d についてsD+1， sD+2，sD+3，・・・が知らされたとするならば，
それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.」
393:１３２人目の素数さん
24/02/15 18:15:23.06 /+tDeogO.net
>>358-359
xの第n+1項以降の元が分かれば、
第1項から第n項まで0とし第n+1項以降がxと同じであるような列yを構成できる
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
もちろん、xとyは同値である
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
100個の列に関する決定番号をd(x1)~d(x100)
自列以外の99列の決定番号最大値をD(x1)~D(x100)
と表す
このとき D(xi)＜d(xi)となるiはたかだか１つである
394:１３２人目の素数さん
24/02/15 18:18:59.64 /+tDeogO.net
「箱入り無数目」の予想を行うに当たって
選んだ列の決定番号を知る必要はない
（というか当たる場合には決定番号は事前にわからない）
395:１３２人目の素数さん
24/02/15 18:22:56.07 /+tDeogO.net
>>360
>>361で証明した
つまり列xの同値類の代表列を得るのに列xまるごと知る必要はなく
列xのn＋1番目以降の項の情報から構成できる列yを使えば良い
まさかここでつまづいてるとは思わなんだ
396:１３２人目の素数さん
24/02/15 18:33:34.14 Yql9K+Mt.net
>>361
∀xを先頭に書いたら箱を開けてないって意味にならないって言ってるんだが
あと一部じゃなくてステートメント全体を論理式で書かないと意味ないでしょ
そう書いたときに∀xがどれだけ内側に入ったかでしか、箱を開けたかどうか定式化できないじゃん
もしくは箱を確率変数にして確率論を使うか
397:１３２人目の素数さん
24/02/15 20:19:03.74 YlN93sc3.net
>>364
ガロア理論と基礎論婆と議論しても無駄なことに気付いたかな
398:１３２人目の素数さん
24/02/15 20:48:37.86 snArf76e.net
>>364-365
弥勒菩薩さま、ID:Yql9K+Mtさん
>>340でスレ主でガロア理論です
フォローありがとうございます
>∀xを先頭に書いたら箱を開けてないって意味にならないって言ってるんだが
>あと一部じゃなくてステートメント全体を論理式で書かないと意味ないでしょ
>そう書いたときに∀xがどれだけ内側に入ったかでしか、箱を開けたかどうか定式化できないじゃん
>もしくは箱を確率変数にして確率論を使うか
なるほど
そういうコメントですか
なるほど なるほど
基礎論パー�
399:ﾆ、そのお連れさんが どう答えるか楽しみです
400:１３２人目の素数さん
24/02/15 20:56:39.35 /+tDeogO.net
>>365
>>360が証明できてないとかいう素人が何をいっても恥ずかしいだけ
正真正銘の馬鹿なのか？
401:１３２人目の素数さん
24/02/15 21:08:21.66 /+tDeogO.net
>>364 >>366 論理も分からん馬鹿素人が何いってんだか
列x1,…,x100は定数
自然数d(x1),…,d(x100)も定数
x1,…,x100から1列xkを選ぶとする
xkの中のDk=max(d(x1),…,d(xk-1),d(xk+1),…,d(x100))番目の箱を選ぶ
Dkの定義の中にd(xk)は入ってない したがってxkがわかる必要はない
xkのDk+1番目以降＆1番目~Dk番目まで0、の無限列ykから
その同値類の代表r(yk)が求まる
r(yk)=r(xk)だが、xkの1番目からDk番目までは使わない
したがって、r(xk)を得るのにxkの1番目からDk番目までがわかる必要はない
で、Dk>=dkなら、xk[Dk]=r(xk)[Dk]
ここで、自然数d1~d100について、
dk＞Dk(＝max(d(x1),…,d(xk-1),d(xk+1),…,d(x100)) )となるkはたかだか1つ
したがってそのようなDkを選ばない確率は1-1/100＝99/100
402:１３２人目の素数さん
24/02/15 21:31:07.93 Yql9K+Mt.net
>>368
論理がわかるんなら、まず証明したいことを論理式で書けるようになってよ
そこがスタート地点でしょ
403:１３２人目の素数さん
24/02/15 21:51:55.09 Yql9K+Mt.net
例えばさ、箱の中に正の整数が入ってます。あなたはそれを見ずに何か正の整数を宣言します。あなたの答が箱の中の数以下なら勝利です。必勝法はありますか？
という問題なら、∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
後者の命題は正の整数の代わりに整数にしても成り立つけど、明らかに整数では必勝法はない。
だから、箱の中を見てないと主張するには∀をなるべく内側に入れた命題を証明しないとだめなんじゃよ
404:１３２人目の素数さん
24/02/15 23:09:30.50 snArf76e.net
>>369-370
ご苦労さまです
スレ主です
余談ですが、基礎論バーこと おサル＝サイコパス(>>9)が
数学板に来たのは、2016年中頃だった記憶がありますが
そのときに、論理式 ∃x.∀y. が書けると、ブイブイと自慢して
そして 自分は数学科修士卒だと自慢していました
（面倒なので過去ログ発掘はしませんが）
"論理式 ∃x.∀y. が書ける"という自慢も
化けの皮が、ほとんど はがれてますねｗ
405:１３２人目の素数さん
24/02/15 23:14:43.44 YlN93sc3.net
>>371
基礎論婆は数学科でてないだろ。文系だろ、専門は国語ｗ
406:１３２人目の素数さん
24/02/15 23:51:41.54 snArf76e.net
>>368
>ここで、自然数d1~d100について、
>dk＞Dk(＝max(d(x1),…,d(xk-1),d(xk+1),…,d(x100)) )となるkはたかだか1つ
>したがってそのようなDkを選ばない確率は1-1/100＝99/100
こちらは 素人っぽく 反例構成をばｗ ；ｐ）
(参考)時枝記事>>212より再録
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
記号や定義は上記の時枝記事に従う。また>>4-8ご参照
いま、箱が5個のミニモデルから
実数列の集合 R^5を考える.
s = (s1，s2，s3 ，s4 ，s5)
しっぽ同値類は
s'=(s'1， s'2， s'3，s'4，s5) と書ける（5番目が同じ数）
s5が固定されているので、4次元ユークリッド空間を成すと考えられる
このとき、決定番号は（1以上）5以下だ
いま、決定番号が4以下の場合を考えると、
s''=(s''1， s''2， s''3，s4 ，s5) と書ける（4と5番目が同じ数）
3次元ユークリッド空間を成すと考えられる
つまり、しっぽ同値類全体は4次元ユークリッド空間を成し 決定番号は5以下（1以上）
一方、決定番号が4以下の場合は、3次元ユークリッド空間だ
だから、4次元ユークリッド空間中の3次元ユークリッド空間の体積0
4次元ユークリッド空間中の元を一つ選べば当然4次元の点であり、3次元に縮退する確率0
従って、決定番号は5の確率が1で、4以下の確率は0
さて、箱がn+1個として、n+1次元ユークリッド空間で
同値類では 決定番号n+1以下が、n次元ユークリッド空間を成し
決定番号n以下が、n-1次元ユークリッド空間�
407:ﾉなる なので、n次元ユークリッド空間中の元を一つ選べば当然n次元の点であり、n-1次元に縮退する確率0 従って、決定番号はn+1の確率が1で、n以下の確率は0 いま、n→∞ を考えると 無限次元ユークリッド空間 R^Nを考えることになり 上記のように、有限の決定番号の確率は0です これが、「箱入り無数目」の反例になります つまり、有限の決定番号を使って、確率99/100を導いても 有限の決定番号の確率は0なので、結局確率は0です！
408:１３２人目の素数さん
24/02/16 01:42:57.06 zAIUlMx6.net
>>373
あなたの発言
>決定番号の集合(Kとする)は、自然数Nと同様に可算無限集合であり、N＝Kである！ｗｗｗ
によると、いかなる実数列の決定番号も自然数です。
このことは同じくあなたの発言
>有限の決定番号の確率は0
と矛盾します
409:１３２人目の素数さん
24/02/16 04:31:13.84 jc9PxMHs.net
>>371
彼に示したい定理のステートメントを要求したら、>>264 が出てきたのにはほんとびっくりしたね
410:１３２人目の素数さん
24/02/16 05:59:53.86 vC1OiGnJ.net
>>370
>必勝法はありますか？
そもそも「必ず勝つ方法」とはいってないよ
勝率1－εで、ε＞0っていってるじゃん
理解してる？
>∃x.∀y. x≦y が成立するから必勝ですって誰でも答えられるでしょ
>これを、∀y. ∃x. x≦yが成立するから必勝ですって言ったらおかしいでしょ
「定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個」
これは認める？
もし認めるなら、
ｎ個の列の決定番号d(1)~d(n)に対して
自分以外のn-1個の決定番号の最大値をD(1)~D(n)と表すとき
任意の i∈{1,…,100}に対して、
d(i)＞D(i)となる i はたかだか一個で、
それ以外ではd(i)<=D(i)
そして、d(i)<=D(i)なら
列XiのD(i)+1番目以降の情報から得られた
列Xiの同値類代表r(Xi)に対して
以下の等式が成り立つ
Xi[D(i)]＝r(Xi)[D(i)]
したがって100列からランダムに1列選んだ場合
100列中99列では
Xi[D(i)]＝r(Xi)[D(i)]
となるから成功するので、成功確率は少なくとも99/100
箱の中身を見てるというなら、どこで見てるか指摘できないとダメ
高卒素人 ID:Yql9K+Mt君 の負けだよ
411:１３２人目の素数さん
24/02/16 06:08:44.97 vC1OiGnJ.net
>>373
>いま、n→∞ を考えると
>無限次元ユークリッド空間 R^Nを考えることになり
>上記のように、有限の決定番号の確率は0です
なんど繰り返しても、証明が間違ってるから無意味
君が示したのは
「無限列R^Nの中で、
412:例えば全部の項が0の無限列と尻尾同値な無限列全体の集合∪(n∈N)R^nの測度は0」 で？ それって 「無限列の決定番号は確率１で∞」 ってことにならないよ 君、もしかして、任意の無限列は尻尾同値だと思ってる？ まあ、さすがに違う！というだろうけど、 じゃあ、無限列でも有限列同様に 「最後の項だけが一致する尻尾同値列」 が存在すると思ってる？ 然り！と答えるとして、じゃあその最後の項って何番目 ∞番目 ∞って自然数？ もしそうだとして∞＜∞＋１となる∞＋１は存在しない？自然数じゃない？ それってペアノの公理に反するよね？ どうすんの？ だからさあ、有限列で成り立つことを、ｎ→∞とかいう「呪文」で 「無限列でも成り立つ」と絶叫するのは間違いなんだって いいかげん分かれよ 中卒素人 ID:snArf76e
413:１３２人目の素数さん
24/02/16 06:25:58.89 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
414:１３２人目の素数さん
24/02/16 06:26:58.37 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
415:１３２人目の素数さん
24/02/16 06:29:41.81 vC1OiGnJ.net
>>375
>>264の要は以下の２つの定理
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
416:１３２人目の素数さん
24/02/16 06:52:48.03 ZAvRf1nZ.net
ガロア理論と基礎論婆は割れ鍋に綴蓋
417:１３２人目の素数さん
24/02/16 07:28:14.84 TG+mPEy6.net
>>381
これは、弥勒菩薩さまか
亡者 基礎論パーをお救い下さい！
アーメン！
418:１３２人目の素数さん
24/02/16 07:50:21.79 vC1OiGnJ.net
>>381-382
ガロア失格と無禄の中卒高卒素人コンビ
そして私は大卒素人ｗ
419:１３２人目の素数さん
24/02/16 08:03:42.57
420: ID:TG+mPEy6.net
421:１３２人目の素数さん
24/02/16 08:09:40.27 vC1OiGnJ.net
>>384
>時枝さんは、確率99/100と言った後で
>勝率1－εでも勝てるという
>だから、99/100 ＜ 1－ε という趣旨ですね
>勝率1－εは、確率99％以上を意味する
1000列にすれば、999/1000以上にできる
n列の場合、確率1-1/n以上
任意のε>0に対して、1/n<εとなる自然数nが存在する
そういう意味 理解してなかったのかい？ 中卒素人君
422:１３２人目の素数さん
24/02/16 08:11:43.79 vC1OiGnJ.net
>>「定理A
>> 任意のｎ個の自然数n(1)~n(n)に対して
>・宝くじの当選番号は、自然数n
>・自然数の宝くじを全部買えば、宝くじ当たる
>これぞ、宝くじ必勝法
馬鹿丸出しｗ
自然数論の初歩である定理Aすら全く理解できんとは さすが中卒！
423:１３２人目の素数さん
24/02/16 11:10:32.73 SR9FGHcv.net
>>373 補足
１）反例構成は、反例を思いつけば、証明より簡単です
この反例構成は、時枝「箱入り無数目」の同値類の決定番号が、自然数Nとは異なる構造と分布を持つということを利用している
すなわち、決定番号は単純な自然数Nとは異なります
２）例えば、箱に0,1,2・・,9まで10通りの一桁の数を入れるとする
箱５つ列の集合 10^5を考える.
s = (s1，s2，s3 ，s4 ，s5)
全部で10^5通り
いま、決定番号5を考えると、s5はある数に固定されるから、10^4通り
決定番号4を考えると、s4 ，s5はある数に固定されるから、10^3通り
というふうに、決定番号が１違うと一桁違う
３）さて、箱n+1個の列の集合 10^(n+1)を考える.
s = (s1，s2，s3 ，s4 ，s5・・・,sn-1,sn,sn+1)
いま、決定番号5と決定番号6とを比較して、「6の方が大きいよ」と言ったとする
ところが、決定番号10と決定番号11と 上記の比較とは5桁違う、つまり10万倍ちがう話
さらに、決定番号100と決定番号101との比較の話とは90桁違う、つまり10^90倍ちがう話です
４）そして、箱に0,1,2・・,9まで10通りの一桁の数を入れてさえ、けた違いの話になるのです
>>373の反例構成は、決定番号が一つ違うと、次元が一つ違う話の例として示した
５）それを、しら～と 普通の自然数Ｎに話をすり替えているのが、時枝「箱入り無数目」で
”そこ、コマカシでしょ”というのが、>>373の反例構成です
なお、反例構成は一つで十分です。時枝「箱入り無数目」不成立です
424:１３２人目の素数さん
24/02/16 11:37:24.64 lVLdy8DY.net
前にいた数学科卒のメンバーは、記事前半の成立は
「自明」だと言ってたよ。レベルが落ちたね。
425:１３２人目の素数さん
24/02/16 11:38:17.23 ZAvRf1nZ.net
>>388
吐くように嘘をつく
426:１３２人目の素数さん
24/02/16 11:44:02.26 lVLdy8DY.net
>>381-382
セタにおだてられても嬉しくないミロク
（とはいえセタ以外に誉めるひとなし）と
味方設定しておだて上げ、敵にぶつけている手前
最後まで鉄砲玉として使ってやろうという
セタとの醜いやり取りｗ
427:１３２人目の素数さん
24/02/16 12:21:34.65 SR9FGHcv.net
>>388
>前にいた数学科卒のメンバーは、記事前半の成立は
>「自明」だと言ってたよ。レベルが落ちたね。
１）証明がない。「前にいた数学科卒のメンバー」？ その人の卒業証書を晒してくれるかな？ｗ
２）”「自明」だ”とか 笑えるよ。日本で大学確率論の教員レベルで、時枝「箱入り無数目」を支持する人皆無です！ｗ
３）レベルが落ちたのではなく、レベル上がっている
428:１３２人目の素数さん
24/02/16 12:27:56.57 PXdZ8CU3.net
>>387
反例という言葉の意味が分かってないようなので勉強しましょう
429:１３２人目の素数さん
24/02/16 12:34:48.74 PXdZ8CU3.net
>>388
>前にいた数学科卒のメンバーは、記事前半の成立は
>「自明」だと言ってたよ。
大学の教養過程を履修済みの人には自明だと思います。
分からない人は高卒以下でしょうね
430:１３２人目の素数さん
24/02/16 12:40:12.80 ZAvRf1nZ.net
自明、文章に書いてある通り、分からなければ国語のやり直し、と繰り返す基礎論婆、
431:素人丸出し
432:１３２人目の素数さん
24/02/16 12:49:11.43 PXdZ8CU3.net
>自明、文章に書いてある通り、分からなければ国語のやり直し
そうですね。
数学的には教養課程レベルの簡単な内容ですので国語としての読み間違いが無ければ簡単に理解できるはずです。
433:１３２人目の素数さん
24/02/16 12:52:08.43 PXdZ8CU3.net
反例の意味すら分かってない方も居られるようですが、そのような方は背伸びせず、高校数学から勉強し直すべきかと思います。
434:１３２人目の素数さん
24/02/16 13:32:18.06 SR9FGHcv.net
>>393
>>前にいた数学科卒のメンバーは、記事前半の成立は
>>「自明」だと言ってたよ。
>大学の教養過程を履修済みの人には自明だと思います。
>分からない人は高卒以下でしょうね
話は逆で
大学での”測度論による確率論”は
大学の教養課程で、集合や測度、それにルベーグ積分を習った後で
履修することが多い
大学の教養課程を習った程度で
同値類や商集合を習って舞い上がっていて
確率論はまだ
という中途半端が一番騙されやすいらしいね
(参考)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
確率論基礎 重川一郎 平成26年8月11日
435:１３２人目の素数さん
24/02/16 14:22:54.91 ZAvRf1nZ.net
記事の後半も自明なんだろｗｗｗ
436:１３２人目の素数さん
24/02/16 15:54:19.45 ZSRS28gb.net
>>397
個人的には同値類、商集合には等高線の幾何学イメージを持ってるので
定義域じゃなく値域での等高線の内部面積を横からスライスして足し上げるルベーグ積分、測度の視覚的イメージと矛盾しない。
商集合って字面は文字通り無差別曲線。
437:１３２人目の素数さん
24/02/16 16:08:16.08 vC1OiGnJ.net
>>388
>記事前半の成立は「自明」
具体的には以下の２つの定理の成立
特に肝心の確率の計算は、定理Aのみに基づく
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
定理B
任意の無限列xに対し
第1項から第n項まで0とし第n+1項以降がxと同じとなる
xと同値な列yが存在する
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
438:１３２人目の素数さん
24/02/16 16:19:31.11 vC1OiGnJ.net
>>387
>時枝「箱入り無数目」の同値類の決定番号が、
>自然数Nとは異なる構造と分布を持つ
もしかして、
「R^Nの決定番号で、Nに属さないものがある」
とかトンデモなこと言ってる？
そんなことあるわけないじゃん
R^Nって関数N→Rのことだよ
決定番号がNに属さなかったら
「決定番号が定義域の外にあるものがある」
っていってるのと同じじゃん
🐎🦌じゃんAHOじゃんタワケじゃん○違いじゃん
>反例構成は、反例を思いつけば、証明より簡単です
無限列ｘで、自身が属する同値類の代表r(x)との
一致箇所の先頭がどの自然数でもないものがあるって？
それ、そもそも無限列xと自身が属する同値類の代表r(x)が
同値じゃないってことじゃん 矛盾じゃん
アタマ大丈夫？
439:１３２人目の素数さん
24/02/16 16:28:40.64 PXdZ8CU3.net
ほらね
>>397みたいな高卒以下の人には無理でしょ？
そういう人は背伸びせずに高校数学から勉強し直すべきと言ってるのに頑固だね
440:１３２人目の素数さん
24/02/16 16:35:36.99 vC1OiGnJ.net
定理C
100列をx_1,…,x_100∈R^N
その決定番号をd(x_1),…,d(x_100)∈N
xiについて自列以外の99列の決定番号の最大値
max(d(x_1),…,d(x_i-1),d(x_i+1),…,d(x_100))
をD_iと表す
(以上のものは全て前提条件として与えられた定数)
このとき、定理Aにより
d(x_i)＞D_i となるiはたかだか一つであり
i≠jとなるjでは、d(x_j)＜＝D_jであるから、
定理Bによりxjの(D_j)+1番目以降の情報から得られたyjから
r(x_j)＝r(y_j)となるx_j(そしてy_j)の同値類の代表が得られ
x_j[D_j]＝r(x_j)[D_j] となる
441:１３２人目の素数さん
24/02/16 16:44:55.14 PXdZ8CU3.net
高卒の人は決定番号の分布から離れられない様子だけど無意味だよ。勝つ戦略は一切使ってないから。勝つ戦略を否定したいならまずどんな戦略かを理解しないとダメだよ。そのためには同値類と選択公理の知識が必要なので、まずは教養課程の数学まで履修しよう。
442:１３２人目の素数さん
24/02/16 16:45:13.49 vC1OiGnJ.net
>>402
ID:SR9FGHcv 君の最高到達地点
・三角関数の加法定理
・ド＝モアブルの定理
・オイラーの公式
・オイラーの等式
一方、以下は未踏である
・?1/z dz=2πi
・留数定理
・�
443:ﾎ角の公式 ・指数層系列 要するに、 高校３年レベルくらいのことは分かるが 大学２年レベルのことは全く分からん だからマセマの本で勉強しろと言ってるだろ
444:１３２人目の素数さん
24/02/16 16:48:08.52 ZAvRf1nZ.net
自演始めたｗ
445:１３２人目の素数さん
24/02/16 16:48:12.50 vC1OiGnJ.net
>>405
誤 偏角の公式
正 偏角の原理
446:１３２人目の素数さん
24/02/16 17:04:47.54 ZAvRf1nZ.net
ブルーバックスで数学勉強したのかｗ
447:１３２人目の素数さん
24/02/16 17:07:06.77 vC1OiGnJ.net
>>408 自白？
448:１３２人目の素数さん
24/02/16 17:17:27.06 jc9PxMHs.net
>>380
だから任意の無限列xを一番最初に量化したらすべてが台無しだって言ってんだよ
そこがゲームの攻略を∀と∃で定式化するときのキモだろ
449:１３２人目の素数さん
24/02/16 17:29:49.10 vC1OiGnJ.net
>>410 馬鹿反応
ここは関数の定義
これを台無しというのは数学を全く知らぬ馬鹿
＞∀と∃で定式化
論理をいっちょかみしただけでイキる高卒素人の馬鹿発言
450:１３２人目の素数さん
24/02/16 17:31:26.13 vC1OiGnJ.net
>>403
ほれ、定理Cで∀はなくなったぞ
高卒素人の貴様の完全敗北
451:１３２人目の素数さん
24/02/16 17:32:10.76 jc9PxMHs.net
>>411
あとね、部分的に使う定理のステートメントじゃなくてね、主定理のステートメントを書かないとだめだよ
452:１３２人目の素数さん
24/02/16 17:33:21.73 jc9PxMHs.net
>>412
まずステートメントと証明にはっきりわけて
453:１３２人目の素数さん
24/02/16 17:36:04.53 jc9PxMHs.net
>>412
それからね、自由変数を使うのは外に∀があるのと同じだからね
記号論理学で学んでるはずだよね
454:１３２人目の素数さん
24/02/16 17:39:56.98 vC1OiGnJ.net
>>413－415 定理Cが示された後では高卒素人の貴様の完全な負け 残念だったな
455:１３２人目の素数さん
24/02/16 17:43:11.14 vC1OiGnJ.net
>>414
＞ステートメントと証明にはっきりわけて
>>403の中から「定理Aにより」「定理Bにより」を除けばステートメント
そんなことも読み取れんか？ 高卒素人は
456:１３２人目の素数さん
24/02/16 17:44:53.82 vC1OiGnJ.net
定理C
100列をx_1,…,x_100∈R^N
その決定番号をd(x_1),…,d(x_100)∈N
xiについて自列以外の99列の決定番号の最大値
max(d(x_1),…,d(x_i-1),d(x_i+1),…,d(x_100))
をD_iと表す
(以上のものは全て前提条件として与えられた定数)
このとき、d(x_i)＞D_i となるiはたかだか一つであり
i≠jとなるjでは、d(x_j)＜＝D_jであるから、
xjの(D_j)+1番目以降の情報から得られたyjから
r(x_j)＝r(y_j)となるx_j(そしてy_j)の同値類の代表が得られ
x_j[D_j]＝r(x_j)[D_j]
457:１３２人目の素数さん
24/02/16 17:49:46.76 vC1OiGnJ.net
そもそも∀ｘ＝自由変数が、すべて確率変数だという
ID:jc9PxMHs の発言が嘘であり馬鹿
いつどこでだれがそんな嘘ついた？いうてみ？高卒素人
458:１３２人目の素数さん
24/02/16 17:51:19.69 vC1OiGnJ.net
高卒素人の馬鹿が確率論の本に全く書いてない嘘を平然というのがみっともない
459:１３２人目の素数さん
24/02/16 17:52:13.31 jc9PxMHs.net
>>417
君、定理のステートメントってどの部分か知ってる？
460:１３２人目の素数さん
24/02/16 17:53:47.22 vC1OiGnJ.net
>>421
君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？
461:１３２人目の素数さん
24/02/16 17:54:39.14 vC1OiGnJ.net
∀と∃とか論理いっちょかみの馬鹿発言するトンデモに数学は無理
462:１３２人目の素数さん
24/02/16 17:59:13.75 jc9PxMHs.net
>>422
自由変数=確率変数ってなに？
463:１３２人目の素数さん
24/02/16 18:07:55.38 SR9FGHcv.net
>>418
横レス失礼
・時枝記事（下記）を、単に自分の記号を使って単純に書き直しただけでは？
(参考)時枝記事>>212より再録
URLﾘﾝｸ(imgur.com)
数学セミナー201511月号「箱入り無数目」
・数学的には、ナンセンスのきわみだと思うよｗ
464:１３２人目の素数さん
24/02/16 18:11:01.30 SR9FGHcv.net
>>424
>>>422
>自由変数=確率変数ってなに？
横レス失礼
思わずくすりと 笑ってしまった
いやはや、”自由変数=確率変数”とは楽しいお方だ
まさに基礎論パーｗ
465:１３２人目の素数さん
24/02/16 18:16:29.67 vC1OiGnJ.net
>>424
>自由変数=確率変数ってなに？
ID:jc9PxMHs がそう言い出したんだが？ ∀xと書いたらｘは確率変数だとｗ
>>426
>”自由変数=確率変数”とは楽しいお方だ
聞いたか、ID:jc9PxMHs 君、楽しいお方だってさ
基礎論パー、論理パーは、ID:jc9PxMHs 君のことだったかｗ
466:１３２人目の素数さん
24/02/16 18:18:35.88 vC1OiGnJ.net
中卒素人 ID:SR9FGHcv と
高卒素人 ID:jc9PxMHs が
死ぬまで理解できない定理↓
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
n(i)＞N(i)となる自然数N(i)はたかだか一個
467:１３２人目の素数さん
24/02/16 18:19:22.12 jc9PxMHs.net
>>427
わいがそんなことどこで言ったんだ？
468:１３２人目の素数さん
24/02/16 18:23:05.88 vC1OiGnJ.net
>>428 の定理Aから確率が計算できる、と言うためには
無限列x1,…,x100が定数（つまりいちいち変更しない）で無くてはならない
それはx1,…,x100�
469:ﾉ∀がつかないとか、自由変数でないとか 具体的に全部の項を書き切るとかいう意味ではない
470:１３２人目の素数さん
24/02/16 18:24:33.35 jc9PxMHs.net
>>430
定数と自由変数は基本同じだぞ
471:１３２人目の素数さん
24/02/16 18:29:05.91 vC1OiGnJ.net
>>429
239 241 244 ID:vqdMPIUf
358 364 370 ID:Yql9K+Mt
410 415 ID:jc9PxMHs
そもそも、どういうつもりで∀ｘガーといったんだ？
真っ先に∀ｘと書いたらそれだけでｘが確率変数だと
貴様がわけもわからず脊髄反射したんだろ この高卒素人がｗ
472:１３２人目の素数さん
24/02/16 18:31:18.93 jc9PxMHs.net
>>432
どこでそんなこと言ったの？
言ってる意味がわからん
473:１３２人目の素数さん
24/02/16 18:32:37.25 vC1OiGnJ.net
>>431
>定数と自由変数は基本同じだぞ
>>415
>自由変数を使うのは外に∀があるのと同じだからね
どっちだよｗ 矛盾してるだろｗ
474:１３２人目の素数さん
24/02/16 18:32:51.88 jc9PxMHs.net
>>432
∀xを内側に入れないと駄目な理由は
>>370 に分かりやすく書いたでしょ
475:１３２人目の素数さん
24/02/16 18:33:49.32 jc9PxMHs.net
>>434
どっちも同じだろ何いってんだお前は
476:１３２人目の素数さん
24/02/16 18:36:11.06 vC1OiGnJ.net
>>432
370は、貴様が確率変数＝変数と脊髄反射した結果の馬鹿発言だろ さすが高卒素人
477:１３２人目の素数さん
24/02/16 18:36:51.51 jc9PxMHs.net
>>437
それどこを読めば書いてあるの？
478:１３２人目の素数さん
24/02/16 18:37:45.48 vC1OiGnJ.net
>>436 お前の中では∀ｘ＝∃ｘなんか さすが高卒素人！ 論理パー
479:１３２人目の素数さん
24/02/16 18:38:59.43 jc9PxMHs.net
>>439
誰がどこでそんなこと言ったの？
480:１３２人目の素数さん
24/02/16 18:44:30.06 vC1OiGnJ.net
>>440
>>415 >自由変数を使うのは外に∀があるのと同じだからね
>>431 >定数と自由変数は基本同じだぞ
>>436 >どっちも同じだろ
481:１３２人目の素数さん
24/02/16 18:45:12.76 jc9PxMHs.net
今は自由変数の話をしてるんだよ
自由変数ってのは定数みたいなもので、外側に∀をつけて束縛したのとだいたい同じだよ
∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…
482:１３２人目の素数さん
24/02/16 18:46:01.52 jc9PxMHs.net
>>441
∃xはどこから？？？
あと自由変数の話をしてるんですけど…
483:１３２人目の素数さん
24/02/16 19:12:54.42 PXdZ8CU3.net
弥勒とかいう馬鹿は文句ばっか垂れて自分では何もやらんな。自分で定理と証明を書いてみろ。お前の脳は何のためにあるんだ？
484:１３２人目の素数さん
24/02/16 19:14:07.49 PXdZ8CU3.net
まあ馬鹿だからどうせ書けんだろうけど
485:１３２人目の素数さん
24/02/16 19:49:34.16 vC1OiGnJ.net
>>442
>∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…
それ「定数みたいなもの」じゃないじゃん 高卒素人論理パー
486:１３２人目の素数さん
24/02/16 19:51:04.51 vC1OiGnJ.net
ミロクとかいう高卒素人は、結局 定理Aが理解できない
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
487:１３２人目の素数さん
24/02/16 19:52:18.15 vC1OiGnJ.net
もっとも 中卒馬鹿は そもそも決定番号が必ず自然数の値をとることすら理解できんが
488:１３２人目の素数さん
24/02/16 19:55:25.63 PXdZ8CU3.net
定理Aが理解できないんじゃ箱入り無数目は無理
弥勒って頭悪いね
489:１３２人目の素数さん
24/02/16 19:59:17.06 jc9PxMHs.net
>>446
どう定数じゃないの？
君の言う定数の定義はなんなの？
こっちは自由変数のことを定数って呼んでんだよ
円周率とかπだって自由変数じゃん
490:１３２人目の素数さん
24/02/16 20:01:13.01 PXdZ8CU3.net
>>448
それを理解するには最低限同値類と選択公理の知識が必要。大学数学を学んだこと無いど素人が分不相応なスレに迷い込んだのだろう
491:１３２人目の素数さん
24/02/16 20:12:00.34 vC1OiGnJ.net
>>450
＞こっちは自由変数のことを定数って呼んでんだよ
＞円周率とかπだって自由変数じゃん
論理パーの三歳児的言い訳
492:１３２人目の素数さん
24/02/16 20:13:42.12 ZAvRf1nZ.net
>>444
証明するのは基礎論婆だ、俺は証明不成立といってるだけだｗ
493:１３２人目の素数さん
24/02/16 20:16:37.81 vC1OiGnJ.net
>>453
＞俺は証明不成立といってるだけだ
定理Aが？
定理A
任意のｎ個の自然数n(1)~n(n)に対して
自分以外のn-1個の自然数の最大値をN(1)~N(n)と表す
N(i)<n(i)となる自然数N(i)はたかだか一個
494:１３２人目の素数さん
24/02/16 20:17:18.73 ZAvRf1nZ.net
>>444
俺の主張は過去ログに書いてあるよ
495:１３２人目の素数さん
24/02/16 20:20:25.63 vC1OiGnJ.net
>>455
自分の主張も怖くて書けない高卒素人
496:１３２人目の素数さん
24/02/16 20:24:17.69 vC1OiGnJ.net
＞tとsは同値ではない<->d(t,s)が決まらない
この一行だけで、弥勒とかいう奴が
決定番号すら理解できない
正真正銘の白痴であることがわかる
497:１３２人目の素数さん
24/02/16 20:26:04.52 vC1OiGnJ.net
決定番号に引数は2つ
498:要らない 一つでいい なぜなら無限列xからその同値類の代表を求める選択関数があるから ああ、こいつ、選択公理が理解できない白痴なのか！ そりゃ大学入れないわけだ！
499:１３２人目の素数さん
24/02/16 20:29:58.07 vC1OiGnJ.net
無限列xから、その尻尾同値類の代表への関数rがあれば
無限列xから、決定番号への関数dは
2つの無限列x,yの尻尾一致箇所の先頭を求める関数diff(x,y)を使って
diff(x,r(x))と表せる
このときdiff(x,r(x))は必ず自然数の値をとる
なぜならxとr(x)は尻尾同値だから
500:１３２人目の素数さん
24/02/16 20:34:40.65 vC1OiGnJ.net
中卒素人１や高卒素人モーロクが、決定番号関数d(x)=diff(x,r(x))を理解できないのは
そもそもxからその尻尾同値類の代表をとる関数r(x)が理解できないから
r(x)は選択公理によって存在が示される関数だから
具体的な手続きが与えられてるわけじゃない
中学高校で「ボクちゃん数学の天才」と自惚れきってるド田舎秀才は
関数は具体的な手続きが決まっているものと勝手に思い込んでいる
だから選択公理で存在が示されてるだけの関数が理解できず
なんか誤魔化そうとして結局おかしな勘違いをしてしまう
精神が不自由な（つまり○っている）証拠
501:１３２人目の素数さん
24/02/16 20:41:02.00 jc9PxMHs.net
>>452
こいつは確率論の標準的な話だけでなく、記号論理学もわかんないのかよ
一体何ならわかるんだ？
502:１３２人目の素数さん
24/02/16 20:48:41.10 vC1OiGnJ.net
>>461 こいつ＝ID:jc9PxMHs なんだ大学に入れない高卒素人の自虐か
503:弥勒菩薩
24/02/16 20:52:46.11 ZAvRf1nZ.net
572 ：弥勒菩薩[sage]：2023/10/21(土) 05:11:02.94 ID:ljgKc6Do
☆時枝記事のまとめ（訂正版）
X=R^Nの尻尾同値類の族を{C(α)、α∈A}とする。
選択公理から代表元{r(α)、α∈A)}を決める。
t∈Xの決定番号d(r(α)、t）はt∈C(α)のとき有限、それ以外の時は決まらない（∞）。
tとsは同値である<->d(t,s)が有限な値に決まる
tとsは同値ではない<->d(t,s)が決まらない
sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。これはルール違反でレッドカード。
よって、決定番号d(r(α),s)は決まらない（何度も指摘済み）。
504:１３２人目の素数さん
24/02/16 20:54:15.33 jc9PxMHs.net
>>462
素人はお前だろ
505:１３２人目の素数さん
24/02/16 20:55:22.32 jc9PxMHs.net
定理のステートメントが分からないってのは素人以下だわ
素人に失礼なこと言った
506:１３２人目の素数さん
24/02/16 21:02:52.68 TG+mPEy6.net
>>427
サイコパスのおサルさん、ご苦労さまです >>426で スレ主です
>>自由変数=確率変数ってなに？
>ID:jc9PxMHs がそう言い出したんだが？ ∀xと書いたらｘは確率変数だとｗ
いやいや、そうじゃないだろ？ｗ
>>422 より あなた
君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？
>>424 より ID:jc9PxMHs氏
自由変数=確率変数ってなに？
だったよね？
最初に言ったのは、あなたで
『君、自由変数＝確率変数、という嘘、どの確率論の本で見たん？ いうてみ？』
でしょ？ｗ
何を誤魔化そうとしているの？ｗｗｗ
507:１３２人目の素数さん
24/02/16 21:09:55.20 TG+mPEy6.net
>>461
>こいつは確率論の標準的な話だけでなく、記号論理学もわかんないのかよ
>一体何ならわかるんだ？
ご苦労さまです >>426で スレ主です
・確かに、彼は確率論はあんまり分かってないみたい
彼の口から確率論の話が出た ためしがない
・記号論理学がわからんのか？
彼は、基礎論を自慢していたけどねｗ
まあ
口だけは、達者ですが