בפרק הזה
הערת-ביצוע: 3 הטבלאות המקוריות (ה-HTML) — נשמרו בלי נגיעה (כמוגדר בexecspec). מיקום "הוכחת f(x)=x²" — נשמר בסוף הפרק כגשר-מכוון (מסביר את חוק-החזקה מהנגזרת).
Kicker: מתמטיקה לכלכלנים
תת-כותרת (Hero subtitle): הריבית שמחושבת יומיות קרובה יותר לריבית שמחושבת בכל שנייה, שקרובה יותר — ובסוף, הגבול: ריבית רציפה. זו המתמטיקה של "לאן הדברים שואפים".
הפתיחה
"בטווח-הארוך, שוק-המניות תמיד עלה." "בסוף, שיעורי-הריבית יחזרו לנורמה." "בגבול, כשמספר-המשקיעים גדל מספיק, הפרמיה על הסיכון תתכנס." כל המשפטים האלה מדברים על גבול — לא בתמונה של "היום" או "מחר", אלא לאן הנתון שואף כשמשהו מתקרב לאינסוף, לאפס, או לנקודה ספציפית.
המתמטיקה של הגבול היא ייצוג מדויק לרעיון הפשוט הזה. בפרק הנגזרת כבר נתקלנו בה — ההגדרה f'(x) = lim[Δx→0] … — אבל כאן נבסס אותה לעומק.
שתי הדוגמאות הישראליות הכי-קרובות: ריבית-דריבית שהולכת ורציפה יותר (הגבול הוא eʳ), ושיעורי-ריבית-שוק-ארוכות-מועד שמתכנסים לטווח צר ככל שהשוק מתמחר תרחיש בסיסי. שניהם גבולות.
הגדרת הגבול
גבול של פונקציה f(x) כשx מתקרב לערך a מוגדר כהערך שאליו f(x) שואפת — אם שואפת — ככל שx מתקרב ל-a מכל כיוון.
כותבים: lim[x→a] f(x) = L
המשמעות: לכל ε > 0 קטן ככל שיהיה, קיים δ > 0 כך שאם |x − a| < δ, אז |f(x) − L| < ε.
בלשון פשוטה: אפשר להתקרב לL כמה שרוצים, על-ידי לקחת x קרוב מספיק ל-a.
חשוב: הגבול תלוי בהתקרבות לנקודה, לא בערך הפונקציה בנקודה. ייתכן ש:
– הפונקציה מוגדרת ב-a והגבול שווה לה: lim[x→a] f(x) = f(a) — זה מקרה של רציפות.
– הפונקציה מוגדרת ב-a אבל הגבול שונה.
– הפונקציה לא מוגדרת ב-a אבל הגבול קיים.
גבול חד-צדדי
כשמתקרבים לנקודה רק מצד אחד — מהגדול (מימין) או מהקטן (משמאל):
גבול ימני: lim[x→a⁺] f(x) = L⁺
גבול שמאלי: lim[x→a⁻] f(x) = L⁻
הגבול הכללי קיים אם ורק אם שניהם שווים: L⁺ = L⁻ = L.
אם הגבול הימני שונה מהשמאלי — הגבול (הדו-צדדי) אינו קיים בנקודה זו. זו נקודת-קפיצה (jump discontinuity).
רציפות
פונקציה f(x) רציפה בנקודה a אם מתקיימים שלושה תנאים:
1. f(a) מוגדרת (הפונקציה קיימת בנקודה).
2. lim[x→a] f(x) קיים.
3. lim[x→a] f(x) = f(a) (הגבול שווה לערך).
פונקציה רציפה בתחום שלם אם היא רציפה בכל נקודה בתחום. גרפית: פונקציה רציפה ניתן לצייר בלי להרים את העט.
שאלה כלכלית: פונקציית-ביקוש — האם היא רציפה? בדרך כלל כן, בגבולות ריאליים. אבל פונקציות-מס (בגין מדרגות) הן לא-רציפות בנקודות-המדרגה. זו לא בעיה — רק מאפיין שצריך להכיר.
נקודות-פיצול
נקודה שבה הרציפות נשברת נקראת נקודת-פיצול (discontinuity). שלושה סוגים:
א. נקודת-קפיצה: הגבול הימני ≠ גבול שמאלי. הגרף "קופץ" בנקודה. דוגמה: פונקציית שיעור-המס השולי (קפיצה במדרגות).
ב. נקודה שניתנת להסרה: הגבול קיים, אבל הפונקציה לא מוגדרת בנקודה (או מוגדרת בערך שונה מהגבול). אפשר "לתקן" את הפונקציה בנקודה זו וליצור רציפות. דוגמה: f(x) = (x²−1)/(x−1) ב-x=1.
ג. אסימפטוטה אנכית: הגבול שואף ל-±∞. הגרף "מתפרץ" לאינסוף. דוגמה: f(x) = 1/x ב-x=0.
חוקי חישוב גבולות
כשlim[x→a] f(x) = L ו-lim[x→a] g(x) = M, מתקיימים:
- סכום: lim[f(x) + g(x)] = L + M
- הפרש: lim[f(x) − g(x)] = L − M
- מכפלה: lim[f(x) · g(x)] = L · M
- מנה: lim[f(x)/g(x)] = L/M, בתנאי שM ≠ 0
- חזקה: lim[f(x)ⁿ] = Lⁿ
אלה מאפשרים לחשב גבולות ישירות על-ידי הצבה, כל עוד לא מגיעים לצורה לא-מוגדרת.
הצורות ה"לא-מוגדרות" — חמשת האתגרים
חמש הצורות שהיישום הישיר נכשל:
| צורה | סימון | דוגמה |
|---|---|---|
| אפס חלקי אפס | 0/0 | lim[x→1] (x²−1)/(x−1) |
| אינסוף חלקי אינסוף | ∞/∞ | lim[x→∞] (3x²+1)/(x²−5) |
| אפס כפול אינסוף | 0·∞ | lim[x→0] x·ln(x) |
| אינסוף פחות אינסוף | ∞−∞ | lim[x→∞] (√(x²+1)−x) |
| חזקת אחד | 1^∞ | lim[x→∞] (1+1/x)ˣ |
כשמגיעים לאחת מהצורות האלה — לא מציבים ומחכים. צריך לטפל.
כלל-לופיטל
כלל-לופיטל (Guillaume de l'Hôpital, 1696): אם מגיעים לצורה 0/0 או ∞/∞, ניתן להחליף את המנה בנגזרות-שלה:
אם lim[x→a] f(x)/g(x) נותן 0/0 או ∞/∞, אזי:
lim[x→a] f(x)/g(x) = lim[x→a] f'(x)/g'(x)
בתנאי שהגבול הימני קיים.
דוגמה 1 — 0/0:
lim[x→1] (x² − 1)/(x − 1)
הצבה ישירה: (1−1)/(1−1) = 0/0. לא מוגדר.
לופיטל: f'(x) = 2x, g'(x) = 1.
lim[x→1] 2x/1 = 2.
אימות: (x²−1)/(x−1) = (x+1)(x−1)/(x−1) = x+1. לim[x→1] (x+1) = 2. ✓
דוגמה 2 — ∞/∞:
lim[x→∞] (3x² + 1)/(x² − 5)
הצבה: ∞/∞.
לופיטל: f'(x) = 6x, g'(x) = 2x.
lim[x→∞] 6x/2x = 3.
אימות: חלוקת מונה ומכנה ב-x²: (3 + 1/x²)/(1 − 5/x²) → 3/1 = 3. ✓
גבולות שואפים לאינסוף
כשx שואף לאינסוף, הפונקציה עשויה להתכנס לגבול סופי (אסימפטוטה אופקית) או לשאוף אף היא לאינסוף.
כלל פולינומים: ההתנהגות ב-∞ נקבעת לפי המקדם-המוביל (החזקה הגבוהה):
– 3x³ + 100x² + 1000 → כמו 3x³ ב-∞.
– (3x² + 1)/(x² − 5) → כמו 3x²/x² = 3 ב-∞. גבול = 3 (אסימפטוטה אופקית y = 3).
אסימפטוטה אופקית: אם lim[x→∞] f(x) = L, אזי y = L היא אסימפטוטה אופקית.
מה זה אומר עבורכם. בפיננסים, "שווי הוגן לטווח ארוך" הוא לעתים קרובות אסימפטוטה: המחיר תמיד מתקרב לערך הבסיסי, אבל לא תמיד מגיע אליו. הגבול הוא הכיוון — לא המצב. הבדל שחשוב לזכור כשמסתכלים על גרפים.
טבלת גבולות נפוצים
שלוש טבלאות שמרכזות גבולות שימושיים (מקורן ב-PDF המקורי — נשמרו ומוצגים כטבלאות):
טבלה א — גבולות יסוד:
| פונקציה | גבול | תנאי |
|---|---|---|
| lim[x→a] c | c | c קבוע |
| lim[x→a] x | a | — |
| lim[x→a] xⁿ | aⁿ | n חיובי שלם |
| lim[x→0] sin(x)/x | 1 | — |
| lim[x→∞] 1/x | 0 | — |
| lim[x→0⁺] ln(x) | −∞ | — |
| lim[x→∞] ln(x) | +∞ | — |
| lim[x→∞] eˣ | +∞ | — |
| lim[x→−∞] eˣ | 0 | — |
טבלה ב — גבולות חשובים של 0/0:
| ביטוי | גבול |
|---|---|
| lim[x→0] (eˣ − 1)/x | 1 |
| lim[x→0] (ln(1+x))/x | 1 |
| lim[x→0] (aˣ − 1)/x | ln(a) |
טבלה ג — גבולות ב-±∞:
| ביטוי | גבול | הערה |
|---|---|---|
| lim[x→∞] (1 + 1/x)ˣ | e | הגדרת e |
| lim[x→∞] xⁿ/eˣ | 0 | אקספוננציאל גובר על חזקה |
| lim[x→∞] ln(x)/xⁿ | 0 | חזקה גוברת על לוגריתם (n>0) |
הוכחת חוק-החזקה מהגדרת-הגבול (גשר לפרק הנגזרת)
כחיבור בין פרקים: חוק-החזקה f'(x) = nxⁿ⁻¹ שהשתמשנו בו בפרק הנגזרת נובע ישירות מהגדרת-הגבול. נוכיח לf(x) = x²:
f'(x) = lim[Δx→0] [f(x + Δx) − f(x)] / Δx
= lim[Δx→0] [(x + Δx)² − x²] / Δx
= lim[Δx→0] [x² + 2x·Δx + (Δx)² − x²] / Δx
= lim[Δx→0] [2x·Δx + (Δx)²] / Δx
= lim[Δx→0] [2x + Δx]
= 2x ✓
השלב שאפשר את המעבר האחרון — חלוקת Δx מהמונה ומהמכנה — מניח שΔx ≠ 0. ואז, בהגדרת-הגבול, x ניגש ל-0 מבלי להגיע לשם. זה בדיוק ההבדל בין "גבול" ל"הצבה ישירה" — הגבול חי בתהליך ההתקרבות, לא בערך עצמו.
סיכום
גבול הוא הערך שאליו פונקציה שואפת — לא בהכרח הערך שהיא שווה. רציפות = גבול שווה לערך. נקודות-פיצול מסמנות שבירת-רציפות: קפיצה, חור, אסימפטוטה. כשהגבול נותן 0/0 או ∞/∞ — כלל-לופיטל מאפשר חישוב על-ידי החלפת פונקציה בנגזרתה. גבולות ב-∞ מזהים אסימפטוטות אופקיות — "לאן הדברים שואפים לאורך זמן". ההוכחה של f'(x²) = 2x סוגרת את הלולאה: חוקי-הגזירה שלמדנו בפרק הנגזרת נובעים מהגדרת הגבול שלמדנו כאן.