הצגת המקור של הדף "חשבון אינפיניטסימלי 1 (20474)/סדרות"

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

על גבי [[w:הישר הממשי|הישר הממשי]], המרחק בין שני מספרים מוגדר כ[[w:ערך מוחלט|ערך המוחלט]] של [[w:חיסור|הפרשם]], ועל כן משתמשים בו בהגדרה המתמטית.

:'''הגדרה''': תהא <math>\{a_n\}_{n=1}^\infty</math>{{כ}} [[w:סדרה|סדרה]] של [[w:שדה המספרים הממשיים|מספרים ממשיים]]. נאמר על הסדרה שהיא '''מתכנסת''' למספר הממשי <math>L</math>, או ש- <math>L</math> הוא '''הגבול''' של הסדרה, ונסמן זאת <math>\lim_{n \to \infty}a_n=L</math> או בקיצור <math>a_n \to L</math> אם לכל מספר ממשי <math>\varepsilon > 0</math> (קטן כרצוננו) קיים מספר טבעי <math>k</math> כך שלכל <math>n</math> המקיים <math>n>k</math> מתקיים <math>|a_n-L| < \varepsilon</math>. יש לשים לב שהאינדקס <math>k</math> תלוי ב- <math>\varepsilon</math>. ככל ש <math>\varepsilon</math> יהיה קטן יותר,  <math>k</math> המתאים לו, עשוי להיות גדול יותר. לעתים מסמנים <math>k_\varepsilon</math> במקום <math>k</math> כדי להדגיש עובדה זו. 

כיון שעד <math>k</math> יש רק מספר סופי של אינדקסים אפשר לומר שעבור כל <math>\varepsilon</math>,{{כ}} [[w:כמעט כל (מתמטיקה)|כמעט כל]] אברי הסדרה נמצאים במרחק שקטן מ- <math>\varepsilon</math> מהגבול- כלומר לא משנה עד כמה נצמצם את הסביבה של הגבול, עדיין כמעט כל הסדרה תישאר בתוך אותה סביבה.

[[קטגוריה:חשבון אינפיניטסימלי 1 (20474)]]