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

תוכן שנמחק תוכן שנוסף
Gadial (שיחה | תרומות)
שורה 2:
'''קבוצה''' היא מושג יסוד במתמטיקה, פירוש הדבר שאין לו הגדרה מדויקת. היינו יכולים להגדיר קבוצה כאוסף של איברים אבל אז הינו נאלצים להתמודד עם השאלה "מהו אוסף?" או "מהו איבר?" ואם היינו מנסים להגדיר איבר אז הינו נתקלים בשורה חדשה של מילים שעלינו להגדיר. הוסכם על כן שמושג ה'''קבוצה''' הוא מושג יסוד במתמטיקה אשר אין לו הגדרה.
 
אינטואטיבית על מנת לעזור להבין נאמר ש'''קבוצה''' היא אוסף של איברים מוגדרתמוגדר היטב. הכוונה במוגדרתב"מוגדר היטב " היא שעבור כל איבר בעולם, איבראו שהוא שייך לקבוצה או שאינושאיננו שייך אליה (כלומר, לא ייתכן מצב שבו איבר גם שייך לקבוצה וגם לא שייך אליה). אין פרוש הדבר שאנו יכולים לדעת איזה איברים ישנם בקבוצה או שאנו יכולים למנות את כולם. '''לדוגמא''': ''שמעון ועזרהועזרא'' היא קבוצה מוגדרת היטב שכן ברור שהאיברים היחדים בקבוצה הם שמעון ועזרהועזרא. כך לדוגמא גם ''קבוצת כל הכוכבים ביקום'' היא קבוצה מוגדרת היטב שכן אומנם איננו מכירים את כל הכוכבים ביקום אבל כל דבר הוא כוכב או שאינו כוכב. אם זאת ''קבוצת כל הכוכבים הגדולים'' איננה קבוצה מוגדרת היטב שכן "מהו גדול" או "גדול יחסית למה?" ועל כן לא ברור עבור כל כוכב אם הוא איבר בקבוצה או לא, ועבור פרשנויות שונות למושג "גדול" נוכל לקבל שאותו איבר גם שייך לקבוצה וגם לא שייך לה. גם ''קבוצת כל החזירים המסוגלים לעוף'' היא קבוצה מוגדרת היטב., אםאך עם זאת ברור למדי שאין בה איברים.
 
קבוצה ניתן להגדיר ע"י שני דרכים עיקריים. אחד הוא למנות את כל איברי הקבוצה כש "{}" הוא הסימון המקובל ובין איבר לאיבר נהוג לשים ",". לדוגמא: {שולחן, כיסא, בית}, {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} וכו'