טור (מתמטיקה)

במתמטיקה מושג הטור מציין את סכומה של סדרה, שיכולה להיות סדרת מספרים, וגם סדרה של פונקציות. למשל,  הוא טור שסכומו 6. נהוג להבדיל בין שני סוגי טורים עיקריים: טור סופי וטור אינסופי. כבר המתמטיקאי היווני הקדום ארכימדס (נפטר ב-212 לפני הספירה) חישב סכום של טור אינסופי.

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

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

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

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

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

שבו האיבר ה- הוא . מכיוון ש-, סכום  האיברים הראשונים הוא

שינוי סדר הפעולות מראה שהסכום הזה שווה

(ראו גם "חישוב סכום של טור טלסקופי אינסופי")

טור הנדסי
טור הנדסי (או טור מעריכי או גאומטרי) הוא סכום איבריה של סדרה הנדסית. למשל, הטור  הוא טור של איברי סדרה הנדסית המתחילה ב-1, והמנה שלה היא 2.

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

הוכחת הנוסחה:

סכום טור הנדסי אינסופי
כאשר הסכום הוא אינסופי ו־ הטור מתכנס ומאחר ש- נקבל כי
 (אם  הטור מתבדר).

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

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

מכאן נסיק שהשוויון נכון עבור כל  טבעי (עבור  השוויון טריוויאלי). 

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

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

חוק הפילוג
 (הכללה של חוק הפילוג)

 (וריאציה על חוק הפילוג)

אסוציאטיביות
 (פיצול טור)
 (וריאציה של הזהות הקודמת)

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

 (פיצול הטור לטור האיברים הזוגיים וטור האיברים האי-זוגיים)
 (גרסה נוספת לפיצול של טור לפי הזוגיות של האיברים)

קומוטטיביות יחד עם מניפולציות על אינדקסים:
 (היפוך סדר הסכימה)
 (היפוך סדר הסכימה עם הזזת אינדקסים)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 דוגמאות 

אומרים שהטור  מתכנס לערך  במובן של אבל, אם הגבול של  כאשר  שואף ל-1 מלמטה, שווה ל-. כל טור מתכנס (במובן הרגיל) מתכנס לאותו ערך גם במובן של אבל; לעומת זאת, הטור  אינו מתכנס במובן הרגיל, וסכומו במובן של אבל הוא רבע.

שיטת סיכום אחרת מיוחסת לצ'זרו (Cesàro). נסמן ב-  את סדרת הסכומים החלקיים של טור נתון. הטור מתכנס במובן הרגיל אם הסדרה  מתכנסת. אומרים שהטור "מתכנס במובן של צ'זרו" או שהוא "טור מטיפוס C-1", אם הסדרה
 מתכנסת. למשל, הטור  אינו מתכנס במובן הרגיל, אבל סכומו במובן צ'זרו הוא חצי. אם טור אינו מתכנס במובן C-1 אבל הממוצעים של  כן מתכנסים, אז הטור הוא מטיפוס C-2, וכן הלאה.

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

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

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

טורי פונקציות

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

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

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

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

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

קיבלנו כעת טור חדש בעל רדיוס התכנסות זהה לזה של הטור המקורי - 1. אנו יודעים שטור זה מתכנס בנקודה  (למשל, בעזרת מבחן לייבניץ), ולכן נציב  ונקבל: . והרי , ולכן הגענו לתוצאה המבוקשת: .

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

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

טור פורייה של  בקטע  הוא

ומזהות פרסבל

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

 חישוב סכום של טור טלסקופי 
טור טלסקופי הוא טור מהצורה (או -  הראשון ו- האחרון).

קל לחשב את סכומו שכן

לעיתים, יש טורים שניתן להציגם בצורה זו, (הפעם: ). למשל:

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

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

 שש דרכים לסכם טור (אנגלית)





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