ทฤษฎีบทของคันทอร์
From Wikipedia, the free encyclopedia
ทฤษฎีบทของคันทอร์ (อังกฤษ: Cantor's theorem) กล่าวว่า เซตกำลัง (power set) (เซตของเซตย่อยทั้งหมด) ของเซตใดๆ จะมี จำนวนเชิงการนับ (cardinal number) มากกว่าจำนวนเชิงการนับของเซตนั้น. ทฤษฎีบทของคันทอร์นั้นเป็นที่ประจักษ์สำหรับเซตจำกัดอยู่แล้ว และยังเป็นจริงสำหรับเซตอนันต์ด้วย ซึ่งเซตกำลังของเซตอนันต์นับได้นั้น จะเป็นเซตอนันต์นับไม่ได้
บทความนี้ไม่มีการอ้างอิงจากแหล่งที่มาใด |