ダイヤモンド原理

数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、）
とはB. イェンセンによって1972年に導入された組み合わせ論的原理で、構成可能集合で真になり、連続体仮説を含意する。イェンセンはからススリン木の存在を導く証明の中からダイヤモンド原理を抽出、提唱した。
定義.
ダイヤモンド原理 ◊ は◊-列の存在を主張する。すなわち、各α<ω1に対し、"A"α⊆α があって、それがいかなるω1の部分集合"A"に対しても、"A"∩α = "A"αとなるαの集合がω1の中で定常集合になる。
もっと一般には、基数 formula_1と定常集合formula_2が与えられたとき、
言明 ◊"S" (◊("S") or ◊κ("S")とも書かれる) は以下の項目を満たす列formula_3の存在を主張する
この原理の意味において◊ω1は◊と同じ意味である。
性質と使われ方.
イェンセンは1972年にダイヤモンド原理 ◊ がススリン木の存在を含意することを示した。彼はダイヤモンド原理がCHを含意することも示した。
任意の基数κとκ+の定常集合"S"に対して◊"S"は構成可能集合で真である。近年、サハロン・シェラハによって非可算な基数κに対して、formula_8から◊κ+が示されることが示された。