Lời giải: Tính độc lập của giả thuyết Suslin với ZFC (Jensen, Solovay–Tennenbaum, 1971)

Bước 1 trên 8: Câu hỏi của Suslin: liệu "khả ly" có thể được nới lỏng thành "ccc"?

Hiểu nôm na

Đường thẳng thực $\mathbb{R}$ có một số tính chất thứ tự quen thuộc: nó trù mật (giữa hai điểm bất kỳ luôn có điểm khác), đầy đủ (không có lỗ hổng), không có điểm đầu hay điểm cuối, và nó khả ly — các số hữu tỷ $\mathbb{Q}$ nằm trong nó như một tập đếm được tiến gần tùy ý tới mọi điểm. Cantor chứng minh bốn tính chất này, gộp lại, đặc trưng duy nhất cho $\mathbb{R}$ sai khác cách gọi tên.

Tính khả ly có một hệ quả dễ thấy: bất kỳ họ các khoảng mở rời nhau đôi một nào cũng phải đếm được, vì mỗi khoảng phải chứa một số hữu tỷ riêng biệt. Năm 1920, Suslin đặt câu hỏi liệu hệ quả yếu hơn này thôi — gọi là điều kiện dây chuyền đếm được — có thể thay thế tính khả ly trong đặc trưng của Cantor hay không, hay liệu có một đường thẳng "giả mạo" bí ẩn nào thỏa mãn nó mà không bí mật có một tập con trù mật đếm được.

R \text{ dense, complete, no endpoints, ccc} \ \overset{?}{\Longrightarrow}\ R \cong \mathbb{R}

Phân tích chi tiết

Một tập được sắp thứ tự toàn phần $R$ là một liên thể tuyến tính nếu nó trù mật, đầy đủ (mọi tập bị chặn có một supremum), và không có phần tử nhỏ nhất hay lớn nhất. Định lý đặc trưng của Cantor nói: nếu $R$ là một liên thể tuyến tính đồng thời khả ly (có một tập con trù mật đếm được), thì $R$ đẳng cấu thứ tự với $\mathbb{R}$ .

Mikhail Suslin, trong một bài báo xuất bản sau khi ông mất năm 1920, đặt câu hỏi liệu tính khả ly trong định lý này có thể thay bằng điều kiện dây chuyền đếm được (ccc) yếu hơn hẳn: mọi họ các khoảng mở khác rỗng rời nhau đôi một của $R$ đều đếm được. Mọi liên thể tuyến tính khả ly tự động là ccc (mỗi khoảng phải bẫy một số hữu tỷ riêng biệt), nhưng câu hỏi của Suslin là liệu chiều ngược lại có đúng hay không.

Một liên thể tuyến tính giả định thỏa ccc nhưng không khả ly — do đó không đẳng cấu thứ tự với $\mathbb{R}$ — được gọi là đường Suslin, và giả thuyết Suslin ( $\mathrm{SH}$ ) là khẳng định rằng không tồn tại đường Suslin nào. Để tấn công câu hỏi này, bước tiếp theo dịch nó từ các thứ tự liên tục sang ngôn ngữ cây dễ xử lý về tổ hợp hơn.

Thuật ngữ trong bước này

Thứ tự khả ly: Một tập được sắp thứ tự tuyến tính chứa một tập con đếm được tiến gần tùy ý tới mọi điểm, giống như $\mathbb{Q}$ nằm trù mật trong $\mathbb{R}$ .
Điều kiện dây chuyền đếm được (ccc): Một thứ tự (hoặc tổng quát hơn, một tập sắp thứ tự bộ phận) thỏa ccc nếu mọi họ các khoảng mở khác rỗng rời nhau đôi một (hoặc các phần tử đôi một không tương thích) đều đếm được.

Kiến thức dùng ở bước này

Hệ tiên đề ZFC