Tập hợp hữu hạn

Trong toán học, một tập hợp hữu hạn là một tập hợp có một số hữu hạn các phần tử. Một cách không chính thức, một tập hữu hạn là một tập hợp mà có thể đếm và có thể kết thúc việc đếm. Ví dụ:
 
là một tập hợp hữu hạn có 5 phần tử. Số phần tử của một tập hợp hữu hạn là một số tự nhiên (một số nguyên không âm) và được gọi là lực lượng của tập hợp đó. Một tập hợp mà không hữu hạn được gọi là tập hợp vô hạn. Ví dụ, tập hợp tất cả các số nguyên dương là vô hạn:
 
Tập hợp hữu hạn đặc biệt quan trọng trong toán học tổ hợp, môn toán học nghiên cứu về phép đếm. Nhiều bài toán liên quan đến các tập hữu hạn dựa vào nguyên lý ngăn kéo Dirichlet, chỉ ra rằng không thể tồn tại một đơn ánh từ một tập hợp hữu hạn lớn hơn vào một tập hợp hữu hạn nhỏ hơn.

Định nghĩa và thuật ngữ 
Một tập S được gọi là hữu hạn nếu tồn tại một song ánh
 
với n là một số tự nhiên nào đó. Số n là lực lượng của tập hợp S, được ký hiệu là |S|. Tập hợp rỗng {} or Ø được coi là hữu hạn, với lực lượng là 0.

Nếu một tập hợp là hữu hạn, các phần tử của nó có thể được viết - bằng nhiều cách - thành một dãy:
 
Trong toán học tổ hợp, một tập hợp hữu hạn với n phần tử thường được gọi là tập-n và một tập con với k phần tử thường được gọi là tập con-k. Ví dụ tập hợp {5,6,7} là một tập-3 – một tập hợp hữu hạn với 3 phần tử – và {6,7} là một tập con-2 của nó.

Tính chất
Bất kỳ tập hợp con thực sự nào của một tập hữu hạn S là hữu hạn và có ít phần tử hơn bản thân S. Do đó, không thể tồn tại một song ánh giữa một tập hữu hạn S và một tập hợp con thực sự của S.

Sách tham khảo

Tham khảo 

Tập hợp