Tập hợp vô hạn
tập hợp mà không phải là tập hợp hữu hạn
(Đổi hướng từ Tập vô hạn)
Trong lý thuyết tập hợp, một tập hợp vô hạn là một tập hợp mà không phải là một tập hợp hữu hạn. Các tập hợp vô hạn có thể là đếm được hoặc không đếm được. Một số ví dụ:
Tính chất
sửaTập hợp các số tự nhiên (sự tồn tại của nó được xác định bởi tiên đề của vô cùng) là vô hạn. Nó là tập hợp duy nhất được tiên đề trực tiếp yêu cầu vô hạn. Sự tồn tại của bất kỳ tập vô hạn nào khác có thể được chứng minh trong lý thuyết Zermelo-Fraenkel (ZFC) chỉ bằng cách chỉ ra rằng nó xuất phát từ sự tồn tại của các số tự nhiên.
Một tập hợp là vô hạn khi và chỉ khi nếu với mỗi số tự nhiên n thì tập hợp đó đều có một tập hợp con có lực lượng bằng n.
Nếu tiên đề chọn là đúng, thì một tập hợp là vô hạn khi và chỉ khi nó bao gồm một tập hợp con vô hạn đếm được.