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

סדרות

הגדרה

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

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

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

דוגמאות

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

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

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

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

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

הגדרה (גבול של סדרה)

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

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

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

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

דוגמאות

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

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

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

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

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

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

תרגיל:

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

פתרון:

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

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