アロンシャイン木
From Wikipedia, the free encyclopedia
集合論におけるアロンシャイン木（あろんしゃいんき、英: Aronszajn tree）とは、 非可算な木で非可算なレベルを持たず、非可算な枝も持たないもののことである。 例えば、ススリン木はアロンシャイン木である。一般化すると、基数κに対して、 κ-アロンシャイン木とは、高さκの木で全てのレベルのサイズがκ未満で、全ての枝の高さがκ未満の木のこと（すなわち、単にアロンシャイン木と言えば -アロンシャイン木のことである）。 1934年にこの木を構成したナフマン・アロンシャインの名に因む。
κ-アロンシャイン木が存在しない基数κはtree propertyを持っているという。 （κが正則でありかつ非可算であるという条件も含まれているとする場合もある。）
ケーニヒの木に関する補題によると、-アロンシャイン木は存在しない。
(-)アロンシャイン木の存在性はアロンシャイン本人によって証明された。
-アロンシャイン木の存在は決定不能である。もっと正確に言うと、CHは-アロンシャイン木の存在を導く。一方CHを仮定しないとき、ミッチェルとシルヴァーは -アロンシャイン木が存在しないことは無矛盾であることを示している（この無矛盾性は弱コンパクト基数の存在性に関連する）。
イェンセンは構成可能性公理V＝Lが全ての後続型無限基数κがκ-ススリン木（すなわちκ-アロンシャイン木）を持つことを導くことを示した。
Cummings & Foreman (1998)では(巨大基数公理を使って) 1以外の全ての有限のn について-アロンシャイン木が存在しないことは無矛盾であることが示されている。
κが弱コンパクト基数ならκ-アロンシャイン木は存在しない。逆に、κが強到達不能基数でκ-アロンシャイン木が存在しないとき、κは弱コンパクト基数である。