קבוצות זרות

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
דיאגרמת ון של שתי קבוצות זרות: A ו-B

במתמטיקה, זוג קבוצות הן זרות אם אין להן איבר משותף. לדוגמה, {1,2,3} ו- {4,5,6} הן קבוצות זרות.

הסבר

על פי ההגדרה, זוג קבוצות A ו B הן זרות אם החיתוך שלהן הוא הקבוצה הריקה, כלומר אם מתקיים:

AB=

עבור כל אוסף של קבוצות מוגדר כי הקבוצות באוסף הן זרות בזוגות אם כל זוג קבוצות (שונות) באוסף הוא זר, כלומר לכל זוג אינדקסים שונים, i ו-j, מתקיים:

AiAj=

לדוגמה, הקבוצות באוסף הקבוצות הבא { {1}, {2}, {3}, ... } הן זרות בזוגות.

אם {Ai} הוא אוסף קבוצות זרות בזוגות אז החיתוך שלו הוא ריק,

iIAi=

לעומת זאת, הכיוון ההפוך אינו נכון: החיתוך של האוסף {{1, 2}, {2, 3}, {3, 1}} הוא ריק, אך הקבוצות בו אינן זרות בזוגות, למעשה אין שום זוג קבוצות זרות באוסף.

חלוקה

ערך מורחב – חלוקה (תורת הקבוצות)

חלוקה של קבוצה היא פירוק של הקבוצה לאוסף של תת-קבוצות זרות שאיחודן הוא הקבוצה עצמה.

במילים אחרות, בהינתן קבוצה X, הקבוצות A1,A2,,AnX הן חלוקה של X, אם הן זרות בזוגות וכן :i=1nAi=.[א]

ראו גם

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא קבוצות זרות בוויקישיתוף

ביאורים

  1. לשם הפשטות, ניתנה דוגמה של אוסף בן מניה, אך חלוקה מוגדרת גם על אוסף לא בן-מניה של קבוצות.


קבוצות_זרות24232862Q215382