[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
357(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)11:38 ID:MeLF+0EN(1/5) AAS
0.99999……は１ではない その４ より
2chｽﾚ:math
722 名前：１３２人目の素数さん[] 投稿日：2020/02/28(金) 10:10:34.95 ID:zuiseDqG
>>680
一つの箱の中の数当てで、
その箱を開けない限り、
ほかの箱を開けても、
問題の箱の中は、分からない
開ける箱の数は、無関係
たとえ、無限の箱を開けても
同じこと
728 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2020/02/28(金) 22:16:27.00 ID:KGKH9uxv [2/2]
>>722
確率論、確率過程論のiid 独立同分布 X1,X2,・・・,Xi,・・・
可算無限個の確率変数
どのXiを取っても同じで（つまりは全てのi （ =∀i ）で）
他の箱と独立・無関係
どのiの箱を残して、他を全て開けても同じ
大学４年で、確率論、確率過程論を学べば分かる
”サカシラ”に、利口ぶって、選択公理だ、同値類だ、代表だ、決定番号だと、小利口ぶるアホさるが、引っ掛かって踊るｗ
外部ﾘﾝｸ:kotobank.jp
コトバンク
賢しら（読み）サカシラ
デジタル大辞泉の解説
［名・形動］《「ら」は接尾語》
１ 利口そうに振る舞うこと。物知りぶること。また、そのさま。かしこだて。「賢しらをする」「賢しらに口を出す」
358(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)11:46 ID:MeLF+0EN(2/5) AAS
>>357 補足
時枝は、下記がお手軽なので、リンク張る
（時枝記事：数学セミナー201511月号の記事 ）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
50 名前：１３２人目の素数さん[sage] 投稿日：2020/01/05(日) 11:23:25.15 ID:n1YRC2Dd [1/7]
以下は過去ログからの引用。
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
略
（参考）
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2015年11月号
箱入り無数目───────────────時枝 正 36
359(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)12:23 ID:MeLF+0EN(3/5) AAS
>>357
>確率論、確率過程論のiid 独立同分布 X1,X2,・・・,Xi,・・・
>可算無限個の確率変数
可算無限個の確率変数については、下記の原先生 九州大などご参照
（参考）
外部ﾘﾝｸ[pdf]:www2.math.kyushu-u.ac.jp
確率論 I, 確率論概論 I （原； 外部ﾘﾝｸ[html]:www.math.nagoya-u.ac.jp） 九州大 2002/06/18
(抜粋)
P4
1.3 事象の独立性と条件付き確率
定義 1.3.1 (独立な事象)
日常言語で言えば，E と F が独立とは，E と F の起こり方が無関係（F が起こっても起こらなくても，E の
起こり方には影響がない）と言う場合にあたる．
E,F が独立でない場合は F の起こり方が E の起こり方に影響しているわけだ．影響の度合いを測るため，「条
件付き確率」を導入する．
P25
2.4 大数の強法則
定理 2.4.1 (大数の強法則，Strong Law of Large Numbers)
この定理を厳密に理解するには，標本空間を無限にしないといけないので，準備が大変である．
つまり，このような「極
限をとった後の事象」の確率を考えているわけで，このような確率を定義するには極限をとった
後の事象が入っているような確率空間を作ってやらないといけない．
2.4.1 無限直積空間の構成（少し advanced）
定義 2.4.2 (無限個の確率空間の直積)
2.4.2 大数の強法則の証明 I
定理 2.4.3 (Cantelli による大数の法則) X1, X2,... を独立な確率変数とする（同分布でなくてもよい）．
362(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)12:46 ID:MeLF+0EN(4/5) AAS
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
2chｽﾚ:math
(抜粋)
数学セミナー201511月号P37 時枝記事より
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(引用終り)
これ、時枝さんの間違い
コンパクト性定理から、「任意の有限部分族がｘｘ」という命題は、(1)も(2)も同義になる
つまり、レーヴェンハイム?スコーレムの定理から、「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
独立 (確率論)
(抜粋)
定義
事象の独立
一般に、（有限とは限らない）事象の族 Aλ が独立であるとは、その任意の有限部分族 A_λ1,A_λ2,・・・,A_λn
確率変数の独立
（共通の確率空間上の実）確率変数の族 { Xλ | λ ∈ Λ} が独立であるとは、任意の実数 aλ に対して
つまり、任意の実数 aλ と添字集合 Λ の任意の有限部分族 {λ1, …, λn} に対して
外部ﾘﾝｸ:ja.wikipedia.org
コンパクト性定理
(抜粋)
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
応用例
コンパクト性定理はモデル理論を含む様々な分野において多くの応用を持つ。例として、以下の定理や命題がコンパクト性定理を用いて証明される。
・上方レーヴェンハイム-スコーレムの定理
・実数や自然数の超準モデルの存在
・国の数が無限である場合の四色定理[3]
つづく
363: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/29(土)12:47 ID:MeLF+0EN(5/5) AAS
>>362
つづき
外部ﾘﾝｸ:ja.wikipedia.org
レーヴェンハイム?スコーレムの定理
(抜粋)
可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。
さらに悩ましかったのは、集合論の可算なモデルの存在である。それにもかかわらず、集合論は実数が非可算であるという文を満たさなければならない。
この直観に反するような状況はスコーレムのパラドックスと呼ばれ、可算性 (countability) は絶対的 (absolute) ではないことを示している。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 5.259s*