[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋18 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
910: 2024/06/03(月)14:42 ID:bVC2pEwy(1) AAS
>>909
弥勒菩薩様、アホな基礎論ババアをお救いください！
>>903
・まず、(下記)コンパクト性定理の言い方"任意の有限部分集合がxx" この言い方は慣用句として覚えるべし
・コンパクト性定理は、筑波大 坪井にあるとおりで"４色定理と無限地図"や"順序集合"(無限集合への拡張)に応用を持つ
・コンパクト性定理の応用の一つとして、確率変数独立の定義に当てはめれば、これぞまさに 確率変数が無限集合の場合の定義
(そもそも"任意の有限部分集合がxx"という言い回しが、有限集合に留まらないことはピンとこないと)
(参考)
//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
コンパクト性定理とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
省35
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.185s*