הבדלים בין גרסאות בדף "88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 1"
(←קבוצות) |
(←קבוצות) |
||
| שורה 20: | שורה 20: | ||
אומרים שקבוצה A '''מוכלת''' בקבוצה B (מסומן <math>A \subseteq B</math>) אם כל האיברים בA הם גם איברים בB. בשפה מדויקת, A מוכלת בB אם מתקיים <math>\forall a\in A: a\in B</math>. | אומרים שקבוצה A '''מוכלת''' בקבוצה B (מסומן <math>A \subseteq B</math>) אם כל האיברים בA הם גם איברים בB. בשפה מדויקת, A מוכלת בB אם מתקיים <math>\forall a\in A: a\in B</math>. | ||
| + | |||
| + | '''חיתוך''' של שתי קבוצות A ו B הינו אוסף האיברים המוכלים גם בA וגם בB (מסומן <math>A\cap B</math>). מתקיים ש<math>a \in A\cap B \iff (a\in A \and a\in B)</math>. | ||
| + | |||
| + | '''איחוד''' של שתי קבוצות A ו B הינו אוסף האיברים המוכלים בA או בB (מסומן <math>A\cup B</math>). מתקיים ש<math>a \in A\cup B \iff (a\in A \or a\in B)</math>. | ||
גרסה מ־16:56, 24 ביולי 2011
קישורים
מידע רב חופף בין הקורס שלנו לקורס תורת הקבוצות, ניתן להעזר לכן בקורס תורת הקבוצות בויקיפדיה
קבוצות
ההגדרה האינטואיטיבית לקבוצה הינה "אוסף של איברים". ההגדרה הזו מובילה לסתירות לוגיות כגון "פרדוקס ראסל". נביט בקבוצה הבאה:
- אוסף כל הקבוצות שאינן שייכות לעצמן
אם X שייכת לקבוצה הזו, אזי היא אינה שייכת לקבוצה. אולם, אם היא אינה שייכת לקבוצה אזי היא כן שייכת לקבוצה.
סתירה אינה מקובלת במחוזות המתמטיקאים, ולכן הגדירו את "תורת הקבוצות האקסיומטית" העוקפת בעייה זו. ניתן לקרוא יותר על נושא זה בקישור לעיל, עבורנו מספיקה ההגדרה האינטואיטיבית.
אם כן, נחזור להגדרתנו הנאיבית; קבוצה הינה אוסף של איברים שונים. בקבוצה אין משמעות לסדר האיברים, ואיבר אינו יכול להופיע פעמיים. דוגמאות ל3 קבוצות:
, 
ו
איבר השייך לקבוצה אנו מסמנים בסימן 
. למשל 
, ואילו 
. שימו לב שגם 
שכן האיבר היחיד בקבוצה זו הינה הקבוצה .
אומרים שקבוצה A מוכלת בקבוצה B (מסומן 
) אם כל האיברים בA הם גם איברים בB. בשפה מדויקת, A מוכלת בB אם מתקיים 
.
חיתוך של שתי קבוצות A ו B הינו אוסף האיברים המוכלים גם בA וגם בB (מסומן 
). מתקיים ש
.
איחוד של שתי קבוצות A ו B הינו אוסף האיברים המוכלים בA או בB (מסומן 
). מתקיים ש
.
