耶赫-丘嫩樹（）指的是集合論中帶有與廣義連續統假設不相容的性質的樹。這種樹以曾研究此種樹存在可能性及其後果的托马什·耶赫和肯尼思·丘嫩的名字命名。
定義
\omega_1樹指的是一顆勢為\aleph_1、高度為\omega_1的樹，其中\omega_1是首個不可數序數，而\aleph_1則是與其關聯的基數。耶赫-丘嫩樹指的是一顆分支數大於\aleph_1但小於2^{\aleph_1}的\omega_1樹。
存在性
托马什·耶赫在1971年首先發現有此樹的模型，之後肯尼思·丘嫩於1975年證明，在假定連續統假設及2^{\aleph_1} > \aleph_2的狀況下，耶赫-丘嫩樹的存在性等價於重量為\aleph_1的緊緻豪斯多夫空間和大小嚴格介於\aleph_1與2^{\aleph_1}之間的基數的存在性。
參考資料
*
*
*
评论 (0)