Giả thiết continuum hay
bài toán continuum là một
giả thiết toán học, cho rằng không có
tập hợp nào có
lực lượng lớn hơn lực lượng của tập các
số tự nhiên và nhỏ hơn lực lượng của tập các
số thực.Giả thiết này được
Georg Cantor nêu ra, sau khi ông chứng minh được lực lượng của hai
tập hợp vô hạn là số tự nhiên và số thực là khác nhau, trong đó lực lượng của các số tự nhiên (
lực lượng đếm được) nhỏ hơn lực lượng của các số thực (
lực lượng continuum).Giả thiết được thể hiện như sau:Trong đó ký hiệu | Z | = ℵ 0 {\displaystyle |\mathbb {Z} |=\aleph _{0}} là lực lượng của tập hợp vô hạn rời rạc đếm được, | R | = 2 ℵ 0 {\displaystyle |\mathbb {R} |=2^{\aleph _{0}}} là lực lượng của tập hợp vô hạn liên tục không đếm được.Nhiều nhà toán học đã nghi ngờ giả thiết continuum là sai, trong khi đó cũng có trường phái tin giả thiết này là đúng.Năm 1900, khi
David Hilbert đưa ra
23 bài toán chưa giải quyết được, đây là bài toán đầu tiên.Vào năm
1940,
Kurt Gödel đã chỉ ra rằng không thể bác bỏ giả thiết continuum nếu dùng
lý thuyết tập hợp Zermelo-Fraenkel. Sau đó, vào năm
1963,
Paul Cohen lại chỉ ra rằng không thể dùng lý thuyết tập hợp Zermelo-Fraenkel để chứng minh giả thiết continuum. Như vậy, giả thiết continuum là độc lập với lý thuyết tập hợp Zermelo-Fraenkel.Giả thiết continuum cũng được mở rộng thành
giả thiết continuum tổng quát, phát biểu là: nếu S là một
tập hợp vô hạn thì không tồn tại tập nào có lực lượng lớn hơn lực lượng của S và nhỏ hơn lực lượng của
tập lũy thừa của S. Trường hợp riêng khi S là tập các số tự nhiên, tập lũy thừa của các số tự nhiên có cùng lực lượng với tập số thực, và ta thu được giả thiết continuum ban đầu.