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

תוכן שנמחק תוכן שנוסף
גיל בכר (שיחה | תרומות)
גיל בכר (שיחה | תרומות)
שורה 100:
''הוכחת צד אחד:''<br />
נניח ל-f קיימים גבולות חד צדדיים בנקודה a, ומתקיים <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>.
נסמן <math>\delta_0 \equiv \min(\delta^{+},\delta^{-})</math>. כעת לכל x המקיים
<math>0 < \left| x-a \right| < \delta_0</math> מתקיים בדיוק אחד משני הבאים:
*אם <math>\ x>a</math>, אז <math>\ 0 < {x - a} < \delta_0 \le \delta^{+}</math>, ולכן <math>\left| {f\left( x \right) - L} \right| < \varepsilon</math>.
*אם <math>\ x<a</math>, אז <math>\ 0 < {a - x} < \delta_0 \le \delta^{-}</math>, ולכן <math>\left| {f\left( x \right) - L} \right| < \varepsilon</math>.
ולכן הגבול של f הוא L, ע"פ ההגדרה.<br />
<br />