אינפיניטסימל

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

מקור השם הוא בביטוי בלטינית חדשה מהמאה ה-17, infinitesimus, שהתייחס לאיבר ה"אחרון" בסדרה אינסופית.

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

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

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

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

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

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

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

בין המאה ה-17 ועד המחצית השנייה של המאה ה-19, נעשה במערב שימוש מעשי בשיטות שהפכו לחשבון הדיפרנציאלי והאינטגרלי שבסיסן עקרון שנוי במחלוקת זה. רק אז ניתן לחשבון הדיפרנציאלי והאינטגרלי בסיס מתמטי פורמלי באמצעות הגדרת מושג הגבול . באופן דומה ניתן להמשיך ולהגדיר את יתר מושגי היסוד של החדו"א: רציפות, משפט ערך הביניים והכללותיו, גזירות, נגזרת ואינטגרל.

אינפיניטסימלים באנליזה הלא סטנדרטית

ב נמצא שניתן לטפל באינפיניטסימלים ישירות, באופן ריגורוזי, במסגרת האנליזה הלא-סטנדרטית.

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

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

בגישה אחרת מרחיבים את השפה, כלומר את מערכת האקסיומות, המתארת את המספרים הממשיים. מערכת אקסיומות כזו פותחה ב-1977 על ידי אדוארד נלסון, והיא נקראת IST, על-שם שלוש האקסיומות שהיא מוסיפה: Idealization, Standardization ו- Transfer. באופן הזה אפשר להגדיר אינפיניטסימלים, שהם קטנים בערכם המוחלט מכל מספר חיובי ממשי סטנדרטי.

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

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

לקריאה נוספת
 J. Keisler "Elementary Calculus" (200) University of Wisconsin 
 K. Stroyan "Foundations of Infinitesimal Calculus" (1993) 
 Robert Goldblatt (1998) "Lectures on the hyperreals" Springer. 
 "Nonstandard Methods and Applications in Mathematics" (2007) Lecture Notes in Logic 25, Association for Symbolic Logic. 
 "The Strength of Nonstandard Analysis" (2007) Springer.

קישורים חיצוניים

הערות שוליים 

חשבון אינפיניטסימלי
אנליזה לא סטנדרטית
אינסוף