蘇斯林問題
維基百科,自由的 encyclopedia
在數學上,蘇斯林問題是由米哈伊爾·雅科夫列維奇·蘇斯林(英語: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年對蘇斯林問題的原始陳述一個沒有跳躍或間隔、且其所有的區間(包含多於一個元素)的集合彼此不重合且至多可數的(線性)有序集必然是(一般的)線性連續統嗎?