アロンシャイン木のソースを表示

[[集合論]]における'''アロンシャイン木'''（あろんしゃいんき、{{lang-en-short|Aronszajn tree}}）とは、
非可算な木で非可算なレベルを持たず、非可算な枝も持たないもののことである。
例えば、[[ススリンの問題|ススリン木]]はアロンシャイン木である。一般化すると、基数κに対して、
'''κ-アロンシャイン木'''とは、高さκの木で全てのレベルのサイズがκ未満で、全ての枝の高さがκ未満の木のこと（すなわち、単にアロンシャイン木と言えば <math>\aleph_1</math>-アロンシャイン木のことである）。
1934年にこの木を構成した[[ナフマン・アロンシャイン]]の名に因む。

κ-アロンシャイン木が存在しない基数κは'''tree property'''を持っているという。
（κが正則でありかつ非可算であるという条件も含まれているとする場合もある。）

==&kappa;-アロンシャイン木の存在性==

ケーニヒの木に関する補題によると、<math>\aleph_0</math>-アロンシャイン木は存在しない。

(<math>\aleph_1</math>-)アロンシャイン木の存在性はアロンシャイン本人によって証明された。

<math>\aleph_2</math>-アロンシャイン木の存在は決定不能である。もっと正確に言うと、[[連続体仮説|CH]]は<math>\aleph_2</math>-アロンシャイン木の存在を導く。一方CHを仮定しないとき、ミッチェルとシルヴァーは
<math>\aleph_2</math>-アロンシャイン木が存在しないことは無矛盾であることを示している（この無矛盾性は[[弱コンパクト基数]]の存在性に関連する）。

イェンセンは構成可能性公理V＝Lが全ての後続型無限基数κがκ-ススリン木（すなわちκ-アロンシャイン木）を持つことを導くことを示した。

{{harvtxt|Cummings|Foreman|1998}}では(巨大基数公理を使って) 1以外の全ての有限の''n'' について<math>\aleph_n</math>-アロンシャイン木が存在しないことは無矛盾であることが示されている。

κが弱コンパクト基数ならκ-アロンシャイン木は存在しない。逆に、κが強到達不能基数でκ-アロンシャイン木が存在しないとき、κは弱コンパクト基数である。

==特殊アロンシャイン木==

(<math>\aleph_1</math>-)アロンシャイン木が'''特殊'''であるとは、木から有理数全体の集合への関数''f''で「''x''<''y''ならば''f''(''x'')<''f''(''y'')」となる''f''が存在することをいう。

[[マーティンの公理]]MA(<math>\aleph_1</math>)からは全てのアロンシャイン木が特殊であることが導かれる。
一方、特殊でないアロンシャイン木が存在することは無矛盾であり、[[連続体仮説|GCH]]+[[ススリンの問題|SH]]とも無矛盾である。{{harv|Schlindwein|1994}}.

==参考==
*{{citation
|last=Cummings|first= James|last2= Foreman|first2= Matthew
|title=The tree property
|journal=Adv. Math. |volume=133 |year=1998|issue=  1|pages= 1-32|doi=10.1006/aima.1997.1680
|mr=1492784}} 
*{{citation|first=Chaz |last=Schlindwein 
|title=Consistency of Suslin's Hypothesis, A Nonspecial Aronszajn Tree, and GCH
|journal=    The Journal of Symbolic Logic|volume= 59|issue= 1|year= 1994|pages= 1-29 
|doi=10.2307/2275246|publisher=The Journal of Symbolic Logic, Vol. 59, No. 1|jstor=2275246}}
*{{SpringerEOM|title=Aronszajn tree|last= Schlindwein|first=Ch.|urlname=Aronszajn_tree}}

== 外部リンク ==
*[http://planetmath.org/encyclopedia/KappaAronszajnTree.html PlanetMath]

{{デフォルトソート:あろんしやいんき}}
[[Category:集合論]]
[[Category:数学に関する記事]]