סדרות חסומות ותכונותיהן
סדרה חסומה
עריכה
הגדרה: סדרה חסומה סדרה תיקרא סדרה חסומה אם ורק אם קיים כך שלכל מתקיים , כלומר .
|
משפט: תהי סדרה, אם מתקיים או אז הסדרה לא חסומה. הוכחה: נוכיח לגבי המקרה שבו .
|
קבוצות חסומות
עריכה
הגדרה: חסם מלעיל ומלרע של קבוצה תהי קבוצה, אם לכל מתקיים , אז נקרא ל חסם מלעיל של הקבוצה , ואם לכל מתקיים , אז נקרא ל חסם מלרע של הקבוצה |
הגדרה: סדרה חסומה תהי סדרה, נאמר ש חסומה מלעיל אם ורק אם הקבוצה חסומה מלעיל, ונאמר שהסדרה חסומה מלרע אם ורק אם הקבוצה חסומה מלרע |
אינפימום וסופרמום
עריכה
הגדרה: אינפימום וסופרמום של קבוצה תהי קבוצה, ויהי , נקרא ל הסופרמום של הקבוצה , אם ורק אם מתקיימים שני תנאים, הראשון הוא ש חסם מלעיל של , והשני הוא שלכל , קיים כך שמתקיים , נסמן . נקרא ל האינפימום של הקבוצה , אם ורק אם מתקיימים שני תנאים, הראשון הוא ש חסם מלרע של , והשני הוא שלכל , קיים כך שמתקיים , ונסמן . |
משפט: תהיו קבוצות חסומות מלעיל ולא ריקות, אזי מתקיים הוכחה: נניח שמתקיים , ו , תחילה הסכום חסם מלעיל של , כיוון שלכל מתקיים , וגם לכל מתקיים , ולכן מתקיים לכל ולכל , האי שוויון , ולכן חסם מלעיל של הקבוצה , כעת נשתמש בנתון שמתקיים , ו , יהי , לכן קיים כך שמתקיים , וגם קיים כך שמתקיים , נחבר את שני האי שוויונות ונקבל , ולכן מתקיים , ההוכחה למקרה של אינפימום אנלוגית להוכחה זו.
|
משפט: תהי קבוצה חסומה מלעיל ולא ריקה, אז מתקיים אם ורק אם חסם מלעיל של , וקיימת סדרה שכל איבריה שייכים ל , ומתקיים . הערה: הטענה אנלוגית גם לגבי אינפימום של סדרה. הוכחה: נניח שמתקיים , לכן חסם מלעיל של , וגם לפי הגדרת הסופרמום, לכל קיים כך שמתקיים , אבל מתקיים גם ולכן, כיוון שמתקיים , נקבל ממשפט הסנדוויץ' שמתקיים גם . בכיוון השני, נניח שקיימת סדרה שכל איבריה שייכים ל ומתקיים , לכן לכל קיים , כך שלכל מתקיים , כלומר , ובפרט , לכן כמובן קיים אחד שזה מתקיים לגביו, ולכן לפי הגדרת הסופרמום מתקיים .
|
הלמה של קנטור
עריכה
משפט: תהי סדרה של קטעים סגורים , המקיימים את התנאים:
הוכחה: לכל מתקיים , לכן הסדרה עולה, והסדרה יורדת, כיוון שמתקיימת ההכלה, שתי הסדרות חסומות על ידי הקטע , ולכן חסומות. לפי המשפט הקודם, שתי הסדרות מתכנסות, וגם לפי ההנחה מתקיים , כעת נתבונן באיבר , מתקיים לכל האי שוויון , ולכן לכל , כעת נותר רק להוכיח שהוא האיבר היחיד ששייך לכל הקטעים, נניח שקיים עוד איבר בכל הקטעים, נסמן אותו , לכן מתקיים לכל , אבל מתקיים , ולכן ממשפט הסנדוויץ' נקבל שמתקיים , ולכן ואין עוד איבר ששייך לכל הקטעים.
|
גבול חלקי של סדרה
עריכה
הגדרה: גבול חלקי של סדרה תהי סדרה, נאמר ש גבול חלקי שלה, אם ורק אם לכל קיימים אינסוף ערכי עבורם מתקיים . הערה: שימו לב, בהגדרת הגבול דרשנו שהאי שוויון יתקיים לכל , כאן אנו רק דורשים שזה יתקיים לאינסוף ערכים.
|
משפט בולצאנו ויירשטראס
עריכה
משפט: לכל סדרה חסומה קיימת תת-סדרה מתכנסת. ישנן שתי הוכחות שונות, אחת נעזרת בלמה של קנטור, והשנייה לא, אוכיח בשתי הדרכים.
הוכחה: הוכחה בעזרת הלמה של קנטור: תהי סדרה חסומה, קיימים זוג מספרים ממשיים כך שמתקיים וכל איברי הסדרה נמצאים בקטע , נוכל לבנות סדרת קטעים יורדת , הקטע הראשון יהיה , בקטע השני, נחלק את הקטע לשני תתי קטעים באורך שווה, על ידי שימוש בנקודת האמצע , כלומר שני הקטעים יהיו , ו , כל איבר של הסדרה נמצא באחד משני הקטעים, ולכן לפחות אחד מהם מכיל אינסוף איברים מהסדרה, נבחר את הקטע הזה, ונסמן אותו , נחלק כעת שוב את הקטע לשני תתי קטעים שווי אורך כמו מקודם, נסמן אותם , שוב פעם, יש אינסוף איברים מהסדרה אשר נמצאים באחד מהקטעים לפחות, נבחר את הקטע הזה ונסמן אותו , נמשיך באותה השיטה, ולכן קיבלנו סדרת קטעים שמקיימת כל קטע מכיל את הקטע שאחריו, כל קטע באורך חצי מהקטע הקודם, בכל קטע יש אינסוף איברים מהסדרה , מהתנאי השני נקבל שאורך הקטע הוא , ולכן אורך זה שואף ל0 כאשר שואף לאינסוף, ולכן הסדרה מקיימת את תנאי הלמה של קנטור, לכן מתקבלת נקודה אחת משותפת לכל הקטעים, והיא שווה ל , נסמן את הנקודה הזו ב , כעת נוכל להגדיר סדרה המתכנסת ל בצורה הבאה: , אם הוגדר, נבחר את כך ש שייך לקטע , וגם , אפשר לעשות זאת כיוון שיש אינסופים אינדקסים המקיימים , באופן זה קיבלנו תת סדרה , ולכן לפי משפט הסנדוויץ' מתכנסת ומתקיים . .
כעת אנחנו יודעים שלכל סדרה חסומה קיימת תת סדרה מונוטונית, לכן לכל סדרה חסומה קיימת תת סדרה מונוטונית , אבל כיוון ש חסומה גם חסומה, ולכן לפי המשפט שהוכחנו מקודם היא מתכנסת(אם היא עולה אז מתכנסת לסופרמום, ואם יורדת אז מתכנסת לאינפימום שלה.)
|
קריטריון קושי להתכנסות סדרה
עריכה
הגדרה: קריטריון קושי להתכנסות סדרה תהי סדרה, נאמר שהסדרה מקיימת את תנאי קושי אם לכל קיים כך שלכל טבעיים, מתקיים . נקרא לסדרה שמתקיימת את התנאי הזה, סדרת קושי.
|