Tính đếm được trong lý thuyết tập hợp là gì?
Tính đếm được là một thuộc tính của các tập hợp cho biết tập hợp đó có thể được đặt ở dạng tương ứng một-một với các số tự nhiên. Nói cách khác, nếu chúng ta có thể ghép mỗi phần tử của tập hợp với một số tự nhiên duy nhất thì tập hợp đó có thể đếm được.
Ví dụ: tập hợp tất cả các số tự nhiên có thể đếm được vì chúng ta có thể ghép mỗi số tự nhiên với một số nguyên duy nhất. Tập hợp tất cả các số hữu tỷ cũng có thể đếm được vì lý do tương tự. Mặt khác, tập hợp tất cả các số thực không đếm được vì có nhiều số thực không đếm được và không có cách nào ghép từng số thực với một số tự nhiên duy nhất.
Một tập hợp được gọi là đếm được nếu nó có thể tương ứng một-một với các số tự nhiên. Nói cách khác, nếu chúng ta có thể ghép từng phần tử của tập hợp với một số tự nhiên duy nhất thì tập hợp đó có thể đếm được.
Ví dụ: tập hợp tất cả các số nguyên có thể đếm được vì chúng ta có thể ghép mỗi số nguyên với một số tự nhiên duy nhất: $1$ với số $1$, $2$ với số $2$, v.v..
Mặt khác, tập hợp tất cả các số thực không thể đếm được vì có nhiều số thực không đếm được và không có cách nào ghép từng số thực với một số tự nhiên duy nhất.