เซตโทน

ในวิชาคณิตศาสตร์ ซิงเกิลตัน หรือเป็นที่รู้จักกันในชื่อ ยูนิตเซต เป็นเซตที่มีสมาชิกเพียงหนึ่งตัว ตัวอย่างเช่น {0} เป็นเซตโทน

ชื่อนี้ยังใช้ในสำหรับหนึ่งหลายสิ่งอันดับ (ลำดับที่มีสมาชิกเพียหนึ่งเดียว)

สมบัติ

ตามนั้น สัจพจน์ความสม่ำเสมอนั้นเป็นตัวพิสูจน์ว่าไม่มีเซตไหนที่จะบรรจุสมาชิกตัวเองลงไป ซึ่งช่วยอธิบายว่าเซตโทนนั้นแตกต่างจากสมาชิกในเซตของตัวเองมาก ดังนั้น 1 และ {1} ไม่เหมือนกัน และเซตว่างก็แตกต่างจากเซตที่มีสมาชิกเป็นเซตว่าง เช่นเดียวกับ {{1, 2, 3,}} เป็นเซตโทนที่มีสมาชิกเพียงหนึ่งเดียว (ซึ่งตัวมันเองเป็นเซต ไม่ใช่เซตโทน)

ภาวะเชิงการนับของเซตที่เป็นเซตโทนของ "ก็ต่อเมื่อ" คือ 1 ตามทฤษฎีโครงสร้างเซตตามธรรมชาติของบอนนิวมันน์ เลข 1 ได้กำหนดให้เป็นเซตโทนคือ {0}

 : การมีอยู่ของเซตโทนเป็นลำดับของ : สำหรับเซต A ใด ๆ สัจพจน์นี้จะใช้กับ A และ A โดยจะอ้างถึง {A, A} ซึ่งมีความหมายเดียวกับเซตโทน {A} (เพราะมีแต่สมาชิก A ไม่มีเซตอื่นเป็นสมาชิก)

ถ้า A เป็นเซตใด ๆ และ S เป็นเซตโทนใด ๆ แล้วจะมีฟังก์ชันจาก A ถึง S ที่ส่งสมาชิกทุก ๆ สมาชิกของ A ไปยังสมาชิกหนึ่งของ S ดังนั้น ทุก ๆ เซตโทน จะมีวัตถุสุดท้าย (Terminal Object) ในลำดับของเซต

เซตโทนมีสมบัติที่ว่าทุก ๆ ฟังก์ชันที่มาจากตัวมันเองสู่เซตใด ๆ จะเป็นแบบหนึ่งต่อหนึ่ง เซตที่ไม่ใช่เซตโทนที่มีคุณสมบัติเดียวกันข้างต้นคือเซตว่าง

ด้านทฤษฎีจัดลำดับ

คำจำกัดความโดยฟังก์ชันบ่งชี้

ให้ ${\displaystyle S}$ เป็นที่จำกัดความโดยฟังก์ชันบ่งชี้

${\displaystyle b:X\to \{0,1\}}$

แล้ว ${\displaystyle S}$ จะเป็นเซตโทนก็ต่อเมื่อมี y บางตัวที่ y ∈ X แล้วสำหรับ x ใด ๆ x ∈ X,

${\displaystyle b(x)=(x=y)}$

คำจำกัดความจากหนังสือ Principia Mathematica

คำจำกัดความดังต่อไปนี้ถูกเขียนขึ้นโดยและรัสเซลล์

...

${\displaystyle \iota }$‘${\displaystyle x={\hat {y}}(y=x)}$ Df.

โดยสัญลักษณ์ ${\displaystyle \iota }$‘${\displaystyle x}$ แสดงถึงเซตโทน ${\displaystyle \{x\}}$ และ ${\displaystyle {\hat {y}}(y=x)}$ แสดงถึงเอกลักษณ์ชั้นของวัตถุ (Class of Objects Identcal) กับ ${\displaystyle x}$ หรือที่รู้จักกันในรูป ${\displaystyle \{y:y=x\}}$. ซึ่งทำขึ้นมาจำกัดความ ซึ่งเป็นรูปบบที่ง่ายกว่าข้อความข้างต้น ที่ใช้ประพจน์ ซึ่งต่อมาได้มาจำกัดความภาวะเชิงการนับของเลข 1 คือ

${\displaystyle 1={\hat {\alpha }}((\exists x)\alpha =\iota }$‘${\displaystyle x)}$

...

ดูเพิ่ม

• ตัวบ่งปริมาณ (หนึ่งตัว)

อ้างอิง

1. Stoll, Robert (1961). Sets, Logic and Axiomatic Theories. W. H. Freeman and Company. pp. 5–6.
2. Whitehead, Alfred North; Bertrand Russell (1910). . Vol. Vol. I. p. 37. {{}}: |volume= has extra text ((help))