היסטוריה של החשבון האינפיניטסימלי

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
Incomplete-document-purple.svg יש להשלים ערך זה: בערך זה חסר תוכן מהותי. ייתכן שתמצאו פירוט בדף השיחה.
הנכם מוזמנים להשלים את החלקים החסרים ולהסיר הודעה זו. שקלו ליצור כותרות לפרקים הדורשים השלמה, ולהעביר את התבנית אליהם.

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

בעת העתיקה[עריכת קוד מקור | עריכה]

חשבון אינטגרלי[עריכת קוד מקור | עריכה]

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

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

לִיאוּ הוּאַי, המתמטיקאי הסיני בן המאה ה-3, בפרשנותו לספר "תשעת הפרקים של אמנות המתמטיקה", מצא נוסחה לחישוב נפח של גליל, בשיטות בסיסיות של החשבון האינפיניטסימלי.

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

חשבון דיפרנציאלי[עריכת קוד מקור | עריכה]

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

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

בימי הביניים[עריכת קוד מקור | עריכה]

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

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

תחילת העת החדשה[עריכת קוד מקור | עריכה]

המתמטיקאי האיטלקי בן המאה ה-17 בונאוונטורה קאוואליירי בישר את האינטגרציה המודרנית כאשר פיתח את עקרון קאוואליירי. קאוואליירי גילה את נוסחת האינטגרציה של קאוואליירי שמכלילה את עבודתו של ארכימדס על הפרבולה. בנוסח מודרני הנוסחה קובעת שלכל n טבעי:

\textstyle \int\limits_{0}^{a} x^n\,dx = \tfrac{1}{n+1}\, a^{n+1}.

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

לייבניץ וניוטון[עריכת קוד מקור | עריכה]

ניוטון פיתח את התאוריה שלו בין חורף 1664 לאוקטובר 1666, והפקיד סיכום של עבודתו בידי ג'ון קולינס, יועצו של מזכיר החברה המלכותית הבריטית. לייבניץ החל לעבוד בנושא ב-1673. ניוטון פרסם מעט מאוד משיטותיו בתחום זה עד 1693, ולא סיפק הסבר מלא עד 1704. מאוחר יותר טען ניוטון כי התעכב בפרסום רשימותיו מחשש שילעגו לו. לייבניץ, לעומת זאת, פרסם הסבר מלא של השיטות שלו כבר ב-1684. הרשימות של לייבניץ היו מפורטות ביותר לגבי הפיתוחים שלו לעומת רשימותיו של ניוטון שהציגו פיתוחים סופיים בלבד.

הסימון של ניוטון לנגזרת היה "סימון הנקודה של ניוטון" ואילו לייבניץ הסתמך על "סימון דיפרנציאלי" והאחרון הוא שאומץ בקרב מתמטיקאים רבים יותר. לפי סימונים אלה \dot{f}(t) = \frac{df}{dt} כאשר אגף ימין הוא הסימון של לייבניץ לנגזרת ואילו אגף שמאל הוא הסימון של ניוטון. אף הסימונים האחרים של לייבניץ בחשבון האינפיניטסימלי נחשבו למקובלים יותר מאשר אלו של ניוטון. בסימוניו של לייבניץ: סימן האינטגרל, המסמל S לטינית מוארכת, מהמילה "סומא" (summa), וה-d המשמשת לדיפרנציאל מהמילה הלטינית "דיפרנטייה" (differentia).

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

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

כדי למצוא את הנגזרת \ f'(x) של הפונקציה \ f(x) = x^2, יהי \ dx אינפיניטסימל. לכן,


\begin{align}
f'(x)& = \frac{f(x + \mathrm dx) - f(x)}{\mathrm dx} \\
& = \frac{x^2 + 2x \cdot \mathrm dx + \mathrm dx^2 -x^2}{\mathrm dx}\\
& = \frac{ 2x \cdot \mathrm dx + \mathrm dx^2 }{\mathrm dx}\\
&=2x + \mathrm dx \\
&=2x 
\end{align}

כיוון ש-\ dx קטן לאין שיעור.

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

ניוטון נעזר בחדו"א כדי לפתור מגוון רחב של בעיות: מציאת שטחים, שיפועי משיקים, אורך של עקומות ומינימום ומקסימום של פונקציה. הוא הפנה את החשבון האינפיניטסימלי לפתרון בעיות פיזיקליות של כמויות משתנות והגיע למגוון תוצאות. הוא ביצע עבודה חלוצית בתחום הטורים אינסופיים כשמצא טורים אינסופיים לביטוי פונקציות שונות ואת שיטת הקירוב של טורים אינסופיים, והוא אף התקרב מאוד למושג הגבול. ניוטון הציג לראשונה את משפט הבינום המוכלל (אשר נקרא על שמו - הבינום של ניוטון), המתאר את טור טיילור של הפונקציה \ (1+x)^{\alpha} גם כאשר \ \alpha אינו שלם. הוא ביצע קירוב של סכומים חלקיים של הסדרה ההרמונית באמצעות לוגריתמים (בכך הקדים את נוסחת הסכום של אוילר) ותרם רבות לתחום של טורי חזקות. כמו כן גילה נוסחה חדשה לחישוב π.

ביסוס מושגים[עריכת קוד מקור | עריכה]

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

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

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

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Boyer, Carl, The History of Calculus, Dover Publications, 1949
  • A. Rupert Hall, Philosophers At War: The Quarrel Between Newton and Leibniz, Cambridge University Press, 1980.