תת-קבוצה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שחזור לגרסה 18288384 מתאריך 02:56, 17 במרץ 2016 מאת VirtuOZ |
|||
שורה 1:
[[תמונה:Group set.png
ב[[תורת הקבוצות]], אומרים שה[[קבוצה (מתמטיקה)|קבוצה]] הנתונה <math>\ B</math> היא '''תת-קבוצה''' של הקבוצה הנתונה <math>\ A</math>{{הערה|1=או במילים שקולות: הקבוצה <math>\ B</math> היא '''חלקית''' לקבוצה <math>\ A</math>, או: הקבוצה <math>\ B</math> '''מוכלת''' בקבוצה <math>\ A</math>, או: הקבוצה <math>\ A</math> '''מכילה''' את הקבוצה <math>\ B</math>.}}, אם כל [[איבר (מתמטיקה)|איבר]] של הקבוצה <math>\ B</math> שייך גם לקבוצה <math>\ A</math>. (בניסוח [[פורמליזם (מתמטיקה)|פורמלי]]: לכל <math>\ x\in B</math> מתקיים <math>\ x \in A</math>).
את הקשר "<math>\ B</math> מוכלת ב-<math>\ A</math>" (או: <math>\ B</math> חלקית ל-<math>\ A</math>, או: <math>\ B</math> תת-קבוצה של <math>\ A</math>, או, <math>\ A</math> מכילה את <math>\ B</math>) מסמנים כך: <math>\ B \subseteq A</math>, והוא מכונה '''יחס ההכלה'''.
==מאפיינים==
[[הקבוצה הריקה]] היא קבוצה חלקית / תת-קבוצה לכל קבוצה נתונה
את [[יחס]] ההכלה מאפיינים היחסים הבאים:
* "[[יחס רפלקסיבי|רפלקסיביות]]": כל קבוצה היא תת-קבוצה של עצמה (ובמילים שקולות: כל קבוצה מוכלת בעצמה, או: כל קבוצה היא חלקית לעצמה).
* "[[טרנזיטיביות]]": אם הקבוצה <math>\ A</math> היא תת-קבוצה של הקבוצה <math>\ B</math> והקבוצה <math>\ B</math> היא תת-קבוצה של הקבוצה <math>\ C</math>, אזי הקבוצה <math>\ A</math> היא גם תת-קבוצה של הקבוצה <math>\ C</math> (בניסוח פורמלי: אם <math>\ A \subseteq B</math> וגם <math>\ B \subseteq C</math> אז <math>\ A \subseteq C</math>).
שורה 18:
באמצעות יחס ההכלה ויחס השוויון ניתן להגדיר יחס נוסף; כאשר הקבוצה <math>\ A</math> מכילה את הקבוצה <math>\ B</math> אך אינה שווה לה (יש איבר בקבוצה <math>\ A</math> שהוא אינו איבר בקבוצה <math>\ B</math>, ובניסוח פורמלי <math>\ B \subseteq A</math> וגם <math>\ B \neq A</math>), נאמר שהקבוצה <math>\ A</math> '''מכילה ממש''' את הקבוצה <math>\ B</math>, או במילים שקולות: הקבוצה <math>\ B</math> היא '''חלקית ממש''' לקבוצה <math>\ A</math>. יחס זה מסמנים <math>\ B \subset A</math>. (בכתיב פורמלי: <math>B \subset A\iff B\subseteq A \and B\neq A</math>).
==ראו גם==
*[[
==הערות שוליים==
| |||