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

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

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

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

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

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

הוכחה

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

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

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

  1. כל הקטעים סגורים.
  2. כל קטע מוכל בקטעים הקודמים לו.
  3. סדרת אורכי הקטעים שואפת לאפס.
  4. כל קטע מכיל אינסוף נקודות של .

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

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

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

הוכחה נוספת

אפשר להוכיח את המשפט באמצעות שילוב של שתי טענות על סדרות ממשיות.

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

שנית, כל סדרה מונוטונית חסומה - מתכנסת (אל החסם העליון או התחתון שלה, בהתאמה לסוג הסדרה).

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


קישורים חיצוניים


שגיאות פרמטריות בתבנית:ויקישיתוף בשורה

פרמטרי חובה [ שם ] חסרים

  • משפט בולצאנו-ויירשטראס, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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