תורת הקבוצות/פעולות על קבוצות: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Gadial (שיחה | תרומות)
Gadial (שיחה | תרומות)
שורה 1:
== מושג הקבוצה ==
'''קבוצה''' היא מושג יסוד במתמטיקה, פירוש הדבר שאין לו הגדרה מדויקת. היינו יכולים להגדיר קבוצה כאוסף של איברים אבל אז הינו נאלצים להתמודד אםעם השאלה "מהו אוסף?" או "מהו איבר?" ואם היינו מנסים להגדיר איבר אז הינו נתקלים בשורה חדשה של מילים שעלינו להגדיר. הוסכם לכןעל כן שמושג ה'''קבוצה''' הוא מושג יסוד במתמטיקה אשר אין לו הגדרה. אם זאת כששני מתמטקאים נפגשים הם יודעים שהם יכולים להגיד אחד לשני '''קבוצה''' (בקריצת עין) והשני ידע על מה מדובר.
 
אינטואטיבית על מנת לעזור להבין נאמר ש'''קבוצה''' היא אוסף של איברים מוגדרת היטב. הכוונה במוגדרת היטב היא שעבור כל איבר בעולם צריך ליהות ברור האם איבר זה שייך לקבוצה או לא. אין פרוש הדבר שאנו יכולים בקלות לדעת איזה איברים ישנם בקבוצה או שאנו יכולים למנות את כולם. '''לדוגמא''': ''שמעון ועזרה'' היא קבוצה מוגדרת היטב שכן ברור שהאיברים היחדים בקבוצה הם שמעון ועזרה. כך לדוגמא גם ''קבוצת כל הכוכבים ביקום'' היא קבוצה מוגדרת היטב שכן אומנם איננו מכירים את כל הכוכבים ביקום אבל אם נמצא כוכב ישר נידע אם הוא שייך לקבוצה. אם זאת ''קבוצת כל הכוכבים הגדולים'' איננה קבוצה מוגדרת היטב שכן "מהו גדול" או "גדול יחסית למה?" ועל כן לא ברור עבור כל כוכב אם הוא איבר בקבוצה או לא. גם ''קבוצת כל החזירים המסוגלים לעוף'' היא קבוצה מוגדרת היטב. אם זאת ברור למדי שאין בה איברים.
 
קבוצה ניתן להגדיר ע"י שני דרכים עיקריים. אחד הוא למנות את כל איברי הקבוצה כש "{}" הוא הסימון המקובל ובין איבר לאיבר נהוג לשים ",". לדוגמא: {שולחן, כיסא, בית}, {a,b,c,d,e,f} ,{1,2,3,4}. יש לציין שאין חשיבות לסדר כך ש {1,2,3} = {3,2,1} = {1,3,2} = {2,3,1} וכו'. כמו כן, אם איבר מופיע פעמיים באותו קבוצה אין לכך כל משמעות, שכן איבר שייך לקבוצה או שאינו שייך לקבוצה, אך אין משמעות למושג שייך כמה פעמים לקבוצה. כך ש {1,2,3} = {1,1,2,3} = {2,1,2,1,3,3,1,1,1,2} וכו'
שורה 20:
 
לבסוף נראה צורה נוספת לכתיבת הגדרה של קבוצה שמקובלת במתמטיקה: <br />
הקבוצה {x מספר שלם הגדול מ 1| 2x} היא קבוצת כל המספרים 2x כאשר x הוא מספר שלם הגדול מ 1 והוא שווה לקבוצה {2,4,6,8...} ולקבוצה {כל המספרים הזוגיים החיוביים}.
 
== יחסים בין קבוצות ==
נגדיר כמה יחסים בין קבוצות: הכלה, הכלה ממש ושיוויון. <br />