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