גבול של סדרה

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

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

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

סימון

את הטענה "הגבול של הסדרה $\{a_{n}\}_{n=1}^{\infty }$ הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L} " ניתן לכתוב באופן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}a_n=L} או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n \to L} (ולפעמים גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n \xrightarrow{n \to \infty} L} ). הצירוף lim הוא קיצור של המילה הלועזית limes שפירושה "גבול". בסימון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} , האות $a$ מציינת את הסדרה שהאיבר שייך אליה, ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} הוא אינדקס, המציין את מספרו הסידורי של האיבר בסדרה. הסמל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} מסמל את מושג האינסוף. החץ הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \to} מסמל שאיפה של הביטוי המצוין בתחילת החץ לזה שבסופו. כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \to \infty} מציין ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} שואף לאינסוף.

הגדרת הגבול

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

המשמעות של "קירבה לגבול"

ייצוג גרפי של סביבת הנקודה $a$ על ישר המספרים. המרחק של כל מספר בסביבה מהנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} קטן מרדיוס הסביבה, המיוצג על ידי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} ויכול להיות קטן כרצוננו.

על גבי הישר הממשי המרחק בין שני מספרים מוגדר כערך המוחלט של ההפרש שלהם

קבוצת המספרים שמרחקם מערך נתון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} אינו עולה על גודל קבוע (כלשהו), נקראת סביבה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} . בהקשר זה, מקובל להשתמש באות היוונית אפסילון (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} ) כדי לייצג את רדיוס הסביבה. רדיוס הסביבה הוא מספר חיובי ($\varepsilon >0$), אשר יכול להיות קטן כרצוננו. סביבה זו כוללת את כל המספרים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} המקיימים את התנאי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |x-a| < \varepsilon} .

במסגרת מושגים אלו ניתן להגדיר את אברי הסדרה ה"קרובים" אל הגבול בצורה מדויקת יותר כנמצאים בסביבה של הגבול, כך שהמרחק של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L} יהיה קטן מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} ; כלומר $\left|a_{n}-L\right|<\varepsilon$.

משום ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} יכול להיות קטן כרצוננו, על אברי הסדרה לענות על תנאי זה עבור כל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} . הסימון המתמטי של "לכל" הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall} . על כן, נכתוב את התנאי "לכל רדיוס סביבה חיובי אברי הסדרה נמצאים בסביבת הגבול" בצורה הבאה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall \varepsilon > 0,\, |a_n-L| < \varepsilon} .

עם זאת, משום שהגדרנו את אברי הסדרה כ"הולכים ומתקרבים" לגבול ולא כ"קרובים" אליו, אין צורך שכל אברי הסדרה יהיו בסביבת הגבול כדי לענות להגדרה זו. כלומר, מספיק שכמעט כל האיברים יהיו בסביבת הגבול, החל ממקום מסוים שאותו נהוג לסמן באות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} גדולה או $N_{0}$. על כך יורחב בהמשך.

המשמעות של "התקרבות לגבול"

הגדרה מדויקת של מושג הגבול תדרוש כי עבור כל סביבה של הגבול, ניתן למצוא מקום מסוים המסומן באות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} גדולה או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} , שהחל ממנו כל אברי הסדרה מצויים בתוך סביבה זו. דהיינו, עבור כל מרחק "קטן כרצוננו" מהגבול, קיים מספר טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0 = N_0(\varepsilon) \in \mathbb{N} } (שיכול להיות גדול מאוד, ותלוי בבחירה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} ), כך שכל איברי הסדרה מעבר לאותו מספר נמצאים בתוך מרחק זה מהגבול (הסימן של "קיים" הוא $\exists$). כיוון ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \to \infty} עד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} יש רק מספר סופי של אינדקסים וממנו והלאה יש מספר אינסופי של אינדקסים. לכן אפשר לומר שעבור כל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} , כמעט כל אברי הסדרה נמצאים במרחק שקטן מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} מהגבול - כלומר לא משנה עד כמה נצמצם את הסביבה של הגבול, עדיין כמעט כל הסדרה תישאר בתוך אותה סביבה.

הגדרה: תהא $\left\{a_{n}\right\}_{n=1}^{\infty }$ סדרה של מספרים ממשיים. נאמר על הסדרה שהיא מתכנסת למספר הממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle =L} , או ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L} הוא הגבול של הסדרה, ונסמן זאת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}a_n=L} או בקיצור $a_{n}\to L$ אם לכל מספר ממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon > 0} (קטן כרצוננו) קיים מספר טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} המקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n>N_{0}} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left|a_n-L\right| < \varepsilon} .

צורת כתיבה נוספת היא:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L = \lim_{n \to \infty} a_n \iff \forall \varepsilon > 0,\, \exists N_0 > 0,\, \forall n > N_0,\, |a_n-L| < \varepsilon }

איתור המספר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} שממנו והלאה אברי הסדרה נמצאים בסביבת הגבול

יש לשים לב שהאינדקס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} תלוי ב -הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} . ככל ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon} יהיה קטן יותר, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} המתאים לו, עשוי להיות גדול יותר. לעיתים מסמנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_\varepsilon} או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0(\varepsilon) } במקום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} כדי להדגיש עובדה זו.

כמו כן, יש לזכור שהאינדקס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} הוא מספר טבעי (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0 \in \mathbb{N} } ). כלומר, על פי הגדרת הגבול עליו להיות מספר שלם חיובי. לעיתים במהלך החישוב או ההוכחה של גבול של סדרה מסוימת יתקבל מספר ממשי חיובי שאינו שלם. במקרה זה האינדקס הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} יהיה הערך השלם העליון של המספר שהתקבל בחישוב. שכן משום שהוא גדול יותר מהמספר שהתקבל, גם ממנו והלאה אברי הסדרה יתכנסו לעבר הגבול. כדי להדגיש שמדובר בערך העליון (פונקציית התקרה) הוא יסומן כך: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lceil N \rceil} .

אפיון התכנסות לפי קושי

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

הגדרה: תהא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left\{a_n\right\}_{n=1}^\infty} סדרה של מספרים ממשיים. נאמר על הסדרה שהיא מקיימת את תנאי קושי אם לכל מספר ממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon > 0} (קטן כרצוננו) קיים מספר טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m,n} המקיימים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m,n > N_0} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left|a_n-a_m\right| < \varepsilon} .

גבול במובן הרחב

אומרים שסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} שואפת לאינסוף (או שאינסוף הוא גבול הסדרה), אם לכל מספר ממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} קיים מספר טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_0} כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} המקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n > N_0} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n > M} . ההגדרה של שאיפה למינוס אינסוף דומה.

כך למשל סדרה כמו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1,2,3,4,5,\ldots} שואפת לאינסוף, כי ה"זנב" שלה גדול מכל מספר ממשי שנרצה, אולם הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1,2,1,3,1,4\ldots} אינה שואפת לאינסוף, כי היא אמנם גדולה כרצוננו, אולם לא כל איברי ה"זנב" גדולים כרצוננו.

הגבול כאופרטור

בתוך המרחב הווקטורי של כל הסדרות הממשיות, שאותו מסמנים ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}^{\mathbb{N}}} או $\mathbb {R} ^{\omega }$, אוסף הסדרות המתכנסות מהווה אלגברה, שעליה מוגדר אופרטור הגבול: האופרטור מחזיר, עבור סדרה מתכנסת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a_n)} , את גבולה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}a_n} , שהוא מספר ממשי.

לפי אריתמטיקה של גבולות, בהינתן שתי סדרות מתכנסות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a_n)} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (b_n)} מתקיים

• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{n \to \infty}(a_n+b_n)=\lim_{n \to \infty}a_n+\lim_{n \to \infty}b_n}
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{n \to \infty}(a_nb_n)=\lim_{n \to \infty}a_n\cdot\lim_{n \to \infty}b_n}
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{n \to \infty}(\alpha b_n)=\alpha\cdot\lim_{n \to \infty}b_n}
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lim_{n \to \infty}\left(\frac{a_n}{b_n}\right)=\frac{\lim_{n \to \infty}a_n}{\lim_{n \to \infty}b_n}}

כאשר בסעיף האחרון נדרש ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty} b_n \neq 0} וש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n \neq 0} לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} .

מושגים קרובים

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

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

ראו גם

• גבול (מתמטיקה)
• גבול של פונקציה
• גבול (טופולוגיה)
• מבחני התכנסות לסדרות

קישורים חיצוניים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

31013646גבול של סדרה