จำนวนเชิงอันดับที่
ลิงก์ข้ามภาษาในบทความนี้ มีไว้ให้ผู้อ่านและผู้ร่วมแก้ไขบทความศึกษาเพิ่มเติมโดยสะดวก เนื่องจากวิกิพีเดียภาษาไทยยังไม่มีบทความดังกล่าว กระนั้น ควรรีบสร้างเป็นบทความโดยเร็วที่สุด |
จำนวนเชิงอันดับที่ (อังกฤษ: ordinal numbers) ในทฤษฎีเซต เป็นรูปแบบจำนวนที่เพิ่มเติมจากระบบจำนวนธรรมชาติ ซึ่งใช้ในการอธิบายวิธีการจัดอันดับเซตของวัตถุ หากมีชุดของวัตถุที่มีขนาดจำกัด เราสามารถจัดอันดับได้โดยการนับธรรมดา นั่นคือการไล่จับคู่วัตถุในเซตกับจำนวนธรรมชาติ ในทำนองเดียวกันนี้ เราใช้จำนวนเชิงอันดับที่ในการจัดอันดับของวัตถุในเซตใด ๆ ซึ่งอาจมีขนาดเป็นอนันต์ก็ได้
จำนวนเชิงอันดับที่ แสดงถึงภาวะเชิงอันดับที่ของเซตอันดับดี (well-ordered set) หมายถึงเซตที่มีการนิยามความสัมพันธ์ > บนเซต ซึ่งมีสมบัติได้แก่
- สำหรับ x และ y ใด ๆ ในเซต ความสัมพันธ์ x > y หรือ x = y หรือ y > x จะเป็นจริงหนึ่งความสัมพันธ์เสมอ
- สำหรับ x y และ z ใด ๆ ในเซต ถ้า x > y และ y > z แล้ว x > z
- ทุกสับเซตมีสมาชิกต่ำสุด นั่นคือ ทุกสับเซตมี x หนึ่งตัว ที่ไม่มี y ในสับเซตที่ x > y
เซตอันดับดีสองเซตจะมีภาวะเชิงอันดับที่เดียวกัน ก็ต่อเมื่อมีฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงจากเซตหนึ่งไปอีกเซตที่รักษาการจัดอันดับในเซต
จำนวนเชิงอันดับที่ต่างจากจำนวนเชิงการนับ (cardinal numbers) ซึ่งใช้แสดงขนาดของเซตโดยไม่คำนึงการจัดอันดับของสมาชิก ความแตกต่างนี้ไม่ชัดเจนสำหรับเซตจำกัด ซึ่งจำนวนเชิงอันดับที่หนึ่งตัวจะตรงกับจำนวนเชิงการนับหนึ่งตัวเสมอ แต่สำหรับเซตอนันต์ที่มีจำนวนเชิงการนับเดียวกัน อาจมีจำนวนเชิงอันดับที่ต่างกันได้
จำนวนเชิงอันดับที่สามารถนำมาบวก คูณ และยกกำลังได้เหมือนจำนวนแบบอื่น ๆ แตไม่มีสมบัติสลับที่
การนิยาม
[แก้]จำนวนธรรมชาติ (ในที่นี้รวม 0) สามารถใช้ในการแสดงสมบัติสองอย่างที่ต่างกันคือ ขนาดของเซต หรือ อันดับที่ของสมาชิกในเซต ซึ่งสำหรับเซตจำกัดสมบัติทั้งสองตัวนี้จะเทียบเท่ากัน แต่สำหรับเซตอนันต์ เราจะขยายจำนวนธรรมชาติได้สองแบบ คือจำนวนเชิงการนับซึ่งแสดงขนาด และจำนวนเชิงอันดับที่ซึ่งแสดงอันดับของสมาชิก ซึ่งเซตอนันต์แต่ละเซตจะมีจำนวนเชิงการนับค่าเดียว แต่สามารถจัดเรียงอันดับสมาชิกให้เป็นเซตอันดับดีได้หลายแบบ
หากเรามีเซตจำกัดอันดับดี เราสามารถจับคู่ 0 กับสมาชิกตัวแรกในเซต จับคู่ 1 กับสมาชิกตัวต่อมา จับคู่ 2 กับสมาชิกถัดไปอีก เช่นนี้ไปจนครบสมาชิกทุกตัวในเซต ซึ่งจะสังเกตได้ว่า ขนาดของเซตจะตรงกับจำนวนธรรมชาติที่น้อยที่สุดที่ไม่ได้จับคู่กับสมาชิกในเซต จากข้อสังเกตนี้ เราจึงนำมาใช้ในการนิยามจำนวนเชิงอันดับที่จากเซตของจำนวนที่น้อยกว่า เช่น 42 แสดงถึงภาวะเชิงอันดับที่ของเซต {0,1,...,41} เราจึงนิยาม 42 เป็นเซตนั้นได้ จากนิยามนี้ จะได้ว่า หากจำนวนเชิงอันดับที่
เมื่อใช้นิยามนี้ต่อไป จะได้นิยามจำนวนเชิงอันดับที่อนันต์ตัวแรก คือ