Xem mã nguồn của Số đếm

[[Tập tin:Bijection.svg|nhỏ|200x200px| Hàm song ánh ''f'': ''X'' → ''Y'', từ tập ''X'' đến tập ''Y'' chứng tỏ rằng các tập hợp có cùng số lượng, trong trường hợp này hai tập hợp đều có số đếm là 4.]]
[[Tập tin:Aleph0.svg|phải|nhỏ|154x154px| Aleph null, số đếm vô hạn nhỏ nhất]]
Trong [[toán học]], '''số đếm''' là một sự tổng quát hóa của [[số tự nhiên]] sử dụng để đo [[Lực lượng (tập hợp)|lực lượng]] (kích cỡ) của một [[Tập hợp (toán học)|tập hợp]]. Lực lượng của một [[Tập hợp hữu hạn|tập hữu hạn]] là một số tự nhiên: bằng số phần tử trong tập hợp. Các số đếm ''[[Số vô hạn|vô hạn]]'' mô tả các kích thước của các [[tập hợp vô hạn]].

Lực lượng được định nghĩa theo các [[Song ánh|hàm song ánh]]. Hai tập hợp có cùng lực lượng khi và chỉ khi có sự tương ứng một-một (song ánh) giữa các phần tử của hai tập hợp này. Trong trường hợp các tập hữu hạn, điều này tương ứng với khái niệm trực quan về kích thước. Trong trường hợp tập hợp vô hạn, hành vi  phức tạp hơn. Một định lý cơ bản do [[Georg Cantor]] chỉ ra rằng các tập hợp vô hạn có thể có các lực lượng khác nhau, và đặc biệt là lực lượng của tập hợp các [[số thực]] lớn hơn lực lượng của tập hợp các [[số tự nhiên]]. Cũng có thể một [[Tập hợp con (toán học)|tập hợp con thực sự]] của một tập hợp vô hạn có cùng lực lượng với tập hợp mẹ, một điều không thể xảy ra với các tập hợp con của tập hợp hữu hạn.

Có một chuỗi số vô hạn:

: <math>0, 1, 2, 3, \ldots, n, \ldots ; \aleph_0, \aleph_1, \aleph_2, \ldots, \aleph_{\alpha}, \ldots.\ </math>

Chuỗi này bắt đầu bằng các [[số tự nhiên]] bao gồm số không (số đếm hữu hạn), theo sau là các [[số aleph]] (số đếm vô hạn của các tập hợp có xếp thứ tự). Các số aleph được lập chỉ mục bằng số thứ tự. Theo giả định về [[Tiên đề chọn|tiên đề của sự lựa chọn]], chuỗi vô hạn này bao gồm mọi số đếm. Nếu một người bác bỏ [[tiên đề chọn]] đó, thì tình hình sẽ phức tạp hơn, với các số đếm vô hạn bổ sung không phải là số aleph nữa.

[[Lực lượng (tập hợp)|Lực lượng của tập hợp]] được nghiên cứu vì lợi ích riêng của nó như là một phần của [[lý thuyết tập hợp]]. Nó cũng là một công cụ được sử dụng trong các nhánh của toán học bao gồm [[lý thuyết mô hình]], [[Toán học tổ hợp|tổ hợp]], [[đại số trừu tượng]] và [[Giải tích toán học|phân tích toán học]]. Trong [[Lý thuyết phạm trù|lý thuyết thể loại]], các số đếm tạo thành một khung xương của thể loại các tập hợp.

==Tham khảo==
{{Tham khảo}}