Số đếm lớn (Large Cardinals)

Số đếm lớn là các tiên đề vô hạn mạnh mẽ khẳng định sự tồn tại của các số đếm lớn đến mức sự tồn tại của chúng không thể được chứng minh trong ZFC, và chúng tạo thành một hệ thống phân cấp gần như tuyến tính để hiệu chỉnh sức mạnh của các lý thuyết toán học.

Definition

Một tiên đề số đếm lớn khẳng định sự tồn tại của một số đếm với tính chất đóng hoặc phản xạ mạnh mẽ, thường có thể biểu thị thông qua một phép nhúng cơ bản của vũ trụ; các số đếm như vậy vượt quá những gì ZFC có thể chứng minh là tồn tại và do đó làm tăng sức mạnh nhất quán của lý thuyết.

Scope

Chủ đề này bao gồm các khái niệm số đếm lớn chính như số đếm không thể tiếp cận (inaccessible), Mahlo, compact yếu (weakly compact), đo được (measurable) và siêu compact (supercompact), các đặc trưng của chúng thông qua phản xạ (reflection) và nhúng cơ bản (elementary embeddings), hệ thống phân cấp sức mạnh nhất quán mà chúng tạo ra, và mối liên hệ của chúng với tính xác định (determinacy) và lý thuyết mô hình bên trong (inner model theory).

Core questions

• Những tính chất đóng và phản xạ nào định nghĩa các số đếm lớn chính?
• Các phép nhúng cơ bản đặc trưng cho các số đếm đo được và mạnh hơn như thế nào?
• Tại sao các số đếm lớn tạo thành một hệ thống phân cấp sức mạnh nhất quán gần như tuyến tính?
• Các số đếm lớn tương tác với tính xác định và cấu trúc của số thực như thế nào?

Key theories

Số đếm không thể tiếp cận và Mahlo

Một số đếm không thể tiếp cận là chính quy (regular) và giới hạn mạnh (strong limit), vì vậy nó không thể đạt được bằng các phép toán tập hợp thông thường và cung cấp một mô hình tự nhiên của ZFC; các số đếm Mahlo phản ánh tính không thể tiếp cận, khởi đầu hệ thống phân cấp.

Số đếm đo được và nhúng cơ bản

Một số đếm đo được mang một siêu lọc đếm được hoàn chỉnh không tầm thường (nontrivial countably complete ultrafilter), tương đương với việc nó là điểm tới hạn của một phép nhúng cơ bản của vũ trụ vào một mô hình bên trong, mâu thuẫn với tiên đề về tính xây dựng.

Hệ thống phân cấp sức mạnh nhất quán

Các tiên đề số đếm lớn được sắp xếp theo tính nhất quán tương đối, sao cho tính nhất quán của một tiên đề ngụ ý tính nhất quán của tất cả các tiên đề yếu hơn, cung cấp một thước đo để đánh giá sức mạnh của các lý thuyết tùy ý.

Clinical relevance

Số đếm lớn cung cấp thang đo chuẩn về sức mạnh nhất quán trong toán học: nhiều phát biểu hóa ra là tương đương nhất quán với sự tồn tại của một số đếm lớn nào đó, và các số đếm lớn mạnh ngụ ý các tính chất đều đặn của đường số thực như tính xác định chiếu (projective determinacy) và tính đo được Lebesgue của các tập hợp xác định được.

History

Các số đếm không thể tiếp cận xuất hiện từ nghiên cứu của Zermelo và Sierpinski-Tarski về các mô hình của lý thuyết tập hợp, và công trình năm 1930 của Ulam về độ đo đã dẫn đến các số đếm đo được. Scott đã chỉ ra vào năm 1961 rằng một số đếm đo được bác bỏ tiên đề về tính xây dựng (axiom of constructibility), và các công trình tiếp theo của Solovay, Martin, Woodin, và những người khác đã xây dựng hệ thống phân cấp hiện đại và các liên kết của nó với tính xác định.

Key figures

• Stanislaw Ulam
• Dana Scott
• Robert Solovay
• Hugh Woodin

Seminal works

• kanamori2009
• jech2003
• kunen2011

Frequently asked questions

Tại sao ZFC không thể chứng minh sự tồn tại của các số đếm lớn?

Một số đếm không thể tiếp cận tạo ra một mô hình tập hợp của ZFC, vì vậy theo định lý bất toàn thứ hai của Goedel, ZFC không thể chứng minh sự tồn tại của một số đếm như vậy mà không chứng minh tính nhất quán của chính nó, điều mà nó không thể làm được. Lập luận tương tự cũng áp dụng, một cách mạnh mẽ hơn, cho các số đếm lớn hơn.

Tại sao lại nghiên cứu các tiên đề không thể chứng minh là nhất quán?

Các số đếm lớn cung cấp một thang đo mạch lạc và có thứ tự tốt để so sánh sức mạnh của các lý thuyết toán học, và chúng giải quyết các câu hỏi độc lập khác về các tập hợp số thực có thể xác định được, khiến chúng trở thành một công cụ tổ chức trung tâm mặc dù tính nhất quán của chúng phải được giả định.