释
苏斯林树
sū sī lín shù · ㄙㄨ ㄙ ㄌㄧㄣˊ ㄕㄨˋ
修撰于 2026-06-30 15:51:08
音义
| 拼音 | 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苏斯林树...