View source for תת-קבוצות והכלה

<div lang="he" dir="rtl" class="mw-content-rtl">
== שעור רביעי - תת-קבוצות והכלה ==

האברים שיש לקבוצה מאפיינים אותה באופן מלא, והתנאי לשוויון בין קבוצות הוא, כזכור, שכל איבר של זו יהיה איבר בזו, וגם להיפך. אם כך, אפשר לפרק את תכונת השוויון לשני חלקים: A שווה ל-B אם כל איבר של A הוא גם איבר של B, ובנוסף לזה כל איבר של B הוא גם איבר של A. למחצית אחת של הקשר הזה קוראים '''[[:wikipedia:he:הכלה (תורת הקבוצות)|הכלה]]''': 
* הקבוצה A '''מוכלת''' בקבוצה B אם כל איבר של A הוא איבר B (בניסוח פורמלי אפשר לומר: לכל <math>\ x\in A</math> מתקיים <math>\ x \in B</math>).
את הקשר "A מוכלת ב-B" מסמנים כך: <math>\ A \subseteq B</math>. אם רוצים להדגיש ש-A היא תת-קבוצה של B אבל שונה ממנה (בדומה להבחנה בין "קטן מ-" לבין "קטן או שווה ל-") מסמנים <math>\ A \subset B</math>; במקרה כזה כל איבר של A הוא איבר של B, אבל יש לפחות איבר אחד של B שאינו שייך ל-A.

כמובטח, ההכלה מפרקת את יחס השוויון לשני תנאים סימטריים:

'''תרגיל'''. A=B אם ורק אם (<math>\ A \subseteq B</math> וגם <math>\ B \subseteq A</math>).

תכונה חשובה אחרת של ההכלה היא ה"[[:wikipedia:he:טרנזיטיביות|טרנזיטיביות]]" שלה: 

'''תרגיל'''. אם <math>\ A \subseteq B</math> ו- <math>\ B \subseteq C</math> אז <math>\ A \subseteq C</math>.

[[:wikipedia:he:הקבוצה הריקה|הקבוצה הריקה]] היא הקבוצה הקטנה ביותר, ביחס להכלה. פירושו של דבר: 

'''תרגיל'''. כל קבוצה מכילה את הקבוצה הריקה. אף קבוצה שאינה ריקה אינה מוכלת בקבוצה הריקה.

קבוצה המוכלת ב-B נקראת '''[[:wikipedia:he:תת-קבוצה|תת-קבוצה]]''' שלה. אחת הדרכים הנוחות לבנות קבוצה חדשה, היא בתור תת-קבוצה של קבוצה קיימת. למשל, <math>\ \{x \in \mathbb{N} : x < 19\}</math> היא קבוצה של מספרים בקבוצת המספרים הטבעיים <math>\ \mathbb{N}</math> (בהגדרה מפורשת: קבוצת כל ה[[:wikipedia:he:מספר טבעי|מספרים הטבעיים]] הקטנים מ-19). באופן כללי אפשר לתאר תת-קבוצה באמצעות תנאי, כך: <math>\ \{x \in A : \varphi(x)\}</math> כאשר <math>\ \varphi</math> הוא '''[[:wikipedia:he:פסוק (לוגיקה מתמטית)|פסוק]]''' (פסוק הוא ביטוי סופי שאפשר לפענח באופן חד-משמעי). למעשה, [[:wikipedia:he:תורת הקבוצות האקסיומטית|תורת הקבוצות האקסיומטית]] (שאיננה חלק מקורס זה) מעדיפה תאורים כאלה; היא מספקת קבוצה אינסופית אחת ודרך אחת לבנות קבוצה "גדולה" מקבוצה נתונה. היא אינה מאפשרת לאסוף איברים לקבוצה באופן חופשי, אלא רק כתת-קבוצות של קבוצה קיימת, וגם זאת רק כשאפשר להגדיר את האברים בתת-הקבוצה באמצעות פסוק מתאים.

הגדרת ההכלה מתבססת על מושג השייכות אך שני היחסים אינם זהים. לדוגמא, קבוצת המדינות ששמן העברי מתחיל בריש מוכלת בקבוצת כל המדינות, אבל בעצמה היא אינה מדינה, ולכן אינה שייכת לקבוצת המדינות. אפילו אם נבחר קריטריון המבודד מדינה אחת, כמו קבוצת המדינות ששמן מתחיל ב"רומנ", נקבל תת-קבוצה של קבוצת המדינות, <math>\ \}</math>רומניה<math>\ \{</math>, ולא מדינה. הקבוצה <math>\ \}</math>רומניה<math>\ \{</math> מוכלת בקבוצת המדינות, אבל אינה שייכת לה. להלן כמה דוגמאות נוספות:
* הקבוצה הריקה <math>\ \emptyset</math> מוכלת בעצמה, אבל אינה שייכת לעצמה;
* לעומת זאת, הקבוצה הריקה <math>\ \emptyset</math> מוכלת בקבוצה <math>\ \{\emptyset\}</math> ושייכת לה;
* הקבוצה <math>\ \{\emptyset\}</math> שייכת לקבוצה <math>\ B=\{\{\emptyset\}\}</math> אבל אינה מוכלת בה (משום ש-<math>\ \emptyset \not \in B</math>).
* הקבוצה <math>\ \{\emptyset\}</math> אינה מוכלת בקבוצה הריקה ואינה שייכת לה.
'''תרגיל'''. תן דוגמא נוספת לכל אחת מהאפשרויות לעיל.

{{ש}}
{{ש}}
{{ש}}
{{ש}}
{| class="wikitable" style="clear:both; width:90%; border-collapse:collapse; margin:0 auto 0 auto; text-align:center;"
|-
| width="30%"| [[שוויון קבוצות|''' << השיעור הקודם - שוויון קבוצות''']] 
| width="40%"| [[תורת הקבוצות|'''דף הקורס - תורת הקבוצות''']] 
| width="30%"| [[פעולות בין קבוצות|'''השיעור הבא - פעולות בין קבוצות >>''']]
|}
</div>
[[Category:HE]]
[[Category:תורת הקבוצות]]