תנאי הכרחי להתכנסות טור אינסופי

תנאי הכרחי להתכנסות טורים אינסופיים הוא שהאיבר הכללי ישאף לאפס. באופן פורמלי: אם $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס אז $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$.

שימוש

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

שלא כמו מבחני התכנסות, תנאי הכרחי להתכנסות אינו יכול להוכיח בעצמו שהטור מתכנס. זאת מהסיבה הפשוטה שמדובר בתנאי הכרחי אך לא בתנאי מספיק. לפיכך, הכיוון השני של המשפט אינו נכון. כלומר, לא ניתן לומר שאם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$ אז $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס. כלומר, אם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$ זה לא מספיק כדי לומר אם הטור מתכנס או מתבדר. מאידך, בזכות הקונטרה פוזיציה מותר לומר כי אם $\underset{n\to \mathrm{\infty }}{\lim }{a}_n\ne 0$ או$a_n$ מתבדרת, אז הטור $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתבדר.

דוגמה

הסדרה ההרמונית $a_n=\frac{1}{n}$ היא דוגמה ידועה לסדרה שסכומה מתבדר, אף על פי שהאיבר הכללי שלה שואף לאפס. באופן כללי, לפי "מבחן ה-p" מתקיים עבור הטור ההרמוני המוכלל $\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^p}$ כי

• אם $p\le 1$ אז הטור מתבדר.
• אם $0<p\le 1$ אז הטור מתבדר לפי מבחן האינטגרל.
• $p>1$ אז הטור מתכנס לפי מבחן האינטגרל.

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

הוכחה

נוכיח כי אם $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס, אז $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$.

נגדיר את הסדרה $S_n$ כסדרת הסכומים החלקיים של הסדרה $a_n$. כלומר, $S_n=a_1,a_1+a_2,a_1+a_2+a_3\cdots$.

מההנחה ש-$\sum _{n=1}^{\mathrm{\infty }}{a}_n$ מתכנס נובע שהסדרה $S_n$ מתכנסת. כלומר קיים $L\in \mathbb{ℝ}$ עבורו $\underset{n\to \mathrm{\infty }}{\lim }{S}_n=L$.

נשים לב כי $S_n-S_{n-1}=(a_1+a_2+\cdots a_n)-(a_1+a_2+\cdots a_{n-1})=a_n$, אזי:

$\underset{n\to \mathrm{\infty }}{\lim }{a}_n=\underset{n\to \mathrm{\infty }}{\lim }(S_n-S_{n-1})=\underset{n\to \mathrm{\infty }}{\lim }{S}_n-\underset{n\to \mathrm{\infty }}{\lim }{S}_{n-1}=L-L=0$

אז מטרנזיטיביות השוויון: $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=0$

הערות שוליים

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

שגיאות פרמטריות בתבנית:מיון ויקיפדיה
שימוש בפרמטרים מיושנים [ דרגה ] תנאי הכרחי להתכנסות טור אינסופי34230100