Định lý đường chéo Cantor

Định lý đường chéo Cantor (phát biểu trong thế kỉ 19) được mang tên nhà toán học người Đức Georg Ferdinand Ludwig Phillip Cantor (1845-1918).

Từ ngữ "đường chéo" xuất phát từ phương pháp chứng minh dùng đến cách xử lý theo đường chéo của Cantor.

Phát biểu

[sửa | sửa mã nguồn]

Tập hợp lũy thừa (power set) của một tập hợp cho trước ký hiệu là sẽ có lực lượng hoàn toàn lớn hơn lực lượng của chính tập hợp . Đặc biệt, các thành phần của không thể đặt vào một quan hệ 1-1.

Trong đó, tập hợp lũy thừa được hiểu là "tập hợp của tất cả các tập con của ".

Hệ quả

[sửa | sửa mã nguồn]

Tập hợp số thực "lớn hơn" tập hợp số tự nhiên (vì )

Chứng minh

[sửa | sửa mã nguồn]

Tham khảo

[sửa | sửa mã nguồn]
  • P R Halmos, "Naive Set Theory" (Springer, 1974)

Liên kết ngoài

[sửa | sửa mã nguồn]
  • Hazewinkel, Michiel biên tập (2001), “Cantor theorem”, Bách khoa toàn thư Toán học, Springer, ISBN 978-1-55608-010-4
  • Weisstein, Eric W., "Cantor's Theorem" từ MathWorld.
Chúng tôi bán
Bài viết liên quan
Tổng hợp các thông tin về ReVanced
Tổng hợp các thông tin về ReVanced
ReVanced là team sẽ tiếp nối dự án của team Vanced - hỗ trợ tạo ra bản mod YouTube không quảng cáo cho mọi người
Nhân vật Beta - The Eminence in Shadow
Nhân vật Beta - The Eminence in Shadow
Cô ấy được biết đến với cái tên Natsume Kafka, tác giả của nhiều tác phẩm văn học "nguyên bản" thực sự là phương tiện truyền thông từ Trái đất do Shadow kể cho cô ấy.
So sánh ưu khuyết Mẫu Đạm Nguyệt và Demon Slayer Bow
So sánh ưu khuyết Mẫu Đạm Nguyệt và Demon Slayer Bow
Cung rèn mới của Inazuma, dành cho Ganyu main DPS F2P.
Nhân vật Keisuke Baji trong Tokyo Revengers
Nhân vật Keisuke Baji trong Tokyo Revengers
Keisuke Baji (Phát âm là Baji Keisuke?) là một thành viên của Valhalla. Anh ấy cũng là thành viên sáng lập và là Đội trưởng Đội 1 (壱番隊 隊長, Ichiban-tai Taichō?) của Băng đảng Tokyo Manji.