חילוק באפס

גרף הפונקציה $\textstyle {\frac {1}{x}}$. כאשר x שואף לאפס הפונקציה שואפת לאינסוף, והפונקציה אינה מוגדרת באפס.

חלוקה באפס היא הפעולה המתמטית של חלוקת מספר במספר 0, ותוצאתה לרוב אינה מוגדרת. את הפעולה ניתן לרשום בצורה $\textstyle {\frac {a}{0}}$.

ברוב תחומי המתמטיקה חילוק מוגדר ככפל במספר הופכי (ההופכי למספר a הוא מספר b כך שמכפלתם ab היא 1). מכיוון שלאפס לא קיים הופכי, בהגדרה, לא ניתן לחלק באפס. באופן כללי בכלחוג אין לאיבר האפס איבר הופכי ביחס לכפל, ולכן חילוק באיבר זה אינו מוגדר והוא חסר משמעות.

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

הגדרות תקפות לחלוקה באפס

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

גבולות עם חלוקה באפס

מקרה ידוע בחשבון אינפיניטסימלי הוא של פונקציות שאינן מוגדרות בנקודה בגלל חלוקה באפס. לדוגמה הפונקציה $\ f(x)={\frac {x^{2}-1}{x-1}}$. לכל $\ x$ שאינו 1 פונקציה זו היא פשוט הפונקציה הלינארית $\ f(x)=x+1$. אולם בנקודה $\ x=1$ מתקבלת חלוקה באפס ולכן הפונקציה לא מוגדרת. במקרה הזה נקראת הנקודה נקודת אי רציפות סליקה, שכן ניתן להתעלם מהחלוקה באפס ולהגדיר $\ f(1)=2$ ומתקבלת פונקציה רציפה. מקרה חשוב שכזה הוא בפונקציה $\ f(x)={\frac {\sin(x)}{x}}$ בנקודה $\ x=0$. ניתן להוכיח כי נקודה זו היא אי רציפות סליקה וניתן לתקן אותה על ידי ההגדרה $\ f(0)=1$. לעובדה זו יש חשיבות מכרעת במציאת הנגזרות של הפונקציות הטריגונומטריות ובקירוב זוויות קטנות.

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

ראו גם

• 0⁰