TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
京大生以外は数学語るな
dx dy の意味は？
確率論とそれに近い分野のスレ
こんな板復活させなくてよかったのに
Inter-universal geometry と ABC 予想 44
Inter-universal geometry と ABC予想 37
ピンク・スライム
数学系YouTuberについて語れ。
♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １４
【あさひ】高校数学の質問スレPart397
- 362 ：
- 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
https://rio2016.2ch.sc/test/read.cgi/math/1578091012/54
(抜粋)
数学セミナー201511月号P37 時枝記事より
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(引用終り)
これ、時枝さんの間違い
コンパクト性定理から、「任意の有限部分族がｘｘ」という命題は、(1)も(2)も同義になる
つまり、レーヴェンハイム?スコーレムの定理から、「いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならない」
（参考）
https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B_(%E7%A2%BA%E7%8E%87%E8%AB%96)
独立 (確率論)
(抜粋)
定義
事象の独立
一般に、（有限とは限らない）事象の族 Aλ が独立であるとは、その任意の有限部分族 A_λ1,A_λ2,・・・,A_λn
確率変数の独立
（共通の確率空間上の実）確率変数の族 { Xλ | λ ∈ Λ} が独立であるとは、任意の実数 aλ に対して
つまり、任意の実数 aλ と添字集合 Λ の任意の有限部分族 {λ1, …, λn} に対して
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E5%AE%9A%E7%90%86
コンパクト性定理
(抜粋)
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。
応用例
コンパクト性定理はモデル理論を含む様々な分野において多くの応用を持つ。例として、以下の定理や命題がコンパクト性定理を用いて証明される。
・上方レーヴェンハイム-スコーレムの定理
・実数や自然数の超準モデルの存在
・国の数が無限である場合の四色定理[3]
つづく
【大学院へ】 30過ぎて、数学の道へ その２
作用素環論
松坂君の日記
【中学三年】数学の問題の解き方おしえろください
【理3悲報】 高専＞理3
現代数学の系譜 古典ガロア理論を読む37
分からない問題はここに書いてね456
Octaveやmaximaなどの数学系のフリーソフトのスレ
数学って結局暗記ゲーなの？
長谷川亮太スレ
--------------------
【速報】北海道 -0.9℃ [192973851]
Fate/Grand Order まったりスレ5633
六千百五十二
100人中90人くらいが嫌いそうな食べ物が「ようかん」 [173238122]
萩原健一・水谷豊・松田優作＋岸田森
iPad手書きノートアプリ総合スレ Part1
JPドメイン総合
Steamの面白くて安いゲーム教えて Part182
純烈について31
【スカパー乞食】 ヒロリン @hirorin_house 【友達はエア】
アークサイン part91
ウーロン茶について語れ
いないいないばあっ！＆おかあさんといっしょ262
【X60,200,220系】ThinkPad X 旧筐体スレ Part1
B.LEAGUEの観客動員を語るスレ20
地味だけどもっと評価されていい外人レスラー
【22/7 ナナブンノニジュウニ】佐藤麗華はリーダーかわいい
何で日本仏教には結婚禁止の宗派が残ってないの？
【DFFAC】DISSIDIA FINAL FANTASY(ARCADE)/NT part524【ディシディア】
【韓国】安倍首相発言に反発＝「経済報復と証明」[8/6]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼