ซิงเกิลตัน

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

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

สมบัติ

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

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

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

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

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

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

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

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

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

$b(x)=(x=y)$

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

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

...

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

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

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

...

ดูเพิ่ม

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