לדלג לתוכן

סדרות חסומות ותכונותיהן

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי


סדרה חסומה

[עריכה]

הגדרה: סדרה חסומה

סדרה תיקרא סדרה חסומה אם ורק אם קיים כך שלכל מתקיים , כלומר .


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


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



משפט: תהי סדרה, אם מתקיים או אז הסדרה לא חסומה.

הוכחה: נוכיח לגבי המקרה שבו .


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


קבוצות חסומות

[עריכה]

הגדרה: חסם מלעיל ומלרע של קבוצה

תהי קבוצה, אם לכל מתקיים , אז נקרא ל חסם מלעיל של הקבוצה , ואם לכל מתקיים , אז נקרא ל חסם מלרע של הקבוצה


הגדרה: סדרה חסומה

תהי סדרה, נאמר ש חסומה מלעיל אם ורק אם הקבוצה חסומה מלעיל, ונאמר שהסדרה חסומה מלרע אם ורק אם הקבוצה חסומה מלרע


אינפימום וסופרמום

[עריכה]

הגדרה: אינפימום וסופרמום של קבוצה

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



משפט: תהיו קבוצות חסומות מלעיל ולא ריקות, אזי מתקיים

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





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

הוכחה: נניח שמתקיים , לכן חסם מלעיל של , וגם לפי הגדרת הסופרמום, לכל קיים כך שמתקיים , אבל מתקיים גם ולכן, כיוון שמתקיים , נקבל ממשפט הסנדוויץ' שמתקיים גם .

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




הלמה של קנטור

[עריכה]

משפט: תהי סדרה של קטעים סגורים , המקיימים את התנאים:

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

הוכחה:

לכל מתקיים , לכן הסדרה עולה, והסדרה יורדת, כיוון שמתקיימת ההכלה, שתי הסדרות חסומות על ידי הקטע , ולכן חסומות.

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




גבול חלקי של סדרה

[עריכה]

הגדרה: גבול חלקי של סדרה

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


דוגמא: נוכיח שהערך הוא גבול חלקי של הסדרה .


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



משפט בולצאנו ויירשטראס

[עריכה]

משפט: לכל סדרה חסומה קיימת תת-סדרה מתכנסת.

ישנן שתי הוכחות שונות, אחת נעזרת בלמה של קנטור, והשנייה לא, אוכיח בשתי הדרכים.


הוכחה: הוכחה בעזרת הלמה של קנטור:

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

איבר של הסדרה נמצא באחד משני הקטעים, ולכן לפחות אחד מהם מכיל אינסוף איברים מהסדרה, נבחר את הקטע הזה, ונסמן אותו , נחלק כעת שוב את הקטע לשני תתי קטעים שווי אורך כמו מקודם, נסמן אותם

, שוב פעם, יש אינסוף איברים מהסדרה אשר נמצאים באחד מהקטעים לפחות, נבחר את הקטע הזה ונסמן אותו , נמשיך באותה השיטה, ולכן קיבלנו סדרת קטעים שמקיימת כל קטע

מכיל את הקטע שאחריו, כל קטע באורך חצי מהקטע הקודם, בכל קטע יש אינסוף איברים מהסדרה , מהתנאי השני נקבל שאורך הקטע הוא , ולכן אורך זה שואף ל0 כאשר שואף לאינסוף,

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

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


הוכחה ללא הלמה של קנטור: בשביל ההוכחה הזו נצטרך להוכיח טענת עזר.


טענה: לכל סדרה קיימת תת סדרה מונוטונית

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

  1. קייימים אינסוף איברים שעונים להגדרה של "מינימום מקומי" , נבחר תחילה את הראשון, לאחר מכן את השני, לאחר מכן את השלישי וכו', קיבלנו תת סדרה מונוטונית עולה(לפי ההגדרה של "מינימום מקומי"), ולכן ההוכחה הסתיימה.
  1. קיים מספר סופי של איברים העונים להגדרה של "מינימום מקומי" , נניח שהאיבר האחרון שעונה להגדרה, הוא , לכן נבחר תחילה את , כיוון שהוא לא עונה להגדרה של "מינימום מקומי" , בהכרח קיים איבר שקטן ממנו, נבחר בו, כעת כיוון שגם

הוא לא עונה להגדרה של "מינימום מקומי", בהכרח קיים איבר שקטן ממנו, לכן נבחר בו ונמשיך ככה, ובכך קיבלנו תת סדרה מונוטונית יורדת.

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

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

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




קריטריון קושי להתכנסות סדרה

[עריכה]

הגדרה: קריטריון קושי להתכנסות סדרה

תהי סדרה, נאמר שהסדרה מקיימת את תנאי קושי אם לכל קיים כך שלכל טבעיים, מתקיים . נקרא לסדרה שמתקיימת את התנאי הזה, סדרת קושי.



משפט: קריטריון קושי להתכנסות סדרה

סדרה מתכנסת אם ורק אם היא סדרת קושי.


הוכחה:

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


כעת נוכיח את הכיוון השני, נניח שהסדרה מקיימת את תנאי קושי, ונראה שהיא מתכנסת.

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

, לכן לכל מתקיים והסדרה חסומה.

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


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