הגדרת הגבול לפי קושי

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

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

הגדרה 
הגדרה: לפונקציה  קיים גבול  בנקודה  אם לכל  קיים  כך שאם  אזי .

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

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

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

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

היסטוריה 

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

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

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

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

לאוגוסטן לואי קושי הייתה תפיסה מעט פרימיטיבית יותר, והוא נתן הגדרה לגבול באמצעות מונח אותו כינה "גודל מִשְׁתַּנֶּה", ולא באמצעות אפסילון-דלתא. חלק מההוכחות של קושי מכילות אינדיקציות לשיטת האפסילון-דלתא. השאלה אם גישתו היסודית יכולה להיחשב כ"מבשרת" של ויישטראס היא נושא למחלוקת אקדמית. גראבינר טוען שכן, בעוד שוג'יבור (2005) לא. נקאן טוען שוויישטראס וקושי העניקו את אותו השם לתפיסות שונות של מושג הגבול. בסופו של דבר, הקרדיט ניתן לוויירשטראס ובולצאנו על מתן בסיס ריגוזורי לחישוב גבול בצורה המודרנית של .. מאז לא היה עוד צורך להתייחס לאינפיניטסימל  והחישוב של פרמה הפך לחישוב של הגבול הבא:

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

דוגמאות

דוגמה 1 

נראה כי .

יהי . עלינו למצוא  כך שלכל  מתקיים .

נשים לב כי:

מתכונות ערך מוחלט:

מכיוון שפונקציית הסינוס חסומה בין 1 ל-1-, הערך המוחלט שלה חסום בין 0 ל-1 ולכן:

לפיכך, אם ניקח , אז , ומתקיים . מש"ל.

דוגמה 2 
נוכיח  עבור כל .

יהי . עלינו למצוא  כך שלכל  מתקיים .

נתחיל בפישוט: .

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

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

לפי אי השוויון במשולש מתקיים:  לפיכך, אם אנו מניחים כי אז .

לסיכום, נקבע 

ולכן אם , אז:

לפיכך, מצאנו  כך ש־ ולכן  . אם כן, הראינו כי  עבור כל מספר ממשי .

דוגמה 3 
נוכיח כי 

אנו רוצים להראות זאת .

נשים לב כי , כלומר נדרש . נחלק ב-3:  ונקבל את התוצאה הרצויה - . מש"ל.

לקריאה נוספת

הערות שוליים 

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