88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/סדרות/גבול: הבדלים בין גרסאות בדף

גרסה מ־14:27, 17 באוקטובר 2011

ההגדרה המדוייקת של סדרה

בבדידה נלמד/למדנו את ההגדרה המדוייקת של פונקציה. סדרה הינה פונקציה מקבוצת הטבעיים אל קבוצה כלשהי. סדרה ממשית, למשל, הינה פונקציה מהטבעיים אל הממשיים.

באופן טבעי, התמונה של המספר הטבעי 1 נקראת האיבר הראשון של הסדרה, התמונה של 2 היא האיבר השני וכן הלאה.

גבול של סדרה

תהי סדרת מספרים ממשיים [math]\displaystyle{ \{a_n\}_1^{\infty}=a_1,a_2,a_3,... }[/math], (כך ש [math]\displaystyle{ a_1,a_2,a_3,...\in\mathbb{R} }[/math]).

לדוגמא:

[math]\displaystyle{ \{\frac{1}{2^n}\}_1^{\infty}=\frac{1}{2},\frac{1}{4},\frac{1}{8},... }[/math]

גבול של סדרה הוא נקודה ממשית אליה איברי הסדרה מתקרבים. לסדרה שלא מתקרבת לנקודה ספציפית אין גבול, למשל: [math]\displaystyle{ 0,1,0,1,0,... }[/math] (לסדרה זו אין גבול). נגדיר את מושג הגבול באופן מדוייק:

הגדרת הגבול

תהי [math]\displaystyle{ a_n }[/math] סדרה של מספרים ממשיים. אזי מספר ממשי [math]\displaystyle{ L\in\mathbb{R} }[/math] נקרא גבול הסדרה [math]\displaystyle{ a_n }[/math] אם לכל [math]\displaystyle{ 0\lt \epsilon\in\mathbb{R} }[/math] קיים [math]\displaystyle{ N_{\epsilon}\in\mathbb{N} }[/math] כך שלכל [math]\displaystyle{ n\gt N_{\epsilon} }[/math] מתקיים [math]\displaystyle{ |a_n-L|\lt \epsilon }[/math].

הסבר ההגדרה

נתרגם את זה למילים. למדנו ש[math]\displaystyle{ \epsilon\gt 0 }[/math] מודד אורך, מספר טבעי [math]\displaystyle{ N_{\epsilon}\in\mathbb{N} }[/math] מסמל מקום בסדרה, וערך מוחלט של הפרש מודד מרחק בין שני האיברים. בנוסף למדנו על המשפט הלוגי 'לכל סיר יש מכסה שמתאים לו'. עכשיו נרשום את הגדרת הגבול במילים:

נקודה L על ציר המספרים הממשיים היא גבול הסדרה [math]\displaystyle{ a_n }[/math]

אם לכל אורך ([math]\displaystyle{ \epsilon\gt 0 }[/math]) [סיר]

קיים מקום בסדרה ([math]\displaystyle{ N_{\epsilon}\in\mathbb{N} }[/math]) [מכסה]

כך שהחל ממנו והלאה (לכל [math]\displaystyle{ n\gt N_{\epsilon} }[/math]) מתקיים שהמרחק בין איברי הסדרה לבין הנקודה L קטן מהאורך [math]\displaystyle{ \epsilon }[/math] ([math]\displaystyle{ |a_n-L|\lt \epsilon }[/math]) [מתאים לו]

דוגמאות

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

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

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

כעת, אנו רוצים למצוא מקום בסדרה שהחל ממנו והלאה איברי הסדרה קרובים לאחד עד כדי אפסילון. כלומר:

[math]\displaystyle{ |\frac{n-1}{n}-1|\lt \epsilon }[/math]

נפתח את הביטוי.

[math]\displaystyle{ |\frac{n-1}{n}-1|=|\frac{-1}{n}|=\frac{1}{n} }[/math]

כעת, אנו מעוניינים כי יתקיים [math]\displaystyle{ \frac{1}{n}\lt \epsilon }[/math], זה נכון אם"ם [math]\displaystyle{ n\gt \frac{1}{\epsilon} }[/math]

נבחר, אפוא, [math]\displaystyle{ N_{\epsilon}\gt \frac{1}{\epsilon} }[/math] כלשהו (מותר כיוון שאחרת המספרים הטבעיים היו חסומים, וידוע שאין חסם עליון למספרים הטבעיים). לכן ברור כי לכל [math]\displaystyle{ n\gt N_{\epsilon} }[/math] מתקיים [math]\displaystyle{ n\gt N_{\epsilon}\gt \frac{1}{\epsilon} }[/math] ולכן איברי הסדרה קרובים ל-1 עד כדי אפסילון כפי שרצינו.

@@ שורה 30: / שורה 30: @@
 כך שהחל ממנו והלאה (לכל <math>n>N_{\epsilon}</math>) מתקיים שהמרחק בין איברי הסדרה לבין הנקודה L קטן מהאורך <math>\epsilon</math> (<math>|a_n-L|<\epsilon</math>) [מתאים לו]
+===דוגמאות===
+'''תרגיל.''' מצא את גבול הסדרה <math>\lim_{n\rightarrow\infty}\frac{n-1}{n}</math>
+'''פתרון.''' מהתבוננות באיברים הראשונים של הסדרה אנו '''מנחשים''' שגבול הסדרה הינו 1. נוכיח זאת.
+'''יהי אפסילון גדול מאפס'''. (הוכחה באינפי מתחילה בשורה זו לעיתים דחופות. מכיוון שההגדרות דורשות שתכונה מסוימת תתקיים '''לכל''' אפסילון, אם נוכיח אותה לאפסילון מבלי להתייחס לערך שלו, הוכחנו שהיא נכונה תמיד.)
+כעת, אנו רוצים למצוא מקום בסדרה שהחל ממנו והלאה איברי הסדרה קרובים לאחד עד כדי אפסילון. כלומר:
+::<math>|\frac{n-1}{n}-1|<\epsilon</math>
+נפתח את הביטוי.
+::<math>|\frac{n-1}{n}-1|=|\frac{-1}{n}|=\frac{1}{n}</math>
+כעת, אנו מעוניינים כי יתקיים <math>\frac{1}{n}<\epsilon</math>, זה נכון אם"ם <math>n>\frac{1}{\epsilon}</math>
+נבחר, אפוא, <math>N_{\epsilon}>\frac{1}{\epsilon}</math> כלשהו (מותר כיוון שאחרת המספרים הטבעיים היו חסומים, וידוע שאין חסם עליון למספרים הטבעיים). לכן ברור כי לכל <math>n>N_{\epsilon}</math> מתקיים <math>n>N_{\epsilon}>\frac{1}{\epsilon}</math> ולכן איברי הסדרה קרובים ל-1 עד כדי אפסילון כפי שרצינו.