קבוצות זרות

דיאגרמת ון של שתי קבוצות זרות: A ו-B

במתמטיקה, זוג קבוצות הן זרות אם אין להן איבר משותף. לדוגמה, עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \left\{1,2,3\right\}} ו- ${\displaystyle \left\{4,5,6\right\}}$ הן קבוצות זרות.

הסבר

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

${\displaystyle A\cap B=\varnothing \,}$

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

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A_i \cap A_j = \varnothing\,}

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

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

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \bigcap_{i\in I} A_i = \varnothing}

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

חלוקה

קובץ:Postscript-viewer-shaded.png ערך מורחב – חלוקה (תורת הקבוצות)

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

במילים אחרות, בהינתן קבוצה X, הקבוצות ${\displaystyle A_{1},A_{2},\cdots ,A_{n}\subset X}$ הן חלוקה של X, אם הן זרות בזוגות וכן :${\displaystyle \bigcap _{i=1}^{n}A_{i}=\varnothing }$.^{[hebrew 1]}

ראו גם

• תורת הקבוצות - מונחים

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

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

• קבוצות זרות, באתר MathWorld (באנגלית)

ביאורים