Loading AI tools
ウィキペディアから
普遍代数学及びモデル理論において、等式コンパクト(英: equationally compact)とは、代数系の持つ性質の一種であり、位相空間論におけるコンパクト性のある種の代数的な類似物である。この概念はヤン・ミシェルスキーによって導入された[1]。
一階述語論理の言語 L を固定する。L-論理式の部分集合 K について、構造 A が K-コンパクト(弱 K-コンパクト)とは、任意の ()について、Σ の任意有限部分がAで充足可能ならば Σ 自体が充足可能となるときをいう[2]。ここで、K を論理式全体とし、Σ を濃度 κ 未満に制限したとき、K-コンパクト性は κ-級飽和性、弱 K-コンパクト性は κ-級広大性と呼ばれる。
代数系 A が等式コンパクト(弱等式コンパクト)であるとは、K を等式全体としたとき、A が K-コンパクト(弱 K-コンパクト)であるときをいう。
代数系の等式コンパクト性は位相空間のコンパクト性を弱めた性質と見做せる。位相を備えた代数系であって、位相空間としてハウスドルフであり、かつ各演算がその位相について連続であるものを位相代数系と呼ぶことにする。例えば位相群はハウスドルフ位相を備えた群であって積と逆元を取る演算が連続なものをいう。位相代数系 A が位相空間としてコンパクトならば、代数系として等式コンパクトとなる。実際、任意の等式 に対して、解全体 (ここで X は変数全体の集合)は閉集合となることがハウスドルフ性および演算の連続性より分かる。したがって、A において有限充足可能な等式の集合は、直積空間 の有限交叉性を持つ閉集合族に対応する。チコノフの定理より はコンパクトであるから、この閉集合族は空でない共通部分を持つ。すなわち等式の集合には共通解が存在する。
代数系 A を代数系 B の初等部分構造とし、A は等式コンパクトであるとする。このとき A は B のレトラクトとなる[3]。各 に対して相異なる変数記号 を用意する。これらを自由変数として持つ A 上の等式であって と代入したときに B において真になるもの全体を とおく。 は B において(有限)充足可能であるから、初等性より A において有限充足可能である。A の等式コンパクト性より は A において充足可能である。すなわち、写像 が存在して、 に現れる を に置き換えたものが A において真となる。各 に対し、等式 は に属すから、 が成り立つ。また、 を n-項関数記号とすれば、等式 は に属すから、 が成り立つ。すなわち は準同型であって を固定する。例えば、代数系 A はその超準拡大 のレトラクトとなる。
アーベル群 G が等式コンパクトであることと、G-係数チェック・ホモロジーがコンパクトハウスドルフ空間(またはコンパクト距離空間)に対する完全性公理を満たすこととは同値である[4]。十分に飽和的な超準モデルにおいては、飽和性に依存したある重み未満の任意のコンパクトハウスドルフ空間について、アーベル群 G の超準拡大 を係数に持つMcCordホモロジーとチェック・ホモロジーが同型となる[4]。一方、アーベル群 G の超準拡大 であって等式コンパクトでないものが存在することから、McCordホモロジーとチェック・ホモロジーの同型が成立しないような超準モデルが存在することが従う[4]。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.