אינפיניטסימל – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
מ ←‏היסטוריה: קישורים פנימיים.
שורה 7:
==היסטוריה==
 
ה[[מתמטיקאי]] הראשון שעשה שימוש באינפיניטסימלים (בלי להשתמש במושג זה) היה [[ארכימדס]] (בערך בשנת [[250 לפנה"ס|250 לפני הספירה]]),{{הערה|1=Archimedes, ''The Method of Mechanical Theorems'', see the [[הפלימפססט של ארכימדס|Archimedes palimpsest]]}}, למרות שהוא לא האמין בקיום של אינפיניטסימלים [[פיזיקה|פיזיקליים]]. [[תכונת ארכימדס]], המוגדרת בסוף מאה ה-19 על ידי אוטו שטולצ, מאפיינת מבנה סדור, שבו כל גודל קטן מכפולה של כל גודל אחר, ולכן אין בו אינפינטיסימלים.
 
ב[[הודו]], בתקופה שבין [[המאה ה-12]] עד [[המאה ה-16]], המתמטיקאי ההודי [[בהשקרה]] ומספר מתמטיקאים שעבדו בבית הספר המתמטי של מדינת [[קרלה]] בדרום הודו עשו שימוש באינפיניטסימלים במסגרת גרסה נאיבית של החשבון הדיפרנציאלי.
שורה 15:
: נניח שגוף נמצא בכל זמן t במרחק <math>\ X(t) = t^2</math> מן הראשית. כדי למצוא את מהירותו של הגוף (שהיא ה[[נגזרת]] של f), יהי <math>\ dt</math> אינפיניטסימל. בזמן <math>\ t+dt</math> הגוף נמצא במרחק <math>\ (t+dt)^2</math>, ומכאן שבמשך הזמן <math>\ dt</math> שמהזמן t, הוא הספיק לעבור מרחק של <math>\ (t+dt)^2 - t^2 = 2t \cdot dt + dt^2</math>. אם נחלק את המרחק בזמן נקבל <math>\ 2t+dt</math>. אבל dt קטן כרצוננו, ולכן היחס שווה ל-<math>\ 2t</math>.
 
ברקלי טען שהטענה זוהזו, למרות שהיא מעניינת במבט ראשון, ונותנת את התוצאה הנכונה, מבוססת על [[הנחה (לוגיקה)|הנחות]] הסותרותה[[סתירה (לוגיקה)|סותרות]] זו את זו: אנו [[חילוק|מחלקים]] ב-<math>\ dt</math> משום שזהו גודל חיובי שונה מאפסמ[[0 (מספר)|אפס]], ואז מחליפים אותו באפס, משום שהוא אינפיניטסימלי. מסיבה זו יצא ה[[בישוף]] וה[[פילוסוף]] [[ג'ורג' ברקלי]], בחיבורו "האנליסט", חוצץ נגד עצם השימוש באינפיניטסימלים.
 
רק במחצית השנייה של [[המאה ה-19]], ניתן לחשבוןל[[חשבון דיפרנציאלי ואינטגרלי|חשבון הדיפרנציאלי והאינטגרלי]] בסיס מתמטי פורמלי על ידי [[אוגוסטין לואי קושי]], [[קארל ויירשטראס]] ואחרים, באמצעות שימוש במושג ה[[גבול (מתמטיקה)|גבול]] המוגדר במונחי אפסילון ודלתא. ב[[המאה ה-20|מאה ה-20]], נמצא שניתן לטפל באינפיניטסימלים ישירות, באופן [[ריגורוזי]], במסגרת ה[[אנליזה לא סטנדרטית|אנליזה הלא-סטנדרטית]].
 
==אינפיניטסימלים באנליזה הלא סטנדרטית==