הצגת המקור של הדף "הקבוצה הריקה"

[[קובץ:Empty set symbol.svg|שמאל|ממוזער|110px|סמלה של הקבוצה הריקה]]
'''הקבוצה הריקה''' היא [[קבוצה (מתמטיקה)|קבוצה]] שאין בה [[איבר (מתמטיקה)|איבר]]ים, והיא מסומנת בסימן <math>\emptyset</math> (שמקורו באות ה[[נורווגית]] "&Oslash;"{{הערה|1=[http://jeff560.tripod.com/set.html Earliest Uses of Symbols of Set Theory and Logic]|כיוון=שמאל}}) או בצורה {}.

בחלק מהגרסאות של [[תורת הקבוצות האקסיומטית]] נכללת '''אקסיומת הקיום''': קיימת קבוצה <math>A</math> כך שלא קיים <math>x </math> עבורו <math>x \in A</math>. כלומר, אקסיומה זו קובעת שקיימת קבוצה ריקה. בגרסאות אחרות טענה זאת נובעת מיתר האקסיומות.

על-פי [[תורת הקבוצות האקסיומטית|אקסיומת היחידות]] ניתן להוכיח את יחידות הקבוצה הריקה, כלומר קיימת רק אחת כזו.

{{סימון מתמטי}}

==תכונות של הקבוצה הריקה==
* לכל קבוצה <math>A</math>, הקבוצה הריקה היא [[תת-קבוצה]] של <math>A</math>:
: <math>\emptyset \subseteq A</math>
* לכל קבוצה <math>A</math>, ה[[איחוד (מתמטיקה)|איחוד]] של <math>A</math> עם הקבוצה הריקה שווה ל-<math>A</math>:
: <math>A \cup \emptyset = A</math>
* לכל קבוצה <math>A</math>, ה[[חיתוך (מתמטיקה)|חיתוך]] של <math>A</math> עם הקבוצה הריקה שווה לקבוצה הריקה:
: <math>A \cap \emptyset = \emptyset </math>
* ה[[משלים (מתמטיקה)|משלים]] של הקבוצה הריקה הוא [[הקבוצה האוניברסלית]]:
: <math>\overline{\emptyset}=\emptyset^{\mathcal{C}}=U</math>

* לקבוצה הריקה אין מקסימום או מינימום, משום שהיא לא מכילה אף איבר.
* הסופרימום של הקבוצה הריקה הוא מינוס-אינסוף: <math>\sup \emptyset = -\infty</math>

* האינפימום של הקבוצה הריקה הוא אינסוף: <math>\inf \emptyset = +\infty</math>

* תת-הקבוצה היחידה של הקבוצה הריקה היא הקבוצה הריקה. [[קבוצת החזקה]] שלה היא [[יחידון]] הכולל את הקבוצה הריקה בלבד.
* ה[[עוצמה (מתמטיקה)|עוצמה]] של הקבוצה הריקה היא אפס, ובפרט: הקבוצה הריקה היא [[קבוצה סופית]].
* לכל קבוצה ''<math>A</math>'' קיימת בדיוק [[פונקציה]] אחת <math>f:\emptyset\to A</math> (הלוא היא [[הפונקציה הריקה]], שאין בה זוגות סדורים כלל). אם <math>A</math> אינה ריקה, אז אין פונקציות <math>f:A\to\emptyset</math>.
* בכל [[מרחב טופולוגי]] הקבוצה הריקה היא הן [[קבוצה פתוחה]] והן [[קבוצה סגורה]].
* במונחים של [[קטגוריה (מתמטיקה)|תורת הקטגוריות]], הקבוצה הריקה היא [[אובייקט התחלתי]] בקטגוריה של קבוצות.

==חשיבות הקבוצה הריקה במתמטיקה==

המתמטיקה שואפת להשתמש במספר קטן ככל האפשר של הנחות יסוד ([[אקסיומה|אקסיומות]]) ושל הגדרות יסוד. [[תורת הקבוצות]] מבוססת על מושג אטומי אחד, מושג הקבוצה, ועל [[יחס בינארי|יחס]] אחד - [[יחס השייכות]]. אחת האקסיומות במערכת [[אקסיומות צרמלו-פרנקל|צרמלו-פרנקל]] קובעת שיש קבוצה ריקה ("קיים <math>x</math> כך שלכל <math>y</math>, לא נכון ש-<math>y\in x</math>", כלומר, יש קבוצה שאין לה איברים), והגדרת השוויון מבטיחה שקבוצה זו היא יחידה (לכל שתי קבוצות ריקות יש בדיוק אותם איברים).

הקבוצה הריקה משמשת מעין 'אבן בניין' שממנה ניתן לבנות קבוצות רבות נוספות, מה שהופך אותה במובן מסוים לעצם היסודי והבסיסי ביותר במתמטיקה. כך לדוגמה ניתן להגדיר את <math>\{\emptyset\}</math> (הקבוצה המכילה את הקבוצה הריקה) ואת <math>\{\{\emptyset\}\}</math> (הקבוצה המכילה את הקבוצה המכילה את הקבוצה הריקה). באמצעות בניות בנוסח זה ניתן לבנות הגדרות למושגים בסיסיים במתמטיקה כגון [[מספר]]ים, [[פונקציה|פונקציות]] ואובייקטים [[גאומטריה|גאומטריים]] כגון נקודות, קווים ומעגלים.

===מספרים===
בשנת 1923 הציג [[ג'ון פון נוימן]] שיטה (המכונה [[מספר סודר|מספור סודר]]) לבניית ה[[מספר טבעי|מספרים הטבעיים]] המבוססת על הקבוצה הריקה:

<div style="direction:ltr; text-align:left;">
: <math>0 = \emptyset</math> (הקבוצה הריקה)
: <math>1 = \{0\} = \{ \emptyset \}</math>
: <math>2 = \{0,1\} = \{ \emptyset, \{ \emptyset \} \}</math>
: <math>3 = \{0,1,2\} = \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \} \}</math>
: <math>4 = \{0,1,2,3\} = \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \}, \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \} \} \}</math>
: <math>n+1 = n\cup \left\{n\right\}</math>
</div>

באמצעות המספרים הטבעיים ניתן לבנות את כל [[מערכת מספרים|מערכות המספרים]] החשובות: את ה[[מספר שלם|מספרים השלמים]] (שנבנים בתור [[זוג סדור]] של מספרים טבעיים - כך שהמספר השלם הוא כביכול תוצר החיסור של המספר השני מהמספר הראשון), ה[[מספר רציונלי|מספרים הרציונליים]] (כזוגות סדורים של מספרים שלמים), ה[[שדה המספרים הממשיים|מספרים הממשיים]] (כ[[גבול (מתמטיקה)|גבול]] ל[[סדרה (מתמטיקה)|סדרות]] של מספרים רציונליים) ואת [[מספר מרוכב|המספרים המרוכבים]] (כזוגות סדורים של מספרים ממשיים). באמצעות ה[[מערכת צירים קרטזית|שיטה הקרטזית]] ניתן להגדיר מונחים בגאומטריה באמצעות מספרים: [[נקודה (גאומטריה)|נקודה]] במרחב n ממדי מוגדרת כקבוצה סדורה של <math>n</math> מספרים ממשיים, קו מוגדר כאוסף נקודות, וכן הלאה.

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

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

<math> 0 = \{\emptyset|\emptyset\}</math>

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

<math> 1 =\{\{\emptyset|\emptyset\}|\emptyset\}= \{0|\emptyset\}</math>

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

<math> 1* =\{\{\emptyset|\emptyset\}|\{\emptyset|\emptyset\}\}= \{0|0\}</math>

שפירושו שלשני השחקנים יש מהלך אחד אפשרי המביא את המשחק למצב האפס, שממנו מפסיד היריב; במילים אחרות - מי שתורו לשחק מנצח.

==ראו גם==
*[[תורת הקבוצות - מונחים]]
*[[לא כלום]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים}}

{{תורת הקבוצות}}

[[קטגוריה:תורת הקבוצות]]
[[קטגוריה:אפס]]