蘇斯林問題

在數學上,蘇斯林問題是由米哈伊爾·雅科夫列維奇·蘇斯林英语Mikhail Yakovlevich Suslin提出關於全序集合的問題,在1920年提出,這問題在他死後出版。目前已知這問題獨立於標準的集合論公理系統,也就是帶有選擇公理策梅洛-弗蘭克爾集合論。梭羅維和滕博姆(Tennenbaum, S.)在1971年證明:在假定策梅洛-弗蘭克爾集合論一致的狀況下,這問題無法證明或反證。

Un ensemble ordonné (linéairement) sans sauts ni lacunes et tel que tout ensemble de ses intervalles (contenant plus qu'un élément) n'empiétant pas les uns sur les autres est au plus dénumerable, est-il nécessairement un continue linéaire (ordinaire)?
一個沒有跳躍或間隔、且其所有的區間(包含多於一個元素)的集合彼此不重合且至多可數的(線性)有序集必然是(一般的)線性連續統嗎?
蘇斯林在1920年對蘇斯林問題的原始陳述

形式化

蘇斯林問題所問的是,若有一個非空全序,而這有以下的性質:

  1. 沒有 最大與最小元
  2. 的序列是稠密的英语dense order(也就是在兩個不同元素中間總有別的元素)
  3. 的序列是完備的英语completeness (order theory),也就是說,其所有的非空有界子集都有上界與下界英语Infimum and supremum
  4. 所有彼此不相交的非空開區間的搜集是可數的(也就是序拓撲上的可數鏈條件

在這種條件下,必然是與實數線序同構的嗎?

若將「可數鏈條件」的要求換成有一個可數的稠密子集(也就是是一個可分空間),那這答案就是「是」:所有這樣的在這種狀況下與實數線序同構,而這點為康托爾所證明。

一個拓撲空間的所有非空開集的搜集是至多可數的這條件又稱為蘇斯林性質

影響

任何滿足條件1至4但「不」同構於實數線的全序集合又稱作蘇斯林線;而蘇斯林猜想所講的是沒有蘇斯林線,也就是說所有具有可數鏈條件且沒有上下界的稠密完備線性序列與實數線同構;而一個等價的陳述是任何高度為具有高度為分支英语Branch (descriptive set theory)或者大小為反鏈

一般化蘇斯林猜想指的是對於任意無限正則基數英语regular cardinal而言,所有高度為的樹,要不具有長度為的分支或者大小為的反鏈;而蘇斯林線的存在性,與蘇斯林樹英语Suslin tree蘇斯林代數英语Suslin algebra的存在性等價。

蘇斯林猜想獨立於帶有選擇公理的策梅洛-弗蘭克爾集合論(ZFC)。葉赫(Jech)在1967年與滕博姆(Tennenbaum)在1968年各自獨立地用力迫法建構出一個帶有蘇斯林線的ZFC模型。羅納德·延森英语Ronald Jensen之後證明了說在假定鑽石原則(這是可構造性公理英语Axiom of constructibility的一個結果)的狀況下蘇斯林線存在;而在另一方面,梭羅維和滕博姆在1971年用力迫法構造出了一個不包含蘇斯林線的ZFC模型;此外,他們還證明說在假定馬丁公理成立且連續統假設不成立的狀況下,蘇斯林猜想成立。

蘇斯林猜想獨立於廣義連續統假設及連續統假設不成立的假定,而目前不知道蘇斯林猜想是否與廣義連續統假設相容;然而,由於這組合蘊含說方形原則英语Square principle在一個單一的強極限基數英语Limit cardinal下不成立之故,這表示說決定公理​​L(R)英语​​L(R)中成立,且一般相信說這蘊含了一個帶有超強基數英语Superstrong cardinal內模型

參見

參考資料