אינפיניטסימל – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הסרת קישורים עודפים, אחידות במיקום הערות שוליים |
←היסטוריה: עריכה |
||
שורה 11:
ב[[הודו]], בתקופה שבין [[המאה ה-12]] עד [[המאה ה-16]], המתמטיקאי ההודי [[בהשקרה]] ומספר מתמטיקאים שעבדו בבית הספר המתמטי של מדינת [[קרלה]] בדרום הודו עשו שימוש באינפיניטסימלים במסגרת גרסה ראשונית של חשבון דיפרנציאלי.
כאשר [[אייזק ניוטון]] ו[[גוטפריד וילהלם לייבניץ]] פיתחו באופן בלתי תלוי זה בזה את החשבון הדיפרנציאלי והאינטגרלי, על אף מערכת הסימונים השונה שניהם עשו שימוש באינפיניטסימלים. טענה טיפוסית הכוללת גדלים כאלה:
שורה 19:
בעקבות זאת יצא חוצץ ה[[בישוף]] וה[[פילוסוף]] [[ג'ורג' ברקלי]], בחיבורו "האנליסט", נגד עצם השימוש באינפיניטסימלים. ברקלי טען שהטענה הזו, למרות שהיא מעניינת במבט ראשון, ונותנת את התוצאה הנכונה, מבוססת על [[הנחה (לוגיקה)|הנחות]] ה[[סתירה (לוגיקה)|סותרות]] זו את זו: אנו [[חילוק|מחלקים]] ב-<math>\ dt</math> משום שזהו גודל חיובי שונה מ[[0 (מספר)|אפס]], ואז מחליפים אותו באפס, משום שהוא אינפיניטסימלי.
ב[[המאה ה-20|מאה ה-20]], נמצא שניתן לטפל באינפיניטסימלים ישירות, באופן [[ריגורוזי]], במסגרת ה[[אנליזה לא סטנדרטית|אנליזה הלא-סטנדרטית]].▼
==אינפיניטסימלים באנליזה הלא סטנדרטית==
▲ב[[המאה ה-20|מאה ה-20]], נמצא שניתן לטפל באינפיניטסימלים ישירות, באופן [[ריגורוזי]], במסגרת ה[[אנליזה לא סטנדרטית|אנליזה הלא-סטנדרטית]].
בין המספרים הממשיים, לכל מספר שלם n יש מספר חיובי h קטן מ- <math>\ 1/n</math>. [[משפט הקומפקטיות]] מאפשר להפוך את סדר ה[[כמת (לוגיקה מתמטית)|כמתים]], ולהסיק שקיימת מערכת מתמטית עם מספר חיובי h, הקטן מכל המספרים מהצורה <math>\ 1/n</math> גם יחד. מערכת זאת הנקראת [[שדה המספרים ההיפר-ממשיים]], מרחיבה את [[שדה המספרים הממשיים]], והיא מהווה "מודל לא סטנדרטי" שלהם, שבו מתקיימות כל הטענות [[שפה מסדר ראשון|מסדר ראשון]] הנכונות עבור מספרים ממשיים. המספרים הממשיים הרגילים מהווים "איברים סטנדרטיים" של המודל, ויש בו בנוסף גם איברים לא סטנדרטיים.
|