לדלג לתוכן

תורת הקבוצות/יחסים בין קבוצות

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

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

קבוצה חלקית (הכלה)

[עריכה]

הגדרה 1.1: קבוצה חלקית

תהיינה קבוצות. נאמר כי היא קבוצה חלקית ל־ אם כל הנמצא בקבוצה נמצא גם בקבוצה . כלומר:

נסמן חלקית ל־ כך: . נאמר גם כי מוכלת ־ ,‏ תת־קבוצה של ו־ מכילה את .

במילים אחרות אם אז כל אבר ב־ הוא אבר ב־ , או היא חלק מ־ . נדגיש כמה דברים המסתמנים מההגדרה. אם אז ידוע שאם אבר כלשהו הוא אבר ב־ אז הוא גם אבר ב־ , אך יש לשים לב שההפך אינו נכון, כלומר אם ואבר שייך ל־ אז הוא לא בהכרח גם שייך ל־ .

אם אינה חלקית ל־ נסמן . שימו לב שמספיק למצוא אבר אחד ב־ שאינו אבר ב־ על־מנת להוכיח כי .



משפט 1.1:

תהי קבוצה כלשהי . אזי . במילים אחרות: כל קבוצה חלקית לעצמה.

הוכחה

תהי קבוצה כלשהי. אם , אז בוודאי ועל כן , לפי הגדרת קבוצה חלקית.


שוויון קבוצות

[עריכה]

הגדרה: שוויון קבוצות

תהיינה קבוצות. נאמר כי שווה ל־ אם לכל אבר מתקיים: .

ברור לנו לפי ההגדרה שאכן עבור כל קבוצה . בנוסף ניתן לראות שכדי להוכיח כי ניתן להראות שכל אבר של הוא אבר של ולהראות גם שכל אבר של הוא אבר של .

אנו למעשה צריכים להראות כי חלקית ל־ וכן חלקית ל־ . כדי להראות ששתי קבוצות אינן שוות, מספיק להצביע על אבר כלשהו השייך לאחת הקבוצות אך לא לשניה.

דוגמאות: הראינו בפרק הקודם כמה דוגמאות לקבוצות שוות. כעת נוכל לבחון על-פי ההגדרה המדויקת שאכן אלו קבוצות שוות.

  • טענו שהקבוצה שווה לקבוצה {כל המספרים השלמים בין 0 ל־5}. נבחן אם כן את הטענה לפי ההגדרה. אנו רואים כי וגם וכך גם 3,4.
נבחן את {כל המספרים השלמים בין 0 ל־5 (הגדולים מ־0 וקטנים מ־5)} ולשם הנוחיות נסמן קבוצה זו . נבחן את 1 ונראה ש־1 הוא אכן מספר שלם הגדול מ־0 וקטן מ־5, לכן .
נבדוק ונראה שגם . אז כל אבר ב־ הוא גם אבר ב־ . נבדוק אילו הם האברים השלמים בין 0 ל־5 ונראה שאלו אך ורק 1,2,3,4 וכמובן .
לפיכך כל האברים הנמצאים בקבוצה נמצאים גם בקבוצה {כל המספרים השלמים בין 0 ל־5}, ולהפך: כל האברים שנמצאים בקבוצה {כל המספרים השלמים בין 0 ל־5} נמצאים גם בקבוצה .
לפי ההגדרה הקבוצות אכן שוות כמו ששיערנו בהתחלה.
  • כעת נבחן את הטענה הבאה שהוצגה אף היא בפרק הקודם: {כל המספרים השלמים בין 0 ל־1} = {כל החזירים בעלי הכנפיים}.
לפי הגדרת שוויון קבוצות ניתן לראות שאכן קבוצות אלו שוות שכן אין בהן כל אבר אז ודאי שכל אבר בקבוצה אחת הוא אבר בקבוצה השניה (מאותה סיבה קבוצות אלו שוות לקבוצה הריקה ).
למעשה במקרה זה הטענה "אם אבר שייך לקבוצה הראשונה אז הוא שייך לקבוצה השניה" נכונה תמיד משום שהחלק הראשון בטענה (אם...) לעולם לא מתקיים.
על טענות מסוג כאשר לעולם לא מתקיים נהוג לומר שהן מתקיימות "באופן ריק".



משפט 1.2:

תהיינה קבוצות. אזי אם ורק אם . במילים אחרות, על־מנת להוכיח שוויון בין קבוצות, מספיק להוכיח שכל אחת מהקבוצות מוכלת באחרת.

הוכחה

המשפט נובע ישירות מהגדרות השוויון וההכלה. אם אז לכל מתקיים , כלומר , ובאותו אופן גם .

מצד שני, אם וגם , אז לכל מתקיים ולהפך, ולכן .


הכלה ממש

[עריכה]

הגדרה 1.2: הכלה ממש

תהיינה קבוצות. נאמר כי חלקית ממש ל־ אם וגם . נסמן . נאמר גם מוכלת ממש ב־ , או מכילה ממש את .

דיאגרמת ון:

שימו לב שפירוש הדבר הוא שאם אז בהכרח . כלומר אם נרצה להראות כי נראה שכל אבר ב־ הוא אבר ב־ אך קיים אבר אחד לפחות ב־ שאינו אבר ב־ .

כמובן שגם כאן נוכל לדבר על שתי קבוצות כך ש־ אינה מכילה ממש את . נסמן . מהגדרת קבוצה חלקית ממש מסתמן שקבוצה אינה חלקית ממש ל־ אם ורק אם או .



משפט 1.3:

עבור כל קבוצה מתקיים , ועבור כל קבוצה כך ש־ מתקיים . במילים: כל קבוצה מכילה את הקבוצה הריקה, וכל קבוצה שאינה הקבוצה הריקה מכילה ממש את הקבוצה הריקה.

הוכחה

תהי קבוצה כלשהי. נניח בשלילה כי אז קיים אבר כלשהו ב־ שאינו אבר ב־ . אך זה עומד בסתירה להגדרת כקבוצה ללא אברים, לכן לא יתכן כי שכן זה יוצר סתירה, אז אנו מסיקים שבהכרח עבור כל קבוצה מתקיים .

תהי קבוצה. הראינו קודם כי . לפי הגדרת אנו מסיקים כי ל־ אבר כלשהו שאינו אבר ב־ , אז , ולכן בוודאי . לפי הגדרת קבוצה חלקית ממש אם וגם אז .


ההבדל בין שייכות והכלה

[עריכה]

נשים לב שקיים הבדל משמעותי בין שייכות של אבר לקבוצה, ובין הכלה של קבוצה בקבוצה אחרת. נביט למשל על הקבוצה שהבאנו בדוגמא בפרק הקודם: .

כפי שאמרנו, קבוצה זו מכילה שלושה אברים – המספרים 1,2 והקבוצה . המספר 3 למשל אינו אבר ב־ (הוא אבר בקבוצה שהיא אבר ב־). לכן מתקיים אך לא מתקיים (כלומר ), משום שהאברים בקבוצה אינם אברים ב־ .

כמובן, יתכן מצב שקבוצה גם תהיה מוכלת בקבוצה אחרת, וגם תהיה אבר בה. למשל, נגדיר את הקבוצה . קל לראות כי וגם .


הפרק הקודם:
מושג הקבוצה
יחסים בין קבוצות הפרק הבא:
פעולות על קבוצות