88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/טורים/הגדרה

חזרה לטורים

הגדרות בסיסיות של טורים

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

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

כמובן שלא נוכל לחלק יותר מאשר עוגה אחת ממנה התחלנו. לכן, אינטואיטיבית, [math]\displaystyle{ \frac{1}{2}+\frac{1}{4}+\frac{1}{8}+... \leq 1 }[/math]

הגדרה.

נגדיר את סדרת הסכומים החלקיים [math]\displaystyle{ S^{a_n} }[/math] של סדרה [math]\displaystyle{ a_n }[/math] כלשהי להיות [math]\displaystyle{ S^{a_n}_N = a_1+a_2+...a_N }[/math].

כלומר,

[math]\displaystyle{ S^{a_n}_1=a_1 }[/math]

[math]\displaystyle{ S^{a_n}_2=a_1+a_2 }[/math]

[math]\displaystyle{ S^{a_n}_3=a_1+a_2+a_3 }[/math]

וכן הלאה.

הגדרה.

• אומרים כי טור הסדרה [math]\displaystyle{ a_n }[/math] מתכנס אם סדרת הסכומים החלקיים [math]\displaystyle{ S^{a_n} }[/math] מתכנסת. (במובן הגדרת הגבול של סדרות, כמובן)

• • במקרה זה אומרים כי סכום הטור שווה לגבול סדרת הסכומים החלקיים

• אומרים כי טור הסדרה [math]\displaystyle{ a_n }[/math] מתכנס בהחלט אם טור הסדרה [math]\displaystyle{ |a_n| }[/math] מתכנס.

• אומרים כי טור מתכנס בתנאי אם הוא מתכנס, אך אינו מתכנס בהחלט.

מסמנים את טור הסדרה ב [math]\displaystyle{ \sum_{n=1}^\infty a_n }[/math]

דוגמא חשובה.

נחשב את סכום הטור [math]\displaystyle{ \sum_{n=0}^\infty x^n }[/math]

[math]\displaystyle{ S_1=x^0=1 }[/math]

[math]\displaystyle{ S_2=x^0+x^1=1+x }[/math]

[math]\displaystyle{ \vdots }[/math]

[math]\displaystyle{ S_N=1+x+x^2+...+x^{N-1} }[/math]

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

[math]\displaystyle{ S_N=\frac{1-x^N}{1-x} }[/math]

אם כך, [math]\displaystyle{ \sum_{n=0}^\infty x^n=\lim_{N\rightarrow\infty}S_N=\lim_{N\rightarrow\infty}\frac{1-x^N}{1-x} }[/math]

זה תרגיל בסדרות, וקל לראות כי:

אם [math]\displaystyle{ |x|\lt 1 }[/math] הסדרה מתכנסת ומקבלים [math]\displaystyle{ \sum_{n=0}^\infty x^n=\frac{1}{1-x} }[/math]

אם [math]\displaystyle{ x=1 }[/math] הסדרה לא מוגדרת, כיוון שאסור היה להשתמש בנוסחאת הסכום במקרה זה. קל לראות, אמנם, כי סדרת הסכומים החלקיים האמיתית שואפת לאינסוף ולכן הטור מתבדר

אם [math]\displaystyle{ x=-1 }[/math] הסדרה מתבדרת וכך גם הטור

אם [math]\displaystyle{ |x|\gt 1 }[/math] הסדרת אינה חסומה, ולכן מתבדרת ולכן הטור מתבדר.

שימו לב: אם נתחיל את הספירה ממקום אחר, נקבל סכום אחר. [math]\displaystyle{ \sum_{n=1}^\infty x^n=\frac{x}{1-x} }[/math]. אם כך, מספר סופי של איברים לא משפיע על התכנסות הטור, אך עשוי להשפיע על סכומו.

באופן כללי, סדרת הסכומים החלקיים של טור מוגדרת על ידי כלל הנסיגה [math]\displaystyle{ S^{a_n}_{N+1}=S^{a_n}_N+a_{N+1} }[/math].

דוגמא חשובה.

ניזכר בתרגילים מסדרות קושי. נשים לב כי סדרת הסכומים החלקיים של הטור [math]\displaystyle{ \sum\frac{1}{n} }[/math] (הנקרא לעיתים הטור ההרמוני) מוגדרת על ידי כלל הנסיגה [math]\displaystyle{ S_{N+1}=S_N+\frac{1}{n+1} }[/math]. כפי שראינו, סדרה זו אינה סדרת קושי ולכן מתבדרת, ולכן הטור ההרמוני מתבדר.

באופן דומה, ראינו כי הטור [math]\displaystyle{ \sum\frac{1}{n^2} }[/math] מתכנס.

באופן כללי, הטור [math]\displaystyle{ \sum\frac{1}{n^\alpha} }[/math] מתכנס אם"ם [math]\displaystyle{ \alpha \gt 1 }[/math] אבל את זה נלמד בהמשך.