เซตนับได้

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

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

นิยาม 
เซต S จะเรียกว่า เซตนับได้ ถ้ามีฟังก์ชันหนึ่งต่อหนึ่ง f จาก S ไปยังจำนวนธรรมชาติ N = {0, 1, 2, 3, ...} 

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

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

อ้างอิง 

 
 

จำนวนเชิงการนับ
อนันต์