20/09/07 05:46:52.27 bE/6WhUJ.net
◆yH25M02vWFhP は箱入り無数目のゲームを取り違えてるよな
100列の内、99列を開けて、その中の最大決定番号Dを得たところで
Dを固定して、残り1列のみを毎回選ぶもんだと誤解してる
全然違うよ
100列全部固定していて、どの列を選ぶかだけが異なるんだよ
だから他より大きな決定番号をもつ列（たかだか1列）を
選ぶ確率は1/100なんだよ
178:１３２人目の素数さん
20/09/08 22:18:45.07 jldlOMMa.net
↑
瀬田、まったく反論できないの図
そりゃそうだ、根本的に解ってないからね
179:１３２人目の素数さん
20/09/09 19:08:18.44 RmImPufM.net
ｽﾚﾘﾝｸ(math板:283番)
>時間は、数学では抽象化されているでしょ
>離散時間 T = {1, 2, 3, …}で、→∞ とすれば、これ時枝の可算無限個の箱だろ
そもそも、箱＝確率変数、と思ってる時点で誤りですがね
>状態空間 Sで、ユークリッド空間 R^dで一次元とすれば、
何が一次元？狂ってますね
>これRは箱に任意の実数を入れる話と合う。
毎回入れなおすわけではないですね
したがって確率変数ではないですね
>おサルは確率論・確率過程論が、サッパリってことが ばればれ
そもそも無限個の箱＝無限個の確率変数という思い込みが誤りですね
>時枝については、いまや形勢は完全に逆転した
>時枝が分かっていないのは、おサルさん、あなたですよ
まったくの妄想ですね
180:１３２人目の素数さん
20/09/10 06:20:06.98 9gEGQrRx.net
ｽﾚﾘﾝｸ(math板:303番)-304
＞確率論・確率過程論でThe Riddle不成立を証明してみて
箱＝確率変数 と脊髄反射するだけの、
お🐎🦌な◆yH25M02vWFhP には到底無理
「箱入り無数目」では、箱の中身は入れ替えない
だから箱の中身は確率論・確率過程論の
確率変数の定義を何度読み返しても
確率変数となり得ない
定義による論理的思考ができず、
フロイトの精神分析並の「自由連想」するしか
能がない素人の◆yH25M02vWFhP には
数学は到底理解不能！！！
181:１３２人目の素数さん
20/09/10 12:18:14.89 e23m6Bgx.net
>>166
>そもそも無限個の箱＝無限個の確率変数という思い込みが誤りですね
そうですね。
箱の中身は「私」のターンで固定されるので、「あなた」のターンで確率変数になり様が無いですね。
まったくの誤解だと思います。
箱入り無数目より引用
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. （中略）そして箱をみな閉じる.
今度はあなたの番である.・・・」
↑
この通り、1.「私」が箱に実数を入れる→2.箱を閉じる→3.「あなた」のターン の順であることが明記されてますから。
日本語が不自由なんですかね？
182:現代数学の系譜 雑談
20/09/12 17:41:53.30 cnqeiEp4.net
>>160 補足
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID（独立同分布）（>>8-9）！
１．独立だから、問題の箱以外を開けても、問題の箱とは無関係
２．同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
１．箱の数として、ある確率現象を考える。コイントスの0，1なら確率1/2
サイコロで1～6の数なら確率1/6
閉区間[0,1]の一様分布の実数１点的中は、確率0（∵零集合だから）
２．ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99％。これはおかしい
なぜ、こんなおかしな事が？
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です（＾＾
183:１３２人目の素数さん
20/09/15 19:07:39.06 9Bwg1zHi.net
>>169
あなたの主張を要約すると
「下手くそな当て方では当たらない、だから時枝先生の当て方でも当たらないはずだ」
なんですよ。解かりますか？
その推測には何の根拠も無いし実際間違�
184:ﾁているのでゼロ点ですねー 落第です それでなんで何日も経ってから自己レスし、しかもsageなんですか？ そんなにレスしてることを隠したいんですか？ 反論されるのが嫌なんですか？ 言ったもん勝ちを狙ってるんですか？ あなたって何なんですか？
185:現代数学の系譜 雑談
20/09/15 20:36:16.79 U8/AtlFY.net
おれら、勝負ついているんだよね
で、いまさら、まともにレスする気がないんだわｗ
適当にあしらうのみ
それで宜しければ、どうぞｗｗ
186:１３２人目の素数さん
20/09/15 21:40:54.77 9Bwg1zHi.net
ですよね
不成立の証明を課題に与えても手も足もでないようですし
187:１３２人目の素数さん
20/09/15 21:44:32.84 D6yfk4lL.net
>>171
たしかに勝負は◆yH25M02vWFhP の惨敗で決着しているｗ
いまさら言い訳のしようもあるまい
言い訳すればするほど恥かくからなｗ
行列の件も２度も３度も間違う醜態
線形代数を知らない🐎🦌にはこまったもんだ(嘲）
おれは適当にあしらったりはしないよ
おまえの🐎🦌っぷりをとことんあげつらってやる
それはおまえに対する数学の教育 感謝しろよ 🐎🦌ｗｗｗｗｗｗｗ
188:１３２人目の素数さん
20/09/15 21:47:42.76 9Bwg1zHi.net
下手くそな当て方で当たらないことをいくら示しても
時枝先生のやり方で当たらないことを示したことにはならない
こーんな至極当然のことも解らないおバカさんに数学は無理ですよー なにかっこつけてんですかー？
189:現代数学の系譜 雑談
20/09/16 10:19:20.63 64Y83pRt.net
おサルが二匹か
まあ、時枝が分かるためには
大学教程の確率論・確率過程論を学ぶのが先
確率変数の概念も分からんようじゃ、議論にならん
と言って、私が、ここで、
大学教程の確率論・確率過程論を教えるわけにはいかないのは、当然のこと
まあ、教えてもね
チンパンジーにアインシュタインの相対性理論を教えるが如しかもな
自分で勉強してもらうしかないが
どうも、ムリみたいだな
そういうことです
190:１３２人目の素数さん
20/09/16 23:58:38.14 H2TkBIYN.net
>>175
誰も確率論・確率過程論を教えてくれなんて言うてまへんがな
The Riddle不成立を証明してごらんとは言うたが
証明まだ？
191:現代数学の系譜 雑談
20/09/17 06:30:13.67 Goa0/AaP.net
>>175
証明は100年前に終わっているが、
そこには大学教程の
確率論・確率過程論の確率変数の概念が使われている
確率変数の概念が分からない人には、
理解できないだけのこと
です
192:１３２人目の素数さん
20/09/17 06:35:53.52 PUn6GZi6.net
>>177
そもそも「箱入り無数目」における確率変数の認識が間違っとるが
さらにいえば、その間違った認識でも「当たる確率０」は導けないが
せいぜい「非可測だから計算不能」としか言えない
◆yH25M02vWFhPの主張は誤りだと、確率論で証明できる
ま、非可測集合すら理解できない◆yH25M02vWFhPには無理かｗｗｗｗｗｗｗ
193:１３２人目の素数さん
20/09/17 06:38:18.40 PUn6GZi6.net
もう「箱入り無数目」は諦めろ
εδも分からん🐎🦌の貴様に測度論も確率論も無理ｗ
まず、線形代数からやり直せ
ああ、いきなり斜体とか一般化するなよ
まず可換体から理解しろ 🐎🦌に非可換体なんか１００００年早いｗ
194:１３２人目の素数さん
20/09/17 06:48:22.16 PUn6GZi6.net
ここ、ガダルカナルで◆yH25M02vWFhPは惨敗した
◆yH25M02vWFhPは”フィリピン”に集中しろ
195:現代数学の系譜 雑談
20/09/17 10:59:03.01 mTCCJp7z.net
ガダルカナル・タカさん、元気かな～？
最近みないけど
戦艦「時枝」は、IID（独立同分布）（>>8-9）弾一発で、瞬殺・轟沈しましたぁ～！ｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ガダルカナル・タカ（Guadalcanal Taka、1956年12月16日 - ）は、日本のお笑いタレント。本名は井口 薫仁（いぐち たかひと）。
株式会社TAP所属で、ビートたけし率いるたけし軍団の一員。血液型B型。
妻はフリーアナウンサーの橋本志穂。
日本テレビ系列『お笑いスター誕生』等で活躍。同番組で知り合ったツーツーレロレロ（そのまんま東・大森うたえもん）に、たけし軍団の草野球に助っ人として誘われ、参加する中で、たけしに軍団に加わる事を打診され加入した。枝豆と共に軍団入りし、同時にコンビ活動を停止。
1986年12月8日 - 9日にフライデー襲撃事件に参加し、暴行容疑で大塚警察署に現行犯逮捕。謹慎後に復帰。
以後、『スーパージョッキー』など、たけしの番組において、たけし軍団の大番頭的ポジションで出演しつつ、ピンのタレントとしては、ローカル局・UHF局の番組でMCとして出演を重ね、キャリアを積む。
話術の巧みさを買われ「スーパーサブ」的なポジションでゲスト出演することも多い。NHKからも声がかかっており、さらに『なるトモ!』、『情報ライブ ミヤネ屋』といった在阪準キー局制作番組にもレギュラー出演し、特に、関西ローカル番組では重宝されている。
妻の橋本志穂（当時福岡放送アナウンサー）とは、北九州市のスペースワールドでのイベントで共演し知り合った。
出演
196:１３２人目の素数さん
20/09/18 00:56:47.25 zs2UU8cH.net
>>177
なんだかんだ言って結局証明できんやな
いつも口だけやな
197:現代数学の系譜 雑談
20/09/20 23:40:49.36 w0R3FJMo.net
１．不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
２．時枝の記事の後半で、おかしなこと
１）数列のシッポだから、ビタリ風の非可測集合と即断しているが、そもそも可算無限次元のR^∞には、計量が入らない（自乗総和が無限大に発散する）
計量を入れるなら、ヒルベルト空間などに制限する必要があるが、そこの問題ではない
時枝戦略の本質的問題点は、決定番号の分布が非正則分布になり、確率計算ができないことにある
２）確率変数の独立の定義に、イチャモンつけている
しかし、「確率変数の無限族は，任意の有限部分族が独立のとき，独立， と定義される」という表現は、コンパクト性定理でも使われている表現で、まっとうなものです
（下記 渕野 などご参照）
時枝氏の書いていることは、ちょっと変です
３．結局、時枝記事の戦略は成り立ちません！
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ヴィタリ集合
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである
URLﾘﾝｸ(fuchino.ddo.jp)
�
198:L限から無限への移行原理としての命題論理 渕野昌 2012 P7 命題論理のコンパクト性定理 定理1 Tのすべての有限部分集合が充足可能なら T も充足可能である コンパクト性定理は，無限の性質が本質的かかわっている定理である 命題論理のコンパクト性定理は，有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の１つとなる
199:１３２人目の素数さん
20/09/21 02:08:37.37 /oh0cClf.net
>>183
>不成立の証明は、反例を一つ提示すれば、終わる
その通り。
>時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
これは酷い。
箱入り無数目における反例とは勝つ戦略が存在しない実数列だよ。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
↑
この文章からそれが読み取れないようじゃ数学の前に国語を勉強した方がよいのでは？
200:１３２人目の素数さん
20/09/21 07:03:17.67 ygseaWNf.net
>>183
🐎🦌 毎度恒例の発狂
「箱入り無数目」ではどの箱も確率変数ではない
したがって「無限個の確率変数の独立性」とかまったく無意味
１００個の無限列は固定であり、
どの１列を選ぶかしか任意性がなく
当らないのはたかだか１列だから
当たる確率は少なくとも1-1/100=99/100
たったこれだけ
201:１３２人目の素数さん
20/09/21 07:15:43.31 ygseaWNf.net
>>183
＞そもそも可算無限次元のR^∞には、計量が入らない
またまた🐎🦌発言発見ｗ
そもそもｎ＾∞でもよいし、その場合にはビタリの非可測集合が構成できる
貴様が🐎🦌だからできないだけ
＞時枝戦略の本質的問題点は、
＞決定番号の分布が非正則分布になり、
＞確率計算ができないことにある
別スレの「零因子」と同様のトンチンカンぶりｗ
誤 決定番号の非正則分布になり
正 決定番号の正則な分布が存在せず
ちなみに上記は
「箱の中身が確率変数だと”誤解”した場合の
時枝戦略の問題点」
正しい理解は「箱の中身は定数」だから無意味
202:１３２人目の素数さん
20/09/21 07:23:45.46 ygseaWNf.net
>>183
＞「確率変数の無限族は，任意の有限部分族が独立のとき，独立， と定義される」
＞という表現は、コンパクト性定理でも使われている
無限個の箱のうち、たかだか有限個の箱の中身だけ０でない、という制限の上で、
任意の有限個の箱の中身が独立とすることはできる
しかし、この場合、それぞれの箱の中身が0でない確率が1だとしても、
無限個の箱全部が0でない確率は、0になる
つまり、1の無限個の積=1、という式は成立しない
203:１３２人目の素数さん
20/09/21 09:23:14.60 /oh0cClf.net
>「箱入り無数目」ではどの箱も確率変数ではない
まず、実数列の決定権は「私」にある。
それに対し数当て方法（確率変数の取り方も含む）の決定権は「あなた」にある。
だから「私」が箱の中身を確率変数とする（ex. IID）はルール違反。
次に、「あなた」は箱の中身を確率変数としてもよい。
ただそれでは勝てない（そもそも勝率が定まらない）だけのこと。
下手くそな戦略で勝てないからといって「勝つ戦略は無い」とは言えない。
↑
瀬田はここが分かってない。
時枝先生は確率99/100以上で勝つ戦略を示したのだから、勝つ戦略が無いことを示すには時枝先生の戦略が間違っていることを示すことが必要条件。
ところが瀬田は時枝先生の戦略については一言も触れず、「下手くそな戦略」についてしか言わない。完全な間違い。ゼロ点。落第。
204:１３２人目の素数さん
20/09/21 10:18:07.85 ygseaWNf.net
>>188
「私」「あなた」ではなく「出題者」「回答者」と書いてくれないか
このゲームでは「出題者」は、はじめに箱の中身を決める権利がある
しかし、それは、はじめの一回だけである
その後、一切中身を入れ替えることは禁止する
それが「箱の中身は確率変数でない」という意味
瀬田はここが分かってない、というより分かりたがらない
分かったら負けだからｗ
「箱入り無数目」の記事で
確率99/100以上で勝つ戦略が使えるゲームとは
そういうルールだ、という�
205:ｱと もちろん、箱の中身を毎回変えていいのなら 「箱入り無数目」の記事の方法では確率計算はできない その理由はPrussが述べたconglomerabilityが成立しないから ただ、その場合にも「当たる確率0」は言えない つまり、箱入り無数目の主張の拡大だけでなく、 セタの主張も完全に否定される （どちらもconglomerabilityが成立する前提でしか正しくないから） セタの主張を正当化するには ・箱の中身は確率変数 ・「回答者」が箱を選べるのは最初の一回のみ （以後、箱を選びなおすことは禁止） というルールを採用するしかないが、 そんなルールは記事には一切書いてない
206:１３２人目の素数さん
20/09/21 15:51:26.89 ygseaWNf.net
時枝、Pruss、セタ 三者の違い
１．箱の中身に関して
時枝
箱の中身は定数
出題者が箱の中身を入れられるのは最初の一回だけ
Pruss
セタ
箱の中身は確率変数
出題者は毎回、箱の中身を入れ替えられる
２．箱の選択に関して
時枝
Pruss
選択される列の番号は確率変数
回答者は毎回、列を選びなおせる（つまり箱も選び替えられる）
セタ
選択される箱の番号は定数
回答者は最初に列を選び、記事の戦略で箱を選んだら
再び選び替えることはできない（つまり同じ箱で予測する）
３．予測的中確率について
時枝
少なくとも９９／１００ 運が良ければ１
Pruss
計算不能（非可測性＆non conglomerabilityにより）
セタ
０（箱の中身の確率分布のみで計算可能）
セタの主張は、「２．箱の選択に関して」で
セタの独善的なルールを適用することによってのみ成立する
セタがこのことを明確に述べないのは
自分でも「箱を選びなおせない」というルールが
独善的だと気付いているからだろう
セタのこの卑怯卑劣なやりかたは
まさに加藤某とかいうT大H学部卒の官僚上がりの政治家が用いる
「東大話法」「ご飯論法」に通じるものである
207:１３２人目の素数さん
20/09/21 20:14:55.25 Lnon6Ca0.net
そうですね
私もそう思います
208:１３２人目の素数さん
20/09/21 22:53:31.00 /oh0cClf.net
瀬田相変わらずフルボッコやな
209:現代数学の系譜 雑談
20/09/22 11:10:52.99 qkl/9znF.net
>>188 再録
(引用開始)
１．不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
ようやく分かってきたのかな？
（>>177より）
>>175
証明は100年前に終わっているが、
そこには大学教程の
確率論・確率過程論の確率変数の概念が使われている
確率変数の概念が分からない人には、
理解できないだけのこと
です
(引用終り)
の意図が
（>>175）
おサルが二匹か
まあ、時枝が分かるためには
大学教程の確率論・確率過程論を学ぶのが先
確率変数の概念も分からんようじゃ、議論にならん
と言って、私が、ここで、
大学教程の確率論・確率過程論を教えるわけにはいかないのは、当然のこと
まあ、教えてもね
チンパンジーにアインシュタインの相対性理論を教えるが如しかもな
自分で勉強してもらうしかないが
どうも、ムリみたいだな
そういうことです
210:１３２人目の素数さん
20/09/22 11:21:50.09 bhCM9tOh.net
>>193
100年前に終わってる証明を書けない理由は？
君さあ、言ってて恥ずかしくないの？恥知らずなペテン師だから恥ずかしくないのかな？
211:現代数学の系譜 雑談
20/09/22 12:14:12.85 qkl/9znF.net
>>188 再録
(引用開始)
１．不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
（>>169より）
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID（独立同分布）（>>8-9）！
１．独立だから、問題の箱以外を開けても、問題の箱とは無関係
２．同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
１．箱の数として、ある確率現象を考える。コイントスの0，1なら確率1/2
サイコロで1～6の数なら確率1/6
閉区間[0,1]の一様分布の実数１点的中は、確率0（∵零集合だから）
２．ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99％。これはおかしい
なぜ、こんなおかしな事が？
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です（＾＾
212:１３２人目の素数さん
20/09/22 12:32:41.27 bhCM9tOh.net
>>195
証明まだ？
100年前に終わってるんじゃなかったの？
213:１３２人目の素数さん
20/09/22 13:50:06.63 jk08YZjf.net
>>193
もう>>190で終わってますよ
＞私が、ここで、大学教程の確率論・確率過程論を教えるわけにはいかない
分からないことは、教えられないよねｗ
214:１３２人目の素数さん
20/09/22 13:56:18.33 bhCM9tOh.net
結局瀬田くんは何一つ示せなかったね
自分がどうしようもないアホだということ以外は
215:１３２人目の素数さん
20/09/22 14:11:36.89 jk08YZjf.net
セタ君のおかしなこと
１．箱の中が確率変数だとしたとき、いかなる自然数ｎについても
列の決定番号がｎとなる確率は求められない
なぜなら列から決定番号への関数が非可測だからである
２．ところが、セタの主張では、非可測性が消えてしまっている
いかなる場合も、一律箱の確率分布で決まるとする これおかしくね？
何が狂ってるか それは>>190にある通り
箱をいったん選んだら、二度と選びなおせない
そういう「狂った」読み方をしてるから、非可測性が全然出てこない
216:１３２人目の素数さん
20/09/22 14:16:22.51 jk08YZjf.net
>>190 再掲
時枝、Pruss、セタ 三者の違い
１．箱の中身に関して
時枝
箱の中身は定数
出題者が箱の中身を入れられるのは最初の一回だけ
Pruss
セタ
箱の中身は確率変数
出題者は毎回、箱の中身を入れ替えられる
２．箱の選択に関して
時枝
Pruss
選択される列の番号は確率変数
回答者は毎回、列を選びなおせる（つまり箱も選び替えられる）
セタ
選択される箱の番号は定数
回答者は最初に列を選び、記事の戦略で箱を選んだら
再び選び替えることはできない（つまり同じ箱で予測する）
３．予測的中確率について
時枝
少なくとも９９／１００ 運が良ければ１
Pruss
計算不能（非可測性＆non conglomerabilityにより）
セタ
０（箱の中身の確率分布のみで計算可能）
セタの主張は、「２．箱の選択に関して」で
セタの独善的なルールを適用することによってのみ成立する
セタがこのことを明確に述べないのは
自分でも「箱を選びなおせない」というルールが
独善的だと気付いているからだろう
217:１３２人目の素数さん
20/09/24 03:18:09.72 YmbVQKzN.net
瀬田にできるのはあるある詐欺だけ。
>証明は100年前に終わっているが、
と証明あるある詐欺ｗ
実際に書け
218:と言っても一切書けないｗ
219:１３２人目の素数さん
20/09/24 06:23:08.56 H6sqOdXp.net
◆yH25M02vWFhP の戦果ｗ
正規部分群の定義の誤読で悶死
「箱入り無数目」の誤読で悶死
集合の∈と⊂の誤解で悶死
そして行列式の誤解で悶死
もう四回目だぞ、何回死んだら気が済むんだ？
この🐎🦌タレが！
220:現代数学の系譜 雑談
20/10/01 15:15:00.19 7fZLD5Mp.net
再録
(引用開始)
１．不成立の証明は、反例を一つ提示すれば、終わる
時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
それで、証明は終わっている
・独立だから、他の箱を開けてもだめ
・同分布だから、サイコロを使えば、確率1/6にしかならない。99/100にはならない
(引用終り)
（>>169より）
時枝(>>7)が成立しないことは、大学教程の確率論・確率過程論を、学んだ人にはすぐ分かる
呪文は、IID（独立同分布）（>>8-9）！
１．独立だから、問題の箱以外を開けても、問題の箱とは無関係
２．同分布だから、どの箱も、別の確率になることはない
さらに、おかしなこと
１．箱の数として、ある確率現象を考える。コイントスの0，1なら確率1/2
サイコロで1～6の数なら確率1/6
閉区間[0,1]の一様分布の実数１点的中は、確率0（∵零集合だから）
２．ところが、時枝さんの方法では、確率現象の依存性が消えてしまっている
どんな確率現象でも、一律99％。これはおかしい
なぜ、こんなおかしな事が？
それは、思わず知らず 非正則な分布の上で、確率計算をしてしまっているから(>>160)です（＾＾
（積分範囲が、∞になる場合は、裾が1/xつまり、指数でいえば-1乗よりも早く減衰しないと、積分値は発散します。下記 裾の重い分布などご参照）
なお、（>>183より再録）時枝の記事の後半で、おかしなことが書いてある
１）数列のシッポだから、ビタリ風の非可測集合と即断しているが、そもそも可算無限次元のR^∞には、計量が入らない（自乗総和が無限大に発散する）
計量を入れるなら、ヒルベルト空間などに制限する必要があるが、そこの問題ではない
時枝戦略の本質的問題点は、決定番号の分布が非正則分布になり、確率計算ができないことにある
２）確率変数の独立の定義に、イチャモンつけている
しかし、「確率変数の無限族は，任意の有限部分族が独立のとき，独立， と定義される」という表現は、コンパクト性定理でも使われている表現で、まっとうなものです
（下記 渕野 などご参照）
時枝氏の書いていることは、ちょっと変です
結局、時枝記事の戦略は成り立ちません！
つづく
221:現代数学の系譜 雑談
20/10/01 15:15:53.25 7fZLD5Mp.net
>>203
つづき
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
独立同分布（どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid）や独立同一分布（どくりつどういつぶんぷ）とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
URLﾘﾝｸ(ai-trend.jp)
AVILEN AI Trend 2020/04/14 ライター：masa
非正則事前分布とは？～完全なる無情報事前分布～
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。
URLﾘﾝｸ(ja.wikipedia.org)
裾の重い分布あるいはヘヴィーテイルとは、確率分布の裾がガウス分布のように指数関数的には減衰せず[1]、それよりも緩やかに減衰する分布の総称。 また類似の用語に、ファットテイル、裾の厚い分布、ロングテール、劣指数的(subexponential)などがある。
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である
つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである
URLﾘﾝｸ(fuchino.ddo.jp)
有限から無限への移行原理としての命題論理 渕野昌 2012
P7
命題論理のコンパクト性定理
定理1 Tのすべての有限部分集合が充足可能なら T も充足可能である
コンパクト性定理は，無限の性質が本質的かかわっている定理である
命題論理のコンパクト性定理は，有限の世界で成立する命題のアナロジーが無限の世界でも成立することを証明するときの強力な道具の１つとなる
(引用終り) 以上
222:１３２人目の素数さん
20/10/11 12:02:39.82 85hcVO5n.net
>>203
>１．不成立の証明は、反例を一つ提示すれば、終わる
その通り
> 時枝に対し、IID（独立同分布）（>>8-9）が、反例になる
ならない
箱入り無数目の反例とは数当てできない実数列である
反例の意味さえ理解できないバカに数学は無理なので諦めては？
223:１３２人目の素数さん
20/10/11 12:04:03.14 85hcVO5n.net
The Riddleの成否から逃げ続ける瀬田の負け。
The Riddle不成立と答えたら選択公理と同値類を理解できていないことになるし、
The Riddle成立と答えたら小学校レベルの確率を理解できていないことになる。
だから瀬田は逃げ続けるしかない。
224:現代数学の系譜 雑談
20/10/11 18:00:20.21 J8YoB+CX.net
もう、勝負はついた
議論はしない
「米国で進化論を信じる人が過半数超え」下記
進化論を信じない人が、いまここに居るとして
おれは、そういう人に、「進化論の正当性」を、科学的に説く気は無い
勝手に、「進化論の否定」を主張すれば良い
それは、あなたの勝手だよ
以上
（参考）
URLﾘﾝｸ(business.nikkei.com)
日経ビジネス
米国で進化論を信じる人が過半数超え
堀田 佳男
2019年7月26日
(抜粋)
多くの日本人にとって、「エッいまだに？」と驚いてしまうことが米国で続いている。米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。
いや、ようやく10人中6人が「進化論」を信じるようになったと言い換えた方がいいかもしれない。米ピュー・リサーチ・センターが2015年11月に明らかにした調査で、ほぼ6割が進化論派になった。2004年11月に米CBSテレビが行った世論調査では、回答者の55％が「創造論」を信じていると答えていたのだ。だが過去10年で急速に進化論を信じる人が増え、形勢が逆転したのだ。変化が起きていると述べて差しつかえないだろう。いったい過去10年で何が起きたのか。
創造論は、神が（旧約聖書ではエロヒム）天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。
一方、進化論は英自然科学者チャールズ・ダーウィンが1859年に発表した『種の起源』で記した自然選択説を基礎にした考え方だ。同書は生物の進化を実証的に説明している書物である。端的に述べるならば、人間は神が創造したものではなく、生物の進化の歴史の中で誕生したという解釈をしている。『種の起源』は創造論と対比する形で議論を展開してしおり、米国では進化論と創造論が社会をほぼ二分している。
225:１３２人目の素数さん
20/10/11 18:09:50.61 lgnBZIqQ.net
>>207
>もう、勝負はついた
ああ、>>200でな 貴様の完全な敗北だ
>議論はしない
>>200で書いたことが全て もはや議論することは何もない
226:現代数学の系譜 雑談
20/10/11 18:11:54.66 J8YoB+CX.net
>>208
じゃあ、完黙してなよ
あとは、皆さんが判断するだろうさｗｗｗ（＾＾；
227:１３２人目の素数さん
20/10/11 18:15:37.92 lgnBZIqQ.net
蛇足
＞米市民の10人中4人が、人間が神によって創造されたといまだに信じているのだ。
日本人の10人中何人が、日本を作ったのは伊弉諾と伊弉冉だ、と信じてるか
大いに興味あるｗ
あのな、日本列島がいつできたかともかくとして、
世界中の人類の起源はアフリカで、
アフリカから外に出たのはたった数万年前だぞ
228:１３２人目の素数さん
20/10/11 18:17:51.44 lgnBZIqQ.net
>>209
君こそ緘黙したほうがいいな （正しい字で書いてやったｗ）
口を開けば初歩的な間違いばかりで大恥かくだけｗ
正規部分群然り、「正方行列の群」然り、「内積はテンソルじゃない」然り
229:現代数学の系譜 雑談
20/10/11 19:00:39.35 J8YoB+CX.net
必死だな
おサルさんｗｗｗ（＾＾；
230:現代数学の系譜 雑談
20/10/11 19:48:46.22 J8YoB+CX.net
「内積はテンソルじゃない」よ
それすら分からんとねｗｗ（＾＾；
231:現代数学の系譜 雑談
20/10/11 21:43:12.06 J8YoB+CX.net
>>211
>君こそ緘黙したほうがいいな （正しい字で書いてやったｗ）
知っているが、”かんもく（完黙）”はシャレだよ（下記）
本当は、刑事弁護の用語だが、昔 （逮捕された）サヨク学生の常用の用語だった（＾＾
おサルも知っていると思ってね（＾＾；
（参考）
URLﾘﾝｸ(www.keiben-oasis.com)
刑事弁護オアシス
今日のKEIBEN用語集一覧 かんもく（完黙）
用語かんもく（完黙）
解説
「完全黙秘」の省略語で「黙秘」（憲法38条１項、刑訴法198条２項、311条1項）を続けること。本来は供述調書に署名・指印をしないだけでなく、一言もしゃべらないことをいうが、現実には雑談に応じて失敗することも多い。また、被疑者の多くは供述調書に署名・指印しないことをもって「完黙」としているが、実際には雑談の中で「ここだけの話でっ
232:せ」と喋っている者もいる。弁護人は真の黙秘かどうかを接見の過程で見極めるのが肝心である。捜査員は黙秘者の雑談を「報告書」として書面にする。したがって、雑談にも注意することを弁護人は指導するべき。 https://dictionary.goo.ne.jp/word/%E7%B7%98%E9%BB%99/ goo辞書 かん‐もく【×緘黙】 の解説 ［名］(スル) １ 口を閉じて何も言わないこと。押し黙ること。 「新聞が一時に―して了っただけに」〈里見弴・多情仏心〉 ２ 「緘黙症」の略。→無言症
233:１３２人目の素数さん
20/10/11 22:14:18.30 85hcVO5n.net
>>207
×議論はしない
〇不成立の証明はできない
言葉は正しく使いましょう
234:１３２人目の素数さん
20/10/11 22:21:06.19 85hcVO5n.net
不成立の証明なんて出来る訳が無い
選択公理を仮定する限りどんな実数列の決定番号も必ずある自然数になるんだから
そんなことも解らない白痴に数学は無理
235:現代数学の系譜 雑談
20/10/11 22:32:00.94 J8YoB+CX.net
進化論を理解しない人
創造論は、神が（旧約聖書ではエロヒム）天地を創造。さらに、自分をかたどって男と女を創造したとする捉え方だ。旧約聖書で人間の祖として記されているアダムとイブは、いまでも創造論を信じる人たちが連綿と語り続けている人物である。
と同様に
大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり（＾＾；
236:１３２人目の素数さん
20/10/11 23:03:29.10 85hcVO5n.net
>>217
不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
237:１３２人目の素数さん
20/10/12 02:37:02.05 SPWfhGvZ.net
>不成立不成立と喚きながら証明できない人よ、哀れなり（＾＾；
数学はディベートじゃない。証明できなければ絵に描いた餅に過ぎない。
238:１３２人目の素数さん
20/10/12 06:03:53.68 iRW0qWtH.net
>>217
＞大学教程の確率論・確率過程論が理解できない人たちよ、哀れなり
「箱入り無数目」記事の箱の中身が確率変数でないことが
理解できない🐄🐖🐓よ、哀れなり
239:１３２人目の素数さん
20/10/12 06:06:28.96 iRW0qWtH.net
>>214
緘黙は、精神医学用語だよ
学校教育法上は、情緒障害の一つとされる。
狭義には、言語能力を獲得しているにもかかわらず、
何らかの心理的要因によって、
一時期にあらゆる場面、あるいは特定の場面においてのみ、
言葉を発しない状態を指す。
教育臨床分野においては、暗黙に狭義の意味で用いられることが多く、
場面緘黙、選択性緘黙、などの呼び方をする。
240:１３２人目の素数さん
20/10/12 06:12:49.16 iRW0qWtH.net
内積は共変テンソルたい
そげんこつばわからんとね？
（注：与田祐希の声で読んでねｗ）
URLﾘﾝｸ(www.youtube.com)
241:１３２人目の素数さん
20/10/12 07:05:09.19 U7iDnoAA.net
>>221
緘黙症はアインシュタインの５歳くらいまでにも観察されていた特徴でしたね
必ずしも情緒障害とされるべきものでもないケースがあるのでは？
例えば、言語野で
(特に数学にハマってる男児で国語の成績が良くない傾向も見られるようです。幼少期～小学校低学年くらいまでが特にその傾向が強いようですが)
ブローカ野との連動が弱いケースでは、充分な論理的推論力を有するレベルの知能の発達が有り得る分子モデルの人々(特に胎児機のホルモンシャワー量が脳の男性化に達する量だったタイプ)の中には、より早い発達段階からの言語野と(聴覚野依存的な言語野の発達傾向が強いタイプに比較して)視覚野との連動性が早くから強く活性するタイプ(ハイパーレクシア傾向児童等)では同月齢でも、聴覚野とブローカ野との連動傾向が比較的強く残っている「発語によるコミュニケーション能力」を発達させていくタイプの児童に比較して、視覚情報の理解に集中しやすい特性があるのでは？
記号の理解や処理作業に脳が集中しやすいので、より速い発達段階からの理解が進められる可能性があるのでは？
特にストレスが掛かるとバソプレシンが分泌される男性型の脳ではそうした傾向が強まるのではないでしょうか？
板違いの素人目線で恐縮ですが、緘黙症を情緒障害だけでは仕分けできないケースが、特に算数が得意なハイパーレクシア傾向の男児に多いらしいことをお知らせしたいです
242:１３２人目の素数さん
20/10/12 07:10:45.06 U7iDnoAA.net
様々な遺伝的要因との組み合わせや機序に関わる条件にもよるのでしょうが、幸運なケースでは、緘黙傾向が見られる児童の中に“才能”というべき発達の萌芽を見ているケースもあるのではないでしょうか
243:１３２人目の素数さん
20/10/12 07:15:05.12 iRW0qWtH.net
>>223
ハイパーレクシアも「情緒障害」みたいなもんだｗ
244:１３２人目の素数さん
20/10/12 07:30:33.26 U7iDnoAA.net
>>223
上レス訂正します
✕ 胎児機
○ 胎児期
245:１３２人目の素数さん
20/10/12 07:36:32.73 U7iDnoAA.net
>>225
完全に才能です
面白い事にディスレクシアのケースでも才能が見られています
レオナルド・ダ・ヴィンチ
太田三砂貴氏もディスレクシアだそうです
一般の方で恐縮ですが、北米で教育を受けられた一級建築士の方ですとか
組み合わせや機序の発現の有無、養育・教育環境などの条件で様々な方がいらっしゃるのが興味深いです
246:１３２人目の素数さん
20/10/12 09:00:18.56 iRW0qWtH.net
>>227
才能も「情緒障害」みたいなもんだｗ
247:１３２人目の素数さん
20/10/12 11:34:23.70 iRW0qWtH.net
ID:U7iDnoAAは典型的な「情緒障害」だｗｗｗ
248:現代数学の系譜 雑談
20/10/12 23:27:06.27 uhfnmhnr.net
サイコロ賭博
・サイコロ一つ、箱一つ、箱の中のサイコロの目は？ 確率変数Xで扱えて、的中確率1/6
・サイコロ二つ、箱二つ、箱の中のサイコロの目は？ IIDとして、確率変数X1、X2で扱えて、各箱の的中確率1/6
・サイコロｎ個、ｎ個、箱の中のサイコロの目は？ IIDとして、確率変数X1,X2・・・,Xnで扱えて、各箱の的中確率1/6
まさか、箱の中でサイコロがくるくる回り続ける？
笑える
現代数学の確率論では、無限の確率変数が扱えるよ
つまり、箱が無限にあっても、同じだ
突然、無限になると箱の中のサイコロが転がる？ 笑えるぜｗ（＾＾；
まあ、貴方達には理解できないだろうが
下記東大会田茂樹先生PDFでも、どぞｗｗ（＾＾
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
会田茂樹
東京大学大学院数理科学研究科
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
講義
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
確率論とエントロピー 会田 茂樹 2018
P5
可算無限個の確率変数 {Xi}∞i=1 が独立とは, 任意の N に対して, {Xi}Ni=1 が独立であると定義する.
P6
定義 2.8. 確率変数 {Xi}∞i=1 が独立で各 Xi の分布がすべて同じ時, {Xi}∞i=1 は独立同分布に従う
確率変数という. 英語では, independent and identically distributed random variables (略して,i.i.d. random variables) という.
249:１３２人目の素数さん
20/10/12 23:49:42.99 SPWfhGvZ.net
>>230
だーかーらー
時枝解法を否定したいなら時枝解法の確率変数の取り方で勝てないことを示して下さいねー 馬鹿ですかー？
あなたは時枝解法より１京倍下手くそなやり方で勝てないことを示しているに過ぎないんですよー 馬鹿ですかー？
250:１３２人目の素数さん
20/10/12 23:55:04.95 SPWfhGvZ.net
>>230
時枝解法とは似ても似つかぬ解法では勝てない
だから時枝解法で
251:も勝てないはずだ ↑ あなたの論法はこれなんですよ、バカでしょう？
252:１３２人目の素数さん
20/10/13 00:06:49.66 9WXS8scD.net
>>230
箱の中のサイコロの的中確率1/6というのは当てずっぽうで当てた時の確率なんですよ
何等かのカンニング手段が存在したらもはや1/6なんてことは言えないんですよ、同様に確からしくないでしょ？
時枝解法？ええ、代表からカンニングしてますが？カンニングが失敗する確率は1/100以下ですが？
もうそろそろ理解しましょーねー 何年間間違い続けてるんですかー？
253:１３２人目の素数さん
20/10/13 06:09:43.16 pRlJwNS7.net
>>230
ま～た、バカがワケワカラン戯言わめいてるね
箱の数をｎ個とする
箱に実数をいれる
どれか一つ箱を選ぶ
何回やってもいいが、箱の中の数は入れ替えない（ここで分布は無意味となる）
その場合、箱の中の数は、他の数より大きい確率はたかだか１／ｎ
「箱入り無数目」の確率計算は上記と同じ
こんな簡単なことも分からん ◆yH25M02vWFhP は本当にアタマが悪い
254:１３２人目の素数さん
20/10/13 19:37:33.78 pRlJwNS7.net
さて、実質高卒のセタ君にも解けそうな
「大学入試問題」を考えてみた
ここに書いたから見てみな
ｽﾚﾘﾝｸ(math板:563番)
高校数学で解けることは確認済み
解けるもんなら、解いてみなｗ
フハハハハハハ ハハハハハハハ （黄金バットかｗ）
255:１３２人目の素数さん
20/10/14 00:50:22.77 xJ23NIg5.net
瀬田くんへ忠告
サイコロ＝確率1/6と馬鹿の一つ覚えじゃなく、同様に確からしい（一様分布）という条件が崩れたら確率も変わる
という当たり前過ぎるほど当たり前のことにちゃんと気付こうね
256:１３２人目の素数さん
20/11/02 06:43:48.90 PUodusEe.net
ｽﾚﾘﾝｸ(math板:711番)
711 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日) 23:18:44.86ID:o4gNmK89
・無限公理の本質は、それを表現する式のテクニカルな話ではない。単に、後者関数を帰納的に繰返しただけでは、自然数の集合N（順序数ではω）の存在はすっきり言えないってことです
・無限公理の本質は、下記の極限順序数通り。ある後者関数を選ぶと、帰納的に自然数の元が構成できる。そして、無限公理で、極限順序数ω（それは自然数の集合Nでもある）の存在が導かれる
・その後、ωに後者関数を適用することで、”ω, S(ω), S(S(ω)), S(S(S(ω))), ......”（下記）と続くということです
・後者関数の選び方には、任意性があるが、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
・だから、シングルトンによる後者関数に目くじら立てるのは間違い。シングルトンによる後者関数であっても極限順序数は可能ですよ
∵シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、それは極限順序数ωでもあるのです！
257:１３２人目の素数さん
20/11/02 06:45:05.90 PUodusEe.net
ｽﾚﾘﾝｸ(math板:713番)
713 特別支援学校教諭 2020/11/02(月) 06:18:54.78ID:PUodusEe
>>711
噛んで含める説明
>無限公理の本質は
以下の式の通りですよ
「ある集合Aが存在し、Aは空集合を要素とし
Aの任意の要素xについて、その後者S(x)も要素とする」
∃A（{}∈A∧∀x∈A(S(x)∈A))
>それを表現する式のテクニカルな話ではない。
テクニカルな話＝後者関数の形体 ということならその通りですね
つまり、後者関数によって生成される集合がシングルトンか否かとは無関係に、
無限公理によって、無限集合（シングルトンに非ず）の存在が前提される
ということです
258:１３２人目の素数さん
20/11/02 06:46:40.52 PUodusEe.net
ｽﾚﾘﾝｸ(math板:715番)
715 特別支援学校教諭 2020/11/02(月) 06:30:07.90ID:PUodusEe
>>711
>シングルトンによる後者関数であっても極限順序数は可能ですよ
より正確にいえば
「後者関数による後者がシングルトンであっても、極限順序数は生成可能」
で、核心
◆yH25M02vWFhP氏、がいってるのは
「後者関数による後者がシングルトンならば、極限もシングルトン」
ですよね？
それ、間違ってます(・Д・)９ ﾋﾞｼｯ!
後者関数がいかなるものであっても、
無限公理で定められるωは無限集合（正確には可算無限集合）
259:１３２人目の素数さん
20/11/02 06:47:49.95 PUodusEe.net
ｽﾚﾘﾝｸ(math板:716番)
716 特別支援学校教諭 2020/11/02(月) 06:37:29.51ID:PUodusEe
>>711
大事なことなので繰り返しますね
>シングルトンによる後者関数によって全ての自然数の元が尽くせるなら、
>それらの元を集めた無限集合たる自然数の集合Nが構成可能であって、
>それは極限順序数ωでもあるのです！
ええ、その通りですよ。で、
N（＝ω）は全ての自然数{}、{{}}、{{{}}}、…を集めた無限集合なんでしょう？
だから、N（＝ω）はシングルトンではないですね
具体的に書けば{{},{{}},{{{}}},…}です
決して{…{{{}}}…}ではありません
260:１３２人目の素数さん
20/11/02 08:01:03.56 PUodusEe.net
ｽﾚﾘﾝｸ(math板:718番)
718 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/02(月) 07:06:47.73ID:YSe1lExr>>719
１．自然数のノイマン構成(706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N（順序数ω）が構成できたとする
２．0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
３．ここに、後者関数 S(α) ：＝ SN(α) ノイマン構成の後者関数である
４．さて、後者関数を S(α) ：＝ SZ(α) シングルトンによる後者関数（Zermelo）に置き換えても、上記２と同じことが言える
５．これを担保するのが、「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」（706）ってことです
261:１３２人目の素数さん
20/11/02 08:02:24.08 PUodusEe.net
ｽﾚﾘﾝｸ(math板:719番)
719 特別支援学校教諭 2020/11/02(月) 07:59:12.94ID:PUodusEe
711
>「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
718
>「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」
どっちも、後者関数をどう設定するかとは無関係ですけどね
つまり後者関数を決めたところで、どっちもいえます
「後者関数の任意性」とは無関係です
で、シングルトンによる後者関数（Zermelo）を選んでも
ωはシングルトンにはなりません
262:１３２人目の素数さん
20/11/03 03:24:47.92 EzLUFeKC.net
>決して{…{{{}}}…}ではありません
{}:=x1, {{}}:=x2, … とおく。
そもそもx∞は集合たりえない。
なぜなら、正則性公理の要件「自分自身と交わらない要素を持つ。」を満たさないから。
なぜなら、x∞={x∞}であって、x∞∩x∞=x∞≠{} だから。
263:１３２人目の素数さん
20/11/07 18:15:29.42 zpeR/n4w.net
ｽﾚﾘﾝｸ(math板:779番)
>Zermeloのシングルトン構成によるωは、
>”・・・{{・・{ 0 }・・}}・・・”
>ってことで、
・・・{{・・{ 0 }・・}}・・・
それ、集合ですか？
集合なら、一番外側の{}がある筈ですよね？
一番外側の{}を取り除いた中身が、要素の列ですから
Q1. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}の位置を具体的に示してください
Q2. ・・・{{・・{ 0 }・・}}・・・
の一番外側の{}を外した中身を具体的に示してください
Q1に答えられない場合
「・・・{{・・{ 0 }・・}}・・・は集合でない」
Q2に答えられない場合
「・・・{{・・{ 0 }・・}}・・・の要素が分からない」
>現代数学の抽象的な数学概念って、みんなこんなもの
{}による具体的な図形として存在しても、
集合の公理を満たさないと、集合ではないですね
それが公理論ですから
264:１３２人目の素数さん
20/11/07 18:18:07.34 zpeR/n4w.net
ｽﾚﾘﾝｸ(math板:786番)
>ここで、ノイマン構成では
>集合として（自然数nを集合と見て）、無限の上昇列ができる
>0∈1∈2∈3・・・・∈n-1∈n・・・N
>(最後は、∈の連鎖としての極限で、自然数の集合Nが存在するってこと)
>この∈の上昇列は、有限長ではないことは自明だよ
上昇列をきっちり書けば誰でもわかる明らかなことですが
0∈1∈2∈3・・・・∈n-1∈n∈N
この列・・・有限です
もちろん、いくらでも長い上昇列はつくれますが・・・どれも有限です
要するに、これがポイント
n∈N
集合Nが任意の自然数nを要素として持つので、こういうことが可能です
これがもし、唯一の要素しか持たないなら、できない芸当
265:ですね >これを逆に辿れば、無限の降下列になるが、 >正則性公理に反するものではないことは自明 有限列を逆にたどっても有限列なので 正則性公理に反しないことはそれこそ自明 >（そもそも、無限の上昇列を禁止したらおかしいぜｗ） 無限の上昇列は、最後が存在しません したがって、ひっくりかえしたら、最初が存在しません それが、>>244の件でいうと、一番外側の{}が存在しないことにあたります
266:現代数学の系譜 雑談
20/11/08 07:44:07.00 rSmWbt0i.net
>>243
議論を、下記に集約するよ
IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板:795番)-796
267:１３２人目の素数さん
21/08/21 16:43:34.05 hcG0X18Q.net
この証明納得できないんですが
URLﾘﾝｸ(ja.wikipedia.org)
＞B は A の冪集合に入っているから
そもそもＢが存在するという証明がないんですが
なんでべき集合に入っていると言えるんですか？
268:１３２人目の素数さん
21/08/21 17:54:27.37 RkttXagr.net
>>247
＞そもそもＢが存在するという証明がないんですが
分出公理は知ってますか？
知ってればＢが存在することは直接わかりますが
（分出公理はツェルメロの集合論では公理だったが
ＺＦでは置換公理から証明できる定理である）
＞なんでべき集合に入っていると言えるんですか？
ベキ集合の定義、知ってますか？
Aのベキ集合は、Aの部分集合全体の集合です
Bは定義からAの部分集合になることは明らかですから
Aのベキ集合の要素ですね
269:１３２人目の素数さん
21/08/21 17:57:39.03 RkttXagr.net
>>248の続き
よく「証明がない！」とわめく素人がいますが
大体、定義とか公理がわかってないですね
定義や公理がわかっていれば、直接導けるのに「証明がない！」とわめいてますから
こういうのは明らかに怠惰による不勉強ですね
恥ずかしくないんですかね？
270:１３２人目の素数さん
21/08/22 06:44:02.49 sTIzdDwF.net
これは「”Ｂがもし存在するなら”Ａのべき集合に含まれる」というだけじゃないんですか？
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分である。そのような部分集合は次の構成によって与えられる
分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
言える場合、これはＢの定義と矛盾します。
言えない場合、「空集合の要素が何かの集合に属している」と言明できないという事ですが、
Ｂの定義に「Ｂの全要素がＡに含まれる」という部分があるので、この定義は成立しません。
即ちＢの定義は「空集合の要素が何かの集合に属している」と言えるのか言えないのか、
ダブルスタンダードになっています。
271:247
21/08/22 07:04:20.48 sTIzdDwF.net
ＩＤ変わってました。私は247です
272:１３２人目の素数さん
21/08/22 07:12:44.13 lyzOU1Jb.net
やはりね。君は集合が存在するかじゃなく空でないかを問いたかったんだね。そうじゃないかと思った。
で、空集合は空集合の公理で存在が保証されている。且つ、空集合はAの部分集合すなわちAの冪集合の元。
だからBが空の場合も
＞B は A の冪集合に入っているから
は成立。
273:１３２人目の素数さん
21/08/22 07:15:55.26 lyzOU1Jb.net
>分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
白痴と思われたくなければ自分で調べられることは人に聞かないこと
274:１３２人目の素数さん
21/08/22 07:32:57.61 QZFJZsWw.net
>>250
Q1: 分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか？
A1: ええ、空集合は集合です 空集合の公理、御存知ですか？
Q2: 分出公理によって存在が保証された集合は、空集合でない事も保証されますか？
A2: 分出公理だけではそれは保証できませんし、保証する必要もありません 空集合も集合ですから
Q3: しかしＢが空集合の場合、Ｂの全要素は写像f(x)に含まれると言えませんか？
A3: 「f(x)に含まれる」とは「f(x)の要素である」という意味で用いていると思われるので、その上で答えるなら、もちろん言えます
ただ、あなたはBの定義を誤解されていると思われます
あなたが理解したBの定義を、あなたのことばで書き切ってくだされば
即座に誤りを
275:指摘してみせますが、如何ですか？
276:１３２人目の素数さん
21/08/22 07:42:53.75 QZFJZsWw.net
もしBが空集合だったとします
その場合、BはAの部分集合であるにも関わらず
Aのどの要素xの像f(x)でもないことになります
Bの定義から、Aのどの要素xについてもf(x)はみなxを要素とするので
空集合ではないからです
277:247
21/08/22 07:43:28.08 sTIzdDwF.net
Ｂの全要素はＡに含まれ（＝ＢはＡの部分集合）、f(x)に含まれません。
「Aの全要素がＡのべき集合に含まれる」事と
「Bの全要素がf(x)に含まれない」事から、
もしBが空集合でないならfが全射ではない（＝Ａのべき集合を網羅しない）事を意味します。
Ａは任意の集合
fはＡのべき集合を全射しようとする（全射できているか不明な）関数
f(x)はＡのべき集合の部分集合（真部分集合なら全射）
278:１３２人目の素数さん
21/08/22 07:46:56.65 sTIzdDwF.net
ああこの部分は間違い
× 真部分集合なら全射
〇 Ａのべき集合＝f(x)なら全射
279:１３２人目の素数さん
21/08/22 07:52:01.10 QZFJZsWw.net
もしBが空集合ではなかったとします
その場合x∉f(x)でないAの要素xが存在します つまりBはx∈Bのf(x)ではありません
そして、Bは上記のx以外のAのいかなる要素yについての像f(y)ではありません
なぜならその場合y∈f(y)(=B)の要素となってしまいますが、
その場合、Bの定義からy∉Bだからです
280:１３２人目の素数さん
21/08/22 08:01:49.77 QZFJZsWw.net
>>256
＞Ｂの全要素は、f(x)に含まれません。
それがあなたの理解した定義なら誤ってます
正しい定義は
「Ｂは、x∉f(x)となるAの要素x全てからなる集合です」
Bが空集合であれば、Bのいかなる要素もf(x)の要素です
ただしx∈f(x)となるような要素は存在しません
281:１３２人目の素数さん
21/08/22 08:05:50.28 sTIzdDwF.net
これはＢが空集合ではないことを示す必要があるのでは？
＞すなわち f のもとでの A の像の元でない A の少なくとも 1 つの部分集合の存在を示せば十分
f のもとでの A の像＝f(x)
A の少なくとも 1 つの部分集合=B
Ａのべき集合はＡの全要素を含まなければならないので
Ｂが空集合でないなら主張は証明される。
282:１３２人目の素数さん
21/08/22 08:15:44.66 QZFJZsWw.net
>>260
Bが空集合でも、空集合自体がfの像でないと示せるから、主張は証明されるけど？
283:１３２人目の素数さん
21/08/22 08:30:22.04 sTIzdDwF.net
これは矛盾しないんですか？だとしたら、分からない
＞Bのいかなる要素もf(x)の要素です
＞ただしx∈f(x)となるような要素は存在しません
284:１３２人目の素数さん
21/08/22 08:34:21.03 sTIzdDwF.net
>>261
確かに。
285:１３２人目の素数さん
21/08/22 09:51:31.89 QZFJZsWw.net
>>262
∀x(x∈A⇒x∈B)
⇔∀x(x∉A∨x∈B)
⇔∀x￢(x∈A∧x∉B)
つまり、∀x(x∉A)、すなわちAが空集合なら
∀x(x∈A⇒x∈B)は自動的に成り立つ
一方
∀x(x∈A⇒x∈B)から
∃x(x∈A∧x∈B)はいえない
∃x(x∈A)、すなわちAが空集合でない
という条件が必要だから
286:Mara Papiyas
21/10/09 07:23:01.67 qQhss2MU.net
雑談 ◆yH25M02vWFhP 「トンチン・カーン」となるｗ
952 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 11:42:34.60 ID:z3zwlfJp
ｽﾚﾘﾝｸ(math板:952番)
＞「ツェルメロのω=･･･{{{}}}･･･は、
＞ シングルトンどころか集合でもない、新しい存在！」
＞と認めたとして、シングルトンとの比較はどうすんの？
＞･･･{{{}}}･･･＞{}
＞･･･{{{}}}･･･＞{{}}
＞･･･{{{}}}･･･＞{{{}}}
＞をどうやって示すつもり？ｗ
958 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 15:09:02.99 ID:gtH9cx8i
ｽﾚﾘﾝｸ(math板:958番)
＞添え字（いまの場合 n∈Nと ω）があれば十分でしょ？
960 Mara Papiyas ◆y7fKJ8VsjM 2021/10/03(日) 15:36:41.85 ID:z3zwlfJp
ｽﾚﾘﾝｸ(math板:960番)
＞全然ダメでしょｗ
＞a∈･･･∈bという列の存在からa<bを導く場合
＞x∈･･･{{{}}}･･･となるxが存在しないから
＞y<･･･{{{}}}･･･となることなんか証明しようがないじゃん
968 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 17:54:59.16 ID:gtH9cx8i
ｽﾚﾘﾝｸ(math板:968番)
＞おサルさん 何言っているの？
＞コトバのサラダそのものじゃんｗ
＞統合失調症のお薬飲みましょうねｗｗ
973 現代数学の系譜 雑談 ◆yH25M02vWFhP 2021/10/03(日) 18:22:44.88 ID:gtH9cx8i
ｽﾚﾘﾝｸ(math板:973番)
＞有向点族を参考に投下しておく
＞おれも、ここらは全く詳しくないけど
＞おサルは非道すぎるよね
287:Mara Papiyas
21/10/09 07:35:50.52 qQhss2MU.net
雑談 ◆yH25M02vWFhP こと「トンチン・カーン」は
添え字（いまの場合 n∈Nと ω）の順序関係で
大小が分かる！と「馬鹿思考」に陥ってるが
もちろん、んなこたぁない
例えば
１＝{{}}と、３＝{{{{}}}}が、１＜３となるのは
{{}}∈{{{}}}∈{{{{}}}}
となるからであって、添え字とは全く関係ないｗ
そして任意の自然数ｎ＝{･･･{}･･･}と、ω＝･･･{}･･･が
ｎ＜ωとなる、と証明するには
{･･･{}･･･}∈･･･∈･･･{}･･･
となる列が存在すると示すしかないが、そもそも
･･･{}･･･ が集合でなく
x∈･･･{}･･･となるxが存在しないのであれば
{･･･{}･･･}∈･･･∈･･･{}･･･
となる列も存在せず、ｎ＜ωなんて示しようがない
添字以前の問題であって、
「有向集合ガー、有向点族ガー」とかいうのは
白痴の戯言である（一刀両断！）
有向集合
URLﾘﾝｸ(ja.wikipedia.org)
「数学における
有向集合（ゆうこうしゅうごう、directed set）、
有向前順序集合 (directed preordered set) あるいは
フィルター付き集合 (filtered set) とは、
空でない集合 A と反射的かつ推移的な二項関係（つまり前順序）≤ との組 (A, ≤) であって、
さらに任意の二元が上界を持つ、
すなわち A の任意の元 a, b に対して、
A の元 c で a ≤ c かつ b ≤ c を満たすものが必ず存在するものをいう。」
288:１３２人目の素数さん
21/10/09 07:38:09.49 G87Fbttq.net
質問なんですが、ZF公理系というのは大学の授業で習いますか？
某数学科卒の知り合いが、「そんなもん聞いたことねー」と言っていたのですが。
289:Mara Papiyas
21/10/09 07:50:38.19 qQhss2MU.net
>>267
大学によりますが、集合論の講義がない場合もあります
さらにいうと、別に知らなくても数学者にはなれます
ある数学者（代数幾何専攻）の著書の集合論に関する記述が
惨憺たるものであることを指摘する文章
URLﾘﾝｸ(fuchino.ddo.jp)
290:１３２人目の素数さん
21/10/09 08:08:12.83 G87Fbttq.net
>>268
お返事ありがとうございます。
講義がない場合もあるんですね。
その方と選択公理の話をしていたのですが、「選択公理を証明できるかも」
と言うので、「いやいや公理を証明するっておかしいでしょ。
証明するとしたら、ある公理系から証明することになるが
ZFとは独立であることが証明されている」と言ったら
ブチ切れられて弱ったのでした。
291:１３２人目の素数さん
21/10/09 08:23:42.39 G87Fbttq.net
愚痴になりますが、怒ることはないと思うんですよね。
何で怒るのか、まったく分からない。
その方が○○について教えてくれ～みたいに
わたしの得意分野のことで訊いてくることがあるのですが
それはその方にとってはプライドを傷つけられない無知であり
ある意味下に見ているが、許せない無知もあるのかなと思ったり。
私事で失礼しました。m(__)m
292:Mara Papiyas
21/10/09 09:06:11.50 qQhss2MU.net
>>269
>講義がない場合もあるんですね。
ありますね
東大では２年時に「集合と位相」という講義はありますが
半期で、位相と一緒なので、基礎的なことだけで
ZFとかZFCとかという形では教えないかもしれませんね
293:１３２人目の素数さん
21/10/09 10:33:19.05 G87Fbttq.net
詳しくは習わなくても、「ZFというものがある」というくらいは
数学の常識だと思うんですよね。数学記事にも
よく出てきますし。ましてや「公理を証明する」などは
その「証明」には暗黙に使っていることがあるはずで
その認識もないなどは、「分かってないひとだな」としか
思わない次第です。
294:１３２人目の素数さん
21/10/09 10:44:53.70 G87Fbttq.net
その方は勿論、東大ではありません。
東大でも本当に地頭がいいひとは1割らしい。
URLﾘﾝｸ(president.jp)
295:age=1 本当でしょうかね？
296:Mara Papiyas
21/10/09 10:51:28.27 qQhss2MU.net
>>269
>「選択公理を証明できるかも」と言うので、
>「いやいや公理を証明するっておかしいでしょ。
> 証明するとしたら、ある公理系から証明することになるが
> ZFとは独立であることが証明されている」と言ったら
> ブチ切れられて･･･
>>268で紹介した数学者の方も選択公理を知らず
整列定理と混同してましたからね
（選択公理と整列定理は同値ですが、
ステートメントとしては異なります）
数学者といっても無限に関心がないと
そういう感じなんでしょうかね
297:Mara Papiyas
21/10/09 10:53:55.70 qQhss2MU.net
>>270
>怒ることはないと思うんですよね。
>何で怒るのか、まったく分からない。
まあ、恥ずかしいと思ったんでしょうね
でも知らないんじゃ仕方ないですよね
怒らせとけばいいんじゃないですか？
あなたは全く悪くないですよ
298:Mara Papiyas
21/10/09 10:58:03.55 qQhss2MU.net
>>272
まあ、しかし数学の命題を、ZFとかから証明することはまずないですからね
選択公理くらいは知っといて欲しいとは思いますけど
>>273
>>268で紹介した数学者は東大卒らしいです
まあ東大って数学科でも数理論理とか集合論の講座がないくらいなんで
集合論について呆れるほど疎くても特に驚きはありませんが・・・
299:Mara Papiyas
21/10/09 11:16:19.06 qQhss2MU.net
ｽﾚﾘﾝｸ(math板:63番)
＞5．ノイマンのｎで、上記のように余分のn-1までを抜くと、
＞ {n-1}が出来て、n-1に上記を繰り返すと
＞ ｎ重のシングルトン{{・・{{}}・・}}ができる。
＞ つまり、潜在的に、ｎ重のシングルトン{{・・{{}}・・}}を含んでいるってこと
＞6．いま、ノイマンの自然数構成で、出来た自然数を全部集めると、
＞ 自然数の集合 N:={0, 1, 2,・・, n,・・} ができる
＞ Nは、上記1項の”0～n（N未満）を全て集めた集合”とみることができる
＞ また、N＝ω（最小の極限順序数）でもあることに注意しよう
＞ つまりは、lim n→∞ n＝ω と見ることができる
＞7．さて、ノイマンの自然数構成で、
＞ N＝ω（最小の極限順序数）が構成できたことを使って
＞ ５項の極限を考えると、ノイマンのｎが潜在的に、
＞ ｎ重のシングルトン{{・・{{}}・・}}を含んでいることから
＞ 極限lim n→∞ n＝ω を考えると、
＞ 可算多重のシングルトン{{・・・{{}}・・・}}が、考えられるってこと
＞（実に単純な話）
質問
N:={0, 1, 2,・・, n,・・}から、
どこまでの要素を抜いて、どの要素だけ残せば
可算多重のシングルトン{{・・・{{}}・・・}}
ができますか？
ｎにはｎ－１は存在しますけど、ＮにはＮ－１は存在しませんよ
わかってますか？
「極限」という言葉で誤魔化せると思ってるんなら、
アンタ、大馬鹿者ですわｗｗｗｗｗｗｗ
300:Mara Papiyas
21/10/10 06:25:44.44 WvyKzuhg.net
ｽﾚﾘﾝｸ(math板:71番)
に対する返答
ｽﾚﾘﾝｸ(math板:84番)
の転載
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
お🐒のSET Aは公理に基づく論理的思考ができないｗ
集合論に基づくのだから、集合論の公理を満たす必要がある
>可算多重シングルトン {{・・{{}}・・}}は、否定されるべき存在なのかね？ｗ
集合の公理を満たさないことがわからんかね？ｗ
>一番外の{}が分からない
「分からない」のは君だよ、お🐒のSET Aクンｗ
私は明確に言い切った
「君のいう可算多重シングルトンには一番外の{}が存在しない」
「存在しない」という言葉の意味が「分からない」とは頭が悪い
>一番外の{}を外したらどうなるか分からない
もし一番外側の{}がある、というなら外せばいい
無限回、外側の{}が外せるなら、正則性公理を満たさないから集合ではない
有限回、外側の{}を外したら、一番外側の{}がない元が出てくるなら、その元は集合ではない
しかしながら、集合論の公理で「集合でない元」の存在など定めてないｗ
>まあ素朴だが、ある意味幼稚な思考でしかない
１＝{{}}も２＝{{{}}}も３＝{{{{}}}}もシングルトンだから
ωもシングルトンに違いない！というお🐒のSET Aの思考こそ素朴
いかなる意味でも幼稚だよ さすが大学に入れなかった工業高校卒のDQN
大阪大学工学部卒？ みえすいた学歴詐称はやめとけ
日本語も読めない馬鹿が大学なんか入れるわけないだろ�
301:� >ノイマンのN＝{0,1,2,・・｝だって、同じ話でしかないよね 全然違うがｗ ノイマンのＮの外側の｛｝を外しつづけても ・集合でない元はでてこない ・有限回の操作で必ず空集合｛｝に至る なぜなら、Ｎの要素はみな自然数であるから ツェルメロのＮも{0,1,2,・・｝とすればいいだけ そうすれば、シングルトンだとして場合に発生する問題はすべて回避できる 要するに、お🐒のSET Aの「シングルトンに違いない！」という考えがダメなだけｗ P.S. >…に同じだよ 日本語、間違ってるよ 正しい日本語は以下の通り 「･･･と同じだよ」 君の祖国、北朝鮮のみんなにも教えてあげなｗｗｗ
302:Mara Papiyas
21/10/10 10:55:58.20 WvyKzuhg.net
ｽﾚﾘﾝｸ(math板:93番)
>1．可算多重シングルトン {{・・{{}}・・}}が、
>仮に正則性公理を満たさないとしても、
>”non-well-founded set theory”もあるから、
>存在しうるよ
お🐒のSET A 正則性公理を満たすと証明できず 姑息にもルール変更
さすが卑怯卑劣な学歴詐称の工業高卒🐎🦌野郎
>2．後者関数f
> lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω
> と出来るよ
出来ないよｗ
ωは極限順序数 したがってf(x)=ωとなるxは存在しない
一方、ωがシングルトンだと、
f(x)=ωとなるxが存在してしまい
ただの後続順序数に成り下がる
要するにお🐒のSET Aは極限順序数を否定し
「0以外の順序数は全て後続順序数」（ドヤ顔）
といいきっちゃう大🐎🦌野郎ｗｗｗ
>3．「一番外の{}」なんてのは、無限集合になると、殆ど無意味
>実際、集合論のテキストで、「一番外の{}」を問題にしているものは皆無だよ
なにいってんだ？ この工業高校卒の🐎🦌ｗ
そんなこといってっから、おめえはＦラン大学にも受からねぇんだよ 🐎🦌ｗ
集合は要素の集まりであるから、当然外側の｛｝がある
中身の要素が無限個だったら書ききれない、というだけの話
外側の｛｝自体がなくなるわけではないｗｗｗ
で、正則性公理っていうのは、
工業高校卒の🐎🦌の貴様にもわかるようにいえば
「集合から 要素をとって、
それが空集合以外の集合であれば、さらにその要素をとって」
という操作を繰り返した場合、かならず有限回で空集合にいきつくってこと
（集合以外のアトムにいきついてもいいが、
そもそも集合論ではアトムの存在を認める公理を設定してない）
わかれよ 🐎🦌ｗ
303:Mara Papiyas
21/10/10 11:07:32.00 WvyKzuhg.net
>>279は
ｽﾚﾘﾝｸ(math板:92番)
に対する回答でしたｗ
さて
ｽﾚﾘﾝｸ(math板:94番)
に対する回答
ツェルメロのωは、シングルトンではなく、自然数の無限集合
ついでにいうと、最初の非可算順序数ω1は、
シングルトンどころか、可算無限集合ですらなく
非可算無限集合である
（ツェルメロの後者関数を用いる場合
ω1より小さい順序数は、
後続順序数ならシングルトン
極限順序数なら可算無限集合
となる）
某所で、お🐒のSET Aがわけもわからずコピペした文章に答えがあるｗ
ｽﾚﾘﾝｸ(math板:974番)
「点列の極限で位相構造を特徴づけられない例として、
整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
ここで ω1は最小の非可算順序数である。
実際、この集合において、ω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
[0,ω1)内のいかなる点列もω1に収束しない。
なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、
[0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
ω1の開近傍(α,ω1]には点列の点が存在しえないからである。」
304:１３２人目の素数さん
21/10/10 13:12:00.31 7O/DywBf.net
> lim n→∞ f({{・・{{}}・・}}n) ＝{{・・{{}}・・}}ω
> と出来るよ
集合列{},{{}},{{{}}},…が収束すると？大間違い
305:１３２人目の素数さん
21/11/03 19:06:46.53 dCkKgOCS.net
ｽﾚﾘﾝｸ(math板:847番)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
それはωより小さい順序数の最大値が存在しないからである
Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
（したがってωは無限集合である 一般に極限順序数は無限集合である）
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
ｽﾚﾘﾝｸ(math板:854番)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
ωからω未満の任意の順序数ｎへの降下列が存在するようにするには
無限集合とせざるを得ない
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
ｽﾚﾘﾝｸ(math板:860番)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
やっとみんなの云ってることが正しいと気づいたんだね
やっと君も自分の勘違いに気づいたんだね
おめでとう！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
306:(ﾉ∀`)ｱﾁｬｰ
21/11/05 16:22:59.10 j5fczyhM.net
昨夜のお🐒さんのアイタタ発言
ｽﾚﾘﾝｸ(math板:887番)
👦様の初歩的指摘（高校１年レベル！）
ｽﾚﾘﾝｸ(math板:902番)
お🐒、全く反論の余地なく全面屈服ｗ
ｽﾚﾘﾝｸ(math板:910番)
つづきはこのスレに書けよなｗ
307:(ﾉ∀`)ｱﾁｬｰ
21/11/05 16:43:10.08 j5fczyhM.net
万年１５歳の中坊は、高校数学のここからやりなおせｗ
数学Ⅰ：集合と論理
URLﾘﾝｸ(yorikuwa.com)
集合の表し方と要素
集合の包含関係と部分集合
共通部分と和集合
補集合とド・モルガンの法則
数直線と集合
命題の真偽
条件の真偽
条件の否定①（かつ・または）
条件の否定②（すべて・ある・ともに）
必要条件と十分条件
逆・裏・対偶
対偶法
背理法
308:(ﾉ∀`)ｱﾁｬｰ
21/11/05 16:53:27.89 j5fczyhM.net
高校生でも知っといてバチあたらない話
数学的帰納法
P(0)∧∀m.P(m)⇒P(s(ｍ))⇒∀n.P(n)
（0でPが成立し、任意のmについて、mでPが成立するならs(m)でもPが成立するとき
任意のnでPが成りたつ）
の対偶は
∃n.￢P(n)⇒￢P(0)∨∃m.(P(m)∧￢P(s(m))
（Pが成立しないnが存在する場合、0でPが成立しないか、
あるmが存在し、mではPが成立するがs(m)ではPが成立しない）
309:１３２人目の素数さん
21/11/05 17:37:59.45 gFQoXS6I.net
数学的帰納法は定理だから大学生ならその証明も知っておくべき
310:１３２人目の素数さん
21/11/05 17:43:42.57 gFQoXS6I.net
待遇が分からないんじゃ高校留年
眠かったから間違えるのは分かってない証拠
対偶、逆、裏が分ってたらたとえ眠くても間違えない
311:(ﾉ∀`)ｱﾁｬｰ
21/11/05 18:00:21.94 j5fczyhM.net
>>286
URLﾘﾝｸ(ja.wikipedia.org)
ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
>>287
機械的な計算だからね 分かってたら眠くても掛け算間違えないのと同じ
312:１３２人目の素数さん
21/11/06 01:59:43.68 nFC14Trd.net
>ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。：ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。
313:１３２人目の素数さん
21/11/06 07:46:44.81 JjkVf1Pv.net
>>289
整列集合Ａが
・任意の元ａについて、
｛ｘ∈Ａ｜ｘ＞ａ｝
は空でない
・任意の元ａについて
｛ｘ∈Ａ｜ｘ＜ａ｝
が空でなければ必ず最大元をもつ、とすれば、
ＡはＮと同型になってペアノの公理を満たす
のではないかな？
314:１３２人目の素数さん
21/11/07 15:02:03.58 V+KShK58.net
順序数全体の列に関して
ｽﾚﾘﾝｸ(math板:898番)
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
（注：＜ωのすぐ左に項がなくても、左側にある項はすべて入るとする
とかいう「俺様ルール」を設定する奴がいるが、そういう場合は
≪ωとか違う記号をつかうのが「�
315:F様ルール」） ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 実は、＜と≪のみで、いかなる順序数全体の列も書ける つまり １．０の左には何も書かない ２．後続順序数αの左には＜を書く ＜α ３．極限順序数βの左には≪を書く ≪β これだけでＯＫ
316:１３２人目の素数さん
21/11/08 07:04:20.77 CF7SYpmS.net
>>291
> ≪ωとか違う記号をつかうのが「皆様ルール」）
おサルのボクちゃん、面白いことを考えたねｗ (参考) ｽﾚﾘﾝｸ(math板:5番)
それは、あんたの独自説ですよ
”≪”の一般的な説明は下記だよね
で、”「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される”とあるでしょ？
人の常識無いな、サルは
「≪ω」を使っている人居ないでしょ？
居るなら、挙げてみて
そんなん、わざわざ、「≪ω」とかアホや。サル知恵も良いところだなｗ
URLﾘﾝｸ(ja.wikipedia.org)
不等号
3.2 非常に大きい/小さい
比が極度に大きいことを示すために、通常の不等号ではなく、「≪」「≫」が使用される。原則として、双方非負（0以上）の場合にのみ使う。0に近い領域で比が大きいこともあるので、差は必ずしも大きくない。
その後に近似計算を行うための説明であることが多い。
「～は～より十分に小さい（大きい）」「～は～より非常に小さい（大きい）」などと読む。
ここでの「極度に大きい」に絶対普遍な基準はなく、文脈に応じて臨機応変に解釈される。
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
317:１３２人目の素数さん
21/11/08 07:23:34.18 CF7SYpmS.net
>>292 補足
(引用開始)
使用例
・ 10^-10 ≪ 0.1 < 1 < 10≪10^10
・ a ≫ 1 ならば a+1 ≒ a
(引用終り)
これで、
「 a ≫ 1 ならば a+1 ≒ a」の例は、≫を＞に変えると、成り立たないよね
「 10^-10 ≪ 0.1 < 1 < 10≪10^10」の例は、≪を＜に変えると、数学的には成り立つが、意図は伝わらない
（この例では、日常使う数の範囲は、” 0.1 < 1 < 10”辺りで、10^-10は日常感覚では極めて小さく、10^10は極めて大きい のような気持ちなのでしょうかね）
で、”≪ω”ってなに？ｗ
それって、≪を＜に変えても、成り立つよね
わざわざ、”≪ω”と書いて、何が言いたいのか？ｗ
屋上屋だと思うぜ。大学以上の文書で、”≪ω”とか、人の大学では無いよ、多分。それって、サルの大学じゃん
318:１３２人目の素数さん
21/11/08 07:39:24.05 CF7SYpmS.net
>>293 補足の補足
下記より ”実数直線は標準的な大小関係 < による順序に関して線型連続体である” ”、実数直線は 大小関係 < に関して全順序集合”
それは、実数R自身が持つ性質でもある
”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
URLﾘﾝｸ(ja.wikipedia.org)
実数直線
URLﾘﾝｸ(upload.wikimedia.org)
実数直線の模式図
線型連続体
実数直線は標準的な大小関係 < による順序に関して線型連続体である。具体的に言えば、実数直線は 大小関係 < に関して全順序集合であり、またこの順序は稠密で、上限性質を持つ。
上記の性質に加えて、実数直線は最大元も最小元も持たない。また、部分集合として可算で稠密なもの（要するに有理数の全体）を含む。可算稠密部分集合を持ち、最大元も最小元も持たないような任意の線型連続体は実数直線に順序同型であるという定理がある。
実数直線は可算鎖条件 (ccc):
「R における互いに交わらない空でない開区間からなる任意の族は可算である」
を満足する。順序集合論においてよく知られるススリンの問題は「最大元も最小元も持たず可算鎖条件を満足する線型連続体は R に順序同型でなければならないか」ということを問うものである。そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。
位相的な性質
実数直線上には標準的に二つの互いに同値な方法で位相を入れることができる。一つは、実数直線が全順序集合であることを用いて順序位相を入れる方法。もう一つは先に述べた距離からくる内在的な距離位相を入れる方法である。R 上のこれら二つは全く同じ位相を定める。位相空間としては、実数直線は開区間 (0, 1) に同相である。
URLﾘﾝｸ(upload.wikimedia.org)
実数直線にただひとつの無限遠点を加えてコンパクト化できる。
実数直線は明らかに一次元の位相多様体である。同相の違いを除いて、境界のない一次元多様体は二種類しかなく、実数直線 R1 のほかは円周 S1 である。
319:１３２人目の素数さん
21/11/08 12:46:19.20 f2jkwdzw.net
>>290
どうしても超限帰納法と結び付けて考えたい訳ね？なら超限帰納法を持ち出さずとも証明可能と言ってる俺にレスしなくていい。話しが全く噛み合ってない。
320:１３２人目の素数さん
21/11/08 18:00:45.46 fZZA2zYF.net
>>292
> ”≪”の一般的な説明は下記だよね
一般的な用法とは別じゃね？
なんなら「＜の三つ重ね」にすれば？
> ”「極度に大きい」に絶対普遍な基準はなく、
> 文脈に応じて臨機応変に解釈される”
> とあるでしょ？
「極度に大きい」という意味ではないよ
あいかわらずトンチンカンなこといってるね
> 「≪ω」を使っている人居ないでしょ？
> 居るなら、挙げてみて
ああ、くだらない
同じ記号を使うせいで
「後続順序数と極限順序数を区別しない誤解」
が生じるんなら、区別したほうがいいね
考えない素人への配慮 有難く受け取りなよ
>>293
> で、”≪ω”ってなに？
>>291で書いてあるじゃん
0<…<<ωとは
「ωのすぐ左に項がなくても、
ωの左側にある項ｎはすべてｎ<ωを満たす」
という意味
> それって、≪を＜に変えても、成り立つよね
> わざわざ、”≪ω”と書いて、何が言いたいのか？
「成り立つ」とかいってる時点で、何も考えてないのが明らか
0から<の推移的関係(a<b,b<cだからa<c等)でたどり着けるのは自然数nだけ
任意のnからωに対して、後者関数だけでn<ωと云うことはできない
書く前に考えなよ 感じたことを口に出すって頭悪いよ
> 屋上屋だと思うぜ。
> 大学以上の文書で、”≪ω”とか、人の大学では無いよ
大学に入れなかった素人が大学に嫉妬かい？
考えてる人なら読み分けられるが
考えない素人には無理だから
記号を違えて注意喚起ってことじゃね？
>>294
> ”<”を狭く解釈すると、実数Rの全順を考えるときには、そのやり方は全く不便だよ
有理数Qも実数Rも、標準的な大小関係 < で整列できないけど、何か？
整列順序、理解してる？
321:１３２人目の素数さん
21/11/08 18:01:56.23 fZZA2zYF.net
>>295
「超限帰納法で」証明するのではないよ
整列順序の定義と帰納法が表裏の関係だといいたいだけ
一般の整列順序から一般の帰納法である超限帰納法を証明する方法で
特殊な整列順序から特殊な帰納法である数学的帰納法が証明できる、といってる
何もおかしなことはない
>話しが全く噛み合ってない。
冷静になりなよ
322:１３２人目の素数さん
21/11/09 02:11:44.91 lDQuO+st.net
エンドレスムーヴィングゴールポスト論法
323:１３２人目の素数さん
21/11/09 18:55:31.83 /0sJrDiz.net
･･･から~のオウンゴ~~~~~ル
324:１３２人目の素数さん
21/11/10 08:31:27.28 jiYnHr+P.net
これ良さそう
URLﾘﾝｸ(iso.2022.jp)
About
Twitter URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(iso.2022.jp)
小数展開の一意性と空間の連結性
Uniqueness of Decimal Expansions and Connectedness of Spaces
y.? 2019 年 7 月 9 日
(deleted an unsolicited ad)
325:１３２人目の素数さん
21/11/10 08:41:06.87 xVbHw8rr.net
>>297
だから俺へのレスじゃなく勝手に喋ってくれと言ってるのが分からんか？
> 何もおかしなことはない
誰がおかしいと言ったのか？
>冷静になりなよ
おまえが
326:１３２人目の素数さん
21/11/10 20:49:50.76 jiYnHr+P.net
自分かたり
超限帰納法とは
（下記） これか？
順序数ωで、
1,2,3,・・・,n,・・・ωとする
n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？ｗ
”n+1,n+2,・・・”は
超限帰納法の範囲外？
それとも、ωは
超限帰納法の範囲外か？
(参考)
URLﾘﾝｸ(kotobank.jp)
コトバンク
超限帰納法（読み）ちょうげんきのうほう（英語表記）transfinite induction
世界大百科事典 第２版「超限帰納法」の解説 出典 株式会社平凡社
ちょうげんきのうほう【超限帰納法 transfinite induction】
一般化された数学的帰納法の一種で，次のような証明法である。
整列集合Λの各元λに命題Pλが対応しているとき，次のことが証明できれば，すべてのPλは正しい。
〈各λ∈Λに対して，μ＜λならばPμが正しいという仮定のもとで，Pλは正しい〉。
これでよい理由は，Pλが正しくないようなλがあったとして，そのようなλ全体の集合をMとすれば，Λが整列集合という仮定により，Mに最小元αがある。
するとμ＜αならばPμが正しいのだから，Pαも正しいはずで，α∈Mに反する。
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
整列順序付けられた集合または整列集合（せいれつしゅうごう、英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
327:１３２人目の素数さん
21/11/10 21:21:06.48 HKaCLVZ1.net
>>302
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
328:１３２人目の素数さん
21/11/11 07:21:37.87 2lobWA6d.net
>>303
(引用開始)
>n<ωとしか書けないとすると
>n+1,n+2,・・・ の部分はどうなるの？
ωから０への降下列で、なんで、
ω以下のすべての順序数が出て来なくてはいけない！
とキ違ってるんだ？ この中卒は
(引用終り)
頭わるい
論点すり替え
まず
順序数ωで、
1,2,3,・・・,n,・・・ω は、整列集合>>302
整礎かつ全順序
自然数部分
1,2,3,・・・,n,・・・ は、全ての自然数を走って良い
全ての自然数を走るから、数学的帰納法成立する
自然数の集合Nにωを加える
{1,2,3,・・・,n,・・・ω}で、ωは最大の元だ
繰り返すが、自然数の集合Nは整列集合で、
全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ>>302
最大の元を加えても、「S の空でない任意の部分集合が必ず ≦ に関する最小元をもつ」
には、影響しないから、集合N+ω も、整列集合
だから、超限帰納法の使える集合だよね
”n<ωとしか書けないとすると
n+1,n+2,・・・ の部分はどうなるの？”
って、話になる
一般の列として、すべての順序数が出てくる必要はないが
超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
ってことだよね
329:１３２人目の素数さん
21/11/11 19:07:35.35 4Zb7INGk.net
>>304
>頭わるい 論点すり替え
論点取り違えてるのは君だよ、中卒君
>一般の列として、すべての順序数が出てくる必要はないが
>超限帰納法を使う集合としては、すべての順序数が出てくる必要あり
完全にキ違ってるね
「超限帰納法を使う集合」とかいう幻聴を治療しよう
一般の列だから、すべての順序数が出てくる必要ない
>”n<ωとしか書けないとすると
> n+1,n+2,・・・ の部分はどうなるの？”
>って、話になる
そんな話にならない
順序数ではなく上昇列、降下列
０から始まりωで終わる上昇列で
n+1,n+2,・・・
が出てくる必要はない
上昇列が降下列になるためには
n<ωとなっている必要がある
したがって、そのような列では
n+1,n+2,・・・
は出てこない
そこ、分かろうな １５歳から成長できない中卒君
330:１３２人目の素数さん
21/11/11 20:26:12.04 2lobWA6d.net
>>305
おサル>>2