スレタイ箱入り無数目を語る部屋31(あほ二人の”アナグマの姿焼き"Part5ｗ)

前スレが1000近く又は1000超えになったので、新スレを立てる
(”ヘンテコスレ”が別にあります https://rio2016.5ch.io/test/read.cgi/math/1711570726/ 箱入り無数目を語る部屋19 )

https://rio2016.5ch.io/test/read.cgi/math/1778894782/
前スレ スレタイ箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part4ｗ)

(参考)時枝記事
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

数学セミナー201511月号「箱入り無数目」
https://rio2016.5ch.io/test/read.cgi/math/1620904362/401-406 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列s に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd (実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

つづく

つづき

３．
問題に戻り，閉じた箱を100列に並べる.
箱の中身は私たちに知らされていないが， とにかく第l列の箱たち，第2列の箱たち第100 列の箱たちは100本の実数列s^1,s^2，・・・，s^100を成す(肩に乗せたのは指数ではなく添字).
これらの列はおのおの決定番号をもつ.
さて， 1〜100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
　第1列〜第(k-1) 列，第(k+1)列〜第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1〜s^(k-l),s^(k+l)〜s^100の決定番号のうちの最大値Dを書き下す.
　いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.いま
　D >= d(s^k)
を仮定しよう.この仮定が正しい確率は99/100，そして仮定が正しいばあい，上の注意によってs^k(d)が決められるのであった.
おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
(代表)列r のD番目の実数rDを見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字

さらに、数学セミナー201511月号P37 時枝記事に、次の一文がある
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/〜 の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」

さらに、過去スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」

つづく

つづき

＜(類似)吉田大学 札つきの定理＞
https://www.bookshop-ps.com/bsp/bsp_magcode?sha=1&sho=0779903125
BOOK 月刊ｆｌｏｗｅｒｓ 3月号（発売日: 2025/01/28）
［数字であそぼ。］　絹田村子　第７６話　札つきの定理 39
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%97%E3%81%A7%E3%81%82%E3%81%9D%E3%81%BC%E3%80%82
『数字であそぼ。』
作品は京都大学数学科出身者に取材した内容を元にしており
ストーリーは先にシチュエーションを考え、数学科出身の人に数学ネタをどう絡められるか意見を聞きながら組み立てている[5][9]。逆に数学のネタが最初にあり、そこからストーリーにしている話もある[5]。

https://imgur.com/YBM7QSE
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 1 P40 251220.jpg
https://imgur.com/gl39oJc
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 2 P42 251220.jpg
https://imgur.com/1E6b4P9
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 3 P60 251220.jpg
・(可算)無限個のサイコロが振られ隠されている
・２列に並べる
次にサイコロの目の並び{1,2,3,4,5,6}^Nに
有限個の違いを無視する同値関係を入れる
そしてその各同値類について代表元を選んでおく（選択公理により可能）
・１列目のサイコロの目を確認し
それが属する同値類の代表元と
１列目が一致し始めるのがn1個目とする *)
２列目についてその代表元が一致し始めるのが
n2番目とすると、
対称性からn1<n2となる確率は1/2以下
・2列目のn1個目をのぞくサイコロの目を確認し
それが属する同値類の代表元のn1個目の目と
2列目のn1個目のサイコロの目が
一致する確率は1/2以上
（ *)注：ｎ(1)→n1 ｎ(2)→n2 と略記した）

https://imgur.com/njEDHkd
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 4 P62 251220.jpg
https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
・この問題の方法は成り立たない
・n1,n2は確率変数になっていないから
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
・”ランダムに選んだ自然数のどちらが大きいか”みたいな話に結局なっちゃう
・なるほどな 確かにそうだよな！
(引用終り)

＜余録＞
第76話の最後から第77話への部分下記
https://imgur.com/sYOVZhR
吉田大学 第76話 札付きの定理 小学館 絹田村子の 9 P72 251220

つづく

sage

つづき

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis
（Denis質問）
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.
（Pruss氏）
The probabilistic reasoning depends on a conglomerability assumption, ・・・and we have no reason to think that the conglomerability assumption is appropriate.
（Huynh氏）
If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.

mathoverflowは時枝類似で
・Denis質問でも、もともと”but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
　Denisの経歴で、彼は欧州の研究所勤務で、other peopleは研究所の確率に詳しいらしい
・Pruss氏とHuynh氏とは、経歴を見ると、数学DRです。両者とも、このパズル（＝riddle）は、可測性が保証されていないと回答しています

なお ”試しに"Alex Pruss Conglomerability"で検索した結果 Alexander Pruss本人のBlogが見つかった”スレ25 414-415
https://alexanderpruss.blogspot.com/2024/09/independence-conglomerability.html
Alexander Pruss's Blog September 11, 2024
Independence conglomerability
Conglomerability says that if you have an event E and a partition {Ri : i ∈ I} of the probability space, then if P(E∣Ri) ≥ λ for all i, we likewise have P(E) ≥ λ.
Conglomerabilityとは、ある事象Eと確率空間の分割{Ri:i∈I} があるとき、
すべてのi に対してP(E∣Ri) ≥λならば、同様にP(E) ≥λ が成り立つというものである。
Example: I am going to uniformly randomly choose a positive integer (using a countably infinite fair lottery, assuming for the sake of argument such is possible). For each positive integer n, you have a game available to you: the game is one you win if n is no less than the number I am going to pick. You despair: there is no way for you to have any chance to win, because whatever positive integer n you choose, I am infinitely more likely to get a number bigger than n than a number less than or equal to n, so the chance of you winning is zero or infinitesimal regardless which game you pick.

つづく

つづき
But then you have a brilliant idea. If instead of you choosing a specific number, you independently uniformly choose a positive integer n, the probability of you winning will be at least 1/2 by symmetry. Thus a situation with two independent countably infinite fair lotteries and a symmetry constraint that probabilities don’t change when you swap the lotteries with each other violates independence conglomerability.

なお、検索 a countably infinite fair lottery で、下記ヒット ノンスタ使って、うんぬんかんぬん。でも、”1/2 by symmetry”は出てこなかったので ダメみたいですね
https://philarchive.org/archive/WENFIL
Synthese DOI 10.1007/s11229-010-9836-x
Fair infinite lotteries Sylvia Wenmackers · Leon Horsten
Received: 2 September 2010 / Accepted: 14 October 2010 ©TheAuthor(s) 2010. This article is published with open access at Springerlink.com
Abstract
This article discusses how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. Techniques and ideas from non-standard analysis are brought to bear on the problem.

(参考)
http://www.ma.huji.ac.il/hart/
Sergiu Hart
http://www.ma.huji.ac.il/hart/#puzzle
Some nice puzzles:
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Choice Games November 4, 2013
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.

Sergiu Hart氏は、ちゃんと”シャレ”が分かっている（関西人かもｗ）
Some nice puzzles Choice Games と、”おちゃらけ”であることを示している
かつ、”P2 Remark.”で当てられないと暗示している
また、”A similar result, but now without using the Axiom of Choice.GAME2”
で、選択公理なしで同じことが成り立つから、”選択公理”は、単なる目くらましってことも暗示している

つづく

つづき
<時系列>
1)(最初はこれだろう。Sergiu Hartの文書から)
http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
Written by mkoconnor August 23, 2008
About：my name is Michael O’Connor. I received my Ph.D. in mathematics from Cornell in August 2008.

2)>>6
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games November 4, 2013 Sergiu Hart http://www.ma.huji.ac.il/hart/
注記：Source unknown. I heard it from Benjy Weiss, who heard it from ..., who heard it from ... . For a related problem, see http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
P2：Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0,1] and {0,1,...,9}, respectively.
とあり、コルモゴロフ拡張定理により Choice Games がトリックであることを示唆している

3)>>5
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 Denis
” I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N−1}, but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
注記
https://mathoverflow.net/users/21059/denis
Denis ENS Lyon, Lyon, France http://perso.ens-lyon.fr/denis.kuperberg
ENS：高等師範学校 (パリ) https://ja.wikipedia.org/wiki/%E9%AB%98%E7%AD%89%E5%B8%AB%E7%AF%84%E5%AD%A6%E6%A0%A1_(%E3%83%91%E3%83%AA)
(たぶんENSの)”other people”は、”argue it's not ok”

4)>>1
https://imgur.com/uMqtRwr
時枝 箱入り無数目(数学セミナー201511月号)前
https://imgur.com/YAdz2Mz
時枝 箱入り無数目(数学セミナー201511月号)後
注)
”この問題は Peter Winkler氏との茶のみ話がてら耳にした.氏は原型をルーマニアあたりから仕入れたらしい”と
また
”本記事の目的は，確率99% で勝てそうな戦略を供することにある”
(『勝てそうな』としているところにご注目。『勝てる戦略』ではない！ｗ)

5)>>4
数字であそぼ第76話 札付きの定理 小学館絹田村子
https://imgur.com/1E6b4P9
https://imgur.com/wHI3DZv
https://imgur.com/iR4UNuV

https://www.bookshop-ps.com/bsp/bsp_magcode?sha=1&sho=0779903125
BOOK 月刊flowers3月号(2025/01/28)
［数字であそぼ］札つきの定理
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%97%E3%81%A7%E3%81%82%E3%81%9D%E3%81%BC%E3%80%82
作品は京都大学数学科出身者に取材した内容を元にしており
ストーリーは先にシチュエーションを考え、数学科出身の人に数学ネタをどう絡められるか意見を聞きながら組み立てている[5][9]。逆に数学のネタが最初にあり、そこからストーリーにしている話もある
つづく

つづき

だめなのは、時枝記事だ。まあ、題名はおちゃらけだが、もっとはっきり、数学パズルとした方がよかったろう
非可測で、ヴィタリに言及しているのが、ミスリードだ
Hart氏の”A similar result, but now without using the Axiom of Choice.GAME2”のように、選択公理不使用のGAME2があるから、
ソロヴェイの定理（下記 wikipedia ご参照）から、ヴィタリのような非可測は否定される
conglomerabilityか、あるいは総和ないし積分が発散する非正規な分布により、可測性が保証されないと考えるべき
時枝氏は、確率変数の無限族の独立性が理解できていないのも痛いね

https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88
ヴィタリ集合
ヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。1970年にロバート・ソロヴェイ（英語版）は、到達不能基数の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような（選択公理を除いた）ツェルメロ・フレンケル集合論のモデルを構築した[2]。

https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデル
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。
ステートメント
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。 到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。
構成
ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル M から始める。
最初のステップでは M のレヴィ崩壊 M[G] を取る。
略
(引用終り)

つづく

つづき

（完全勝利宣言！ｗ）（＾＾
https://rio2016.5ch.io/test/read.cgi/math/1666352731/767 スレ4 (775の修正を追加済み)
>>701-702 補足説明
　>>760にも書いたが、
”　a)確率上、開けた箱と開けてない箱とは、扱いが違う”>>701
をベースに、時枝記事>>1のトリックを、うまく説明できると思う

１）いま、時枝記事のように
　問題の列を100列に並べる
　1〜100列 のいずれか、k列を選ぶ(1<=k<=100)
　k以外の列を開け、99列の決定番号の最大値をdmax99 とする
　k列は未開封なので、確率変数のままだ
　なので、k列の決定番号をXdkと書く
２）もし、Xdk<=dmax99 となれば、dmax99+1以降の箱を開けて
　k列の属する同値類を知り、代表列を知り、dmax99番目の箱の数を参照して
　その値を問題のk列の箱の数とすれば、勝てる
（∵決定番号の定義より、dmax99番目の箱は、問題のk列とその代表とで一致しているから）
３）しかし、決定番号は、
　自然数N同様に非正則分布>>13だから、これは言えない
　つまり、確率はP(Xdk<=dmax99)=0 とすべきだ
（非正則分布なので、上限なく発散しているので、dmax99<=Xdk となる場合が殆ど）
４）もし、決定番号が、[0,M]（Mは有限の正整数）の一様分布ならば
　dmax99が分かれば、例えば、
　0<=dmax99<=M/2 ならば、勝つ確率は1/2以下
　M/2<=dmax99<=M ならば、勝つ確率は1/2以上
　と推察できて
　それを繰り返せば、大数の法則で、P(Xdk<=dmax99)=99/100が言えるだろう
（注：dmax99は、100列中の99列の最大値なので、P(Xdk<=dmax99)=99/100が正しいだろう）
　しかし、非正則分布では、このような大数の法則は適用できない
５）人は無意識に、決定番号も正則分布のように錯覚して、トリックに嵌まるのです
　しかし、非正則分布では、大数の法則も使えない
　結局、時枝記事の99/100は、だましのトリックってことです

つづく

sage

つづき

さて、上記を補足します

１）いま、加算無限の箱が、iid 独立同分布 とします
　箱を、加算無限個の確立変数の族 X1,X2,・・Xi・・ として扱うのが
　現代の確率論の常套手段です
２）いま、サイコロ1〜6の数字を入れるならば、任意Xiの的中確率は1/6
　コイントス 0,1の数字を入れるならば、的中確率は1/2
　もし、区間[0,1]の実数を入れるならば、的中確率は0
　もちろん、時枝記事の通り任意実数r∈Rならば やはり、的中確率は0
　です
３）ところが、時枝記事では、確立変数の族 X1,X2,・・Xi・・ を100列に並べ替え
　数列のしっぽ同値類の類別と、類別の代表を使って、決定番号を決めて
　決定番号の大小比較から、ある箱Xjについて、的中確率99/100に改善できる
　と主張します
４）「そんなバカな！」というのが、上記の主張です

マジ基地は無視してさらに補足します

１）時枝記事の決定番号をdとすると、dは1から無限大(∞)までを渡ります
　このような場合、しばしば非正則分布（正則でない）を成します（下記）
２）非正則分布の場合、全体が無限大に発散して、平均値も無限大になり
　分散や標準偏差σなども、無限大に発散します
３）具体例として、テスト回数無限回の合計点で成績評価をする場合を考えます
　テスト回数が、１回、２回、・・n回、・・
　もし、テスト回数が有限なら 例えば100回で1回の満点100点として、総計10,000(1万)点ですが
　テスト回数が無限回ならば、毎回1点の人の総計も無限大(∞)に発散し
　毎回100点満点の人の総計も無限大に発散しまず
　試験の点の合計では、毎回1点の人も毎回100点も区別ができなくなります
　この合計については、平均は無限大、分散や標準偏差σなども無限大に発散します
４）ところで、時枝氏の数学セミナー201511月号の記事では
　このような非正則分布を成す決定番号を、あたかも平均値や分散・標準偏差σが有限である
　正則分布のように扱い、確率 99/100とします

これは、全くのデタラメでゴマカシです

(参考)
https://ai-trend.jp/basic-study/bayes/improper_prior/
AVILEN Inc. 2020
2020/04/14
非正則事前分布とは？〜完全なる無情報事前分布〜
ライター：古澤嘉啓
目次
1 非正則な分布とは？一様分布との比較
2 非正則分布は確率分布ではない！？
3 非正則事前分布は完全なる無情報事前分布
4 まとめ

https://www.math.kyoto-u.ac.jp/~ichiro/index_j.html
重川一郎
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎
Ｐ7
確率空間例サイコロ投げの場合
確率空間として次のものを準備すればよい．
Ω＝{1,2,・・・,6}^N∋ω＝{ω1,ω2,・・・}
ωnは1,2,・・・,6のいずれかで，n回目に出た目を表す．
確率はη1,η2,・・・ηnを与えて
P(ω1=η1,ω2=η2,・・・ωn=ηn)＝(1/6)^n
と定めればよい．これが実際にσ-加法的に拡張できることは明らかではないが，Kolmogorovの拡張定理と呼ばれる定理により証明できる．

つづく

つづき

https://rio2016.5ch.io/test/read.cgi/math/1710632805/536 スレ18
再録>>150より
　>・箱一つ、サイコロ一つの目を入れる。確率変数Xで扱う
　入れた目をx、賭ける目をyと書く
　xが確率変数ならばyに依存せず的中確率=1/6であるはず
　しかし実際には　x=yのとき的中確率=1　x≠yのとき的中確率=0
　よって矛盾
　よってxは確率変数でない
　一方、yをランダム選択した場合、yが確率変数である
　実際、この場合はxに依存せず的中確率=1/6である
　以上の通り、「見えないもの＝確率変数」は間違い
(引用終り)

・そういえば、中学生の時代に似た疑問をもった記憶がある
　この話は記憶の彼方（解決したのか不明）
・さていま考えてみると、>>99の2008年東工大 数学 第3問 ”いびつなサイコロ”の応用で解ける
　>>209よりこの問題のΩは、”サイコロを2回ふったとき”
　Ω＝{(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),
　(2,1),(2,2),(2,3),(2,4),(2,5),(2,6),
　(3,1),(3,2),(3,3),(3,4),(3,5),(3,6),
　(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),
　(5,1),(5,2),(5,3),(5,4),(5,5),(5,6),
　(6,1),(6,2),(6,3),(6,4),(6,5),(6,6)}で
　組合せ6x6の36通り、２次元で考える必要がある
　サイコロ1回だとΩ＝{1,2,3,4,5,6}
　普通のサイコロだと確率は各1/6ですが、いびつサイコロだと確率p1,p2,p3,p4,p5,p6≠1/6 で扱う
・いま、簡単に箱一つ 正常なサイコロ一つの目を入れる。確率変数Xで扱うとしてΩ＝{1,2,3,4,5,6}
　P(X=1)=P(X=2)=P(X=3)=P(X=4)=P(X=5)=P(X=6)=1/6
　一方数当ての人が唱える数が、1〜6のランダムとして、これを確率変数Yで扱うとしてΩ＝{1,2,3,4,5,6}
　P(Y=1)=P(Y=2)=P(Y=3)=P(Y=4)=P(Y=5)=P(Y=6)=1/6
　よって、的中は同じ数で揃った場合で、(1,1),(2,2),(3,3),(4,4),(5,5),(6,6)の6通り 6＊1/36＝1/6で理論通り
・別に、数当ての人が唱える数が 1〜6だが偏りがあるとして p'1,p'2,p'3,p'4,p'5,p'6≠1/6(どれかは1/6ではないが 総和Σi=1〜6 p'i =1)
　とすると、確率 1/6*p'1+1/6*p'2+1/6*p'3+1/6*p'4+1/6*p'5+1/6*p'6
　＝1/6(p'1+p'2+p'3+p'4+p'5+p'6）＝1/6(つまり理論通り)
　サイコロが正常だと、数当ての人が唱える数に偏りがあっても、的中確率1/6
・さて、的中確率1/6に成らない場合がある
　例えば、偏ったサイコロで3が出やすく確率1/2とする。それを見抜いた数当ての人が唱える数が常に3なら的中確率1/2になる

よって、「箱一つ、サイコロ一つの目を入れる。確率変数Xで扱う」として 矛盾はない！

つづく

つづき

(参考)
mine-kikaku.co.jp/index.php/2022/10/29/post-9074/
峰企画
確率 – 2008年東工大 数学 第3問 20230227
2008年東工大 数学 第3問 はそれぞれの目の出る確率が同じでない、
イカサマなサイコロに対する確率問題です。問題文は以下のとおりです。
2008年東工大 数学 第3問
いびつなサイコロがあり、1から6までのそれぞれの目が出る確率が とは限らないとする。
このサイコロを2回ふったとき同じ目が出る確率をPとし、1回目に奇数、2回目に偶数の目が出る確率をQとする。
(1) P>=1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ。

<解答例>
　いま、各目の確率をpi (i=1〜6)とする。Σpi＝1である(ここにΣはi=1〜6の和を表す（以下同じ）)
　なお いびつなサイコロなので、必ずしもpi=1/6ではない
　偏差σ＝Σ(pi-1/6)^2を考える。平方の部分(pi-1/6)^2 を展開すると
　σ＝Σ(pi)^2-Σ2(1/6)pi+6(1/6)^2 (ここで P=Σ(pi)^2 及び Σpi＝1 に注意すると)
　σ＝P-1/3+1/6＝P-1/6 ≧0 となる（最後の不等式≧の部分は、冒頭の偏差σ＝Σ(pi-1/6)^2（平方の和)≧0から従う）
　よって、P≧1/6で、等号成立はすべてのi=1〜6で pi=1/6の場合のみ（つまり、正規のサイコロの場合）
上記の解答例で
i)”各目の確率をpi (i=1〜6)とする”のが、確率変数の考えですよ
　（確率変数Xで ｆ：X=i → pi という対応が成立している）
ii)これをベースに、各piから問の”サイコロを2回ふったとき同じ目が出る確率をP”に落とし込むのが上記解法です
iii)『箱の中にサイコロの目を入れた時点である一つの目に固定され、他の目の可能性はゼロ』
　という妄想に走ると、2008年東工大の確率の問題は解けなくなります！

つづく

つづき

あなた方は、”固定”確率論の論文を書かれたら宜しいかと思います
その論文が出るまで、相手にする必要なし
（なお、時枝氏の記事>>1には、用語”固定”は使われていない！）

＜再投稿＞
ふっふ、ほっほ
固定！ 固定！ 固定だぁ〜！かｗｗ　 ；ｐ）

じゃあ、その考えで>>791
　>>008 2008年東工大 数学 第3問 ”いびつなサイコロ”
　mine-kikaku.co.jp/index.php/2022/10/29/post-9074/
峰企画 2008年東工大 数学第3問20230227
第3問はそれぞれの目の出る確率が同じでない、
イカサマなサイコロに対する確率問題です。問題文は以下のとおりです
いびつなサイコロがあり、1から6までのそれぞれの目が出る確率が とは限らないとする
このサイコロを2回ふったとき同じ目が出る確率をPとし、1回目に奇数、2回目に偶数の目が出る確率をQとする
(1) P≧1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ
(引用終り)

を解いてみな
解けたら、あんたの主張を認めてやるさ ；ｐ）

サイコロを振る
１回目に、出目で３が出たとする
”出目３”固定だね
いいよ、固定でｗ・・

で？ どうするの？ その後どうするの？
『(1) P≧1/6であることを示せ。また、等号が成立するための必要十分条件を求めよ』
を、あなたの”固定”を使って示せ！！ｗｗ 　；ｐ）

あなたの”固定”の無力を実感しなさい！！
あなたの”固定”は、2008年東工大 数学 第3問 ”いびつなサイコロ”の確率問題に対し 無力ですよ！！ｗｗｗ ；ｐ）

”固定”なんて、ド”ハマリ”ですよｗ ；ｐ）
確率の問題と、なんの関係もないｗｗｗ

つづく

つづき
下記関連の5つの文書で
いずれも ”固定”だの”定数”だのと
幼稚な数学の混乱をしている文書なし！
”固定”だの”定数”だのを言い出した時点で
数学ロジック破綻は明白

(参考)
1）2008年 囚人と帽子パズル が元ネタとある
http://xorshammer.com/2008/08/23/set-theory-and-weather-prediction/
Written by mkoconnor August 23, 2008
Here’s a puzzle:

2）November 4, 2013
既に述べたが Hart氏
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games November 4, 2013 Sergiu Hart http://www.ma.huji.ac.il/hart/

3）
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice
asked Dec 9 '13 at 16:16 Denis

4)数学セミナー201511月号
https://imgur.com/uMqtRwr
時枝 箱入り無数目（数学セミナー201511月号の記事）の最初
https://imgur.com/YAdz2Mz
時枝 箱入り無数目（数学セミナー201511月号の記事）の後

5）
https://imgur.com/1E6b4P9
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 3 P60 251220.jpg
https://imgur.com/wHI3DZv
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 5 P64 251220.jpg
https://imgur.com/iR4UNuV
数字であそぼ 第76話 札付きの定理 小学館 絹田村子 6 P66 251220.jpg
つづく

つづき

https://rio2016.5ch.io/test/read.cgi/math/1729769396/769 スレ26
より
769現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10(日) 16:14:30.43ID:zvgSRz4H
>>761
(引用開始)
> その代表は、dmax+1 以降 しっぽ側の一致までは分っているが
> しかし、dmax番目の箱の中は不明だ
> 選んだ代表のdmax番目の数と 問題の残った1列のdmax番目の箱の数が一致する確率は…
　そのあとの計算って、ただ箱の中身がランダムだとした場合の計算してるだけだよね？
　つまり、問題の条件、全然使ってないよね？
　それ、君が🐎🦌ってことだよね？
(引用終り)

君は、数学の公理の考えが分ってないね
ゆとり世代の数学科オチコボレ？
昔は、小学校でユークリッド幾何の公理で、公理の考え方を叩き込まれたものだ
点とは、大きさも面積も長さも持たない
線とは、長さのみを持ち 幅は0
線分は、異なる2点を結ぶ最短の線
直線は、線分を無限に伸ばしたもの

まあ、平たくいえば 公理系は スポーツやゲームのルールみたいなものだ
ルールの中で、自分のやりたいようにして良いが、ルール違反はダメってこと

さて
いま、>>747のように j列中でどれか1列を残し 他を開けて j-1個の同値類を特定したとする
ここから j-1個の代表を選んで j-1個の決定番号を得て それらの最大値 dmaxを得る

dmaxは大きければ大きいほど良い
残した 一つの列の決定番号（いまd'とおく）より、大きければ良い
d' ≦ dmax としたい

次に、残した列のdmax+1以降のしっぽの箱を開けて、しっぽ同値類が特定できたとする
このしっぽ同値類から、出来るだけ 決定番号d'が小さくなるように 代表を選びたい
d' ≦ dmax としたい

だから、決定番号がdmax+1より大きい元（数列）は、代表として論外で捨てる
そうすると、決定番号がdmax+1以下の元（数列）が、残る
ここから、d' ≦ dmax としたい
でも、dmax番目の箱は未開封なので 箱の中の数は、未知数だ
なので、決定番号がdmax+1以下の元（数列）に絞ったあとで、”d' ≦ dmax”が実現出来るかどうかは、従来の確率論通りだ■

つづく

つづき

https://rio2016.5ch.io/test/read.cgi/math/1729769396/778 スレ26
より
778現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10 ID:zvgSRz4H
>>777
>　数列なんか一つも見る前に全同値類の代表は選択されている
>　だから100列の決定番号は箱を一つも開けるまえから決まっている

ふっふ、ほっほ

　（>>719より再録）
3）結局、手順が異なると 異なる確率計算結果になるのは、決定番号を使う確率計算というものは
　well-defined でないってことだ（下記 『最終的な結論が中途の表式に依存している』）
4）そして、その原因は テンプレの>>4-5 に引用してあるが
　 ”infinite fair lottery”状態
　つまり、決定番号が自然数N全体を渡り Ω＝N で P(Ω)＝1とできない（Ωが無限大に発散）
　だってことだね
(参考)
https://ja.wikipedia.org/wiki/Well-defined
well-defined[注釈 1]（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う[2]。
経由する中途の表式に依存しない
往々にして、（数学上の）定義はいくつもの表式を経由する[注釈 3]。このとき、最終的な結論が中途の表式に依存している場合[注釈 4]、well-defined であるとは言えない。
つまり定めた対象が一意に存在しているとき、well-defined であるという。

つづく

つづき

rio2016.5ch.net/test/read.cgi/math/1729769396/791 スレ26
791現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/10 ID:zvgSRz4H
>>779
>　決定番号を排除したいなら選択公理を否定するしかない
>>787
>「選択公理を仮定すれば箱入り無数目が成立する」
>を否定したいなら
>「選択公理を仮定しても箱入り無数目は成立しない」
>を示さなければならない
>選択公理は要らないとかまったくトンチンカン

ふっふ、ほっほ
おれの主張は、真逆だ

1）選択公理は、お飾りだ。選択公理の否定はしない
　肯定するよ。その上で、>>764で
『・集合族が、有限個の集合で成り立っているとき、『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
・特に、集合族が、1個の集合で成り立っているとき、『選択関数は単に要素に対応するだけなので・・、自明』
・さて、いま j列中でどれか1列を残し 他を開けて 有限j-1個の同値類を得る
　有限j-1個の同値類から、各一つの元を選んで代表とすることは、既述の通りで、ZFの定理にすぎず 選択公理は使わず済ますことは可能
・有限j-1個の同値類から、各一つの元を選んで代表として、それで 有限j-1個の決定番号が テンプレ>>1の方法で得られる』
　を示した
2）選択公理の否定はしない
　が、お飾りだ
　必要な同値類と代表と決定番号は、有限個で済んでいる
　だから、選択公理の否定はしないが、その実
　『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
　で済んでいる
3）では、選択公理の箱入り無数目における役割や如何に？
　雰囲気作りだよ
　如何にも、”パラドックスが起きます”という
　お化け屋敷において、妖しい雰囲気を醸し出す
　「選択公理を使うと過去にパラドックスが出来た事例が沢山」
　「今回も 選択公理を使うパラドックスだ」と思わせる
4）どっこい
　使っている 同値類と代表と決定番号は、有限個で済んでいる
　だから 選択公理は否定しないが
　『その特定のケースは、選択公理のないツェルメロ–フランケル集合論 (ZF) の定理』
　で済んでいる

だから、「選択公理を使うパラドックス」は、今回は関係ない
今回は、決定番号で ” infinite fair lottery ”>>4-5
を使っていて、” infinite fair lottery ”で確率計算をしているのがまずいってこと
” infinite fair lottery ”では、全事象Ωが無限大に発散して
P(Ω)＝1の確率公理を満たせなくなっている
それなのに、確率計算をして 99/100 を導く
”99/100”は、決定番号を使う確率計算で well-defined でないってことだ>>778

つづく

つづき
さて
１）決定番号d は、>>278に 書いたように
　>>205 都築暢夫 広島大 の意味で、
多項式環 F[x]から、一つ d-1次多項式 f(x)を選んだことに対応することは, すでに述べた
（簡単に要約すると、1列の可算無限列 R^N を形式的冪級数(つまりは形式的冪級数F[[x]]の元)）
　と見て、一つの同値類で 形式的冪級数で
　代表 f[[x]]と 任意g[[x]]との差 g[[x]]-f[[x]]=f(x) （多項式）とできる ということ
　| f[[x]],g[[x]] ∈F[[x]] ）
２）多項式環 F[x]は、>>205 都築暢夫 広島大 の意味で、任意nに対して 常にn+1が存在し
　F[x]は、（可算）無限次元線形空間になる
３）さて、（可算）無限次元線形空間 F[x] から
　多項式を二つ f(x) m次式 ,g(x) n次式 を選んだ時
　mとnの大小比較が、確率論として成立するのか？
　が問題となる。
　ポイント（問題点）は、『F[x]は、（可算）無限次元線形空間』で、多項式の次数が発散していることだ
４）まず、ミニモデルとして
　（可算無限の）自然数Nで m,n ∈N で考えてよう
　全事象 Ω＝N とすると、明らかに 数え上げ測度 mで、m(Ω)＝∞ であり
　確率測度 P(Ω)=１を満たせない
　このようなときに、確率を考えると パラドックスが起きる場合がある
　例えば、まず先に m を取る。その後 Nからランダムにnを選ぶとする（実は ”ランダム”の定義も問題）
　そうすると、自然数Nは平均値が発散し、標準偏差も発散しれているから
　常に m<n つまり P(m<n)=1
　逆に、n を取り。その後 mを選ぶ 上記同様 P(n<m)=1 で 矛盾
５）これをベースに、>>205 都築暢夫 広島大 の意味で （可算）無限次元線形空間 F[x]を考える
　二つの多項式 f(x) m次式 ,g(x) n次式 を選んだ時
　その次数 mとnの比較もまた、上記と同じ矛盾が生じる

上記より、>>507に対する批判は
最大値関数 ”max({d(s1),...,d(s100)}-{d(si)})”が、発散する量であり
無造作に ”Di≧d(si)”としてしまっているところだね
それは ”スベっている” ということです

つづく

つづき
上記のように
決定番号の集合、それは多項式環F[x]の 元である多項式多項式 f(x)が d-1次であるとき 決定番号がdになるのだが
F[x]は、　>>205 都築暢夫 広島大 の意味で、可算無限次元線形空間になる（下記再録）
ゆえに
確率空間における全事象 Ω＝決定番号の集合（多項式環F[x]の元 多項式多項式 f(x) の次数の集合）
としたとき、Ωは無限集合ゆえ 確率公理P(Ω)=1を満たせないのです
ゆえに
箱入り無数目論法は、矛盾を含んでいるのです！！

(参考)>>205より再録
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
(引用終り)

さて
>>385 再録
1）確率論、確率過程論を知っている人ならば、「箱入り無数目」など抱腹絶倒ものｗ
　特に、確率過程論からみて全然ダメ
2）乱数理論で、乱数を箱にいれたら、当然乱数は他の箱の数を見ても当てられないはず
　当然です。「箱入り無数目」の確率99/100など、噴飯物
3）情報理論からみても、任意実数区間[a,b]｜a＜b
　の実数の的中は非可算無限の話で、可算個の実数のランダムな情報では、的中には、当然情報が不足
4）ルベーグ測度論で、任意実数区間[a,b]で、実数の一点 r∈[a,b] には
　測度は0 (零集合)にしか、なり得ない。確率99/100だ？ 馬鹿も休み休み言え！
まあ、こんな話ですね
まさに 『あほ二人の”アナグマの姿焼き"』ですｗ ；ｐ）
(引用終り)
以上

つづく

sage

sage

つづき
箱入り無数目で、一致の定理を 解析函数から 連続関数や非連続関数へ拡張できるだと？
笑えるぞ
https://rio2016.5ch.io/test/read.cgi/math/1776607345/783
[0,1]上の連続関数f,gに関して、
あるd∈Rが存在して、x>=dのとき、f(x)=g(x)となる場合、
同値とする

https://rio2016.5ch.io/test/read.cgi/math/1776607345/808
・”箱入り無数目を完璧に言い換えたもの”ではないだろう
　箱入り無数目の亜種ではあるだろう
・さて、いま100個の関数を f1,f2,・・,fk,・・f100 ｜ k=1〜100
　と書く
・さらに それぞれの決定値をd1,d2,・・,dk,・・d100 ｜ k=1〜100
　としよう
・いま、dk以外の最大値D
　D=max(d1,d2,・・, ,・・d100) とする
　明らかに 0≦D＜1 だ
・関数fk を同定するために D＜D+ε＜1 なる
　微小なεを取って [D+ε, 1) における fk の関数値を調べることで
　fkの属する同値類が分る
・しかし、分るのはそこまで。
　関数論の教えるところ、”連続関数”という条件では
　[D+ε, 1)の関数値から fk(D)の値は決まらない！（関数論の常識）
　（∵連続関数fk(D)の取り得る値は、-∞〜+∞の実数だから）
　（”解析関数”なら可（下記一致の定理）））

余談
>germってこんな定義じゃなかったっけ

層のgermで、層で使うのは”制限写像”(下記)で 外から内部に制限すると思う
一方上記は、制限でなく 拡大だからダメじゃね？　（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E4%B8%80%E8%87%B4%E3%81%AE%E5%AE%9A%E7%90%86
一致の定理（Identity theorem）は、実解析と複素解析において、通常は可算点列上で局所的に一致する2つの解析関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる。
この定理には名は冠されていないが、1844年頃、リウヴィルが楕円関数に特殊な形で適用したのが最初であり、直後にコーシーが自分が開発した複素解析の中に取り入れて一般化したものである[1]。

https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
定義
前層
・開集合の包含関係 U⊂V に応じて制限写像（せいげんしゃぞう、restriction map）と呼ばれる写像
略す
例
連続関数の層
Xを位相空間とする。X の開集合 U に対して、その上の複素数値連続関数のなす空間を C(U) とかくことにする。開集合の包含関係 V ⊆ U に対して関数の定義域の制限 C(U) → C(V) を考えることでX 上の層が得られる。点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる

つづく

つづき
アホでしょ
再録
https://rio2016.5ch.io/test/read.cgi/math/1776607345/826
>(d≦Dなら決まるのが理解できてない)
>この場合有限区間にしないほうがいい感じ
>実数全体で定義された連続関数で良いね
>連続性なくてもいいから
>(ないとかえって面白みが減るかも)

そうですよ
”面白み”とか抜きにして
箱入り無数目の関数モデルへの拡張
・連続性なくてもいい
・実数全体で定義された連続関数で良い
・100個→任意n個でいい（的中確率 99/100→1-1/n）

でも、普通に ”何かへん”だと感じるだろう
その理由は、札付き・箱入り・関数モデルへの拡張などが
全事象Ωが大きすぎて、実は確率論として破綻しているということ
それで、説明がつく

つまり、下記の根元事象に等しい測度を与えると
1）可算無限の全事象Ωでは、全体の測度が無限大に発散する
2）非可算無限の全事象Ωでは、そもそも個々の根元事象の確率は 0（下記）

この二つの場合において、根元事象は零事象（存在するが確率0の存在）
つまり、”札付き・箱入り・関数モデルへの拡張”全て
根元事象が零事象なのに、d1,d2,・・,d100の大小確率を論じて
確率99/100だと言っているだけのこと■

(参考)
https://ja.wikipedia.org/wiki/%E6%A0%B9%E5%85%83%E4%BA%8B%E8%B1%A1
根元事象
根元事象の確率が互いに等しいとき、その確率空間を等確率空間という。等確率空間の標本空間は有限集合である。標本空間が無限集合ならば非等確率空間となる
根元事象の確率
標本空間が非可算集合の場合には、個々の根元事象の確率は 0 になってしまう。根元事象を非可算個集めた事象に 0 より大きい確率が定義されていると考える
つづく

つづき
なお
何をランダムとするか？
これには、長い歴史があるようです（下記）

しかし、可算無限個の箱に ”ランダムな数”（実数の乱数）を入れて、ある一つの箱の数を 開けずに 他の箱の数から 推測できるか？
的中できるという マジックｗ
それは、現代の数学の乱数の理論に、真っ向矛盾しています！！ｗ ；ｐ）

(参考)
en.wikipedia.org/wiki/History_of_randomness
（google訳）
ランダム性の歴史
20世紀
20世紀には、確率論の5つの主要な解釈（古典的、論理的、頻度、傾向、主観的など）がより深く理解され、議論され、比較対照されました。[ 35 ]この世紀には、金融から物理学まで、かなりの数の応用分野が開発されました。1900年にルイ・バシュリエはブラウン運動を応用してストックオプションを評価し、金融数学と確率過程の分野を立ち上げました。

エミール・ボレルは1909年にランダム性について正式に議論した最初の数学者の一人で、正規数を導入した。[ 36 ] 1919年にリチャード・フォン・ミーゼスはギャンブルシステムの不可能性を通じてアルゴリズム的ランダム性の最初の定義を与えた。

1940年の論文「ランダム列の概念について」で、アロンゾ・チャーチはフォン・ミーゼスの形式主義における場所設定に使用される関数は、列の最初の部分の任意の関数ではなく計算可能な関数であるべきだと提案し、有効性に関するチャーチ＝チューリングのテーゼを援用した。[ 40 ] [ 41 ]

20世紀初頭の量子力学の出現と1927年のハイゼンベルクの不確定性原理の定式化により、自然の決定性に関する物理学者の間でのニュートン的考え方は終焉を迎えた。量子力学では、多くの観測可能要素が可換ではないため、システム内のすべての観測可能要素を一度にランダム変数として考える方法さえ存在しない。[ 42 ]

1940年代初頭までに、確率に対する頻度理論アプローチはウィーン学派で広く受け入れられていたが、1950年代にカール・ポパーが傾向理論を提唱した。[ 43 ] [ 44 ]頻度アプローチは「コインを一回投げる」ことを扱えず、大きな集団や集団にしか対処できないため、単一ケースの確率は傾向または偶然として扱われた。傾向の概念は、量子力学における単一ケースの確率設定、例えば特定の瞬間の特定の原子の崩壊の確率を扱いたいという欲求によっても推進された。

つづく

つづき

1948年にクロード・シャノンが情報理論を発展させたことで、ランダム性のエントロピー観が生まれた。この観点では、ランダム性は確率過程における決定論の反対である。したがって、確率システムのエントロピーがゼロであればランダム性はなく、エントロピーが増加するとランダム性も増加する。シャノンの定式化は、すべての確率が等しい場合のボルツマンの19世紀のエントロピー定式化をデフォルトとしている。 [ 46 ] [ 47 ]エントロピーは現在、熱力学から量子化学まで、科学のさまざまな分野で広く使用されている。[ 48 ]

偶然性と賭け戦略の研究のためのマルチンゲールは、1930年代にポール・レヴィによって導入され、 1950年代にジョセフ・L・ドゥーブによって形式化されました。 [ 49 ]金融理論におけるランダムウォーク仮説の応用は、 1953年にモーリス・ケンドールによって初めて提案されました。 [ 50 ]その後、ユージン・ファーマとバートン・マルキールによって推進されました。

1961 年、エドワード ローレンツは、気象シミュレーション用のコンピューター プログラムに入力された初期データにわずかな変更を加えると、気象シナリオがまったく異なる結果になる可能性があることに気づきました。これは後にバタフライ効果として知られるようになり、「ブラジルで蝶が羽ばたくと、テキサスで竜巻が発生するか?」という質問に言い換えられることがよくあります。 [ 65 ]予測可能性の重大な実際的限界の重要な例は地質学です。地質学では、地震を個別に、または統計的に予測する能力は、いまだに遠い見通しです。[ 66 ]

1970年代後半から1980年代初頭にかけて、コンピュータ科学者は、計算に意図的にランダム性を導入することが、より優れたアルゴリズムを設計するための効果的なツールになり得ることに気づき始めました。場合によっては、このようなランダム化されたアルゴリズムは、最良の決定論的方法よりも優れたパフォーマンスを発揮します。[ 33 ]
(引用終り)
以上

sage

再録
https://rio2016.5ch.io/test/read.cgi/math/1736907570/ スレPart3
>仮に箱が透明であったとしても無数目戦略を忠実に実行すれば同じ結論が得られるが、その場合出題は明らかに定数。よって確率事象は「さて， 1〜100 のいずれかをランダムに選ぶ.」以外にはあり得ない。

そこ、いわゆる”ハマリ”だよ
下記 繰返しだが ご参照

1）>>1より 下記の可算無限の実数列の集合 R^N s = (s1，s2，s3 ，・・・)を
　R係数形式的冪級数環F[[x]]の元 f((x))=s1+s2x+s3x^2+・・+sn-1x^(n-2)+snx^(n-1)+・・
　に対応させる。
　しっぽ同値は、ある代表 fr((x))=sr1+sr2x+sr3x^2+・・+srn-1x^(n-2)+snx^(n-1)+・・で
　（しっぽ snx^(n-1)+・・ が一致している）
　差を取る
　 f((x))-fr((x))=s'1+s'2x+s'3x^2+・・+s'n-1x^(n-2)+s'nx^(n-1) =f(x) (n-1次多項式)
　（s'm=sm-srm | m=1,2,・・,n^1）
　と書ける
2）つまり、f((x))=fr((x))+f(x) と表される
　くどいが 形式的冪級数環F[[x]]の元f((x))は、ある代表fr((x))+f(x)(多項式)となり
　即ち 一つの同値類は 代表fr((x))に 都築の意味>>15の多項式環F[x]が加わった構造だということ
3）決定番号とは 多項式f(x)の次数+1にほかならない
　>>15都築にあるように、多項式環F[x]は無限次元線形空間で
　無限次元線形空間からベクトルを(ふつうに)チョイスすれば、当然無限次元
　有限次元ベクトルをチョイスするには、作為が必要で ここで 無作為（=ランダム）が否定され
　確率計算に使えない■

(>>847より再録。>>15もご参照）
１）>>824-827に書いたが、”箱入り” 可算無限の実数列の集合 R^N s = (s1，s2，s3 ，・・・)
　は、R係数形式的冪級数環F[[x]]の元に対応させて
　しっぽ同値は、２つの元の一致するしっぽが消えるから 多項式環F[x]の元に対応する* 　（注*後述）
　そして、都築暢夫で www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf >>802
　無限次元線形空間**になる>>15 (注**：多項式環の無限次元線形空間は、nに上限が無いという意味の可能無限)
２）さて、３次元線形空間で普通にベクトルをとれば、３次元ベクトルであって
　３次元線形空間内では
　２次元ベクトルや１次元ベクトルは 一般に退化していると言われる>>826
３）”箱入り” の決定番号は、無限次元線形空間たる多項式環F[x]の元のf(x)（n次元多項式）
　これは上記２）の退化の視点では、無限次元から有限n次に（無限に）退化したと解せられる
　別の見方をすれば、多項式環F[x]の無限次元線形空間では
　代数学におけるよう 作為でもって 有限n次元ベクトルをチョイスすることは可能だが
　しかし、
　確率に使えるような（無作為での）無限次元線形空間から 有限n次元ベクトルをチョイスすることは不可能■
（決定番号nが 有限ベクトルの次元nに相当する）
　ということ
＜参考＞
注*：
・R係数形式的冪級数環F[[x]]では、一般にx=r(∈R) のような値の代入はできないのだが
　値の代入が可能な場合がある
　いわゆる原点Oで マクローリン展開できる（多項式でない）解析関数

https://rio2016.5ch.io/test/read.cgi/math/1778894782/651
再録
箱入り無数目>>1は、以下の二つの点でまずい
1）選択公理を使っているが、選択公理の選択関数が測度を保証しない
　確率を論じるとき、致命傷。測度が保証されないと 確率論の外（可測性の毀損）
2）決定番号dは、無限次元線形空間内の有限次元だが
　無限次元線形空間には、普通の計量（例えばL^2）が入らない
　計量が入らない空間の有限次元dの大小確率は、測度の裏付けを欠いている■
(引用終り)

（補足）
ここは中高一貫生も来るから ハッキリと書いておく
１）選択公理の選択関数は、測度を保証しない
　確率論として成り立つためには、測度の保証が必要で 可測関数である必要がある
　しかし、今の場合 選択関数は可測関数ではない
２）>>1にあるように 箱入り無数目は 実数列の集合 R^Nを考えている
　s = (s1，s2，s3 ，・・・) で
　これをベクトルと見ると 例えば有限列で
　s' = (s1，s2，s3 )ならば、３次元空間のベクトル
　ゆえに R^Nは 無限次元線形空間だが
　 例えば 計量でL^2 距離
　Σi=1〜∞ (si)^2 は まずい （∵ siが微小でも 一般に無限和は発散する）
　（蛇足 si→0 に減衰する空間に制限すれば 数学になる 例ヒルベルト空間）
　計量が入らない無限次元線形空間 R^N で 確率計算が出来ないのに
　それを 選択関数を使って 有限次元空間の次元d1,d2,・・,d100に、話をすり替えている■

さて
https://rio2016.5ch.io/test/read.cgi/math/1728783469/906 スレ25
より
906現代数学の系譜 雑談 ◆yH25M02vWFhP
2024/11/11 ID:xGTnxzX9
>>902
>両者ともに時間の・・

ID:S0s/6Kqn は、御大か
朝の巡回ご苦労さまです

”論争は 時間のムダ”と
なるほど

では ご教示に従い
”アナグマの姿焼き”をば・・ｗ ；ｐ）

(参考)
https://xn--pet04dr1n5x9a.com/%E5%B0%86%E6%A3%8B%E7%94%A8%E8%AA%9E/%E7%A9%B4%E7%86%8A%E3%81%AE%E5%A7%BF%E7%84%BC%E3%81%8D.html
将棋講座ドットコム
【将棋用語】穴熊の姿焼き
穴熊側が囲いを残したまま大きく形勢を損ねていること。
穴熊自体は固いため詰みまでの手数はかかるが、逃げ場もないため、攻めが切れてしまうと千日手・持将棋引き分け・宣言などを狙うことがかなり難しい。穴熊の欠点の1つと言える。

つづく

つづき

なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）https://keiji-pro.com/magazine/10/ 刑事事件マガジン 更新日：2023.10.13
サイコパス（精神病質者）の10の特徴と診断基準｜実はあなたの周りに・・・？
サイコパスとは、「反社会性パーソナリティ障害」という精神病者のこと。
サイコパスの10の特徴 表面上は口達者利己的・自己中心的 平然と嘘をつく
（＊＊）注；https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png

おサルさんの正体判明！（＾＾）
https://rio2016.5ch.io/test/read.cgi/math/1671460269/923 スレ12 より
”「ガロア理論 昭和で分からず 令和でわかる
　＃平成どうしたｗ」
昭和の末期に、どこかの大学の数学科
多分、代数学の講義もあったんだ
でも、さっぱりで、落ちこぼれ卒業して
平成の間だけでも30年、前後を加えて35年か”
”(修士の)ボクの専攻は情報科学ですね”とも

可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾

注***）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜！（＾＾；

なお
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
は、お断りです

小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは以上です

テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレ入りです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

前スレつづき
https://rio2016.5ch.io/test/read.cgi/math/1778894782/975
>”ガウスのようにはじめるとすぐに、自分はガウスではないとわかるだろう”
>だが、目指すべきは ”円周等分理論”→ ”正17角形の作図”

追加
(参考)
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1625-08.pdf
数理解析研究所講究録
第1625 巻2009 年78-87
オイラーの数論とガウスの数論
九州大学大学院数理学研究院 高瀬正仁

Ｐ84
第七章の円の等分理論は, 代数的に見れば円周等分方程式の代数的解法の理論であ
り, 幾何学的に見れば正多角形の作図問題である. いずれにしても数論とは無縁のように見
えるが, ここから発生する「ガウスの和の符合決定問題」に決着がつけば, そこからまたし
ても平方剰余相互法則の証明が取り出されるのである. ガウスは『アリトメチカ研究」が出
版された時点ではガウスの和の大きさ, すなわち絶対値の算出には成功したが, 符合決定に
はいたらなかった.

関係無いソースはさかんにコピペするのに「実数の構成に選択公理が必要」のソースをコピペしないのはなぜ？

テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)＝Σ n=0〜∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)

テンプレ
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ

テンプレート
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ

テンプレ
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ

テンプレ入りです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め

テンプレ入りです
>　まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
>　次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
>　そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
>　もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
>　それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
>　そして D番目を推察するのだ

テンプレ入りです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■

これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1，s2，s3 ，・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。

テンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？

これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号（nやsに依存）の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な（つまり彼の人や京大マンガのような）独立性の誤解をしてはならないとの反省材料がもたらされたわけです

>>36
ですね
あたりまえですが探せないのでしょう

>>35
>https://rio2016.5ch.io/test/read.cgi/math/1778894782/975
>>”ガウスのようにはじめるとすぐに、自分はガウスではないとわかるだろう”
>>だが、目指すべきは ”円周等分理論”→ ”正17角形の作図”

すぐ自分はガウスではないとわかっているが
いまどき AIがあるので、ガウスのまねで壁打ちをば（＾＾
下記＜AI壁打ち＞で、『3次対称群の直積(S3✕S3)での 部分群で巡回群になるものを全部教えて』と聞くと
その位数は、1,2,3,6 の4種で 計26（S3✕S3 の全部分群55個のうち、およそ半分）という

さて、3次対称群の直積（S3✕S3）の位数は36で
その部分群で巡回群になるものうち、部分群AとBでG=ABとなるとすると
部分群AとBの位数をa,bとすると ラグランジュの定理より ab＝36
とすると、a＝b＝6が導かれる
下記”4. 位数6の巡回群 【計 6 個】”とある
この計 6 個のうち、適当な二つの組合せが 解だろうね
そういう気もするが、面倒なので確認していない

前スレ
https://rio2016.5ch.io/test/read.cgi/math/1778894782/520
より
https://rio2016.5ch.io/test/read.cgi/math/1773320488/133
大学数学の出題スレ
133１３２人目の素数さん
2026/05/08(金) 17:54:37.91ID:jtB2Fcs8
Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例を挙げよ。

https://rio2016.5ch.io/test/read.cgi/math/1778894782/520
より
とりあえず、その問題の答えは3次対称群の直積（S3✕S3）ですね。
(引用終り)

＜AI壁打ち＞
(google検索)
3次対称群の直積(S3✕S3)での 部分群で巡回群になるものを全部教えて
(AI回答)
3次対称群の直積 S3 の中で、巡回群（1つの元で生成される部分群）になるものは全部で 26 個存在します。巡回群の位数は、群全体の元が持つ「位数（自己乗算して単位元に戻る回数）」と一致するため、S3 の元が持つ位数（1, 2, 3, 6）の4パターンのみが存在します。以下に、位数が小さい順にすべての巡回部分群を列挙します。
1. 位数1の巡回群 【計 1 個】
略
2. 位数2の巡回群 【計 15 個】
位数2の元（互換を1つ以上含むペア）から生成される部分群です。S3 の互換を τ1 = (1,2), τ2 = (1,3), τ3 = (2,3) とします。構造: C2
内訳（計 15 個）:
略
3. 位数3の巡回群 【計 4 個】
位数3の元（巡回置換を含むペア）から生成される部分群です。S3 の巡回置換を σ1 = (1,2,3), σ3 = (1,3,2) とします(σ3 = σ1^2 です）。構造: C3
内訳（計 4 個）:
略

つづく

つづき

4. 位数6の巡回群 【計 6 個】
片側の成分が「位数2の互換 τi」、もう片方の成分が「位数3の巡回置換 σ1」の組み合わせから生成される部分群です。最小公倍数 cm(2, 3) = 6 により、これらは位数6の巡回群になります。構造: C6
内訳（計 6 個）:
左が互換、右が巡回置換（3個）:
・＜ (τ_1, σ_1) ＞
・＜ (τ_2, σ_1) ＞
・＜ (τ_3, σ_1) ＞
左が巡回置換、右が互換（3個）:
・＜ (σ_1, τ_1) ＞
・＜ (σ_1, τ_2) ＞
・＜ (σ_1, τ_3) ＞
※右成分に (σ _2) を入れた ＜ (τ_i, σ_2) ＞ も位数6の巡回群になりますが、生成される部分群（集合）としては上記の ＜ (τ_i, σ_1) ＞ と全く同じになるため、二重カウントはしません。

巡回部分群の総数 1+15+4+6=26
S3✕S3 の全部分群55個のうち、およそ半分にあたる 26個 が巡回群の構造を持っています。

https://ja.wikipedia.org/wiki/%E3%83%A9%E3%82%B0%E3%83%A9%E3%83%B3%E3%82%B8%E3%83%A5%E3%81%AE%E5%AE%9A%E7%90%86_(%E7%BE%A4%E8%AB%96)
ラグランジュの定理 ― G を有限群とし、H を G の部分群とする。このとき |G| = [G : H] |H| が成り立つ。ただし、[G : H] は G における H の指数である。
(引用終り)
以上

>>48 補足
別のAI壁打ち 下記
”3次対称群の直積(S3✕S3)での 正規部分群を全部教えて”
で、巡回群C6が 正規部分群でないことは、確認済みです


(google検索)
3次対称群の直積(S3✕S3)での 正規部分群を全部教えて
(AI回答)
3 次対称群を S_3 とし、S_3 ｘ S_3 の正規部分群を求めます。
S_3 の正規部分群は、自明な部分群を含めて以下の 3つ しかありません。
・単位元のみからなる群: {ｅ}
・3 次交代群（偶置換全体）: A_3
・(3) 次対称群全体: S_3
一般に、G_1 ｘ G_2 の正規部分群は、G_1 の正規部分群 N_1 と G_2 の正規部分群 N_2 の直積の形(N_1 ｘ N_2)になります。したがって、S_3 ｘ S_3 の正規部分群は、これら S_3 の正規部分群どうしの直積となり、全部で 9個 あります。具体的には以下の通りです。
・{ｅ} ｘ {ｅ}
・{ｅ} ｘ A_3
・{ｅ} ｘ S_3
・A_3 ｘ {ｅ}
・A_3 ｘ A_3

・A_3 ｘ S_3
・S_3 ｘ {ｅ}
・S_3 ｘ A_3
・S_3 ｘ S_3

直積群の部分群の個数を求める問題は、院試でもたまに見る。

>>50 補足
前スレ
https://rio2016.5ch.io/test/read.cgi/math/1778894782/959
なぜそれが解になるか分かれば
いくらでも作れるだろ
たとえばS3×S3×Z5とか
(引用終り)

なるほど・・・
巡回群の理論で 下記
『二つの巡回群 Z/nZ, Z/mZ の直積群がふたたび巡回群となるための必要十分条件は n と m が互いに素であることである』
なので

S3×S3の位数36で、36には素因子5が含まれない
ゆえに、Z5の直積を作っても >>48の考察には影響しない
ゆえに、S3×S3×Z5の位数は180で
「Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例」
の候補は、>>48より C6とC6×Z5 ですな
これを一般化すれば、素数p≧5 のZpでも良いのでしょうね

AIがあるので、ガウスのまねで壁打ちでした （＾＾
（このあとは、各自の壁打ちでよろ）

(参考)
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4
巡回群
位数 n の巡回群（n は無限大でもよい）G と G の任意の元 g について、以下のようなことが言える。
・p が素数ならば、位数 p の群は（同型の違いを除き）巡回群 Cp（あるいは加法的に書くならば Z/pZ）しかない[5]。
・二つの巡回群 Z/nZ, Z/mZ の直積群がふたたび巡回群となるための必要十分条件は n と m が互いに素であることである[6]。従って例えば Z/12Z は Z/3Z と Z/4Z との直積に分解されるが Z/6Z と Z/2Z との直積とはならない。

前スレに戻る
https://rio2016.5ch.io/test/read.cgi/math/1778894782/945
「Q上の整列順序を用いないと有理コーシー列は作れない」
Qまでを構成した瞬間に有理数列の全体Q^Nは存在しており、その中に当然有理コーシー列も含まれている。だからそもそも作る必要は無い。
ということがどうしても理解できない。畜生だから当然か。
しかもそもそもQは可算集合だからQ上の整列順序の存在はZFで証明可能で整列可能定理は要らない。オチコボレは初歩の初歩から分かってない。
(引用終り)

公理的思考がダメ男くん

1）鶏が先か卵が先か？ これが問題だ by ハムレット
　直積集合を しばしば デカルト積という
　デカルトは、平面をデカルト積で表現することを提案した
　この場合は、ニワトリの平面R^2が先で 卵の(r1,r2)が後だ
2）しかし、集合論の公理ではどうか？
　当然 デカルト積(r1,r2)が先で 積(r1,r2)の集合を 平面R^2と名付けるべし
3）これを、Q^Nに見ると 当然 卵のQの可算デカルト積(r1,r2,・・)が先で、ニワトリのQ^Nは後
4）”そもそもQは可算集合だからQ上の整列順序の存在はZFで証明可能で整列可能定理は要らない”
　か・・ｗ、詰んだなｗ （可算選択公理とかをお忘れですよ）　（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%A9%8D%E9%9B%86%E5%90%88
直積集合
集合 A と集合 B の直積集合（ちょくせきしゅうごう）A×B とは、A の元 a と B の元 b の順序対 (a, b) 全体の集合である。内包的記法（英語版） では
A×B={(a,b)∣a∈A and b∈B}
と書くことができる。A×B の元 (a, b) に対して、a を第1成分（または第1座標）といい、b を第2成分（または第2座標）という[1]。
直積集合はまた、デカルト積（デカルト­せき、英: Cartesian product）、直積（ちょくせき、英: direct product）、積（せき、英: product）、積集合（せきしゅうごう）などともいわれる。
より一般に、n 個の集合の直積集合や、集合族の直積集合も定義される。

https://en.wikipedia.org/wiki/Cartesian_product
Cartesian product
The Cartesian product is named after René Descartes,[5] whose formulation of analytic geometry gave rise to the concept, which is further generalized in terms of direct product.

A two-dimensional coordinate system
The main historical example is the Cartesian plane in analytic geometry. In order to represent geometrical shapes in a numerical way, and extract numerical information from shapes' numerical representations, René Descartes assigned to each point in the plane a pair of real numbers, called its coordinates.

（可算選択公理をも誤解か）

>>53
>4）”そもそもQは可算集合だからQ上の整列順序の存在はZFで証明可能で整列可能定理は要らない”
>か・・ｗ、詰んだなｗ （可算選択公理とかをお忘れですよ）　（＾＾
Qは可算だから定義により全単射 f:N→Q が存在する。Q上の順序<を f(0)<f(1)<・・・ で定義したとき<は整列順序。実際、Qの任意の空でない部分集合Xは<に関する最小元 f(min(f^(-1)(X)))∈X を持つ。
詰んでるのは何度教えても理解できないサル。

教えられなくても理解するのが利口
教えられて理解するのが普通のバカ
サルは教えられても理解できない

普通の🐴🦌
天才の🐴🦌ボン

>>55
>Qは可算だから定義により全単射 f:N→Q が存在する。Q上の順序<を f(0)<f(1)<・・・ で定義したとき<は整列順序。実際、Qの任意の空でない部分集合Xは<に関する最小元

論点ずらし オツ
そこは、下記の分母分子がNであることを利用した（特定の）辞書式の順序だろ？
（任意"∀"）有理コーシー列では、隣り合う有理数は 辞書式の順序ではない！ｗ （＾＾

でな、おっさん >>51より
”Qまでを構成した瞬間に有理数列の全体Q^Nは存在しており、その中に当然有理コーシー列も含まれている。だからそもそも作る必要は無い”
は どうなったんだ？ｗｗ　（＾＾

(参考)
https://en.wikipedia.org/wiki/Rational_number
Rational number

Countability
The set of positive rational numbers is countable, as is illustrated in the figure.

https://upload.wikimedia.org/wikipedia/commons/thumb/8/85/Diagonal_argument.svg/500px-Diagonal_argument.svg.png
Illustration of the countability of the positive rationals

More precisely, one can sort the fractions by increasing values of the sum of the numerator and the denominator, and, for equal sums, by increasing numerator or denominator. This produces a sequence of fractions from which one can remove the reducible fractions (in red on the figure), obtaining a sequence that contains each rational number exactly once. This establishes a bijection between the rational numbers and the natural numbers, which maps each rational number to its rank in the sequence.

A similar method can be used for numbering all rational numbers (positive and negative).

>>52 追加
(引用開始)
S3×S3の位数36で、36には素因子5が含まれない
ゆえに、Z5の直積を作っても >>48の考察には影響しない
ゆえに、S3×S3×Z5の位数は180で
「Gを群とし、A,BをGの巡回部分群とする。 G=ABを満たし、A,Bが共にGの正規部分群とならない例」
の候補は、>>48より C6とC6×Z5 ですな
これを一般化すれば、素数p≧5 のZpでも良いのでしょうね
(引用終り)

1）トリビアだが (S3×Z5)×(S3×Z5)
　も 同様成立するだろう・・
2）直積 Sn×Sn n>3 でどうか？
　思うに 群 Sn n>3 が複雑になって 二つの巡回群の積ではムリだろう
　（AI壁打ちはしていない）
3）直積 Sn×Sn以外の手法は？
　さあ？ これも AI壁打ちはしていない・・ （＾＾

>>58
私は最近お兄さんと呼ばれました。
3次元ユークリッド空間は可分である。

>>58
>（任意"∀"）有理コーシー列では、隣り合う有理数は 辞書式の順序ではない！ｗ （＾＾
そもそも有理コーシー列と有理数の整列順序は何の関係も無い。
何度教えても理解できないサル。

>でな、おっさん >>51より
>”Qまでを構成した瞬間に有理数列の全体Q^Nは存在しており、その中に当然有理コーシー列も含まれている。だからそもそも作る必要は無い”
>は どうなったんだ？ｗｗ　（＾＾
どうにもならんけど？
何度教えても理解できないサル。

教えられなくても理解するのが利口
教えられて理解するのが普通のバカ
サルは教えられても理解できない

>>58
>でな、おっさん >>51より
>”Qまでを構成した瞬間に有理数列の全体Q^Nは存在しており、その中に当然有理コーシー列も含まれている。だからそもそも作る必要は無い”
>は どうなったんだ？ｗｗ　（＾＾
集合 N,Q が存在するなら、集合 Q^N:={G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} が存在する。これはNからQへの関数全体の集合である。
数学を初歩の初歩から分かってないおサルはあきらめた方が良い。

>>61
>そもそも有理コーシー列と有理数の整列順序は何の関係も無い。

関係はないが、両者は 無限長の数列を使うところが共通だ
さて、前スレより下記再録
下記の通り、選択公理を除く下記の八つの公理でZFで
C=選択公理が、Kunenの設定では 選択公理に同値な命題の整列可能定理で
直接 無限集合の 整列順序 R を扱う公理
これ以外には、直接 無限集合の 整列順序 R を扱う公理は無い！
まず、この客観事実を認めたら？ （＾＾

再録
https://rio2016.5ch.io/test/read.cgi/math/1778894782/878
https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
ツェルメロ＝フレンケル集合論
公理
ZFC公理系には、多くの同値な定式化が存在する[4]。以下に示す公理は、Kunen (1980)（ケネス・キューネン）に従った
選択公理を除く下記の八つの公理でZFを定義できる。
（連番は筆者が付けた）
1）外延性の公理：任意の集合について、その集合と同じ元のみをもつ集合は、その集合自体の他に存在しない
2）正則性公理：略
3）分出公理図式：分出公理は、既出の集合から部分集合のみを構成できる
　ZFの公理の中で、この公理は置換公理と空集合の公理から導かれる
4）対の公理：任意の集合 xと y について、少なくとも xと y を元とする集合が存在する
5）和集合の公理：略
6）置換公理図式：置換公理は、定義可能な関数において集合の像も集合内にあると主張する。
7）無限公理：略
8）冪べき集合公理：略
9）選択公理（または同値な命題）：任意の集合 X に対して、 X を整列する二項関係 R が存在する。
これは R が、空でない X のどの部分集合も R のもとで最小元を持つような、
X の全順序であることを意味する。
∀X ∃R[R well-orders X]
ZFの公理 (すなわち、前述の8つの公理および公理図式) の下で、選択公理は同値な主張をいくつか持つ。Kunenは選択公理に相当するものとして上記の主張を公理に設定した[6]が、これは通常整列可能定理と呼ばれるものである。
(引用終り)

さて、このZFC公理群で、Kunenの設定：選択公理に同値な命題の整列可能定理
これが唯一の(無限集合）整列順序 R を与える公理です
この選択公理＝整列可能定理 以外には、直接 無限集合の 整列順序 R を扱う公理は無い！
整列順序 R から、無限長の数列を作ることは 容易だ
逆に、無限長の数列を作ることが出来れば、それを使って 無限集合に 整列順序 R を与えることは容易
まず このことを認めたらどう？

そして『実数をコーシー列の同値類として定義するだけなら ZF で十分』を、Chatさんにやってもらってね
弱い可算選択公理ACωも含めて 一切の選択公理を使わずにね
一つ二つコーシー列を作ってもダメだよ
求めているのは 集合としての実数Rで
有理数Qを完備化したもので、負数-1の平方根iを添加すると 複素数の集合Cが得られて 代数閉体になるもの

おサルは馬鹿なので有理コーシー列は作らないと存在しないと思っている。
ちょうど同値類も作らないと存在しないと思っているのと同じ様に。実際は集合X上の同値関係〜を定義した瞬間に同値類全体の集合X/〜が存在するにもかかわらず。
オチコボレに数学は無理なのであきらめた方が良い。

>>64
>C=選択公理が、Kunenの設定では 選択公理に同値な命題の整列可能定理で
>直接 無限集合の 整列順序 R を扱う公理
>これ以外には、直接 無限集合の 整列順序 R を扱う公理は無い！
可算集合の整列順序の存在証明は選択公理不要と教えてやってるのにどうしても理解できないサル

>逆に、無限長の数列を作ることが出来れば、それを使って 無限集合に 整列順序 R を与えることは容易
数列と整列順序は関係無い。実際有理数列 0,0,・・・ はQのいかなる整列順序も与えない。と教えてやってるのにどうしても理解できないサル

>そして『実数をコーシー列の同値類として定義するだけなら ZF で十分』を、Chatさんにやってもらってね
>弱い可算選択公理ACωも含めて 一切の選択公理を使わずにね
https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
が読めない非人畜生のサル

オチコボレに数学は無理なのであきらめた方が良い。

>>63
>集合 N,Q が存在するなら、集合 Q^N:={G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} が存在する。これはNからQへの関数全体の集合である。

だ か ら >>53
Qの可算直積 Q^Nというニワトリの前にね
公理的集合論では、決められた公理を使って
まず タマゴの、>>58 デカルト積 (q0,q1,q2,・・qi・・) qi∈Q
を作る必要がある これは
数列 q0,q1,q2,・・qi・・ と等価で
数列を作る公理は、ZFCで >>64 より 選択公理(C)＝整列可能定理 しかない
まず、これを認めたらどうだ？

(参考)（前スレ>>829より再録）
https://ja.wikipedia.org/wiki/%E5%BE%93%E5%B1%9E%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
従属選択公理
他の公理との関連
従属選択公理は可算選択公理を導き、それより真に強い公理である。[5][6]
従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる[1]。
略
この記法を採用すると、可算選択公理は実はDC(ω)と同値であり、実際に一般化になっていることがわかり、
全ての順序数について上の命題が成立すると仮定すると選択公理が導ける[1]

使用例
このような公理が無いとしても、各 n について普通の帰納法によって最初の
n 項を有限列としてとることはできる。従属選択公理が主張しているのは、その極限であるような可算無限列が取れるということである

>まず、この客観事実を認めたら？
>まず このことを認めたらどう？

論理式が読めないサル、
>{G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G}
を読めず発狂

（とうとう有限個のものを並べるのに整列可能定理使い始めたぞ）

>>67
>公理的集合論では、決められた公理を使って
>まず タマゴの、>>58 デカルト積 (q0,q1,q2,・・qi・・) qi∈Q
>を作る必要がある
君、直積も知らんの？
https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%A9%8D%E9%9B%86%E5%90%88
の「集合族の直積集合」を読め。

>数列を作る公理は、ZFCで >>64 より 選択公理(C)＝整列可能定理 しかない
集合 {G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} の存在証明に選択公理なんて要らんことも分からない白痴のサル。

>まず、これを認めたらどうだ？
まず、自分がオチコボレであることを認めたらどうだ？

>>66
>>これ以外には、直接 無限集合の 整列順序 R を扱う公理は無い！
>可算集合の整列順序の存在証明は選択公理不要と教えてやってるのにどうしても理解できないサル

フルパワー選択公理不要でも、可算選択公理や 従属選択公理が必要な場合があるぜよｗ （＾＾

>>逆に、無限長の数列を作ることが出来れば、それを使って 無限集合に 整列順序 R を与えることは容易
>数列と整列順序は関係無い。実際有理数列 0,0,・・・ はQのいかなる整列順序も与えない。と教えてやってるのにどうしても理解できないサル

ふっふ、ほっほ
下記 『選択公理は選択集合の存在を主張するが、選択集合がどのように「構築」されるかについては言及しないため、非構成的であるとされる』を百回音読してね（＾＾
具体的な構成の 有理数列 0,0,・・・の存在 をもって
選択公理を否定することはできない！

再録>>64より
https://rio2016.5ch.io/test/read.cgi/math/1778894782/878
https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
ツェルメロ＝フレンケル集合論
選択公理（または同値な命題
選択公理は選択集合の存在を主張するが、選択集合がどのように「構築」されるかについては言及しないため、非構成的であるとされる。

>>弱い可算選択公理ACωも含めて 一切の選択公理を使わずにね
>https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>が読めない非人畜生のサル

”en.wikipedia.org/wiki/Construction_of_the_real_numbers”
の日本語版がある
https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E3%81%AE%E6%A7%8B%E6%88%90
実数の構成 な

en.wikipedia Construction_of_the_real_numbers
ja.wikipedia 実数の構成
とも
ZFCとは全く別の観点から実数の公理を論じている
こちらの Construction_of_the_real_numbers での公理系で 選択公理を使わないとしても
それは 別の公理の組合せで ZFC中での実数構成で選択公理を用いる必要があるかどうかは別で

その話はすでに前スレで終わっているが
Dedekind cuts を使った場合 コーシー列は不要だが
出来た実数Rの性質＝有理数Qを完備化した
を証明するときは、結局選択公理が必要で
さらに、コーシー列を使うときには コーシー列で 選択公理を用いる■

>>70
>集合 {G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} の存在証明に選択公理なんて要らんことも分からない白痴のサル。

G∈2^(N×Q)は、冪集合か？ ならば、冪集合公理が使えるが
もし 冪集合から数列が導けるならば、選択公理は不要になる
任意集合Xについて 冪集合2^X の存在がいえて
もし それが X中の整列順序を含意するならば
選択公理は不要だぞ （＾＾

>>まず、これを認めたらどうだ？
>まず、自分がオチコボレであることを認めたらどうだ？

まあ、あんたよりマシ
あんたは ”ど”のつくオチコボレｗ （＾＾

>>71
>>可算集合の整列順序の存在証明は選択公理不要と教えてやってるのにどうしても理解できないサル
>フルパワー選択公理不要でも、可算選択公理や 従属選択公理が必要な場合があるぜよｗ （＾＾
アホなこと言ってる暇があったら>>55の何が分からないか言ってみ？

>具体的な構成の 有理数列 0,0,・・・の存在 をもって
>選択公理を否定することはできない！
なんでそれが選択公理の否定になるの？　頭おかしいの？

>en.wikipedia Construction_of_the_real_numbers
>ja.wikipedia 実数の構成
>とも
>ZFCとは全く別の観点から実数の公理を論じている
ZFCとは全く別の観点とは？　どの観点？
実数の公理を論じてるんじゃなくて実数の構成を論じてるんだけど。構成なんだから当然公理を満たすことも含まれるけど。だいじょうぶ？

>こちらの Construction_of_the_real_numbers での公理系で 選択公理を使わないとしても
じゃ間違ってるのは君で決着。

>それは 別の公理の組合せで ZFC中での実数構成で選択公理を用いる必要があるかどうかは別で
ちょっと何言ってるか分かりません。

>その話はすでに前スレで終わっているが
>Dedekind cuts を使った場合 コーシー列は不要だが
>出来た実数Rの性質＝有理数Qを完備化した
>を証明するときは、結局選択公理が必要で
君、ソース出せないじゃん

>さらに、コーシー列を使うときには コーシー列で 選択公理を用いる■
有理数列全体の集合の中に当然有理コーシー列は含まれてるから不要。
何度教えても理解できない白痴のサル。

>>72 補足
(引用開始)
>集合 {G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} の存在証明に選択公理なんて要らんことも分からない白痴のサル。
G∈2^(N×Q)は、冪集合か？ ならば、冪集合公理が使えるが
もし 冪集合から数列が導けるならば、選択公理は不要になる
任意集合Xについて 冪集合2^X の存在がいえて
もし それが X中の整列順序を含意するならば
選択公理は不要だぞ （＾＾
(引用終り)

下記があるな
冪集合公理
”任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る：”

きっちり書くと
冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
この対偶命題：
冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

(参考)
https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88%E5%85%AC%E7%90%86
冪集合公理
帰結
冪集合公理は、二つの集合
X と Y に対し、次のようなデカルト積の簡単な定義を許す：
略
任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る：
略

https://en.wikipedia.org/wiki/Axiom_of_power_set
Axiom of power set
Consequences
The power set axiom allows a simple definition of the Cartesian product of two sets
X and Y:
略
One may define the Cartesian product of any finite collection of sets recursively:
略

>>72
>任意集合Xについて 冪集合2^X の存在がいえて
>もし それが X中の整列順序を含意するならば
>選択公理は不要だぞ （＾＾
整列可能定理は選択関数 f:2^X-{{}}→X を用いることが分からないサル。
可算集合が整列集合であることの証明に整列可能定理は不要であることが分からないサル。

>>まず、自分がオチコボレであることを認めたらどうだ？
>まあ、あんたよりマシ
>あんたは ”ど”のつくオチコボレｗ （＾＾
サル、事実を指摘されて発狂！

サルのレスを見ると大学数学がちんぷんかんぷんで勝手に妄想してることがよく分かる
オチコボレに数学は無理なので諦めればよいのに

教えられなくても理解するのが利口
教えられて理解するのが普通のバカ
サルは教えられても理解できない

>>73
>>さらに、コーシー列を使うときには コーシー列で 選択公理を用いる■
>有理数列全体の集合の中に当然有理コーシー列は含まれてるから不要。

それじゃダメ！ （＾＾
　>>74より 再録
下記の Axiom of power set → using the "Kuratowski" ordered pair
そして ”One may define the Cartesian product of any finite collection of sets recursively”
な

"Kuratowski" ordered pairと "finite" を、百回音読してねｗ （＾＾

(参考)
https://en.wikipedia.org/wiki/Axiom_of_power_set
Axiom of power set
Consequences
The power set axiom allows a simple definition of the Cartesian product of two sets
X and Y:
x,y∈X∪Y
{x},{x,y}∈P(X∪Y)
and, for example, considering a model using the Kuratowski ordered pair,
(x,y)={{x},{x,y}}∈P(P(X∪Y))
and thus the Cartesian product is a set since
X×Y⊆P(P(X∪Y)).
One may define the Cartesian product of any finite collection of sets recursively:
X1×⋯×Xn=(X1×⋯×Xn−1)×Xn.

>>78
>それじゃダメ！ （＾＾
なにがどうダメと？

サル、悔しくて訳も分からずとりあえずダメ出し

もう畜生は山へ帰れよ　数学板は畜生が来るところではない

ダメよ～、ダメダメ

>"Kuratowski" ordered pairと "finite" を、百回音読してねｗ （＾＾
何回音読しても初歩の初歩から分かってないサルには無理

畜生の分際で数学を分かってるフリするのがそもそもの間違い
畜生は山でバナナでも探してろ

甘美なバナーナ空間

>>82
彼の人は自分では読んでないんだと思いますね
引用がトンチンカンです

>>85
order と finite というワードに脊椎反射しただけでしょう
いかにも畜生らしいね

>>79-86
>なにがどうダメと？

公理的思考が出来ていないのがダメ！
公理的集合論での議論は、どの公理を使った議論なのかが、きちんと示せないとダメ！
なんか こっそりQ^Nとか裏口から入れて使うのがダメ！
下記を百回音読してねｗ　（＾＾

(再録)
　>>64 >>67
https://ja.wikipedia.org/wiki/%E3%83%84%E3%82%A7%E3%83%AB%E3%83%A1%E3%83%AD%EF%BC%9D%E3%83%95%E3%83%AC%E3%83%B3%E3%82%B1%E3%83%AB%E9%9B%86%E5%90%88%E8%AB%96
ツェルメロ＝フレンケル集合論
公理
ZFC公理系には、多くの同値な定式化が存在する[4]。以下に示す公理は、Kunen (1980)（ケネス・キューネン）に従った
選択公理を除く下記の八つの公理でZFを定義できる。
（連番は筆者が付けた）
1）外延性の公理：任意の集合について、その集合と同じ元のみをもつ集合は、その集合自体の他に存在しない
2）正則性公理：略
3）分出公理図式：分出公理は、既出の集合から部分集合のみを構成できる
　ZFの公理の中で、この公理は置換公理と空集合の公理から導かれる
4）対の公理：任意の集合 xと y について、少なくとも xと y を元とする集合が存在する
5）和集合の公理：略
6）置換公理図式：置換公理は、定義可能な関数において集合の像も集合内にあると主張する。
7）無限公理：略
8）冪べき集合公理：略
9）選択公理（または同値な命題）：任意の集合 X に対して、 X を整列する二項関係 R が存在する。
これは R が、空でない X のどの部分集合も R のもとで最小元を持つような、
X の全順序であることを意味する。
∀X ∃R[R well-orders X]
ZFの公理 (すなわち、前述の8つの公理および公理図式) の下で、選択公理は同値な主張をいくつか持つ。Kunenは選択公理に相当するものとして上記の主張を公理に設定した[6]が、これは通常整列可能定理と呼ばれるものである。

(参考)（前スレ>>829より再録）
https://ja.wikipedia.org/wiki/%E5%BE%93%E5%B1%9E%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
従属選択公理
他の公理との関連
従属選択公理は可算選択公理を導き、それより真に強い公理である。[5][6]
従属選択公理の一般化としてさらに長い超限列の生成を認めるものを考えることができる[1]。

公理DC(ℵα) ― 関係R⊂P(X)×Xが、
Xの部分集合Yが、
|Y|<ℵαならばある
x∈Xが存在して
YRxとできるとする。
このとき、関数f:ℵα→Xで、
(∀β<ℵα)[{f(γ)|γ<β}Rf(β)]
をみたすものが存在する
この記法を採用すると、可算選択公理は実はDC(ω)と同値であり、実際に一般化になっていることがわかり、
全ての順序数について上の命題が成立すると仮定すると選択公理が導ける[1]

使用例
このような公理が無いとしても、各 n について普通の帰納法によって最初の
n 項を有限列としてとることはできる。従属選択公理が主張しているのは、その極限であるような可算無限列が取れるということである

>>87
集合 N,Q の存在を前提とするとき、集合 {G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G} の存在証明のために必要十分な公理は、対の公理、和集合の公理、べき集合の公理、分出公理。
おサルは自分の頭で考えることができないからいちいち教えを乞うね。

まあおサルは馬鹿なので教えられても理解できないでしょうな
もういいから山へお帰り

ZFCの公理をリストアップしても
どう使うかを全く理解していない

彼の人は従属選択公理の主眼である
「二項関係に関して選ぶ」
ということの意味するところも認識していません

実は直積集合の存在証明のために必要十分な公理が対の公理、和集合の公理、べき集合の公理、分出公理。
https://en.wikipedia.org/wiki/Cartesian_product
Therefore, the existence of the Cartesian product of any two sets in ZFC follows from the axioms of pairing, union, power set, and specification.

{G∈2^(N×Q)|∀n∈N.∃!q∈Q.(n,q)∈G}
は、直積集合のべき集合から部分集合を切り出しているから、それ以上の公理は不要。

おサル、公理的集合論がちんぷんかんぷん。公理をリストアップしたところで無意味だぞｗ

コーシー列であるという条件式は
∀ε>0,∃n∈N,∀i,j>n: |a(i)-a(j)|<ε
ですかね
これで分出すれば良いわけです
そしてQ上のコーシー列の全体に同値関係を入れるわけですが
コーシー列同士の包含関係（部分列関係）を定義して
同じコーシー列に包含されるものは同値とすればいいですかね
それともコーシー列同士の順序（大小関係）を定義して同等であるものは同値にする方が面倒が少ないかも

コーシー列の大小は
a<b ::≡ ∃ε>0,∃n∈N,∀m>n: a(m)+ε<b(m)
かな
ちょっと格好良くないけれど目的は果たせそう
これによる同等の定義は
a〜b ::≡ ∀c: (c<a ⇔ c<b)
でしょうか

分出公理によって有理数列全体の集合からその部分集合である有理コーシー列全体の集合を切り出せるから、”有理コーシー列の構成”なんて要らないんだよおサルさん。
理解できる？　君、公理的集合論ちんぷんかんぷんだから理解できない？

つまり有理数体までを構成できた瞬間に有理コーシー列全体の集合も存在している
おサルの持論「従属選択公理を使わないと有理コーシー列を作れない」はただの妄想
君、数学板で発言するなら少しは勉強したら？　恥かくだけだよ

おサルは「俺はコピペしかしないから俺の発言に間違いは無い」と自称するが、実際は独自説を頻繁に発言し、それらはことごとく間違っている
おサルは勉強が大嫌いでいつも妄想を口から出まかせに語るから

>>93-94
>コーシー列であるという条件式は
>∀ε>0,∃n∈N,∀i,j>n: |a(i)-a(j)|<ε
>ですかね
>これで分出すれば良いわけです

なるほど それは一理あるが
ちょっと戻ると>>53の
"「Q上の整列順序を用いないと有理コーシー列は作れない」
Qまでを構成した瞬間に有理数列の全体Q^Nは存在しており、その中に当然有理コーシー列も含まれている。だからそもそも作る必要は無い"

ここの、有理コーシー列とは Qの可算無限直積 Q^Nの要素だということは 前提として認めるとする
そうすると、下記 可算無限直積と 選択公理の関係が問題になる
（下記より抜粋）
”無限のデカルト積 インデックス集合 I上で定義された関数のうち、特定のインデックスiにおける関数の値がX iの要素となるような関数の集合。各X iが空でない場合でも、選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある”
”Axiom of choice 空でない集合の任意の集合の直積は空でない。この形式は、より一般的な形式を意味しており、デカルト積は一般的なインデックス付き集合族（重複を含む場合もある）である”
”選択公理が不要な場合
有限個の空でない集合の集合に対する選択関数の存在は、選択公理に依拠することなく、有限帰納法の原理によって証明できます。[7] この証明は、単一の空でない集合 A が与えられた場合、一階述語論理では A の具体的な要素 a を選択できるという事実を利用しています。しかし、一階述語論理における証明は有限でなければならないため、一階述語論理のみでは無限個の選択を行うことはできません。
選択公理が不要なもう一つのケースは、標準的な選択関数を与える明示的な規則が存在する場合です。例えば、集合 X の各要素が自然数の空でない部分集合である場合、そのような明示的な規則の一つは、各 A ∈ X の最小要素を選択することです。各 A ∈ X をその最小要素に写像する標準的な選択関数は、選択公理を用いずに ZF で構成できます。”

つまり、
１）”一階述語論理における証明は有限でなければならないため、一階述語論理のみでは無限個の選択を行うことはできません”
２）”選択公理が不要なもう一つのケースは、標準的な選択関数を与える明示的な規則が存在する場合です。例えば、集合 X の各要素が自然数の空でない部分集合である場合、そのような明示的な規則の一つは、各 A ∈ X の最小要素を選択することです。各 A ∈ X をその最小要素に写像する標準的な選択関数は、選択公理を用いずに ZF で構成できます”
３）”無限のデカルト積 インデックス集合 I上で定義された関数のうち、特定のインデックスiにおける関数の値がX iの要素となるような関数の集合。各X iが空でない場合でも、選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある”
４）上記で言いたいことは、冒頭の条件式では 選択公理抜きで コーシー列 を構成できているかの”保証”がない と思う
　”選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある”と■

つづく

つづき

(参考)
https://en.wikipedia.org/wiki/Cartesian_product
Cartesian product
Infinite Cartesian products 無限のデカルト積
It is possible to define the Cartesian product of an arbitrary (possibly infinite) indexed family of sets. If I is any index set, and
{Xi}i∈I
is a family of sets indexed by I, then the Cartesian product of the sets in
{Xi}i∈I is defined to be
∏i∈IXi={f:I→⋃i∈IXi | ∀i∈I. f(i)∈Xi},
that is, the set of all functions defined on the index set I such that the value of the function at a particular index i is an element of Xi. Even if each of the Xi is nonempty, the Cartesian product may be empty if the axiom of choice, which is equivalent to the statement that every such product is nonempty, is not assumed.
(google訳)
すなわち、インデックス集合 I上で定義された関数のうち、特定のインデックスiにおける関数の値がX iの要素となるような関数の集合。各X iが空でない場合でも、選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある。

https://en.wikipedia.org/wiki/Axiom_of_choice
Axiom of choice
Statement
The Cartesian product of any collection of nonempty sets is nonempty.
This form implies a more general form where the Cartesian product is of a general indexed family of sets (which may contain duplicates), since one can always select the same element from duplicate factors.
(google訳)
空でない集合の任意の集合の直積は空でない。
この形式は、より一般的な形式を意味しており、デカルト積は一般的なインデックス付き集合族（重複を含む場合もある）である

Usage
Until the late 19th century, the axiom of choice was often used implicitly, although it had not yet been formally stated. For example, after having established that the set X contains only non-empty sets, a mathematician might have said "let F(s) be one of the members of s for all s in X" to define a function F. In general, it is impossible to prove that F exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.
(google訳)
19世紀後半まで、選択公理は正式には述べられていなかったものの、暗黙のうちにしばしば用いられていた。例えば、集合Xが空でない集合のみを含むことが確定した後、数学者は関数Fを定義するために「すべてのs∈Xについて、F ( s )をsの要素の一つとする」と述べることがあった。一般に、選択公理を用いずにFの存在を証明することは不可能であるが、このことはツェルメロまで気づかれずにいたようである。

つづく

つづき

Examples
Cases where the axiom of choice is not needed
The existence of a choice function for a finite collection of nonempty sets can be proved by the principle of finite induction, without appealing to the axiom of choice.[7] The proof uses the fact that, given a single nonempty set A, first-order logic allows choosing some concrete a∈A. However, since a proof in first-order logic must be finite, one cannot make an infinite number of choices with first-order logic alone.

Another case where the axiom of choice is not needed is when there exists an explicit rule that gives a canonical choice function. For example, if each member of the collection X is a nonempty subset of the natural numbers, then one such explicit rule is to choose the smallest element of each
A∈X. The canonical choice function that maps each A∈X to its smallest element can again be constructed in ZF without the axiom of choice.
In general, if the union of all sets in X can be well-ordered, then a choice function for can be constructed without using the axiom of choice. Note that it does not suffice that each A∈X can be well-ordered, since the axiom of choice may be needed to choose a canonical well-ordering for each A anyway.

(google訳)
選択公理が不要な場合
有限個の空でない集合の集合に対する選択関数の存在は、選択公理に依拠することなく、有限帰納法の原理によって証明できます。[7] この証明は、単一の空でない集合 A が与えられた場合、一階述語論理では A の具体的な要素 a を選択できるという事実を利用しています。しかし、一階述語論理における証明は有限でなければならないため、一階述語論理のみでは無限個の選択を行うことはできません。

選択公理が不要なもう一つのケースは、標準的な選択関数を与える明示的な規則が存在する場合です。例えば、集合 X の各要素が自然数の空でない部分集合である場合、そのような明示的な規則の一つは、各 A ∈ X の最小要素を選択することです。各 A ∈ X をその最小要素に写像する標準的な選択関数は、選択公理を用いずに ZF で構成できます。

一般に、X に含まれるすべての集合の和集合が整列可能であれば、選択公理を用いなくても選択関数を構築できる。ただし、各 A∈X が整列可能であればは 十分ではないことに注意が必要である。なぜなら、いずれにせよ、各 A に対して標準的な整列順序を選択するために選択公理が必要になる場合があるからである。
(引用終り)
以上

>>98-100
まったくトンチンカンないいがかり
論理がわからん素人の典型的ワードサラダ文

サラドはお嫌いですか。

生魚が嫌いなら、フライにしてあげれば良い。

>>98
>４）上記で言いたいことは、冒頭の条件式では 選択公理抜きで コーシー列 を構成できているかの”保証”がない と思う
> ”選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある”と■
空じゃないよ。実際、有理コーシー列 0,0,・・・ が存在している。君、頭悪いね。

おサルは 0,0,・・・ が有理コーシー列じゃないと言いたいのかな？
それは新説なので論文書いたら？
鼻で笑われるだろうけどｗ

鼻を笑われる小説

＞インデックス集合 I上で定義された関数のうち、特定のインデックスiにおける関数の値がX iの要素となるような関数の集合。
＞各X iが空でない場合でも、選択公理（そのような積はすべて空でないという命題と同値）を仮定しない場合は、デカルト積は空になる可能性がある。

IがNとする。
任意のn∈Nについて、Q(n)＝Qなら、
任意のn∈Nからあるq∈Qへの関数の存在が言えるけど

アタマ大丈夫？

大丈夫じゃないと思う
妄想と現実の区別が付かなくなってるのだろう

テンプレ入りです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

チョットテンプレ入りの理由が分かりにくいかも

でもテンプレ

ZF公理系において任意の集合Xに対し直積集合 ΠX:={f:X→∪X|∀x∈X.f(x)∈x} が存在する。これはXの選択関数全体の集合に他ならない。
選択公理は ΠX≠{} を主張する。

Π(i∈I)X(i)で、一般にi≠iのときX(i)≠X(j)ならば、
iごとに異なるX(i)から元を選ぶ必要があり、
そのような関数が具体的に構築できない場合
Π(i∈I)X(i)は空だとすることもできる

一方、Π(i∈I)Xの場合、どのiでも同じXなのだから
Xが空でない場合その元xを一つ選ぶ
任意のiからxに写像する集合を考えれば
それがΠ(i∈I)Xだと証明できる
つまり、空でないことが直接証明できる

この程度の簡単な論理的推論もできない人が
大学数学の理論を理解することは…不可能

世田君が熱く語れば語るほど
「この人の考える数学ってホントつまんないな」
と思っちゃう

多分彼自身面白さが全然感じられないので
ムキになってる気がする

哀れだな

おサルは必死に反論を考えてることだろう
だが無駄だ　初歩の初歩から分かってないから
そんなことより口を閉じて初歩の初歩から勉強しなおせ　無駄なことはするな

アーチーチー、アーチー！
あれって実はカバーだよ。

>>101
彼の人の書いた
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
はおそらくだけど
「Nが有限集合で無いからQ^Nは存在しない」
と言いたいのでないかと思う

ここで
「Q^Nは存在しない」は
元が存在しないと言いたいのかと

デカルト積は順序対による
A×B={(a,b)|a∈A,b∈B}
のこと
これを繰り返して
A1×…×An=(A1×…)×An
が定義できるが
これは有限個のところまでで
Π{Aλ|λ∈Λ}
は>>112の通りの定義だけど
これは普通はデカルト積とは呼ばれない（とおもう）
デカルト積との関係は
Π{Ak|k=1,…,n}→A1×…×An
f→(f(1),…,f(n))
による同一視で

デカルト積の段階でも
(A×B)×CとA×(B×C)は異なるけれど
((a,b),c)と(a,(b,c))を対応させて同一視するのが普通（とおもう）

1個だけの「デカルト積」は(a)とaを同一視でその聚合そのものでいいかな
0個の「デカルト積」は定義しないとするか
Aと1×Aをa→(0,a)で対応させて同一視することで
1(={0})とするかかな
実数の場合の
a^1=a,a^0=1
みたいな？
>>112の定義に基づくと
A^0={f:0→A}={φ}=1
でいいのか

>Aと1×Aをa→(0,a)で対応させて同一視することで
>1(={0})とするかかな
1じゃなくAじゃね？

>A^0={f:0→A}={φ}=1
>でいいのか
いいよ、定義域が空集合の写像は空写像のみだから

>>74 戻る
(引用開始)
冪集合公理
”任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る：”
きっちり書くと
冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
この対偶命題：
冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
(参考)
https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88%E5%85%AC%E7%90%86
冪集合公理
帰結
冪集合公理は、二つの集合
X と Y に対し、次のようなデカルト積の簡単な定義を許す：
略
任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る：
略
https://en.wikipedia.org/wiki/Axiom_of_power_set
Axiom of power set
Consequences
The power set axiom allows a simple definition of the Cartesian product of two sets
X and Y:
略
One may define the Cartesian product of any finite collection of sets recursively:
略
(引用終り)

ちょっと誤訳 に引きずられた チョンボです

和文：任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る
英文：One may define the Cartesian product of any finite collection of sets recursively
(google訳 任意の有限集合のデカルト積は、次のように再帰的に定義できる）
これ誤訳です
英文の趣旨：
”集合たちを 任意有限個集めた デカルト積は、次のように再帰的に定義できる”
ですね
対偶
デカルト積が 再帰的に定義できないのは、有限個集めた場合ではない（即ち無限に集めた場合だ）
ってことだね
＜余談＞
『P(P(X∪Y))』みたく "冪の冪"を作っているんだ。二重冪だね（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88%E5%85%AC%E7%90%86
冪集合公理
帰結
冪集合公理は、二つの集合
X と Y に対し、次のようなデカルト積の簡単な定義を許す：
略
(x,y)={{x},{x,y}}∈P(P(X∪Y))
X×Y⊆P(P(X∪Y)).
任意の有限集合の類に対しても、デカルト積を次のように帰納的に定義することが出来る：
X1×⋯×Xn=(X1×⋯×Xn−1)×Xn.
デカルト積の存在は、クリプキ＝プラテクの集合論（英語版）におけるように、冪集合公理を用いなくても証明できることに注意されたい。

https://en.wikipedia.org/wiki/Axiom_of_power_set
Axiom of power set
Consequences
The power set axiom allows a simple definition of the Cartesian product of two sets
X and Y:
略
(x,y)={{x},{x,y}}∈P(P(X∪Y))
and thus the Cartesian product is a set since
X×Y⊆P(P(X∪Y)).
One may define the Cartesian product of any finite collection of sets recursively:
X1×⋯×Xn=(X1×⋯×Xn−1)×Xn.
The existence of the Cartesian product can be proved without using the power set axiom, as in the case of the Kripke–Platek set theory.

>>124
>ちょっと誤訳 に引きずられた チョンボです
言い訳無用
初歩の初歩から分かってないからいつも間違う

（意味も分からず引用するのみか）

>>124
>『P(P(X∪Y))』みたく "冪の冪"を作っているんだ。二重冪だね（＾＾
なんでP(P(X∪Y))が必要か分かってる？

>>124
>ちょっと誤訳 に引きずられた チョンボです
数学文献の自動翻訳なんて誤訳だらけなんだから原文読めよ　君、英語もできないの？
collection は族であって類なんて訳しちゃダメだろ

同値関係にまったく触れられてない時点で類はおかしいと思わない？　馬鹿だから思わないか

集合系

>>117
>>この対偶命題：
>>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
>はおそらくだけど
>「Nが有限集合で無いからQ^Nは存在しない」
>と言いたいのでないかと思う

サポートレスありがとう
ほぼその通り

１）対偶命題は、チョンボで >>124の通り
”英文：One may define the Cartesian product of any finite collection of sets recursively
(google訳 任意の有限集合のデカルト積は、次のように再帰的に定義できる）
これ誤訳です
英文の趣旨：
”集合たちを 任意有限個集めた デカルト積は、次のように再帰的に定義できる”
ですね
対偶
デカルト積が 再帰的に定義できないのは、有限個集めた場合ではない（即ち無限に集めた場合だ）
ってことだね
＜余談＞
『P(P(X∪Y))』みたく "冪の冪"を作っているんだ。二重冪だね”
と訂正するよ

２）>>98-100 に示した通りだが
　公理的集合論ZFCでは、
　無限デカルト積とか 無限数列を作る役割は、選択公理の役割だ
　だから、コーシー列ならば まず 選択公理で Q^Nなる無限デカルト積を 作って
　その後で
　Q^Nの元 q1,q2,・・qi,・・ に対して >>93-94 のような議論じゃないの？

素直になろうよ みんな （＾＾

>>131
>公理的集合論ZFCでは、
>無限デカルト積とか 無限数列を作る役割は、選択公理の役割だ
はい、大間違いです。

>だから、コーシー列ならば まず 選択公理で Q^Nなる無限デカルト積を 作って
はい、大間違いです。

>素直になろうよ みんな （＾＾
率直に言って、君、初歩の初歩から分かってないので数学板で発言しない方が良い

>>131
>公理的集合論ZFCでは、
>無限デカルト積とか 無限数列を作る役割は、選択公理の役割だ
妄想

>だから、コーシー列ならば まず 選択公理で Q^Nなる無限デカルト積を 作って
>>92で教えられても理解できないサル

教えられなくても理解するのが利口者
教えられて理解するのが普通のバカ
サルは教えられても理解できない

選択公理無しでも有理コーシー列 0,0,・・・ の存在を示せるんだから
>公理的集合論ZFCでは、
>無限デカルト積とか 無限数列を作る役割は、選択公理の役割だ
は妄想って分かりそうなもんだけど、サルは重度NPD患者なので自分の妄想こそ正しいと信じて疑わない

I love me. とは普通言わないみたい。

She don't care. という歌詞はある。

そもそも従属選択公理によって有理コーシー列の存在が言えるだけでは、有理コーシー列全体の集合を要する実数の構成に対し何の役にも立たない。
サルは初歩の初歩から分かってない。

そもそも選択公理の主張は ∀X((X≠{}∧¬{}∈X)⇒ΠX≠{}) であって、集合 ΠX の存在は選択公理に依らない。
サル、公理的集合論がチンプンカンプン。

サルは公理的集合論以前に論理がチンプンカンプン。
論理式が読めなければ大学一年で落第するのは当たり前。
だから言ってるだろ？
>口を閉じて初歩の初歩から勉強しなおせ　無駄なことはするな(>>115)
と

Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
（まあそう呼ぶと決めても良いですけどお薦めはしかねます）
彼の人は「選択公理がなぜ必要なのか」を理解してません
「無限に関する定義をするには選択公理が必要」と誤解してます
正しく理解できて初めてコーシー列による実数定義に選択公理は不用であるとの理解ができるようになるでしょうに

>>135
> ID:q9wIXpUf
キモ

悪口言ってる奴よりマシw

（）←これの方が…