יחידון
יחידון (באנגלית: singleton – סינגלטון) היא קבוצה המכילה איבר אחד בלבד. לדוגמה, הקבוצה היא יחידון.
תכונות
עריכה- קבוצה היא יחידון אם ורק אם עוצמתה היא 1.
- בתורת הקבוצות, המספר 1 מוגדר כיחידון .
- בתורת הקבוצות האקסיומטית, קיומו של יחידון הוא תוצאה של אקסיומת הקבוצה הריקה ואקסיומת הזיווג.
- אם היא קבוצה, ו- יחידון, אז קיימת פונקציה אחת בלבד מ- ל- : הפונקציה הקבועה לאיבר היחיד ב- . לכן, אובייקט סופי בקטגוריה . מספר הפונקציות מ- ל- שווה לעוצמת .
- בטופולוגיה קבוצתית, מרחב מקיים את תכונת הפרדה אם ורק אם כל יחידון הוא קבוצה סגורה.
- בתורת ההסתברות, יחידון במרחב המדגם נקרא "מאורע פשוט"
- קבוצה מסוג גם היא יחידון, שכן קיים בה איבר יחיד, .
ראו גם
עריכה