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 From Wikipedia, the free encyclopedia
tập hợp mà không phải là tập hợp hữu hạn From Wikipedia, the free encyclopedia
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ậ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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.