קבוצה (מתמטיקה)

קבוצה היא מושג יסודי במתמטיקה. בגישה הנאיבית לתורת הקבוצות, קבוצה היא אוסף כלשהו של איברים (ללא חשיבות לסדר). בתורת הקבוצות האקסיומטית מושג הקבוצה אינו מוגדר, ותכונותיו מתקבלות מרשימת האקסיומות.

נהוג להציג קבוצה באמצעות סוגריים מסולסלים, שבתוכם מפורטים כל איברי הקבוצה (למשל {כלב, חתול, צרצר}), או מופיע כלל לפיו נוצרים כל איברי הקבוצה (למשל {x :x אזרח סין}). לעיתים מוצגת הקבוצה באמצעות רשימה של חלק מאיבריה שבסופם '...' (שלוש נקודות), מתוך הנחה שהקורא יסיק מהחלק הנתון את יתר איברי הקבוצה.

עצמים הנמצאים בקבוצה הם איברי הקבוצה. בין האיברים לא חייב להיות קשר כלשהו מעבר לכך. כאשר עצם כלשהו הוא איבר בקבוצה נאמר שהוא שייך לקבוצה, על כל עצם אחר נאמר שהוא לא שייך לקבוצה זו. אפשר שגם עצם השייך לקבוצה הוא קבוצה בעצמו.

==הגדרה==
בתיאור נאיבי קבוצה היא אוסף של עצמים. כל עצם בעולם, או שהוא שייך לקבוצה (ואז הוא נקרא איבר של הקבוצה) או שאינו שייך לה. לא ניתן להיות איבר של קבוצה יותר מפעם אחת. שתי קבוצות הן שוות כאשר יש להן בדיוק אותם האיברים.

כאשר רוצים לבסס את תורת הקבוצות באופן ריגורוזי נחוצה הגדרה קשוחה יותר שאינה מסתמכת על תאורים עמומים. ההגדרה המקובלת ביותר לקבוצה היא באמצעות אקסיומות ZF הכתובות בשפה מסדר ראשון. האקסיומות מגדירות יקום שלאיבריו אנו קוראים קבוצות ומוגדר עליהן יחס של שייכות. ביקום יש רק קבוצות ולכן איבריה של קבוצה הם תמיד קבוצות בעצמם. האקסיומות מטילות מספר מגבלות על מה ראוי להיקרא קבוצה (למשל קבוצה לא יכולה להיות שייכת לעצמה) כדי למנוע סתירות דוגמת הפרדוקס של ראסל.

כמעט כל עצם במתמטיקה ניתן להגדיר כקבוצה, ולכן ניתן לומר שהיקום שנוצר על ידי אקסיומות ZF הוא זירת המשחקים לכמעט כל המתמטיקה.

==דוגמאות לקבוצות==
דוגמה לקבוצה של אנשים
* {כלב, חתול, צרצר}: זוהי קבוצה סופית בעלת שלושה איברים.
* {א, ב, ג, ... ש, ת}: בקבוצה זו 27 איברים, שהם כל אותיות האלף-בית העברי (כולל אותיות סופיות) ואולי רק 22 איברים – אותיות האלף-בית העברי ללא אותיות סופיות (זו, אם כן, הצגה עמומה במקצת).
* {כלב, ג, ירושלים, אברהם}: זו קבוצה בת ארבעה איברים.
* {8,6,4,2, ...}: זו קבוצה אינסופית, הכוללת את כל המספרים הזוגיים החיוביים.
* {כל המספרים השלמים שמתחלקים בשלוש ללא שארית}: גם זו קבוצה אינסופית.
* {x :x אזרח סין} (קריאה: קבוצת כל ה-x-ים שמקיימים: x הוא אזרח סין): זו קבוצה סופית, שהרי יש מספר סופי של אזרחים בסין גם אם מספרם גדול מאוד והם אינם ידועים לנו במלואם.
* <math>\ \{(x,y): y = x^2 ; -1 \le x \le 1 \}</math> בדוגמה זו הכלל, לפיו נקבעים איברי הקבוצה, נכתב בנוסחה. זו קבוצת כל הנקודות <math>\ (x,y)</math> שמקיימות את המשוואה <math>\ y = x^2</math> לגבי <math>\ x</math> שבקטע <math>\ [-1,1]</math> (קבוצה אינסופית זו היא פרבולה).
* {קבוצת כל הקבוצות המכילות רק את המספרים 1, 2, 3 (כולם או חלקם)}: זו קבוצה שאיבריה הם קבוצות.
* {Ø, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }: זו הצגה מפורשת של הקבוצה הקודמת, שבה 8 איברים. משמעות הסימון Ø הוא "הקבוצה הריקה", קבוצה שלא מכילה אף איבר ומוכלת בכל הקבוצות האחרות, לכן מוכלת גם בקבוצת שלושת באיברים שלנו {1,2,3}.
* גם {1} וגם {1,1,1} מסמנים את אותה קבוצה, שאברה היחיד הוא המספר 1; זאת משום שאי אפשר להשתייך לקבוצה יותר מפעם אחת.

===דוגמה נוספת===
* {אדום, צהוב, כחול}
* {אדום, אדום, כחול, צהוב, כחול, כחול, אדום, כחול}
* {X :X הוא צבע יסוד}

כל שלוש הקבוצות הללו זהות, אף על פי שהן נוצרו באמצעות הגדרות שונות: ציון כל איברי הקבוצה (הכי יעיל במקרה של קבוצות בעלות מספר קטן של איברים); או על ידי ציון כל אברי הקבוצה, גם אם הם מופיעים יותר מפעם אחת (סדר ההופעה ומספר המופעים אינו חשוב ואינו משפיע על הגדרת הקבוצה); או על ידי הגדרה חד ערכית של אברי הקבוצה (יעיל במקרה של מספר רב של איברים), שניתן להגדיר עבורם חוק או הגדרה.

==סימונים והגדרות==
סימנים והגדרות
* הקבוצה הריקה: זו קבוצה שאין בה איברים, והיא מסומנת בסימן <math> \emptyset</math> (שמקורו באות הנורווגית "&Oslash;") או באמצעות סוגריים מסולסלים ריקים {}.
* שייכות לקבוצה מסמנים בסימון <math>\ \in</math>. כאשר איבר <math>\ x</math> שייך לקבוצה <math>\ A</math>, נסמן זאת בצורה <math>x\in A</math>. אם אינו שייך נסמן זאת <math>x\not\in A</math>.
* קבוצה A מכילה או שווה לקבוצה B (או קבוצה B חלקית ל-A, או B היא תת קבוצה של A) אם כל איבר של B שייך גם ל-A. נסמן זאת בצורה: <math>B\subseteq A</math>. אם כל איבר של B שייך גם ל-A אך ב-A נמצאים איברים נוספים נאמר ש B חלקית ממש ל-A ונסמן זאת בצורה: <math>B\subset A</math>. כדי לסמן שקבוצה אינה חלקית לקבוצה אחרת (כלומר, היא מכילה איברים שאינם נמצאים בקבוצה השנייה) נכתוב <math>A\nsubseteq B</math>.
* שתי קבוצות A ו-B נקראות קבוצות זהות או שוות אם כל איברי A נמצאים ב-B וגם כל איברי B נמצאים ב-A. נסמן שוויון באמצעות <math>\ A = B</math>. דרך נוספת להראות שוויון בין קבוצות היא להראות שכל אחת מהן חלקית לשנייה. כלומר, <math>B\subseteq A</math> וגם <math>A\subseteq B</math>.
* גודל של קבוצה נקרא עוצמה. העוצמה מוגדרת באמצעות מספר האיברים הייחודיים בקבוצה ומסומנת באמצעות הסימן |. לדוגמה, עוצמתה של הקבוצה הסופית {אדום, צהוב, ירוק} היא 3 ומסומנת |{אדום, צהוב, ירוק}|=3. עוצמתה של הקבוצה הריקה היא 0 ומסומנת |∅|=0. עוצמתה של קבוצה אינסופית היא סוגיה מרכזית בתורת הקבוצות.

הפרדוקס של ראסל הבהיר שההגדרה האינטואיטיבית של קבוצה, איתה התחלנו ערך זה, מובילה לסתירה פנימית (אנטינומיה). בעקבות זאת ניתן לתורת הקבוצות, שהיא ענף המתמטיקה העוסק בחקר הקבוצות, ביסוס אקסיומטי, לשם היחלצות מסתירה זו.
* קבוצת החזקה של קבוצה A היא הקבוצה שאבריה הם תת-הקבוצות של A, ומסמנים אותה ב-<math> \mathcal{P}(A)</math>.

===איחוד וחיתוך של קבוצות===
החיתוך של אוסף של קבוצות הוא קבוצה שמורכבת מהאיברים ששייכים לכל הקבוצות הנחתכות. החיתוך של שתי קבוצות A,B מסומן ב-<math>\ A \cap B</math>. חיתוך של משפחה
<math>\ \mathcal{A} = \{A_i \mid i \in \Lambda\}</math> מסומן ב-<math>\ \bigcap_{i \in \Lambda} A_i </math>. ולפעמים בקיצור <math>\ \bigcap \mathcal{A}</math>.

האיחוד של אוסף של קבוצות הוא קבוצה שמורכבת מהאיברים ששייכים ללפחות אחת מבין הקבוצות המאוחדות. האיחוד מסומן בדומה לחיתוך, פרט לזה שאת הסימנים <math>\ \cap, \bigcap </math> מחליפים <math>\ \cup, \bigcup </math>.

הפרש של שתי קבוצות A,B הוא קבוצת האיברים של A שאינם שייכים ל-B, ומסמנים אותו ב-<math>\ A \setminus B</math> או <math>\ A-B</math>. ההפרש מאפשר להגדיר גם את ההפרש הסימטרי.

==ראו גם==
*מונחים בתורת הקבוצות

==קישורים חיצוניים==

* 
* 
==הערות שוליים==

קטגוריה:תורת הקבוצות