弱コンパクト基数のソースを表示

[[数学]]において、'''弱コンパクト基数'''（じゃくコンパクトきすう、{{lang-en-short|weakly compact cardinal}}）は[[基数]]の一種で{{harvtxt|Erdős|Tarski|1961}}によって提唱された概念である。
弱コンパクト基数は[[巨大基数]]であり,すなわち[[ツェルメロ＝フレンケル集合論|集合論の標準的な公理系]]からはその存在性が証明できない基数である。

形式的には、基数 κ が弱コンパクトであるとは、それが非可算な基数であって、かつ、任意の関数 ''f'': [κ] <sup> 2 </sup> → {0, 1} についてある[[濃度 (数学)|濃度]] κ の[[集合]]が存在して、''f'' に対して{{仮リンク|homogeneous|en|Homogeneous (large cardinal property)}}であるときのことをいう。ここで言う [κ] <sup> 2 </sup> は κ の2要素部分集合全体による集合を表し、κ の部分集合 ''S'' が''f'' に対して homogeneous であるとは、[''S'']<sup>2</sup> の要素が ''f'' で全て 0 に移るか、全て 1 に移ることを言う。

「弱コンパクト」という名前は、ある基数が弱コンパクトならある関連する[[無限論理|無限言語]]がコンパクト性定理の一種を満たすという事実を反映している（後述）。

弱コンパクト基数は[[マーロ基数]]であり、与えられた弱コンパクト基数より小さいマーロ基数の集合は[[定常集合]]である。

著者によっては弱コンパクト基数の定義としてもう少し弱いものを使っている場合がある。例えば下記の中で条件から到達不能性を省いているものなどが該当する。

== 同値な条件 ==
[[可算集合|非可算]]な基数 κ に対して、以下の条件は全て同値。

# κ は弱コンパクト
# 全ての λ<κ, 自然数 n ≥ 2, 関数 f: [κ]<sup>n</sup> → λ に対して、f に対して homogeneous な濃度 κ の集合が存在する。{{harv|Drake|1974|loc=chapter 7 theorem 3.5}}
# κ が [[到達不能基数|到達不能]]で、[[アロンシャイン木|tree property]]（高さ κ のいかなる木もサイズ κ のレベルか枝を持つこと。すなわちκ-[[アロンシャイン木]]が存在しないこと。）を満たす。
# 全ての濃度 κ の線形順序集合が順序型 κ の増加列または減少列を持つ。
# κ は <math>\Pi^1_1</math>-[[:en:totally indescribable cardinal|記述不能]]。
# κ は extension property を満たす。言い換えると全ての''U'' ⊂ ''V''<sub>κ</sub>に対してκ ∈ ''X''である推移的集合 ''X''と ''S'' ⊂ ''X'' が存在して、(''V''<sub>κ</sub>, ∈, ''U'') が (''X'', ∈, ''S'')の[[初等部分モデル]]となる。ここで、 ''U'' と ''S'' は一変数[[一階述語論理|述語]]と考えている。
# 任意の κ の濃度 κ な部分集合 S に対し、S を決定する非自明な κ-完備フィルターが存在する。
# κ は κ-[[:en:unfoldable cardinal|unfoldable]]である。
# κ は到達不能で[[無限論理|無限言語]] ''L''<sub>κ,κ</sub> は弱コンパクト性定理を満たす。
# κ は到達不能で[[無限論理|無限言語]] ''L''<sub>κ,ω</sub> は弱コンパクト性定理を満たす。

言語 ''L''<sub>κ,κ</sub> が弱コンパクト性定理を満たすとは、Σ が高々濃度 κ の文の集合であり、その濃度 κ 未満の部分集合が全てモデルを持つならば、Σ もモデルを持つことを言う。[[強コンパクト基数]]も文の集合の濃度の制限を取り払った同様の方法で定義される。

== 参考文献 ==
* {{citation|last=Drake|title=Set Theory: An Introduction to Large Cardinals |series=Studies in Logic and the Foundations of Mathematics |volume= 76|publisher=Elsevier Science Ltd|year=1974|isbn =0-444-10535-2|first =F. R.}}
*{{citation|authorlink1=ポール・エルデシュ|authorlink2=アルフレト・タルスキ|last= Erdős|first= Paul|last2=Tarski|first2= Alfred|chapter= On some problems involving inaccessible cardinals|year=  1961 |title= Essays on the foundations of mathematics  |pages= 50–82 |publisher=Magnes Press, Hebrew Univ.|publication-place= Jerusalem|url=http://www.renyi.hu/~p_erdos/|mr=0167422}}
* {{citation|last=Kanamori|first=Akihiro|authorlink=Akihiro Kanamori|year=2003|publisher=Springer|title=The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings|edition=2nd |isbn= 3-540-00384-3}}

{{DEFAULTSORT:しやくこんはくときすう}}
[[Category:基数]]
[[Category:巨大基数]]
[[Category:数学に関する記事]]