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

מתוך Math-Wiki
גרסה מ־09:16, 25 בנובמבר 2011 מאת ארז שיינר (שיחה | תרומות) (הגדרות בסיסיות של טורים)

קפיצה אל: ניווט, חיפוש

חזרה לטורים

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

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

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

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


הגדרה.

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

כלומר,

S^{a_n}_1=a_1
S^{a_n}_2=a_1+a_2
S^{a_n}_3=a_1+a_2+a_3

וכן הלאה.


הגדרה.

  • אומרים כי טור הסדרה a_n מתכנס אם סדרת הסכומים החלקיים S^{a_n} מתכנסת. (במובן הגדרת הגבול של סדרות, כמובן)
    • במקרה זה אומרים כי סכום הטור שווה לגבול סדרת הסכומים החלקיים
  • אומרים כי טור הסדרה a_n מתכנס בהחלט אם טור הסדרה |a_n| מתכנס.
  • אומרים כי טור מתכנס בתנאי אם הוא מתכנס, אך אינו מתכנס בהחלט.


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


דוגמא חשובה.


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


S_1=x^0=1
S_2=x^0+x^1=1+x
\vdots
S_N=1+x+x^2+...+x^{N-1}


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

S_N=\frac{1-x^N}{1-x}


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


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

אם |x|<1 הסדרה מתכנסת ומקבלים \sum_{n=0}^\infty x^n=\frac{1}{1-x}
אם x=1 הסדרה לא מוגדרת, כיוון שאסור היה להשתמש בנוסחאת הסכום במקרה זה. קל לראות, אמנם, כי סדרת הסכומים החלקיים האמיתית שואפת לאינסוף ולכן הטור מתבדר
אם x=-1 הסדרה מתבדרת וכך גם הטור
אם |x|>1 הסדרת אינה חסומה, ולכן מתבדרת ולכן הטור מתבדר.