蘇斯林問題

在數學上，蘇斯林問題是由米哈伊爾·雅科夫列維奇·蘇斯林（英語：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年對蘇斯林問題的原始陳述

形式化

蘇斯林問題所問的是，若有一個非空全序集${\displaystyle R}$，而這${\displaystyle R}$有以下的性質：

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

在這種條件下，${\displaystyle R}$必然是與實數線序同構的嗎？

若將「可數鏈條件」的要求換成${\displaystyle R}$有一個可數的稠密子集（也就是${\displaystyle R}$是一個可分空間），那這答案就是「是」：所有這樣的${\displaystyle R}$在這種狀況下與實數線序同構，而這點為康托爾所證明。

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

影響

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

一般化蘇斯林猜想指的是對於任意無限正則基數（英語：regular cardinal）${\displaystyle \kappa }$而言，所有高度為${\displaystyle \kappa }$的樹，要不具有長度為${\displaystyle \kappa }$的分支或者大小為${\displaystyle \kappa }$的反鏈；而蘇斯林線的存在性，與蘇斯林樹（英語：Suslin tree）和蘇斯林代數（英語：Suslin algebra）的存在性等價。

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

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

參見

• ZFC系統無法確定的命題列表
• AD+（英語：AD+）
• 康托爾同構定理（英語：Cantor's isomorphism theorem）

參考資料

• K. Devlin and H. Johnsbråten, The Souslin Problem, Lecture Notes in Mathematics (405) Springer 1974.
• Jech, Tomáš, Non-provability of Souslin's hypothesis, Comment. Math. Univ. Carolinae, 1967, 8: 291–305, MR 0215729
• Souslin, M., Problème 3 (PDF), Fundamenta Mathematicae, 1920, 1: 223 [2022-07-27], doi:10.4064/fm-1-1-223-224 , （原始內容存檔 (PDF)於2022-01-21）
• Solovay, R. M.; Tennenbaum, S., Iterated Cohen Extensions and Souslin's Problem, Annals of Mathematics, 1971, 94 (2): 201–245, JSTOR 1970860, doi:10.2307/1970860
• Tennenbaum, S., Souslin's problem., Proc. Natl. Acad. Sci. U.S.A., 1968, 59 (1): 60–63, Bibcode:1968PNAS...59...60T, MR 0224456, PMC 286001 , PMID 16591594, doi:10.1073/pnas.59.1.60 
• Grishin, V. N., Suslin hypothesis, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4