מתמטיקה תיכונית/אלגברה תיכונית/קבוצות ותחומים/הכלה ושוויון

הכלהעריכה

כשם שישנו סימון מתמטי שמתאר יחס בין איבר לקבוצה (כלומר יחס השייכות) ישנם סימני יחס נוספים שמסמנים קשר בין קבוצות שלמות. הסימן הבסיסי ביותר לתיאור יחס בין קבוצות הוא סימן ההכלה שמסומן בסימון:  . נניח למשל שישנן שתי קבוצות   ו־ . נניח גם שכל האברים של   גם נמצאים ב-  כלומר לכל איבר   שמקיים   גם מתקיים  . במקרה זה נאמר ש-  מוכלת ב-  ונסמן זאת בסימון:

 

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

 

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

 

 

כדאי לדעת:

שימו לב! יחס ההכלה איננו סימטרי! יש לשים לב לכיוון ההכלה. ישנו דמיון בין סימן ההכלה לסימן יחס הסדר (גדול - < או קטן >). הצד הפתוח מצביע לכיוון הקבוצה ה"גדולה" יותר ואילו הצד הסגור לכיוון הקבוצה ה"קטנה" יותר. בדומה לסימן יחס הסדר.

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

הכלה ממש והכלה חלשהעריכה

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

 

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

 

שוב רואים כאן דמיון לסימון יחס הסדר (גדול-קטן)  .

שוויוןעריכה

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

סימון בדיאגרמותעריכה

 
דיאגרמת אוילר

ישנה דרך פשוטה לסמן יחסים בין קבוצות בצורה של ציור או דיאגרמה. לעיתים נקראות דיאגרמות אלו דיאגרמות וֶן, אך למעשה דיאגרמות אלו מיוחסות לכמה מתמטיקאים שונים. למשל, אם ישנה קבוצה   אשר מוכלת בקבוצה   וקבוצה נוספת   אשר אין לה בכלל אברים משותפית עם השתיים האחרות, נצייר זאת כעיגול גדול שבתוכו עיגול קטן, כאשר עיגול נוסף מחוץ לשניהם ללא נקודת מגע (ראה דיאגרמת אוילר). נציג נושא זה שוב בפרק הבא.



הכלה ושוויון של קבוצות מיוחדותעריכה

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


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