1,623
עריכות
מ
אין תקציר עריכה
מאין תקציר עריכה |
מאין תקציר עריכה |
||
|
{{הוכחה|לכל <math>\varepsilon > 0</math> קיים <math>k = 0</math> שעבורו מתקיים -
<center>
<math>\bigg|a_n - L\bigg| = \bigg|L - L\bigg| = 0 < \varepsilon</math>
</center>
ולכן <math>\lim_{n \to \infty}a_n = L</math>}}}}
על-פי אי-שוויון המשולש השני -
<center>
<math>\bigg||a_n| - |L|\bigg| \le \bigg|a_n - L\bigg|</math>
</center>
נתון כי <math>\lim_{n \to \infty}a_n = L</math> לכן לכל <math>\varepsilon > 0</math> קיים <math>k</math> כך שלכל <math>n > k</math> מתקיים - <math>|a_n - L| < \varepsilon</math>. אזי לכל <math>\varepsilon > 0</math> נבחר את אותו ה- <math>k</math>, ואז -
<center>
<math>\bigg||a_n| - |L|\bigg| \le \bigg|a_n - L\bigg| < \varepsilon</math>
</center>
ולכן <math>\lim_{n \to \infty}|a_n| = |L|</math>}}}}
נראה כי הגבול שלה הוא <math>-1</math>. לכל <math>\varepsilon > 0</math> נבחר <math>k = \frac{1}{\varepsilon}</math> ואז יתקיים -
<center>
<math>\bigg|a_n
</center>
לכן <math>\lim_{n \to \infty}a_n = -1</math>. כעת אם נרצה לדעת מה הגבול של הסדרה <math>b_n = |a_n|</math> כלומר <math>b_n = \frac{n}{n+1}</math> כל מה שצריך הוא להשתמש במשפט כדי לדעת כי <math>\lim_{n \to \infty}b_n = 1</math>.
{{משפט|תוכן=סדרה מתכנסת מתכנסת לגבול יחיד.
{{הוכחה|
נתון כי <math>.\lim_{n \to \infty}a_n = L</math>
נניח בשלילה כי <math>\lim_{n \to \infty}a_n = M</math> כך ש- <math>,L \ne M</math> ונניח בלי הגבלת כלליות כי <math>.M > L</math>.
נתון
כלומר מקיימים <math>.a_n < L + \frac{M-L}{2} = \frac{M+L}{2}</math>
נתון גם כי <math>\lim_{n \to \infty}a_n =
כלומר מקיימים <math>.a_n > M - \frac{M-L}{2} = \frac{M+L}{2}</math>
▲נתון כי <math>\lim_{n \to \infty}a_n = L</math> ולכן לכל <math>\varepsilon > 0</math> , ובפרט עבור <math>\varepsilon = \frac{M-L}{2}</math> מתקיים כי כל אברי הסדרה, פרט למספר סופי של אברים, נמצאים בסביבה <math>\varepsilon</math> של <math>L</math>, כלומר אינסוף מאברי הסדרה מקיימים <math>a_n < L + \frac{M-L}{2} = \frac{M+L}{2}</math>{{ש}}
▲נתון גם כי <math>\lim_{n \to \infty}a_n = M</math> ולכן לכל <math>\varepsilon > 0</math> , ובפרט עבור <math>\varepsilon = \frac{M-L}{2}</math> מתקיים כי כל אברי הסדרה, פרט למספר סופי של אברים נמצאים בסביבה <math>\varepsilon</math> של <math>M</math>, כלומר מקיימים <math>a_n > M - \frac{M-L}{2} = \frac{M+L}{2}</math>{{ש}}
}}}}
| |||