חלוקה באפס...

בגינס

New member
חלוקה באפס...

ראיתי שהשאלה אודות חלוקה באפס חוזרת על עצמה בפורום וראיתי שבאופן עקבי מתקבלות תשובות שונות ואף סותרות. לכן אכתוב בקצרה אודות חלוקה באפס בתקווה להסביר בעיה זו. לשם כך אתמקד בשתי פעולות החשבון הבסיסיות המוכרות לרוב המשתמשים - פעולת חיבור ופעולת כפל בקבוצת המספרים הראציונליים (כל השברים או באופן מדוייק - כל המספרים אותם ניתן להציג כמנה של שני מספרים שלמים). אותן פעולות חיבור וכפל המוכרות לכולם, לפחות באופן אינטואיטיבי, מקיימות את תכונות מסוימות, אדון בהן בנפרד: תכונות פעולת החיבור: 1. הפעולה חילופית - לכל שני מספרים a,b מתקיים: a+b=b+a. לדוגמה: 2+3=3+2 2. הפעולה קיבוצית - לכל שלושה מספרים a,b,c מתקיים:
(a+b)+c=a+(b+c)​
לדוגמה:
(2+4)+3=2+(4+3)​
בניסוח מרושל נוכל לומר שתכונה זו מאפשרת השמטת סוגריים. 3. קיים איבר ניטרלי אותו מכנים 0 המקיים לכל a: a+0=a 4. קיום איבר נגדי: לכל מספר a קיים מספר a- המקיים: a+(-a)=0. תכונות פעולת הכפל: 1. הפעולה חילופית - לכל שני מספרים a,b מתקיים: a*b=b*a. לדוגמה: 2*3=3*2. 2. הפעולה קיבוצית - לכל שלושה מספרים a,b,c מתקיים:
(a*b)*c=a(b*c)​
לדוגמה:
(3*4)*5=3*(4*5)​
3. קיום איבר ניטרלי אותו מסמנים ב-1 המקיים לכל a: a*1=a 4. וזו התכונה הבעייתית: לכל מספר a פרט לאפס קיים איבר
1/a​
המקיים: a*(1/a)=1
בטרם נדון בתכונה זו נציין כי קיימת התכונה המקשרת בין חיבור לכפל המוכרת בשם חוק הפילוג, שהיא: לכל שלושה מספרים a,b,c, מתקיים: a*(b+c)=a*b+b*c תכונה זו בניסוח מרושל תיקרא "פתיחת סוגריים". מתכונות אלה, ורק מהן, נוכל להסיק את המשפט הבא: לכל מספר a מתקיים: a*0=0 לא אציג כאן את ההוכחה, אבל אתמקד בבעיתיות שנוצרה לגבי חלוקה באפס. ראשית נבהיר: פעולת חילוק פירושה פעולת כפל באיבר הופכי. אם נתחכם לגבי התכונה הרביעית של הכפל, ונאמר שגם לאפס קיים איבר הופכי, אזי לפי התכונה השלישית של הכפל יתקיים:
0*(1/0)=1​
אבל זו סתירה! לפי המשפט, לכל a מתקיים a*0=0. כלומר אם נגדיר פעולת חילוק באפס, ניאלץ לוותר על התכונה שלכל מספר aמתקיים a*0=0. כאן הבעייתיות בחלוקה באפס. לכן, מקובל לטעון שלאפס אין איבר הופכי, ולפיכך חלוקה באפס אינה פעולה מוגדרת. זו איפוא הסיבה מדוע אסור לחלק באפס. כעת, אדון קצת בגבולות. גם מי שאינו מכיר את תורת הגבולות בוודאי שם לב שהביטוי
1/x​
מתנהג בצורה מעניינת. אמנם אסור לחלקו באפס, אבל ככל שלוקחים ערכים קרובים יותר לאפס, למשל: 0.00001 מקבלים מספר גדול יותר. לכן, בתורת הגבולות (אותה לא ניסחתי במדוייק!!!) נהוג לומר שכאשר המכנה שואף לאפס, הביטוי כולו שואף לאינסוף. אין להסיק מכך שהחלוקה באפס אפשרית!!! כלומר חשוב להפריד בין חלוקה באפס לבין גבול של ביטוי השואף לאפס. זה בקצה המזלג נועד להבהיר את הרעיון הכללי ולשבור מיתוסים שונים. מקווה שהתשובה ברורה גם לאלה שלא הכירו אפריורי את המושגים בהם השתמשתי.
 

freedom rider

New member
../images/Emo45.gifח"ח על היוזמה!../images/Emo45.gif

אכן, הרעיון לכתוב את המאמר הזה הוא רעיון חיובי ביסודו. כל הכבוד, קבל ח"ח! עם זאת, יש לי מספר הערות והסתייגויות. ראשית, התכונה a*0=0 לכל a, אינה נובעת מכך שלאפס אין הפכי, וניתן להוכיחה גם ללא הדרישה לאי-קיום הפכי לאפס. הדרישה הנחוצה להוכחת תכונה זו היא הדרישה כי האיבר הנייטרלי ביחס לפעולת החיבור (כלומר האפס) הינו יחיד. הסתירה שהראית אינה סתירה במערכת מספרית בה קיים איבר הפכי לאפס, כיוון שבמערכת כזו מתקיים 0=1. לעומת זאת, אני חושב שההבדלה שעשית בין חלוקה באפס (שהיא פעולה שלא קיימת במתמטיקה המקובלת עלינו), ובין תהליך גבולי (הניסוי שלך קצת בעייתי, התכוונת לגבול של ביטוי רציונלי שמכנהו שואף לאפס) היא הבדלה חשובה. תלמידי בית ספר רבים חושבים בטעות ש"מספר חלקי אפס" שווה לאינסוף, בגלל חוסר ההבנה של התהליך הגבולי. לסיכום, ברצוני לחזור על מה שאמרתי כבר מספר פעמים: הפעולה של חלוקה באפס הוצאה אל מחוץ למתמטיקה לא בגלל שהדבר אינו אפשרי, אלא בגלל שזה יוביל אותנו למתמטיקה חסרת משמעות בה כל המספרים שווים זה לזה.
 

בגינס

New member
צודק!

שכחתי לציין כי 0=!1 (קרי: 1 שונה מאפס) המטרה שלי היתה להראות שהחלוקה באפס סותרת מערכת של תכונות המוכרת אינטואיטיבית למרביתינו - גם אלה שאינם מכירים ניסוחים של אקסיומות אלה. לא טענתי שלא ניתן לעשות שינויים מתאימים בתכונות אלה, אך כפי שאתה הראת שינויים עלולים לגרום לקבוצה של מספרים שאין עניין בה כי כולם שווים זה לזה. בכל מקרה חשוב היה לי להראות מדוע הדבר אסור - כלומר שהדבר גורם לסתירה -וכפי שטענת - יישוב סתירה זו שלא ע"י אי-מתן הגדרה לחלוקה באפס תיצור מתמטיקה שאין עניין בה. אני אוסיף הודעה למשתמשים, שמומלץ כתרגיל, להתיחס לקבוצת התכונות שהצגתי כאקסיומות ולנסות לשנותן תוך הקפדה על כך שלא יווצרו סתירות, ולשים לב איזו קבוצת מספרים מתקבלת. זה תרגיל מצויין בתיאוריה ויכול להמחיש לכל מטיל ספק בחלוקה באפס לאיזו "מתמטיקה" הוא יגיע.
 

PmodQ

New member
קצת פילוסופיה

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

saaron

New member
כל הכבוד ../images/Emo13.gif ../images/Emo70.gif

חשבתי על כך רבות לאחרונה...
 

גרי רשף

New member
מיקרוסופט שינו את חוקי המתימטיקה!

אני מתכנת עם VB.Net, וכדי לתרגל את הדרך שלהם לטפל בשגיאות, ניסיתי ליזום שגיאות מתימטיות, ולמרבה הפלא הן לא נוצרו. למשל: 5/0 הניב את התוצאה "אינסוף חיובי", (Sqrt(-1 הניב את התוצאה "לא מספר", (Log(-1 הניב את התוצאה "אינסוף שלילי". בשלושת המקרים לא נוצרה שגיאה כלל!
 
למעלה