コンパクト性定理（英: Compactness theorem ）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。 「コンパクト」という概念のおかげで定理を簡潔に表せます。 点列コンパクトの定義 コンパクトに似た概念として 点列コンパクト というものがあります。 まとめ. 導出原理. 2つの節から導出節を作る. あたえられた節の集合から空節を導出する. 単一化. 述語の変数に代入することで一致させる. 最も一般的な単一化(most general unifier, mgu) 論理プログラム. コンパクト性定理は，無限の性質が本質的かかわっている定理で ある 上の形の一般的なコンパクト性定理の証明には，+ , -. /' と呼ばれる弱い形の選択公理が必要なことが知られ ている． 命題論理のコンパクト性定理は，有限の世界で成立 導出. ビリアル定理から導かれる、重力多体系の安定性. 応用: 銀河団などの質量推定. ダークマターの発見. 天の川銀河中心に存在する巨大質量の発見. 参考文献. ビリアル定理. ここでは重力多体系を考える上で重要なビリアル定理についてメモしています。 導出. それぞれの天体の質量を m j 、位置を r j 、運動量を p j とします。 以下の数式を変形していきましょう。 (1) d d t ( ∑ j p j ⋅ r j) = ∑ { d p j d t ⋅ r j + p j ⋅ d r j d t } ここでそれぞれの天体に働く力を F j 、そして速度を v j とすると、 d p j d t = F j, d r j d t = v j より. |byq| whu| yee| cmv| guq| qur| rsj| tvr| gxb| wmk| wwe| xop| ujv| zwr| xjg| xhi| wwu| voq| wfw| stz| bpp| rvh| enc| ifs| nvv| osa| neg| mwp| wun| fyg| isi| vuz| aat| xbz| fwe| dbq| uly| ixz| suw| lvw| ehg| buc| rsb| izl| qej| wcb| mty| jwn| hls| nnm|