Khác biệt giữa bản sửa đổi của “Nguyên lý ngăn kéo Dirichlet”

Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi
Không có tóm lược sửa đổi
Dòng 3:
Trong toán học, '''nguyên lý chuồng bồ câu''', '''nguyên lý hộp''' hay '''nguyên lý ngăn kéo Dirichlet''' có nội dung là nếu như một số lượng ''n'' vật thể được đặt vào ''m'' chuồng bồ câu, với điều kiện ''n'' > ''m'', thì ít nhất một chuồng bồ câu sẽ có nhiều hơn 1 vật thể.<ref name = "leong50">Leong, tr. 50</ref> Định lý này được minh họa trong thực tế bằng một số câu nói như ''"trong 3 găng tay, có ít nhất hai găng tay phải hoặc hai găng tay trái."'' Đó là một ví dụ của một đối số đếm, và mặc dù trông có vẻ trực giác nhưng nó có thể được dùng để chứng minh về khả năng xảy ra những sự kiện "không thể ngờ tới", tỉ như 2 người có cùng 1 số lượng sợi tóc trên đầu, trong 1 đám đông lớn có một số người mặc kiểu quần áo giống nhau, hoặc bất thình lình trong hộp thư nhận được 1 số lượng cực lớn thư rác<ref name = "leong50"/>.
 
Người đầu tiên đề xuất ra nguyên lý này được cho là nhà toán học Đức [[Johann Peter Gustav Lejeune Dirichlet|Johann Dirichlet]] khi ông đề cập tới nó với tên gọi "nguyên lý ngăn kéo" (''Schubfachprinzip''). Vì vậy, một tên gọi thông dụng khác của nguyên lý chuồng bồ câu chính là "nguyên lý ngăn kéo Dirichlet" hay đôi khi gọi gọn là "nguyên lý Dirichlet" (tên gọi gọmgọn này có thể gây ra nhầm lẫn với [[nguyên lý Dirichlet]] về [[hàm điều hòa]]). Trong một số ngôn ngữ như [[tiếng Pháp]], [[tiếng Ý]] và [[tiếng Đức]], nguyên lý này cũng vẫn được gọi bằng tên "ngăn kéo" chứ không phải "chuồng bồ câu".
 
Nguyên lý ngăn kéo Dirichlet dược ứng dụng trực tiếp nhất cho các [[tập hợp#Lực lượng của tập hợp - Hữu hạn và vô hạn|tập hợp hữu hạn]] (hộp, ngăn kéo, chuồng bồ câu), nhưng nó cũng có thể được áp dụng đối với các [[tập hợp vô hạn]] không thể được đặt vào [[song ánh]]. Cụ thể trong trường hợp này nguyên lý ngăn kéo có nội dung là: "''không tồn tại một [[đơn ánh]] trên những [[tập hợp#Lực lượng của tập hợp - Hữu hạn và vô hạn|tập hợp hữu hạn]] mà [[codomain]] của nó nhỏ hơn [[tập xác định]] của nó"''. Một số định lý của toán học như [[bổ đề Siegel]] được xây dựng trên nguyên lý này.