משפט החיתוך של קנטור – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
מ קישור
Amitayk (שיחה | תרומות)
מ {{טופולוגיה}}
שורה 34: שורה 34:
כעת הראינו כי הסדרה <math>\!\,A_n</math> מקיימת את כל התכונות הדרושות, ולכן <math>\!\,\bigcap_n A_n\ne\emptyset</math>. יהא <math>\!\,x\isin\bigcap_n A_n</math>, אז לכל <math>\!\,n</math> מתקיים <math>\!\,x\isin A_n</math>, ולכן <math>\!\,d(x,x_n)\le diam A_n\rarr 0</math>, כלומר <math>\!\,x_n\rarr x</math>, והראינו שסדרת קושי שלנו מתכנסת.
כעת הראינו כי הסדרה <math>\!\,A_n</math> מקיימת את כל התכונות הדרושות, ולכן <math>\!\,\bigcap_n A_n\ne\emptyset</math>. יהא <math>\!\,x\isin\bigcap_n A_n</math>, אז לכל <math>\!\,n</math> מתקיים <math>\!\,x\isin A_n</math>, ולכן <math>\!\,d(x,x_n)\le diam A_n\rarr 0</math>, כלומר <math>\!\,x_n\rarr x</math>, והראינו שסדרת קושי שלנו מתכנסת.


[[category:טופולוגיה]]
[[קטגוריה:טופולוגיה]]
[[Category:משפטים מתמטיים|קנטור]]
[[קטגוריה:משפטים מתמטיים|קנטור]]

{{טופולוגיה}}

גרסה מ־16:54, 9 באפריל 2005

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

ניסוח פורמלי

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

הוכחה

כיוון אחד

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


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


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


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

כיוון שני

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


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


אנו רוצים להוכיח כי . לשם כך נוכיח קודם כל כי לכל קבוצה מתקיים . ברור כי (כי מכילה את ).


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


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

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