הפרש סימטרי
מראה
![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Venn0110.svg/250px-Venn0110.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/40px-Venn0001.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/40px-Venn0111.svg.png)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/4/46/Venn0110.svg/40px-Venn0110.svg.png)
הפרש סימטרי היא פעולה בינארית על קבוצות. עבור שתי קבוצות היא מחזירה קבוצה המורכבת מכל איברי שלא שייכים ל- וכל איברי שלא שייכים ל- – כלומר, כל האיברים השייכים בדיוק לאחת הקבוצות.
הגדרה
[עריכת קוד מקור | עריכה]ההפרש הסימטרי, המסומן מוגדר כדלהלן:
תכונות
[עריכת קוד מקור | עריכה]פעולת ההפרש הסימטרי היא המקבילה בתורת הקבוצות לפעולת ה-XOR באלגברה בוליאנית.
אם קבוצה, אז קבוצת החזקה , עם הפעולות חיתוך (בתפקיד 'כפל') והפרש סימטרי (בתפקיד 'חיבור'), מהווה חוג קומוטטיבי, המקיים בנוסף את התכונה לכל .
ראו גם
[עריכת קוד מקור | עריכה]קישורים חיצוניים
[עריכת קוד מקור | עריכה]- הפרש סימטרי, באתר MathWorld (באנגלית)
נושאים בתורת הקבוצות | ||
---|---|---|
מושגי יסוד | תורת הקבוצות הנאיבית • תורת הקבוצות האקסיומטית • קבוצה • יחידון • הקבוצה הריקה • קבוצת החזקה | |
עוצמות | עוצמה • קבוצה בת מנייה • קבוצה שאינה בת מנייה • עוצמת הרצף | |
פעולות | איחוד • חיתוך • משלים • הפרש סימטרי • מכפלה קרטזית | |
אקסיומות | אקסיומת ההיקפיות • אקסיומת האיחוד • אקסיומת הקבוצה האינסופית • אקסיומת ההחלפה • אקסיומת קבוצת החזקה • אקסיומת היסוד • אקסיומת הבחירה • השערת הרצף | |
משפטים | האלכסון של קנטור • משפט קנטור-שרדר-ברנשטיין • הלמה של צורן • משפט הסדר הטוב | |
פונקציות | פונקציה • פונקציה חד-חד-ערכית • פונקציה על • פונקציה חד-חד-ערכית ועל • פונקציית הזיווג של קנטור | |
יחסים | יחס • יחס רפלקסיבי • יחס סימטרי • יחס אנטי-סימטרי • יחס טרנזיטיבי • יחס שקילות • יחס הופכי | |
סדר | סדר חלקי • סדר מלא • סדר טוב • טיפוס סדר • מספר סודר | |
שונות | הפרדוקס של ראסל |