הצגת המקור של הדף "טור (מתמטיקה)"

{{סימון מתמטי}}
ב[[מתמטיקה]] מושג ה'''טור''' מציין את [[סכום|סכומה]] של [[סדרה (מתמטיקה)|סדרה]], שיכולה להיות סדרת [[מספר]]ים, וגם סדרה של [[פונקציה|פונקציות]]. למשל, <math>1+2+3</math> הוא טור שסכומו 6. נהוג להבדיל בין שני סוגי טורים עיקריים: טור סופי וטור [[אינסוף|אינסופי]]. כבר המתמטיקאי היווני הקדום [[ארכימדס]] (נפטר ב-[[210-219 לפנה"ס|212 לפני הספירה]]) חישב סכום של טור אינסופי.

[[תנאי הכרחי להתכנסות טור אינסופי]] הוא שהאיבר הכללי ישאף לאפס.

==טורים סופיים==
טורים סופיים אינם אלא דרך מקוצרת לרשום בה [[סכום|חיבור]] של [[איבר (מתמטיקה)|איברים]] רבים. באופן כללי, הסימון המקוצר עבור הסכום <math>a_1+a_2+a_3+\cdots+a_n</math> הוא באמצעות האות היוונית [[סיגמא]], בסימון זה: <math>\sum_{k\,=\,1}^na_k</math> כאשר <math>n</math> הוא מספר האיברים, ו-<math>k</math> הוא '''אינדקס''' העובר על הערכים <math>1,2,\ldots,n</math>.

ישנם כמה סוגי טורים הראויים להתייחסות מיוחדת:

===טור חשבוני===
טור חשבוני הוא סכומה של [[סדרה חשבונית]]. סכום זה שווה למכפלת חצי מספר האיברים בסכום האיבר הראשון והאחרון: <math>\sum_{k\,=\,1}^na_k=\frac{n}{2}(a_1+a_n)</math> (ראו בעניין זה "[[קרל פרידריך גאוס#ביוגרפיה|אנקדוטה על אודות קרל פרידריך גאוס]]").

===טור טלסקופי===
טור טלסקופי הוא כינוי לכל טור בו מצטמצמים כל האיברים למעט האיבר הראשון והאחרון, עובדה המקלה על [[חישוב]] סכומם. נסתכל למשל בטור 
:<math>\frac{1}{1\cdot2}+\frac{1}{2\cdot3}+\cdots+\frac{1}{n(n+1)}</math>
שבו האיבר ה-<math>k</math> הוא <math>\frac{1}{k(k+1)}</math>. מכיוון ש-<math>\frac{1}{k}-\frac{1}{k+1}=\frac{k+1-k}{k\cdot(k+1)}=\frac{1}{k\cdot(k+1)}</math>, סכום <math>n</math> האיברים הראשונים הוא
:<math>\left(\frac11-\frac12\right)+\left(\frac12-\frac13\right)+\cdots+\left(\frac{1}{n-1}-\frac{1}{n}\right)+\left(\frac{1}{n}-\frac{1}{n+1}\right)</math>
שינוי סדר הפעולות מראה שהסכום הזה שווה
:<math>\frac11+\left(-\frac12+\frac12\right)+\cdots+\left(-\frac{1}{n}+\frac{1}{n}\right)-\frac{1}{n+1}=1-\frac{1}{n+1}=\frac{n}{n+1}</math>
(ראו גם "[[טור (מתמטיקה)#חישוב סכום של טור טלסקופי|חישוב סכום של טור טלסקופי אינסופי]]")

===טור הנדסי===
טור הנדסי (או טור מעריכי או גאומטרי) הוא סכום איבריה של [[סדרה הנדסית]]. למשל, הטור <math>1+2+4+8+\cdots+2^{n-1}</math> הוא טור של איברי סדרה הנדסית המתחילה ב-1, והמנה שלה היא 2.

====סכום טור הנדסי סופי====
סכום סופי של סדרה הנדסית כלשהי הוא: <math>S_n=a_1\cdot\frac{q^n-1}{q-1}</math>,{{ש}}
כאשר <math>q\ne1</math> מנת הסדרה, <math>a_1</math> האיבר הראשון בסדרה ומספר האיברים בה הוא <math>n</math>.

'''הוכחת הנוסחה:'''
:<math>\begin{align}S_n&=a_1+a_1q+\cdots+a_1q^{n-2}+a_1q^{n-1}\\qS_n&=a_1q+a_1q^2+\cdots+a_1q^{n-1}+a_1q^n\\qS_n-S_n&=a_1q^n-a_1\\(q-1)S_n&=a_1(q^n-1)\\S_n&=a_1\cdot\frac{q^n-1}{q-1}\end{align}</math>

====סכום טור הנדסי אינסופי====
כאשר הסכום הוא אינסופי ו־<math>|q|<1</math> הטור מתכנס ומאחר ש-<math>\lim_{n\to\infty}q^n=0</math> נקבל כי
<math>S_\infty=a_1\cdot\lim_{n\to\infty}\frac{q^n-1}{q-1}=\frac{a_1}{1-q}</math> (אם <math>|q|\ge1</math> הטור מתבדר).

===זהויות אלגבריות של טורים סופיים===
ניתן לחלק זהויות של טורים סופיים לכאלה שנובעות ממניפולציות על אינדקסים וכאלה שמבוססות על [[אקסיומה|אקסיומות]] [[מבנה אלגברי|המבנה האלגברי]] שאת איבריו סוכם הטור. כך למשל, הזהות של ''הזזת אינדקסים'' <math>\sum_{n\,=\,s}^ta_n=\sum_{n\,=\,s+p}^{t+p}a_{n-p}</math> שומרת על סדר הסכימה ולכן לא תלויה באקסיומות של המבנה האלגברי מעליו היא נעשית. לעומת זאת, הזהות <math>\sum_{k\,=\,1}^nC\cdot a_n=C\cdot\sum_{k\,=\,1}^na_n</math> מבוססת על [[חוק הפילוג]]. יותר מכך, הזהות האחרונה היא הכללה של חוק הפילוג, כיוון שזה מתקבל עבור <math>n=2</math>.

לשם הוכחת הזהויות משתמשים בדרך כלל ב[[אינדוקציה מתמטית]]. כך לדוגמה, הזהות <math>\sum_{k\,=\,1}^nC\cdot a_n=C\cdot\sum_{k\,=\,1}^na_n</math> מתקיימת בכל [[שדה (מבנה אלגברי)|שדה]] עבור <math>n=2</math> לפי חוק הפילוג, ואם מניחים שהשוויון מתקיים עבור <math>n</math> כלשהו אז על ידי שימוש בהנחת האינדוקציה ובחוק הפילוג נקבל
:<math>\sum_{k\,=\,1}^{n+1}C\cdot a_k=\left(\sum_{k\,=\,1}^nC\cdot a_k\right)+C\cdot a_{n+1}=\left(C\cdot\sum_{k\,=\,1}^na_k\right)+C\cdot a_{n+1}=C\cdot\left(\left(\sum_{k\,=\,1}^na_k\right)+a_{n+1}\right)=C\cdot \sum_{k\,=\,1}^{n+1}a_k</math>
מכאן נסיק שהשוויון נכון עבור כל <math>n</math> טבעי (עבור <math>n=1</math> השוויון טריוויאלי). 

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

להלן ריכוז זהויות הנכונות מעל [[שדה (מבנה אלגברי)|שדות]] (למשל [[שדה המספרים הממשיים]]) על פי האקסיומת מהן הן נובעות:

====חוק הפילוג====
:<math>\sum_{k\,=\,1}^nC\cdot a_n=C\cdot\sum_{k\,=\,1}^na_n</math> (הכללה של חוק הפילוג)
:<math>\left(\sum_{i\,=\,0}^na_i\right)\left(\sum_{j\,=\,0}^nb_j\right)=\sum_{i\,=\,0}^n\sum_{j\,=\,0}^n a_ib_j</math>
:<math>\sum_{i\,=\,s}^m\sum_{j\,=\,t}^n{a_i}{c_j}=\left(\sum_{i\,=\,s}^ma_i\right)\left(\sum_{j\,=\,t}^nc_j\right)</math> (וריאציה על חוק הפילוג)

====[[פעולה אסוציאטיבית|אסוציאטיביות]]====
:<math>\sum_{n\,=\,s}^ta_n=\sum_{n\,=\,s}^ja_n+\sum_{n\,=\,j+1}^ta_n</math> (פיצול טור)
:<math>\sum_{n\,=\,a}^ba_n=\sum_{n\,=\,0}^{b}a_n-\sum_{n\,=\,0}^{a-1}a_n</math> (וריאציה של הזהות הקודמת)

====אסוציאטיביות וקומוטטיביות====
בהתבסס על [[חוק החילוף]], זהויות אלו מאפשרות את שינוי סדר הסכימה:
:<math>\sum_{n\,=\,s}^ta_n\pm\sum_{n\,=\,s}^tb_n=\sum_{n\,=\,s}^t(a_n\pm b_n)</math>
:<math>\sum_{i\,=\,k_0}^{k_1}\sum_{j\,=\,l_0}^{l_1}a_{i,j}=\sum_{j\,=\,l_0}^{l_1}\sum_{i\,=\,k_0}^{k_1}a_{i,j}</math>
:<math>\sum_{k\,\le\,j\,\le\,i\,\le\ n}\!\!\!a_{i,j}=\sum_{i\,=\,k}^n\sum_{j\,=\,k}^ia_{i,j}=\sum_{j\,=\,k}^n\sum_{i\,=\,j}^na_{i,j}=\sum_{j\,=\,0}^{n-k}\sum_{i\,=\,k}^{n-j}a_{i+j,i}</math>
:<math>\sum_{n\,=\,2s}^{2t+1}a_n=\sum_{n\,=\,s}^ta_{2n}+\sum_{n\,=\,s}^ta_{2n+1}</math> (פיצול הטור לטור האיברים [[זוגיות (מתמטיקה)|הזוגיים]] וטור האיברים האי-זוגיים)
:<math>\sum_{n\,=\,2s+1}^{2t}a_n=\sum_{n\,=\,s+1}^ta_{2n}+\sum_{n\,=\,s+1}^t a_{2n-1}</math> (גרסה נוספת לפיצול של טור לפי הזוגיות של האיברים)

קומוטטיביות יחד עם מניפולציות על אינדקסים:
:<math>\sum_{n\,=\,0}^ta_n=\sum_{n\,=\,0}^ta_{t-n}</math> (היפוך סדר הסכימה)
:<math>\sum_{n\,=\,s}^ta_n=\sum_{n\,=\,0}^{t-s}a_{t-n}</math> (היפוך סדר הסכימה עם הזזת אינדקסים)

==טורים אינסופיים==
טורים אינסופיים הם הכללה של טורים סופיים, שמאפשרת סכימה של אינסוף איברים. באופן אינטואיטיבי, ניתן לחשוב על סכימה של טור אינסופי כסדרה של צעדים, כשבכל שלב מוספים לסכום מהשלב הקודם איבר נוסף. אם הסכום "הולך ומתקרב" למספר סופי אומרים שהטור מתכנס וסכומו הוא הערך אליו הוא מתקרב. אחרת, הטור מתבדר (לא נהוג לדבר על התכנסות לאינסוף בהקשר של טורים). לדוגמה, הטור <math>\sum_{k\,=\,1}^\infty a_k</math> סוכם את איברי הסדרה <math>(a_k)</math> החל מהאיבר הראשון <math>a_1</math>. טור אינסופי מוגדר באמצעות סדרה של '''סכומים חלקיים''' <math>(S_n)</math>, כאשר כל סכום חלקי הוא סכום <math>n</math> האיברים הראשונים של הטור, כלומר <math>S_n=\sum_{k=1}^n a_k</math>. אם סדרת הסכומים החלקיים <math>\left\{S_n\right\}_{n=1}^\infty</math> [[סדרה מתכנסת|מתכנסת]], אומרים שהטור מתכנס וסכומו מוגדר להיות [[גבול של סדרה|גבול הסדרה]]. בניסוח אחר, טור <math>\sum_{k=1}^\infty a_k</math> מתכנס [[אם ורק אם]] קיים <math>L\in\R</math> כך ש- <math>\lim_{n\to\infty}\sum_{k=1}^n a_k=L</math>, ובמקרה זה <math>\sum_{k=1}^\infty a_k=L</math>.

ההגדרה של טור באמצעות סדרת סכומיו החלקיים מאפשרת להשתמש ב[[אריתמטיקה של גבולות]] לחישוב גבולות של טורים מתכנסים. לדוגמה, ניתן להכליל את חוק הפילוג אותו הוכחנו עבור טורים סופיים לטורים אינסופיים: אם <math>\sum_{k=1}^\infty a_k</math> מתכנס, אז <math>\sum_{k=1}^\infty c\cdot a_k=\lim_{n\to\infty}\sum_{k=1}^n c\cdot a_k=\lim_{n\to\infty}c\cdot\sum_{k=1}^n a_k=c\cdot\lim_{n\to\infty}\sum_{k=1}^n a_k=c\cdot\sum_{k=1}^\infty a_k</math>. לעומת זאת, לפי [[משפט רימן (תורת הטורים)|משפט רימן]] תכונת ה[[קומוטטיביות]] לא מתקיימת עבור כל טור מתכנס, וכך גם תכונת ה[[אסוציאטיביות]].

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

"[[תנאי הכרחי|התנאי ההכרחי]]" מספק דרך פשוטה יחסית לשלילת התכנסות של טור. לפי תנאי זה טור מתכנס רק אם האיבר הכללי שלו שואף לאפס. כלומר, על מנת להראות שטור מתבדר מספיק להראות שהאיבר הכללי שלו מתכנס למספר שונה מאפס או מתבדר. תנאי זה אינו [[תנאי מספיק]], ויש טורים מתבדרים שהאיבר הכללי שלהם שואף לאפס (לדוגמה, [[הטור ההרמוני]]). עבור טורים כאלה יש צורך להשתמש במבחנים מורכבים יותר. הוכחת התנאי ההכרחי מבוססת על [[מבחני התכנסות לסדרות#אפיון התכנסות לפי קושי|אפיון התכנסות לפי קושי]] לטורים. לפי אפיון זה טור <math>\sum_{k=1}^\infty a_n </math> מתכנס [[אם ורק אם]] לכל <math>\varepsilon > 0</math> קיים <math>N</math> טבעי, כך שלכל <math> n > N</math> ו-<math>l\ge 1</math> מתקיים: <math>\left|\sum_{k=n+1}^{n+l} a_k\right|<\varepsilon </math>. נשים לב שעבור <math>l=1</math> מתקיים <math>\sum_{k=n+1}^{n+l}a_k=a_{n+1}</math>, ולכן אם <math>\sum_{k=1}^\infty a_n </math> מתכנס אז כמעט לכל n טבעי <math>\left|a_{n+1}\right|<\varepsilon </math>, ולכן <math>\left|a_{n}\right|</math> סדרה אפסה.

====דוגמאות====
*לפי [[תנאי הכרחי להתכנסות טורים]], טור שהאבר הכללי שלו אינו שואף לאפס, אינו יכול להתכנס.
*גם הטור ההרמוני, <math>\sum_{k=1}^\infty \frac {1}{k}</math> מתבדר (או מתכנס לאינסוף) על אף ש[[הסדרה ההרמונית]] - <math>\frac{1}{n} </math> שואפת ל-0. דוגמה לכך שהתנאי ההכרחי אינו מספיק להתכנסות הטור.
*טור הנדסי אינסופי מתכנס כאשר היחס הקבוע בין איבריו הוא בין אחד למינוס אחד: <math>|q|<1</math>. במקרה זה, סכומו הוא <math>\frac{a_1}{1-q}</math>. עבור יחס שגדול או שווה בערכו המוחלט ל-1 הטור מתבדר.
*כאשר בטור הנדסי היחס הקבוע בין אבריו שווה למינוס אחד, מתקבל טור "מתחלף", לדוגמה <math>1-1+1-1+1-1+\dots</math> הוא טור שכזה. בניגוד לדוגמאות שהוצגו לעיל, לא ניתן לומר על טור זה אפילו שהוא מתכנס לאינסוף, כי סכומו אינו מתקרב לאינסוף אלא מתחלף ללא הרף בין 0 ובין 1.

=== טורים חיוביים ===
טור חיובי הוא טור שהאיבר הכללי שלו חיובי לכל <math>n</math> טבעי. קל להראות שסדרת הסכומים החלקיים <math>(S_n)</math> של טור חיובי <math>\sum_{n=1}^\infty a_n</math> עולה, ולכן היא מתכנסת אם ורק אם יש לה חסם מלעיל. כלומר, טור חיובי מתכנס אם"ם קיים חסם מלעיל לסדרת הסכומים החלקיים שלו. הטענה האחרונה היא בסיס למבחן ההשוואה הראשון ולמבחני ההשוואה לטורים חיוביים שבאים בעקבותיו, שכן אם <math>\sum_{n=1}^\infty a_n </math> ו-<math> \sum_{n=1}^\infty b_n</math> טורים חיוביים כך שלכל <math>n</math> טבעי מתקיים <math>0\le a_n \le b_n</math>, אז <math> \sum_{n=1}^\infty b_n</math> מתכנס [[אם ורק אם|אמ"ם]] קיים <math>M</math> ממשי כך שלכל <math>n</math> טבעי מתקיים <math> \sum_{k=1}^n b_k\le M</math> ומכאן לכל <math>n</math> מתקיים <math>0\le \sum_{k=1}^n a_k \le \sum_{k=1}^n b_k\le M</math>. כלומר <math>\sum_{n=1}^\infty a_n </math> חסום מלעיל ולפי הטענה מתכנס.

=== התכנסות בהחלט ===

הטור <math>\sum{a_n}</math> '''מתכנס בהחלט''' אם טור הערכים המוחלטים <math>\sum{|a_n|}</math> מתכנס. לפי אפיון קושי לטורים, אם <math>\sum_{k=1}^\infty{a_k}</math> מתכנס בהחלט אז לכל <math>\varepsilon > 0</math> קיים <math>N</math> טבעי, כך שלכל <math> n > N</math> ו-<math>l\ge 1</math> מתקיים: <math>\left|\sum_{k=n+1}^{n+l} \left|a_k\right|\right|<\varepsilon </math>, ולכן לפי אי שוויון המשולש <math>\left|\sum_{k=n+1}^{n+l} a_k\right|\le \sum_{k=n+1}^{n+l} \left|a_k\right|=\left|\sum_{k=n+1}^{n+l} \left|a_k\right|\right|<\varepsilon </math>. מכאן, שוב לפי אפיון קושי <math>\sum_{k=1}^\infty{a_k}</math> מתכנס. כלומר, טור מתכנס בהחלט הוא בעצמו טור מתכנס.

טור מתכנס שאינו מתכנס בהחלט, נקרא טור '''[[מתכנס בתנאי]]'''. לטור המתכנס בתנאי יש תכונה מעניינת: לכל מספר <math>L</math>, אפשר לסדר מחדש את אברי הטור כך שהטור יתכנס וסכומו יהיה <math>L</math>. תוצאה זו נקראת [[משפט רימן (תורת הטורים)|משפט רימן]]. לעומת זאת, בטור מתכנס בהחלט אפשר לשנות את סדר האיברים, ותמיד יתקבל אותו סכום.

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

הטור המתקבל מהכנסת סוגריים בטור מתכנס, מתכנס אף הוא. עם זאת, הכנסת סוגריים יכולה להפוך טור מתבדר לטור מתכנס. כך למשל, הכנסת סוגריים על כל זוג איברים בטור המתבדר <math>\sum_{n=1}^\infty (-1)^{n+1}=1-1+1-1+...</math>, תיתן את הטור <math>\sum_{n=1}^\infty (-1)^{2n}+(-1)^{2n+1}=(1-1)+(1-1)+...=0+0+...</math> [[גבול (מתמטיקה)|המתכנס]] ל-0.

כאמור, גם אם טור שהתקבל מהכנסת סוגריים מתכנס, אין זה אומר שהטור המקורי מתכנס. עם זאת, אם מתקיים לפחות אחד מהתנאים הבאים, שני הטורים מתכנסים ומתבדרים יחד:
# הטור המקורי הוא אי-שלילי.
# האיבר הכללי בטור שואף ל-0 ומספר האיברים שבכל זוג סוגריים חסום.
# האיברים שבתוך כל סוגריים הם שווי-סימן (גם אם הסימן שונה מסוגריים לסוגריים).
בנוסף, אם טור <math>\sum_{n=1}^\infty b_n</math> מתקבל מטור מתכנס <math>\sum_{n=1}^\infty a_n</math> על ידי הכנסת סוגריים, ו-<math>T_n</math> ו-<math>S_n</math> הן סדרות הסכומים החלקיים המתאימות לכל אחד מהטורים, אז <math>T_n</math> [[תת-סדרה|סדרה חלקית]] של <math>S_n</math>, ולכן שני הטורים מתכנסים לאותו הגבול, כלומר: <math>\sum_{n=1}^\infty b_n=\sum_{n=1}^\infty a_n</math>.

[[משפט מרטן]] קובע כי ב[[משפט קושי (תורת הטורים)|מכפלת קושי של טורים]] מתקיימת התכנסות של טור המכפלות שמתקבל מהכנסת סוגריים, על-אף שמספר האיברים אינו בהכרח חסום וסימן האיברים שבסוגריים אינו בהכרח קבוע.

=== טורים בני-סיכום ותורת טאובר ===
מבחינה תאורטית אפשר לחשוב על המושג 'סכום של טור' שהגדרנו להלן, כעל [[פונקציונל]] מתת-המרחב של טורים מתכנסים במרחב הטורים <math>\ \mathbb{R}^\mathbb{N}</math> ל[[שדה המספרים הממשיים]] <math>\ \mathbb{R}</math>. בהינתן טור מתכנס, הפונקציונל הזה מחזיר את סכומו של הטור.

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

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

השאלה המעניינת בתחום זה היא בהינתן טור כללי, שידוע כי הוא מתכנס בשיטת סכימות כלשהי, האם הוא מתכנס גם באופן רגיל? מתברר כי ניתן לענות על שאלות אלה בעזרת תורת טאובר.
תורת טאובר היא שם כללי למספר משפטי טאובר, שהם משפטים המאפשרים להוכיח התכנסות של טור על סמך התכנסותו בשיטת סכימות ספציפית, יחד עם הנחות נוספות.
הטיפול הכללי ביותר בנושא ניתן במסגרת תורת Weiner-Pitt, המאפיינת לגמרי גרעינים.

==== דוגמאות ====

אומרים שהטור <math>\sum_{n}a_n</math> מתכנס לערך <math>S</math> במובן של [[נילס הנריק אבל|אבל]], אם הגבול של <math>\sum_{n=1}^{\infty}a_nx^n</math> כאשר <math>x</math> שואף ל-1 מלמטה, שווה ל-<math>S</math>. כל טור מתכנס (במובן הרגיל) מתכנס לאותו ערך גם במובן של אבל; לעומת זאת, הטור <math>\sum (-1)^{n+1}n</math> אינו מתכנס במובן הרגיל, וסכומו במובן של אבל הוא רבע.

שיטת סיכום אחרת מיוחסת לצ'זרו (Cesàro). נסמן ב- <math>S_n</math> את סדרת הסכומים החלקיים של טור נתון. הטור מתכנס במובן הרגיל אם הסדרה <math>\ s_n</math> מתכנסת. אומרים שהטור "[[סיכום צזארו|מתכנס במובן של צ'זרו]]" או שהוא "טור מטיפוס C-1", אם הסדרה
<math>S_n^{(1)}=\frac{s_1+\cdots+s_n}{n}</math> מתכנסת. למשל, הטור <math>\ \sum_{n=1}^{\infty}(-1)^{n+1}</math> אינו מתכנס במובן הרגיל, אבל סכומו במובן צ'זרו הוא חצי. אם טור אינו מתכנס במובן C-1 אבל הממוצעים של <math>S_n^{(1)}</math> כן מתכנסים, אז הטור הוא מטיפוס C-2, וכן הלאה.

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

==== דוגמאות לתורת טאובר ====
אם הטור <math>\sum_{n}a_n</math> מתכנס לערך <math>S</math> במובן של [[נילס הנריק אבל|אבל]], וכן
<math>na_n</math> שואף לאפס, אז הטור מתכנס גם במובן רגיל.

אם הטור <math>\sum_{n}a_n</math> מתכנס לערך <math>S</math> במובן של צ'זרו, וכן
<math>na_n\geq -C</math> אז הטור מתכנס גם במובן רגיל. זהו משפט לנדאו.
ישנו משפט של הארדי, החלש יותר ממשפט לנדאו, שקובע כי אם הטור מתכנס צ'זרו, ורק <math>|na_n| \leq C</math>, אז הטור מתכנס.

==טורי פונקציות==
{{ערך מורחב|טור פונקציות}}
כשם שניתן להגדיר סדרה של מספרים, כך גם ניתן להגדיר [[סדרת פונקציות|סדרה של פונקציות]], ולכן ניתן להגדיר גם טור של פונקציות. גם סדרות וטורים אלו יכולים להתכנס - במקרה זה לא למספר קבוע, אלא לפונקציה. עבור טורי פונקציות ישנם סוגים שונים של התכנסות, כמו [[התכנסות נקודתית]], [[התכנסות בממוצע]] ו[[התכנסות במידה שווה]].

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

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

=== מניפולציות אנליטיות ===
נראה כאן כיצד ניתן לחשב את סכום הטור ההרמוני המתחלף <math>\sum_{k=1}^\infty \left(-1\right)^{k-1}\frac {1}{k}</math>. זהו טור מתכנס, בניגוד לטור ההרמוני, ונחשב את סכומו באמצעות תכונות של [[טור חזקות|טורי חזקות]].

ראשית נביט בטור ההנדסי <math>\sum_{k=0}^\infty x^k</math> שמתכנס עבור <math>x\isin(-1,1)</math>. ידוע כי סכום טור זה הוא <math>\frac {1}{1-x}</math>. נציב <math>x=-y</math> ונקבל: <math>\sum_{k=0}^\infty (-y)^k=\frac{1}{1+y}</math>. מכיוון שזהו טור חזקות בעל [[רדיוס התכנסות]] 1 ניתן לבצע אינטגרציה איבר איבר, ולכן נקבל:
<math>\sum_{k=0}^\infty \int_0^y(-1)^kt^kdt=\int_0^y\frac{1}{1+t}dt</math>, כלומר <math>\sum_{k=0}^\infty (-1)^k\frac{y^{k+1}}{k+1}=\ln(1+y)</math>.

קיבלנו כעת טור חדש בעל רדיוס התכנסות זהה לזה של הטור המקורי - 1. אנו יודעים שטור זה מתכנס בנקודה <math>y=1</math> (למשל, בעזרת [[מבחני התכנסות לטורים#מבחן לייבניץ|מבחן לייבניץ]]), ולכן נציב <math>y=1</math> ונקבל: <math>\sum_{k=0}^\infty (-1)^k\frac{1}{k+1}=\ln(2)</math>. והרי <math>\sum_{k=0}^\infty (-1)^k\frac{1}{k+1}=\sum_{k=1}^\infty (-1)^{k-1}\frac{1}{k}</math>, ולכן הגענו לתוצאה המבוקשת: <math>\sum_{k=1}^\infty \left(-1\right)^{k-1}\frac {1}{k}=\ln(2)</math>.

=== חישוב סכום של טור טיילור ===
לעיתים, טור אינסופי מסוים הוא פשוט [[טור טיילור]] של פונקציה מסוימת בנקודה מסוימת. למשל, בדוגמה לעיל השתמשנו בטור טיילור של <math>\ln(1+x)</math> על מנת לחשב את סכום הטור ההרמוני המתחלף, השווה ל-<math>\ln(2)</math>.

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

טור פורייה של <math>x</math> בקטע <math>[-\pi,\pi]</math> הוא
<center>
<math>f(x)=x=a_0 + \sum_{n=1}^{\infty}(a_n\cos(nx)+b_n\sin(nx)) =</math>
</center>
<center>
<math>=\sum_{n=1}^{\infty} (-1)^{n+1}\frac{2}{n} \sin(nx), \quad \forall x\in (-\pi,\pi)</math>
</center>
ומזהות פרסבל
<center>
<math>\frac{1}{2} \sum_{n=1}^{\infty}{\left|(-1)^{n+1}\frac{2}{n} \right| ^2} = \frac{1}{2 \pi} \int_{-\pi}^{\pi}{x^2 dx} = 2 \frac{\pi^2}{6} </math>
</center>
ולכן הערך של פונקציית זטא של רימן בנקודה <math>s=2</math> (הנקרא גם טור [[לאונרד אוילר|אוילר]], על שם המתמטיקאי ש[[בעיית בזל|חישב אותו לראשונה]]) הוא
<center>
<math>\sum_{n=1}^{\infty}{\frac{1}{n^2}} = \frac{\pi ^2}{6} </math>
</center>

=== חישוב סכום של טור טלסקופי ===
טור טלסקופי הוא טור מהצורה <math> \sum_{n=1}^{\infty}{(a_n - a_{n-1})}</math>(או <math> \sum_{n=1}^{\infty}{(a_n - a_{n+1})}</math>- <math>a_1</math> הראשון ו-<math>a_{n+1}</math> האחרון).

קל לחשב את סכומו שכן
<center>
<math>\sum_{n=1}^{\infty}{(a_n - a_{n-1})} = \lim_{n \to \infty}{(a_n - a_0)} </math>
</center>
לעיתים, יש טורים שניתן להציגם בצורה זו, (הפעם: <math>\sum_{n=1}^{\infty}{(a_n - a_{n+1})} = \lim_{n \to \infty}{(a_1 - a_{n+1})} </math>). למשל:
<center>
<math>\sum_{n=1}^{\infty}{ \frac{1}{ n(n+1) } } = \sum_{n=1}^{\infty} \left( \frac{1}{n} - \frac{1}{n+1} \right) = \lim_{n \to \infty}{ \left( 1 - \frac{1}{n+1} \right) } = 1. </math>
</center>

=== חישוב בעזרת שאריות ===
שיטה שימושית לחישוב הסכום של טורים מבוססת על חישוב [[שארית (פונקציות מרוכבות)|שאריות]] בפונקציות מרוכבות. מ[[משפט השארית]] נובעת התוצאה הבאה (כאשר f היא [[פונקציה אנליטית]]):
* אם קיימים קבועים C ו- <math>p>1</math> כך ש- <math>|f(z)|<\frac{C}{|z|^p}</math> כאשר <math>|z|</math> [[גדול מספיק]], והטור <math>\sum_{n=-\infty}^{\infty}f(n)</math> מתכנס, אז סכומו שווה לסכום השאריות של <math>-\pi f(z)\cot(\pi z)</math> בכל ה[[קוטב (פונקציות מרוכבות)|קטבים]] של <math>f</math>.

== ראו גם ==
* [[גבול (מתמטיקה)]]
* [[מבחני התכנסות לטורים]]
* [[טור טיילור]]
* [[טור פורייה]]
* [[בעיית בזל]]
==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* [http://scipp.ucsc.edu/~haber/ph116A/Sixways.pdf שש דרכים לסכם טור] (אנגלית)
* {{לא מדויק|2008/06/17/infinite_series/|טרטורי טורים}}
* {{אנציקלופדיה למתמטיקה|Series}}
* {{MathWorld}}
* {{דף שער בספרייה הלאומית|987007531747905171|סדרה}}

{{אנליזה מתמטית}}
{{בקרת זהויות}}

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