苏斯林树
sū sī lín shù · ㄙㄨ ㄙ ㄌㄧㄣˊ ㄕㄨˋ
- 字母
- su si lin shu
- 首字母
- ssls
- 注音符号
- ㄙㄨ ㄙ ㄌㄧㄣ ㄕㄨ
- 注音首符
- ㄙㄙㄌㄕ
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动机是解决苏斯林假设，苏斯林树概念最先由库雷巴(Kurepa,D.)于1936年提出，他证明“存在苏斯林树”等价于“存在苏斯林线”，后来，美国数学家米勒(Miller,D.)于1943年证明苏斯林假设等价于“不存在苏斯林树”，美国学者杰希(Jech,T.J.)与延森(Jensen,R.)等人证明了“苏斯林树存在”相容且独立于ZFC公理系统，苏斯林树的概念可以从ω1推广到任意基数上。设κ为一个无穷基数，若〈T，<〉为高度为κ且T中每条链及反链的基数均小于κ，则称树〈T，<〉为一棵κ苏斯林树，因此ω1苏斯林树...