เซตนับได้

เซตนับได้ () คือเซตที่มีภาวะเชิงการนับ (จำนวนของสมาชิก) เหมือนกับบางเซตย่อยของเซตของจำนวนธรรมชาติ ในทางตรงข้าม เซตที่ไม่สามารถนับได้เรียกว่า เซตนับไม่ได้ (uncountable set) ศัพท์คำนี้นิยามโดยเกออร์ก คันทอร์ สมาชิกของเซตนับได้สามารถถูกนับจำนวนได้ในครั้งหนึ่ง ๆ ถึงแม้ว่าการนับนั้นจะไม่มีวันสิ้นสุดก็ตาม สมาชิกทุก ๆ ตัวของเซตจะถูกจับคู่กับจำนวนธรรมชาติจำนวนใดจำนวนหนึ่งในที่สุด

ผู้แต่งตำราบางท่านใช้ศัพท์ เซตนับได้ ว่าหมายถึงเซตที่มีภาวะเชิงการนับเหมือนกับเซตของจำนวนธรรมชาติสำหรับตัวอย่างการใช้เช่นนี้ดูที่  ความแตกต่างระหว่างนิยามสองนิยามนี้คือ เซตจำกัดจัดว่าเป็นเซตนับได้ภายใต้นิยามแรก ในขณะที่นิยามหลัง เซตจำกัดไม่ถือว่าเป็นเซตนับได้ เพื่อแก้ความกำกวมนี้ บางครั้งจึงใช้ศัพท์ว่า เซตนับได้เป็นอย่างมาก (at most countable set) สำหรับนิยามแรกและ เซตอนันต์นับได้ (countably infinite set) สำหรับนิยามหลัง นอกจากนี้ศัพท์ว่า denumerable set ก็ยังใช้ในความหมายของเซตอนันต์นับได้ดูที่  หรือเซตนับได้ ในทางตรงข้ามก็ใช้คำว่า nondenumerable set คือเซตนับไม่ได้ดูที่ 

 นิยาม 
เซต S จะเรียกว่า เซตนับได้ ถ้ามีฟังก์ชันหนึ่งต่อหนึ่ง f จาก S ไปยังจำนวนธรรมชาติ ไม่มีความแตกต่างกันในการพิจารณาว่า 0 เป็นจำนวนธรรมชาติหรือไม่ เนื่องจากความสัมพันธ์หนึ่งต่อหนึ่งทั่วถึงระหว่าง N และ N* = {1, 2, 3, ...} ปรากฏชัด บทความนี้ใช้นิยามตาม ISO 31-11 และหลักเกณฑ์มาตรฐานในคณิตตรรกศาสตร์ ซึ่ง 0 ก็เป็นจำนวนธรรมชาติจำนวนหนึ่ง

ถ้า f เป็นฟังก์ชันทั่วถึง และกลายเป็นฟังก์ชันหนึ่งต่อหนึ่งทั่วถึง (เนื่องจาก f ได้นิยามให้เป็นฟังก์ชันหนึ่งต่อหนึ่งแล้ว) ดังนั้น S จะเรียกว่า เซตอนันต์นับได้

จากนิยามข้างต้นจะเห็นว่าศัพท์คำนี้มีความหมายไม่ครอบคลุม ผู้แต่งตำราบางท่านจึงใช้ศัพท์เซตนับได้อธิบายถึงเซตอนันต์นับได้แทน และไม่รวมเซตจำกัดเข้าไปด้วย

 อ้างอิง 




หมวดหมู่:จำนวนเชิงการนับ
หมวดหมู่:อนันต์