חשבון אינפיניטסימלי/גבולות/משפטים בסיסיים: הבדלים בין גרסאות בדף
אין תקציר עריכה |
מאין תקציר עריכה |
||
שורה 67: | שורה 67: | ||
כל אברי הסדרה המקיימים <math>\ n \le N</math> מקיימים <math>\ a_n \le M</math> ויתר אברי הסדרה מקיימים <math>\ a_n < L+1</math> ולכן הסדרה חסומה מלעיל על ידי <math>\ max \left\{ M, L + 1 \right\}</math>. |
כל אברי הסדרה המקיימים <math>\ n \le N</math> מקיימים <math>\ a_n \le M</math> ויתר אברי הסדרה מקיימים <math>\ a_n < L+1</math> ולכן הסדרה חסומה מלעיל על ידי <math>\ max \left\{ M, L + 1 \right\}</math>. |
||
כל אברי הסדרה המקיימים <math>\ n \le N</math> מקיימים <math>\ a_n \ge m</math> ויתר אברי הסדרה מקיימים <math>\ a_n > L-1</math> ולכן הסדרה חסומה מלרע על ידי <math>\ min \left\{ M, L |
כל אברי הסדרה המקיימים <math>\ n \le N</math> מקיימים <math>\ a_n \ge m</math> ויתר אברי הסדרה מקיימים <math>\ a_n > L-1</math> ולכן הסדרה חסומה מלרע על ידי <math>\ min \left\{ M, L - 1 \right\}</math>. |
||
הראנו כי הסדרה חסומה מלעיל ומלרע ולכן הסדרה חסומה. |
הראנו כי הסדרה חסומה מלעיל ומלרע ולכן הסדרה חסומה. |
גרסה מ־20:39, 27 בינואר 2008
לאחר שהכרנו את מושג הגבול ואת הגדרת הגבול נעבור למספר משפטים שיציגו תכונות שונות של גבולות ושל סדרות מתכנסות -
משפט: אם קיים כך שלכל טבעי מתקיים אזי הוכחה: לכל קיים שעבורו מתקיים - ולכן
|
למעשה כבר ראינו דוגמא למשפט הזה בעמוד הקודם, עבור הסדרה שבה , המשפט תקף גם לכל מספר אחר, למשל -
מתקיים -
משפט: אם אזי הוכחה: על פי אי שוויון המשולש השני - נתון כי לכן לכל קיים כך שלכל מתקיים - . אזי לכל נבחר את אותו ה-, ואז - ולכן
|
אם נסתכל למשל על הסדרה - -
נראה כי הגבול שלה הוא . לכל נבחר ואז יתקיים -
לכן . כעת אם נרצה לדעת מה הגבול של הסדרה כלומר כל מה שצריך הוא להשתמש במשפט כדי לדעת כי .
משפט: סדרה מתכנסת מתכנסת לגבול יחיד
|
הוכחה זו עלולה להראות מעט סתומה בתחילה, ולכן נתעמק במשפט ובהוכחה. המשפט טוען כי אם ידוע לנו כי סדרה מסויימת שואפת לגבול מסויים - לא ייתכן כי אותה הסדרה תשאף גם לגבול אחר. כלומר אם אנחנו יודעים כי סדרה שואפת לאפס למשל, לא ייתכן שהיא שואפת גם ל-42. הוכחת המשפט הזה, כמו הוכחות רבות אחרות, מתבססת על הנחה בשלילה - אנו מתחילים את ההוכחה בהנחה כי משהו הוא נכון - מבצעים פעולות מתמטיות שאנחנו יודעים כי הן נכונות, ומגיעים לסתירה. כיוון שכל מה שעשינו בדרך פרט להנחה המקורית היה נכון - סימן שההנחה שגויה, הנקודה הבעייתית היא לנסח את ההנחה כך שעל ידי ההוכחה כי ההנחה שגויה יתברר כי המשפט נכון.
דבר נוסף שעשינו בתחילת ההוכחה היה להגיד "נניח בלי הגבלת הכלליות". משמעות הניסוח הזה היא שעומדים לפנינו שני מצבים שונים, שהדרך להוכיח אותם היא זהה לחלוטין, למעט הסימנים פלוס () או מינוס (), וקטן מ () או גדול מ (). בדרך כלל משפט זה יופיע בהוכחות שבהן אנחנו יודעים כי שני מספרים שונים זה מזה אך לא יודעים מי גדול יותר (ואין זה משנה את התוצאה - אלא רק את הדרך להראות אותה) או במקרים בהם צריך לטפל בנפרד במספרים חיוביים ושליליים.
ההוכחה עצמה התבססה על ההגדרה הראשונה של הגבול, ואם ננסח אותה בלשון מעט פחות מתמטית - אם הסדרה מתכנסת לגבול מסויים, ואנחנו רוצים להוכיח כי היא אינה מתכנסת למספר אחר נבחר סביבה בגודל מחצית ההפרש בינהם. הבחירה הזו יוצרת הפרדה בין הסביבה של הגבול הידוע לסביבה של המספר החדש - וכיוון שאנחנו יודעים איפנה נמצאים אינסוף מאברי הסדרה (בסביבת הגבול הידוע) לא ייתכן כי הם נמצאים בסביבת המספר החדש - ולכן הוא אינו גבול של הסדרה.
עכשיו תורכם: בהוכחת המשפט הנחנו בלי הגבלת הכלליות כי כלומר ניתן היה לבצע את אותה ההוכחה עם שינויי סימן וכיוון גם עבור . נסח את ההוכחה המדוייקת עבור המקרה הזה. |
משפט: יהיו שתי סדרות. אם וקיימים שני מספרים שלמים כך שלכל מתקיים אזי גם
ולכן
|
גם המשפט הזה עלול להראות לא ברור, אך הוא משפט חשוב ביותר - ולמעשה גם פשוט ביותר. המשפט הזה בעצם אומר שאם סדרה מסויימת מתכנסת לגבול מסויים, וסדרה אחרת זהה לסדרה הראשונה החל ממקום מסויים - גם הסדרה השנייה מתכנסת לאותו גבול. או לחילופין - אם לוקחים סדרה מתכנסת, מוסיפים לה מספר סופי של איברים, מחסירים ממנה מספר סופי של איברים, ומשנים בה מספר סופי של איברים - זה לא ישפיע על הגבול שלה. הסיבה שהמשפט הזה נכון היא פשוטה - בהתכנסות של סדרה אנחנו לא מסתכלים על האיברים הראשונים בסדרה, למעשה אנחנו לא מסתכלים על אף איבר בסדרה שניתן להצמיד לו מספר - אנחנו מסתכלים מה קורה לאברי הסדרה כשאנחנו מתקדמים לעבר האינסוף, ולכן שינוי שנעשה גם באיבר המליון, המליארד או הגוגול הוא זניח, ולא משפיע על הגבול. עם זאת יש לשים לב שמספר האיברים שאנו משנים בסדרה חייב להיות סופי, אפשר להסיר את 17 האיברים הראשונים, להחליף את האיבר ה42 ב-33 ולהוסיף במקום המליון ואחד את המספר - והגבול של הסדרה לא ישתנה, אבל אם למשל נוסיף את המספר 2 אחרי כל איבר עשירי - הרי ששינינו אינסוף איברים, והמשפט כבר לא יכול לעזור לנו לחשב את הגבול של הסדרה החדשה.
לדוגמא, נתונה הסדרה הבאה -
זו היא למעשה הסדרה שהוספנו לה 5 איברים בתחילתה. אבל כיוון שמהאיבר השישי והלאה הסדרות זהות גם הגבולות שלהן זהים, וכיוון שכבר ראינו ש אז לפי המשפט מתקיים גם .
משפט: אם סדרה מתכנסת אזי היא חסומה
נסתכל על קבצות האיברים בסדרה המקיימים כיוון ש הוא מספר נתון מדובר בקבוצה סופית, נסמן את המספר הגדול ביותר בקבוצה זו ב- ואת האיבר הקטן ביותר ב. כל אברי הסדרה המקיימים מקיימים ויתר אברי הסדרה מקיימים ולכן הסדרה חסומה מלעיל על ידי . כל אברי הסדרה המקיימים מקיימים ויתר אברי הסדרה מקיימים ולכן הסדרה חסומה מלרע על ידי . הראנו כי הסדרה חסומה מלעיל ומלרע ולכן הסדרה חסומה.
|
משפט: אם סדרה היא מונוטונית וחסומה אזי הסדרה מתכנסת
|
- | משפטים בסיסיים | - |