סדרה מתכנסת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Bustan1498 (שיחה | תרומות)
סידור
Bustan1498 (שיחה | תרומות)
שורה 11:
== התכנסות במרחבים טופולוגיים ==
 
את התנאי <math>d(a_n,x) < \epsilon</math> אפשר לנסח קצת אחרת: <math>a_n \in B_\epsilon(x)</math>, כאשר <math>B_r(x)</math> הוא ה[[כדור (טופולוגיה)|כדור]] ברדיוס <math>r</math> סביב <math>x</math>. ניסוח זה מוביל להגדרה הכללית של סדרה מתכנסת ב[[מרחב טופולוגי]] <math>X</math>: אומרים שסדרה <math>\{a_1,a_2,\dots\}</math> של נקודות ב-<math>X</math> '''מתכנסת''' לנקודה <math>x</math> ('''גבול הסדרה'''), אם לכל [[סביבה פתוחה]] <math>U</math> של <math>x</math>, יש מספר <math>N</math> שממנו והלאה מתקיים <math>a_n \in U</math>.
 
מרחב טופולוגי שבו לכל סדרה מתכנסת יש גבול יחיד נקרא '''מרחב-US'''. כפי האמור לעיל, כל מרחב מטרי מקיים את התכונה הזו, ובאופן יותר כללי, כל [[מרחב האוסדורף]] הוא מרחב-US. מאידך, כל מרחב-US מקיים את [[תכונת ההפרדה T1]]. למעשה, תכונת יחידות הגבול מתקיימת במשפחה מעט יותר כללית של מרחבים טופולוגיים: כל '''מרחב-KC'''{{הערה|מרחב-KC הוא מרחב טופולוגי שבו כל [[קבוצה קומפקטית]] היא [[קבוצה סגורה|סגורה]]}} הוא מרחב-US, וכל מרחב האוסדורף הוא מרחב-KC.