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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
Nuvola apps edu mathematics blue-p.svg

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

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

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

ניסוח פורמלי[עריכת קוד מקור | עריכה]

הגדרות[עריכת קוד מקור | עריכה]

נאמר כי טור מתכנס בתנאי (בניגוד למתכנס בהחלט) אם מתכנס אך מתבדר.

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

הטור הוא הטור המתקבל מ- על ידי שינוי סדר איבריו לפי התמורה .

המשפט[עריכת קוד מקור | עריכה]

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

דוגמה[עריכת קוד מקור | עריכה]

דוגמה ידועה למשפט הוא הטור ההרמוני המתחלף:

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

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

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

הוכחה[עריכת קוד מקור | עריכה]

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

התכנסות לסכום סופי[עריכת קוד מקור | עריכה]

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

.

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

.

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

התבדרות לאינסוף[עריכת קוד מקור | עריכה]

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

התבדרות שלא לאינסוף[עריכת קוד מקור | עריכה]

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

המשפט ההפוך[עריכת קוד מקור | עריכה]

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]