הצגת המקור של הדף "88-611 אנליזה 1 למורים סמסטר א תשעו/מערכי תרגול/שיעור 2"

==סדרות==
===הגדרה===
סדרה של מספרים ממשיים היא פונקציה <math>f:\mathbb{N\rightarrow\mathbb{R}} </math> שלכל <math>n\in\mathbb{N} </math> מתאימה מספר ממשי <math>a_{n}=f\left(n\right) </math> שנקרא האיבר ה-n-י של הסדרה. 

סדרה היא רשימה אינסופית מסודרת של מספרים ממשיים: <math>a_{1},a_{2},...  </math> שנסמנה <math>a_{1},a_{2},...  </math>, והמספר ה-n נקרא האינדקס של האיבר <math>a_{n}</math>. 

<math>a_{n}</math> נקרא האיבר הכללי של הסדרה ואם הוא נתון על ידי נוסחה אלגברית אזי הביטוי <math>a_{n}</math> נקרא הנוסחה האלגברית של הסדרה.

===דוגמאות===

1) הסדרה <math>1,\frac{1}{2},\frac{1}{3}.... </math> נקראת הסדרה ההרמונית. נוסחת האיבר הכללי שלה היא שלה <math>a_{n}=\frac{1}{n} </math>.

2) אם <math>s\in\mathbb{R} </math> הסדרה <math>s,s^{2},s^{3},.... </math> נקראת הסדרה ההנדסית עם בסיס s ואיברה הכללי הוא <math>a_{n}=s^{n} </math>.

3) הסדרה s,s,s,s... נקראת הסדרה הקבועה ונסמנה הסדרה הקבועה שערכה s ונסמנה <math>a_{n}=s </math>.

===הגדרה (סביבת ה-אפסילון של הנקודה)===

יהי <math>x_{0}\in\mathbb{R} </math> ויהי <math>\varepsilon>0 </math>, סביבת ה-אפסילון של <math>x_{0}  </math> שמסומנת ב- <math>B_{\varepsilon}\left(x_{0}\right) </math> ומוגדרת ע"י <math>B_{\varepsilon}\left(x_{0}\right)=\left\{ x\in\mathbb{R}:\mid x-x_{0}\mid<\varepsilon\right\}  </math>. כדאי לחשוב על <math>B_{\varepsilon}\left(x_{0}\right) </math> כקבוצת הנקודות שמרחקם מ-<math>x_{0} </math> קטן מ-<math>\varepsilon  </math>.
<math>x\in B_{\varepsilon}\left(x_{0}\right) </math> אם ורק אם <math>x\in\left(x_{0}-\varepsilon,x_{0}+\varepsilon\right)  </math>.

===הגדרה (גבול של סדרה)===
תהי <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> סדרה נתונה. נאמר שמספר L הוא גבול של סדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> אם לכל <math>\varepsilon>0 </math> קטן ככל שיהיה קיים מספר טבעי <math>n_{0} </math> כך שלכל <math>n\geq n_{0} </math> מתקיים <math>\mid a_{n}-L\mid<\varepsilon </math>.

במילים: לכל <math>\varepsilon>0  </math> יש לכל היותר מספר סופי של איברי הסדרה שאינם נמצאים בתוך הסביבה <math>B_{\varepsilon}\left(L\right)=\left(L-\varepsilon,L+\varepsilon\right)  </math>. (במילים אחרות החל ממקום <math>n_{0} </math> כל איברי הסדרה יהיו בתוך הסביבה <math>B_{\varepsilon}\left(L\right)=\left(L-\varepsilon,L+\varepsilon\right)  </math> של L). 

אם L הוא גבול של סדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> אז נרשום <math>lim_{n\rightarrow\infty}a_{n}=L </math> או <math>a_{n}\rightarrow L </math>.

אם לסדרה יש גבול נאמר שהסדרה מתכנסת (או שואפת לגבול זה), אם אין לסדרה גבול נאמר שהיא מתבדרת.

===דוגמאות===

1) הסדרה <math>a_{n}=\frac{1}{n} </math> מתכנסת לגבול L=0, או בקיצור <math>lim_{n\rightarrow\infty}\frac{1}{n}=0  </math>.

הוכחה: נוכיח ש-0 הוא באמת הגבול של הסדרה לפי ההגדרה של הגבול

יהי <math>\varepsilon>0  </math>, רוצים להוכיח שקיים מקום בסדרה שנסמנו ב-<math>n_{0} </math> כל שהחל מהמקום הזה כלומר עבור כל <math>n\geq n_{0}  </math> מתקיים <math>\mid\frac{1}{n}-0\mid<\varepsilon </math>. 

מתקיים <math>\mid\frac{1}{n}-0\mid=\frac{1}{n}<\varepsilon\Leftrightarrow n>\frac{1}{\varepsilon}  </math> 
ולכן אם נבחר <math>n_{0}>\frac{1}{\varepsilon}  </math> נקבל <math>\mid\frac{1}{n}-0\mid=\frac{1}{n}\leq\frac{1}{n_{0}}<\varepsilon </math>. 

2) אם <math>a_{n}=s </math> הסדרה הקבועה ולכן הגבול שלה הוא <math>lim_{n\rightarrow\infty}\left(s\right)=s </math>.

3) לכל <math>\alpha\geq0 </math>  <math>lim_{n\rightarrow\infty}\frac{1}{n^{\alpha}}=0 </math>.

===תרגיל:=== 
מצא את גבול הסדרה <math>lim_{n\rightarrow\infty}\frac{n-1}{n} </math> והוכח לפי ההגדרה שזה באמת הגבול.

===פתרון:===
 <math>\frac{n-1}{n}=1+\frac{1}{n} </math> ולכן נסיק שהגבול הוא 1. 
יהיה <math>\varepsilon>0  </math>, רוצים להוכיח שקיים <math>n_{0} </math> כך שלכל <math>n\geq n_{0}  </math> מתקיים <math>\mid\frac{n-1}{n}-1\mid<\varepsilon </math>.

<math>\mid\frac{n-1}{n}-1\mid<\varepsilon </math> אם ורק אם <math>n>\frac{1}{\varepsilon}</math> ולכן כמו מקודם מבחר <math>n_{0}>\frac{1}{\varepsilon} </math> כך שלכל <math>n\geq n_{0}  </math> מתקיים <math>\mid\frac{n-1}{n}-1\mid=\mid-\frac{1}{n}\mid=\frac{1}{n}\leq\frac{1}{n_{0}}<\varepsilon  </math>.

===תנאי הכרחי ומספי לאי קיום הגבול===

המספר L איננו הגבול של הסדרה של <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> אם קיים <math>\varepsilon_{0}>0 </math> כך שלכל <math>n_{0} </math> קיים <math>n\geq n_{0} </math> כך שמתקיים <math>\mid L-a_{n}\mid\geq\varepsilon_{0} </math>.

במילים:הסדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> אינה מתכנסת לגבול L אם ורק אם קיים <math>\varepsilon_{0}>0 </math> מסויים כך שאינסוף מאיברי הסדרה נמצאים מחוץ לסביבה <math>B_{\varepsilon}\left(L\right)  </math>.

===תרגיל:===
הוכח כי 2 אינו הגבול של <math>a_{n}=\frac{3n+1}{n} </math>. 

===פתרון:===

עלינו למצוא <math>\varepsilon_{0}>0 </math> מסויים כל שלכל <math>n_{0} </math> טבעי קיים <math>n\geq n_{0}  </math> כך שיתקיים <math>\mid2-\frac{3n-1}{n}\mid\geq\varepsilon_{0}  </math>.

<math>\mid2-\frac{3n-1}{n}\mid=\mid\frac{-n-1}{n}\mid=\frac{n+1}{n}>1  </math> קיבלנו שמרחק בין 2 לבין כל אחד מאיברי הסדרה הוא יותר גדול מ-1 ולכן אם נבחר <math>\varepsilon_{0}=\frac{1}{2} </math> לא נוכל למצוא אף <math>n_{0} </math> שעבורו כמעט כל איברי הסדרה יהיו בסביבה <math>\left(2-\frac{1}{2},2+\frac{1}{2}\right) </math>. 

===הגדרה===

סדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math> היא סדרה מתבדרת אם כל מספר ממשי a אינו הגבול של <math>\left\{ a_{n}\right\} _{n=1}^{\infty}  </math>.

===דוגמאות לסדרות מתבדרות===

1) <math>a_{n}=n  </math>

2) <math>b_{n}=\left(-1\right)^{n} </math>

===הערות===

1) שתי סדרות הן שוות אם ורק אם <math>a_{n}=b_{n} </math> לכל n טבעי, למשל סדרה 101010... שונה מהסדרה 010101...

2) אם סדרה מתכנסת לגבול אזי הוא יחיד, כלומר אם N הוא גבול של סדרה וגם L הוא גבול של אותה סדרה אזי N=L.

===הגדרות===

1) נאמר כי סדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty} </math> מתכנסת לאיסוף או שואפת לאיסוף אם לכל מספר ממשי M כמעט כל איברי הסדרה גדולים מ-M, ז"א לכל M קיים <math>n_{0} </math> טבעי כך שלכל <math>n\geq n_{0}  </math> <math>a_{n}>M </math> ונרשום <math>lim_{n\rightarrow\infty}a_{n}=\infty </math>. 

2) נאמר שסדרה <math>\left\{ a_{n}\right\} _{n=1}^{\infty} </math> מתכנסת למינוס אינסוף אם לכל L קיים <math>n_{0} </math> טבעי כל שלכל <math>n\geq n_{0} </math> <math>a_{n}<L </math> ונרשום <math>lim_{n\rightarrow\infty}a_{n}=-\infty </math>

===לדוגמה===
<math>a_{n}=n\Leftrightarrow lim_{n\rightarrow\infty}n=\infty </math>

===טכניקות בסיסיות לחישוב כבולות===

====תרגיל:====

חשב כבול של <math>c_{n}=\frac{n^{2}+n-1}{n^{2}+1} </math>

====פתרון:====

גם המונה וגם המכנה שואפים לאינסוף לכן לא נוכל מידית להסיק מה הוא הגבול ולכן נשתמש בטריק הבא: נבחר את החזקה הכי גבוהה של n בביטוי במקרה שלה היא <math>n^{2}  </math> ונוציא אותה מחות לסוגריים גם במונה וגם במכנה ונקבל:

<math>\frac{n^{2}\left(1+\frac{1}{n}-\frac{1}{n^{2}}\right)}{n^{2}\left(1+\frac{1}{n^{2}}\right)}=\frac{1+\frac{1}{n}-\frac{1}{n^{2}}}{1+\frac{1}{n}}\rightarrow1 </math>.

===טענה (כלל המנה)===

אם <math>a_{n}\rightarrow\pm\infty </math> אז <math>\frac{1}{a_{n}}\rightarrow0  </math>

ואם <math>a_{n}\rightarrow0  </math> אז <math>\frac{1}{\mid a_{n}\mid}\rightarrow\infty </math>

===תרגיל===

מצא את הגבול של <math>a_{n}=\frac{n^{2}}{2n+1}  </math>

===פתרון===

נשתמש באותו טריק כמו בתרגיל הקודם <math>\frac{n^{2}}{2n+1}=\frac{n^{2}\cdot1}{n^{2}(\frac{2}{n}+\frac{1}{n^{2}})}=\frac{1}{\frac{2}{n}+\frac{1}{n^{2}}} </math> 

נתבונן בסדרה <math>\frac{2}{n}+\frac{1}{n^{2}}</math> ברור שהגבול שלה הוא אפס ולכן לפי הלמה הקודמת <math>\frac{1}{\mid\frac{2}{n}+\frac{1}{n^{2}}\mid}\rightarrow\infty </math> אבל כל אחד מאיברי הסדרה הוא חיובי ולכן ניתן להוריד את ערך המוחלט ונקבל <math>\frac{1}{\frac{2}{n}+\frac{1}{n^{2}}}\rightarrow\infty </math>.

===טענה:===

אם <math>lim_{n\rightarrow\infty}a_{n}=L </math> ואם לכל n <math>a_{n}\geq0  </math> אזי <math>lim_{n\rightarrow\infty}\sqrt{a_{n}}=\sqrt{L} </math>.

===תרגיל===

חשבו את <math>lim_{n\rightarrow\infty}\sqrt{\frac{3n^{2}-2}{2n^{2}+n+1}} </math>

===פתרון===

נתבונן בסדרה <math>a_{n}=\frac{3n^{2}-2}{2n^{2}+n+1} </math> ברור שכל איברי הסדרה הם אי שליליים ולכן נוכל להשתמש בטענה הקודמת:

<math>lim_{n\rightarrow\infty}\frac{3n^{2}-2}{2n^{2}+n+1}=lim_{n\rightarrow\infty}\frac{n^{2}\left(3-\frac{2}{n^{2}}\right)}{n^{2}\left(2+\frac{1}{n}+\frac{1}{n^{2}}\right)}=\frac{3}{2} </math>
ולכן הגבול של הסדרה שלנו הוא פשוט: <math>lim_{n\rightarrow\infty}\sqrt{\frac{3n^{2}-2}{2n^{2}+n+1}}=\sqrt{\frac{3}{2}} </math>

===הערה===
אם <math>lim_{n\rightarrow\infty}a_{n}=L </math> וכל איברי הסדרה הם אי שליליים אזי <math>lim_{n\rightarrow\infty}\sqrt[k]{a_{n}}=\sqrt[k]{L} </math>.

===כפל במספר צמוד===

====תרגיל====

חשב את הגבול של <math>a_{n}=\sqrt{n+2}-\sqrt{n} </math>

====פתרון====

מחובר הראשון נוסחה של האיבר הכללי שואף לאינסוף ואילו המחובר השני שואף ומינוס אינסוף ולכן לא מובן כאן מה יכול להיות הגבול, ולכן נכפיל את המונה ואת המכנה במסר צמוד ונחשב את הגבול:

<math>lim_{n\rightarrow\infty}\frac{\left(\sqrt{n+2}-\sqrt{n}\right)\left(\sqrt{n+2}+\sqrt{n}\right)}{\sqrt{n+2}+\sqrt{n}}=lim_{n\rightarrow\infty}\frac{n+2-n}{\sqrt{n+2}+\sqrt{n}}=lim_{n\rightarrow\infty}\frac{2}{\sqrt{n+2}+\sqrt{n}}=lim_{n\rightarrow\infty}\frac{\sqrt{n}\cdot\frac{2}{\sqrt{n}}}{\sqrt{n}\left(1+\frac{2}{n}+1\right)}=0 </math>

====תרגיל====

חשב את הגבול של <math>a_{n}=n\left(\sqrt{n^{2}+1}-\sqrt{n^{2}-1}\right) </math>

====פתרון====

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

<math>lim_{n\rightarrow\infty}\frac{n\left(\sqrt{n^{2}+1}-\sqrt{n^{2}-1}\right)\left(\sqrt{n^{2}+1}+\sqrt{n^{2}-1}\right)}{\sqrt{n^{2}+1}+\sqrt{n^{2}-1}}=lim_{n\rightarrow\infty}\frac{2n}{n\left(\sqrt{1+\frac{1}{n^{2}}}+\sqrt{1-\frac{1}{n^{2}}}\right)}=1 </math>

====שאלה====
האם סדרה חייבת להתכנס למספר או לפלוס איסוף או למינוס איסוף?

====תשובה====
לא!

====דוגמאות לסדרות שלא מתכנסות לא למספר ולא לאינסוף ולא למינוס אינסוף====

1) <math>a_{n}=\left(-1\right)^{n}  </math>

2) <math>\left(-1\right)^{n}n </math>

====טענה====

תהי <math>a_{n}=s^{n} </math> סדרה הנדסית. אזי <math>lim_{n\rightarrow\infty}s^{n}=\begin{cases}
0 & 0\leq s<1\\
1 & s=1\\
\infty & s>1
\end{cases} </math>

====תרגיל====

חשב את הגבול של <math>a_{n}=\frac{3^{n-1}}{2^{n}} </math>

====פתרון====

<math>lim_{n\rightarrow\infty}\frac{3^{n-1}}{2^{n}}=lim_{n\rightarrow\infty}\frac{3^{n}3^{-1}}{2^{n}}=lim_{n\rightarrow\infty}\left(\frac{3}{2}\right)^{n}3^{-1}=\infty </math>

השוויון האחרון נכון כי <math>\left(\frac{3}{2}\right)</math> היא סדרה הנדסית בבסיס <math>\frac{3}{2}>1 </math> ולכן לפי טענה קודמת קיבלנו שהגבול הוא אינסופי.