חשבון אינפיניטסימלי/גבולות/ההגדרה המדויקת של הגבול: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
גיל בכר (שיחה | תרומות)
גיל בכר (שיחה | תרומות)
שורה 90:
{{משפט|
תוכן=
א. אם לפונקציה f גבול L בנקודה a, אזאמ"ם לפונקציה קיימים שני הגבולות החד-צדדיים בנקודה ושניהם שווים ל-L. ונסמל:
<math>
\lim _{x \to a} f\left( x \right) = L \Rightarrowiff
\lim _{x \to a^{+}} f\left( x \right) = L \and
\lim _{x \to a^{+}} f\left( x \right) = L
</math>
<br /><br />
ב. אם לפונקציה f גבולות <math>L^{+},L^{-}</math> חד צדדים בנקודה a, ומתקיים <math>L=L^{+},L^{-}</math> אז לפונקציה גבול בנקודה והוא שווה ל-L, ונסמל:
<math>
\lim _{x \to a^{+}} f\left( x \right) = L \and
\lim _{x \to a^{+}} f\left( x \right) = L \Rightarrow
\lim _{x \to a} f\left( x \right) = L
</math>
}}
 
''הוכחת צד ב'אחד:''<br />
נניח ל-f קיימים גבולות חד צדדיים בנקודה a - <math>L^{+},L^{-}</math>, ומתקיים <math>L \equiv L^{+}=L^{-}</math> ויהי <math>\varepsilon > 0</math> כלשהו. ע"פ הגדרה קיימים <math>\delta^{+} , \delta^{-} > 0</math> כך ש:
*לכל x המקיים <math>0 < {x - a} < \delta^{+}</math> , אז <math>\left| {f\left( x \right) - L} \right| < \varepsilon</math>.
*לכל x המקיים <math>0 < {a - x} < \delta^{-}</math> , אז <math>\left| {f\left( x \right) - L} \right| < \varepsilon</math>.
שורה 117 ⟵ 110:
ה"טריק בו השתמשנו, היה בחירת שתי "<math>\delta</math>-ות" ולקיחת הקטנה מבינהן ע"י פונקציית המינימום. זהו "טריק" שחוזר על עצמו רבות בהוכחות בגבולות, וכדאי לזכור אותו כדי לדעת להשתמש בו בעתיד.
 
{{אתגר|הוכח את צדהצד א'השני במשפט זה.}}
 
==הגדרה מדויקת לגבולות אינסופיים==