משפט רימן (תורת הטורים)

בחשבון אינפיניטסימלי, משפט רימן הוא משפט הקובע שלכל טור המתכנס בתנאי ולכל מספר ממשי ניתן לשנות את סדר האיברים של הטור ולקבל טור המתכנס למספר. בנוסף ניתן לשנות את סדר איברים ולקבל טור המתבדר ל-<math>\,\pm\infty</math> או אפילו טור שאינו מתכנס גם במובן הרחב. את המשפט הוכיח ברנהרד רימן במאה ה-19.

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

==ניסוח פורמלי==
===הגדרות===
נאמר כי טור <math>\sum_{n=1}^\infty a_n</math> מתכנס בתנאי (בניגוד למתכנס בהחלט) אם <math>\sum_{n=1}^\infty a_n</math> מתכנס אך <math>\sum_{n=1}^\infty |a_n|</math> מתבדר.

נסמן ב-<math>\ \sigma (n)</math> תמורה על קבוצת המספרים הטבעיים, כלומר <math>\ \sigma : \mathbb N \rightarrow \mathbb N</math> היא פונקציה חד-חד-ערכית ועל.

הטור <math>\sum_{n=1}^\infty a_{\sigma (n)}</math> הוא הטור המתקבל מ-<math>\sum_{n=1}^\infty a_n</math> על ידי שינוי סדר איבריו לפי התמורה <math>\ \sigma (n)</math>.

===המשפט===
יהי <math>\sum_{n=1}^\infty a_n</math> טור המתכנס בתנאי. לכל מספר ממשי <math>\ L</math>, קיימת תמורה <math>n \mapsto \sigma (n)</math> כך ש-<math>\sum_{n=1}^\infty a_{\sigma (n)} = L</math>.
קיימת תמורה <math>n \mapsto \sigma (n)</math> כך ש-<math>\sum_{n=1}^\infty a_{\sigma (n)} = \infty</math> (או <math>\ -\infty</math>), וקיימת תמורה <math>n \mapsto \sigma (n)</math> כך ש-<math>\sum_{n=1}^\infty a_{\sigma (n)}</math> אינו מתכנס גם במובן הרחב.

==דוגמה==
דוגמה ידועה למשפט הוא הטור ההרמוני המתחלף: 
<center><math display=block>\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}=1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \frac{1}{6} + \cdots</math></center>
מאחר שזהו טור לייבניץ, טור זה מתכנס. לפי טור טיילור של הלוגריתם הטבעי ידוע כי סכומו של הטור הוא <math>\ \ln(2)</math>. מצד שני, טור הערכים המוחלטים של איבריו הוא הטור ההרמוני שידוע כי הוא מתבדר. על כן הטור ההרמוני המתחלף מתכנס בתנאי. נבחן את הטור הבא המתקבל מהטור ההרמוני המתחלף על ידי שינוי סדר איבריו:
<center>
<math>1 - \frac{1}{2} - \frac{1}{4} + \frac{1}{3} - \frac{1}{6} - \frac{1}{8} + \frac{1}{5} - \frac{1}{10} - \frac{1}{12} + \cdots</math>
</center>
ברור כי זהו שינוי פשוט בסדר האיברים, כי כל איבר מהטור ההרמוני המתחלף יופיע גם בטור החדש פעם אחת ויחידה. נקבץ איברים ונקבל (מותר לקבץ את הטור לקבוצות של שלוש כי בחינה מדוקדקת של הסכומים החלקיים תגלה שההפרשים בין כל שלושה סכומים עוקבים שואף ל-0):
<center>
<math>\begin{align}
\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} = & \left(1 - \frac{1}{2} - \frac{1}{4}\right) + \left(\frac{1}{3} - \frac{1}{6} - \frac{1}{8}\right) + \left(\frac{1}{5} - \frac{1}{10} - \frac{1}{12}\right) + \cdots = \\
= & \frac{1}{2} - \frac{1}{4} + \frac{1}{6} - \frac{1}{8} + \frac{1}{10} - \frac{1}{12} + \cdots = 
\frac{1}{2} - \frac{1}{2} \cdot \frac{1}{2} + \frac{1}{2} \cdot \frac{1}{3} - \frac{1}{2} \cdot \frac{1}{4} + \frac{1}{2} \cdot \frac{1}{5} - \frac{1}{2} \cdot \frac{1}{6} + \cdots \\
= & \frac{1}{2}\left(1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \frac{1}{6} + \cdots \right) = \frac{1}{2} \ln(2)
\end{align}
</math>
</center>
כלומר סכום הטור השתנה לחצי מסכום הטור לפני שינוי סדר האיברים.

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

===התכנסות לסכום סופי===
יהי <math>\ L</math> מספר ממשי חיובי (ההוכחה למספר שלילי אנלוגית), נראה כי קיימת תמורה של איברי <math>\sum_{n=1}^\infty a_n</math> כך שהסכום מתכנס ל-<math>\ L</math>. ראשית נסכום את איברי הטור החיובי לפי הסדר עד המספר <math>\ k_1</math> שהוא הראשון שלגביו מתקיים <math>\sum_{n=1}^{k_1} a_n^+ > L</math>, כלומר:
: <math>\sum_{n=1}^{k_1-1} a_n^+ \le L <\sum_{n=1}^{k_1} a_n^+ </math>. 
עתה נמשיך בכך שנוסיף לסכום את איברי הטור השלילי לפי הסדר עד המספר <math>\ k_2</math> שהוא הראשון שלגביו מתקיים
: <math> \sum_{n=1}^{k_1} a_n^+ + \sum_{n=1}^{k_2-1} a_n^- \ge L > \sum_{n=1}^{k_1} a_n^+ + \sum_{n=1}^{k_2} a_n^- </math>. 
נחזור לטור האיברים החיוביים ונמשיך לסכום עד <math>\ k_3</math> שהוא הראשון שלגביו הטור חוזר להיות גדול מ-L, ואז עוברים לטור השלילי וכן הלאה עד אינסוף. זהו תהליך מוגדר היטב שקל לראות שהוא מגדיר תמורה על איברי הטור. בכל פעם ההפרש בין L לטור הולך וקטן, שכן מצורת הבנייה ההפרש ביניהם הוא האיבר האחרון שמוסיפים לטור, כלומר: <math>a_k^+</math> או <math>|a_k^-|</math>, ואיברי הטור הולכים וקרבים לאפס ותרומתם לסכום קטנה, ובפרט <math>\lim_{k \to \infty} a_k^+ = 0 = \lim_{k \to \infty} a_k^-</math>. פורמלית, לכל <math>\varepsilon>0</math> קיים <math>\ N</math> כך שלכל <math>\ k_N \le n</math> מתקיים <math>\ |a_n|<\varepsilon</math>, ולכן ההפרש בין <math>\ L</math> והסכום עד <math>\ k_n</math> והלאה בהכרח קטן מהאיבר האחרון שבו חל חילוף יחס הסדר, ואיבר זה קטן מ-<math>\varepsilon</math> . לכן הטור מתכנס ל-<math>\ L</math>.

===התבדרות לאינסוף===
כדי שהטור יתבדר לאינסוף נסכום את האיברים החיוביים עד שהסכום גדול מ-<math>\ |a_1^-|</math> (האיבר הראשון בטור השליליים) ואז נחבר איבר זה. נחזור לטור החיוביים ונחבר מספיק מחוברים כך שהסכום גדול מ-<math>\ 1+|a_2^-|</math> ומחברים גם אותו. ובאופן כללי מחברים מספיק מחוברים כך שהסכום יהיה גדול מ-<math>\ (n-1)+|a_{n}^-|</math> ואז מחברים את <math>a_n^-</math>. מכאן שבדרך זו הסכום גדול מכל מספר טבעי ולכן הטור מתבדר לאינסוף. באופן דומה ניתן להחליף בין התפקיד של החיוביים והשליליים ולקבל טור המתבדר למינוס אינסוף.

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

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

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

רימן
קטגוריה:הוכחות
קטגוריה:תורת הטורים
קטגוריה:ברנהרד רימן