ויקיפדיה

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ הוספת תבנית:MathWorld בקישורים חיצוניים (תג) (דיון)
Bustan1498 (שיחה | תרומות)
5,536 עריכות
סידור
שורה 1:
{{פירוש נוסף|נוכחי=סדרה שיש לה גבול|אחר=איבר הגבול של סדרה מתכנסת|ראו=[[גבול של סדרה]]}}
{{סימון מתמטי}}
'''סדרה מתכנסת''' היא [[סדרה]] שיש לה [[גבול של סדרה|גבול]], כלומר, איבריה הולכים ושואפים ל[[מספר]] כלשהו. הסדרה <math>\ \{a_1,a_2,\dots\}</math> מתכנסת למספר <math>L</math> אם לכל ערך חיובי <math>\ \epsilon</math> יש מספר טבעי <math>N</math> שממנו והלאה מתקיים <math>\ |a_n - L| < \epsilon</math>. סדרה שאינה מתכנסת נקראת '''סדרה מתבדרת'''. את מושג הסדרה המתכנסת אפשר להגדיר לא רק עבור מספרים ממשיים, אלא בכל [[מרחב מטרי]], ואפילו בכל [[מרחב טופולוגי]] (ראו [[גבול (טופולוגיה)]]).
 
== סדרות מתכנסות במרחבים מטריים ==
 
למושג הסדרה המתכנסת תפקיד מרכזי באנליזה של [[מרחב מטרי|מרחבים מטריים]]. אומרים שסדרה <math>\ \{a_1,a_2,\dots\}</math> של נקודות במרחב מטרי <math>X</math> (עם [[מטריקה]] <math>d</math>) '''מתכנסת''' לנקודה <math>x</math> ('''גבול הסדרה'''), אם לכל ערך חיובי <math>\ \epsilon</math> יש מספר טבעי <math>N</math> שממנו והלאה מתקיים <math>\ d(a_n,x) < \epsilon</math>. במרחב מטרי, לסדרה מתכנסת יש גבול יחיד.
 
את ההתכנסות של סדרה ממשית אפשר לאבחן גם ללא התייחסות ישירה לגבול: סדרה ממשית היא מתכנסת אם ורק אם היא [[סדרת קושי]]. התכונה הזו מלמדת הרבה על [[שדה המספרים הממשיים|מרחב המספרים הממשיים]]. אכן, סדרה מתכנסת היא סדרת קושי בכל מרחב מטרי, אבל ההפך לא תמיד נכון; למשל, סדרת קושי של מספרים רציונליים אינה מוכרחה להתכנס (במרחב המספרים הרציונליים). מרחב מטרי שבו כל סדרת קושי מתכנסת נקרא [[מרחב מטרי שלם]]. כל מרחב מטרי אפשר להשלים, כלומר לשכן באופן [[קבוצה צפופה|צפוף]] במרחב מטרי שלם.
שורה 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.
שורה 19:
=== רשתות מתכנסות ===
 
בסדרה, מותאמת נקודה של המרחב לכל מספר טבעי. ב[[רשת (טופולוגיה)|רשת]], מחליפה את קבוצת המספרים הטבעיים [[קבוצה מכוונת]]. ההגדרה נותרת בעינה: הרשת <math>\ a_{\lambda}</math> '''מתכנסת''' לנקודה x ('''גבול הרשת'''), אם לכל [[סביבה פתוחה]] <math>U</math> של <math>x</math>, יש מקום <math>\ \lambda_0</math> שממנו והלאה (כלומר לכל <math>\ \lambda > \lambda_0</math>) מתקיים <math>\ a_\lambda \in U</math>.
 
סדרה היא סוג של רשת, והסדרה מתכנסת (כסדרה) אם ורק אם היא מתכנסת כרשת, ולאותן נקודות גבול. לרשתות יתרונות רבים על-פני סדרות. לדוגמה, מרחב טופולוגי מקיים את תכונת האוסדורף אם ורק אם לכל רשת מתכנסת יש גבול יחיד.
אוחזר מתוך "https://he.wikipedia.org/wiki/סדרה_מתכנסת"