0 (מספר)

שגיאות פרמטריות בתבנית:מספר שלם
פרמטרים [ כותרת_מספר, מספר_סודר ] לא מופיעים בהגדרת התבנית
פרמטרים ריקים [ 1 ] לא מופיעים בהגדרת התבנית

0 (מספר שלם)

כתיב עשרוני	0
במילים	אפס
גימטריה	---
גורמים ראשוניים	---
כתיב רומי	$\ N$‏‏
כתיב בינארי	0
כתיב הקסדצימלי	0

אפס הוא המספר השלם שבא לפני 1 ואחרי ‎-1. אפס הוא המספר הסידורי הקטן ביותר, וכמציין כמות הוא מתייחס למספר הדברים בקבוצה ריקה.

היסטוריה של האפס

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

מקורה של הקצאת סימן מיוחד לאפס בהודו של המאה ה-6. במקורו נקרא האפס "סוּניה" - מילה הינדית שפירושה "ריק" - ה-0 ייצג את העמודה הריקה בחשבוניה. ההכרה באפשרות לסמן עמודה ריקה איפשרה להודים להמציא את השיטה העשרונית, שבה האפס מבדיל בין מספר כגון שלושים ואחת (31) ושלושת-אלפים ועשר (3010). כ-200 שנים אחר כך, סימנו הערבים את ספרה זו באמצעות עיגול ריק וקראו לו "סיפְר" (שוב, מילה שפירושה "ריק"). עם הזמן הפך ה"סיפר" הערבי ל-"zero" המערבי, וכך הוא נקרא עד היום. המילה העברית 'אפס' מופיעה כבר בתנ"ך, במובן של "אַ‏יִן". בימי הביניים השתמשו המתמטיקאים היהודים במילה סיפרא לציון האפס.

מן ההודים הגיע האפס לכתביו של המתמטיקאי והפילוסוף הפרסי בן המאה התשיעית, אל ח'ואריזמי, ורק במאה ה-11 הגיע דרך אנדלוסיה לאירופה. בתפקיד דומה מופיע האפס גם בתרבויות אמריקאיות קדומות, כמו זו של בני המאיה.

האפס במתמטיקה

מלבד תפקידו של הסימן לאפס בשיטות הספירה הפוזיציוניות, לאפס כשלעצמו תפקידים רבים במתמטיקה. במספרים הסודרים, הקבוצה הריקה משמשת בסיס לבניית המספרים הטבעיים, באמצעות ההגדרות $\ 0=\phi ,1=\{\phi \},2=\{\phi ,\{\phi \}\},\dots$. מספרים אלה מצטרפים לכדי מערכת פאנו של המספרים הטבעיים במערכת האקסיומות של צרמלו-פרנקל. בדומה לזה, אפס הוא שם העוצמה של הקבוצה הריקה.

במערכות אלגבריות כמו שדות או חוגים, ובפרט במספרים הרציונליים ובמספרים השלמים, האפס משמש לציין את האיבר הנייטרלי ביחס לחיבור (איבר האפס), כלומר, האיבר המקיים את התנאי $\ a+0=a$ לכל a. באנליזה מפריד האפס בין שני סוגי מספרים: כל מספר גדול ממנו הוא מספר חיובי, וכל מספר קטן ממנו הוא מספר שלילי.

פעולות באפס

מתכונת הנייטרליות נובעת ההרסנות של האפס בכפל: $\ a\cdot 0=0$. משום כך לא ניתן להגדיר את ההפכי של אפס כמספר רציונלי: אילו היינו מסכימים ש- $\ b={\frac {1}{0}}$ הוא מספר רציונלי, היה צריך להתקיים $\ 1=b\cdot 0=0$, וזה כמובן בלתי אפשרי. בהקשרים אחרים (גאומטריים ואנליטיים) אפשר להסכים שהחילוק באפס מניב אינסוף ($\ {\frac {1}{0}}=\infty$); הוספת האינסוף למערכת המספרים מקלקלת את מרבית התכונות שלה, ולכן מקובל יותר לומר שהחילוק באפס אינו מוגדר.

גם התוצאה של חילוק אפס באפס אינה מוגדרת, משום שכל מספר מקיים את התנאי $\ a\cdot 0=0$ הנדרש מתוצאת הפעולה. באנליזה של סדרות ממשיות אפשר לחקור את הגבול של תהליך שבו מתקרבים המונה והמכנה לאפס בעת ובעונה אחת. דוגמה אחת לתהליך כזה היא הגבול של sin(x)/x; קל למצוא דוגמאות שבהן מתקבל כל ערך שהוא, לרבות כל מספר ממשי, אפס, אינסוף או מינוס אינסוף.

מוסכם כי ערכה של מכפלה ריקה (שאין בה גורמים כלל) הוא 1, משום שהוספת קבוצה ריקה של גורמים למכפלה אחרת אינה משנה את ערכה, בדיוק כמו הכפל ב-1. משום כך נקבע כי $\ x^{0}=1$ לכל מספר שונה מאפס x, וקביעה זו עקבית עם כללי החזקות הרגילים, כגון $\ a^{b+c}=a^{b}\cdot a^{c}$. לעומת זאת, משמעות הביטוי $\!\,0^{0}$ תלויה בהקשר. בקומבינטוריקה נוח להגדיר את ערך הביטוי כ-1 (בהתאם להגדרת החזקה של עוצמות בתור העוצמה של קבוצת פונקציות מתאימה), ובאנליזה הביטוי בדרך-כלל אינו מוגדר (משום שלכל מספר חיובי, $\ x^{0}=1$, בעוד ש- $\ 0^{x}=0$).

מאותן סיבות נקבע כי ערכה של פונקציית העצרת של אפס הוא 1 ($\ 0!=1$). הסדר הריק (שאינו כולל אף מרכיב) הוא הדרך היחידה לסדר את אברי הקבוצה הריקה.

לקריאה נוספת

• צ'ארלס זייף, אפס - ביוגרפיה של רעיון מסוכן, מי-אן, 2003