גרסה אחרונה מ־06:43, 14 בפברואר 2017

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

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

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

כמובן שלא נוכל לחלק יותר מאשר עוגה אחת ממנה התחלנו. לכן, אינטואיטיבית, $\dfrac12+\dfrac14+\dfrac18+\cdots\le1$

הגדרה.

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

כלומר,

\begin{align}S^{a_n}_1=a_1\\S^{a_n}_2=a_1+a_2\\S^{a_n}_3=a_1+a_2+a_3\end{align}

וכן הלאה.

הגדרה.

אומרים כי טור הסדרה מתכנס אם סדרת הסכומים החלקיים מתכנסת לגבול סופי. (במובן הגדרת הגבול של סדרות, כמובן)
- במקרה זה אומרים כי סכום הטור שווה לגבול סדרת הסכומים החלקיים. כלומר $\displaystyle\sum_{n=1}^\infty a_n=\lim_{N\to\infty}S_N^{a_n}$ .

אומרים כי טור הסדרה $a_n$ מתכנס בהחלט אם טור הסדרה $|a_n|$ מתכנס.

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

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

דוגמא חשובה.

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

\begin{align}S_1&=x^0=1\\S_2&=x^0+x^1=1+x\\\vdots\\S_N&=1+x+x^2+\cdots+x^{N-1}\end{align}

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

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

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

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

אם

|x|<1

הסדרה מתכנסת ומקבלים

\displaystyle\sum_{n=0}^\infty x^n=\frac1{1-x}

אם

x=1

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

S_N=N

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

אם

x=-1

הסדרה מתבדרת וכך גם הטור

אם

|x|>1

הסדרת אינה חסומה, ולכן מתבדרת ולכן הטור מתבדר.

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

באופן כללי, סדרת הסכומים החלקיים של טור מוגדרת על-ידי כלל הנסיגה $S_{N+1}^{a_n}=S^{a_n}_N+a_{N+1}$ .

דוגמא חשובה.

ניזכר בתרגילים מסדרות קושי. נשים לב כי סדרת הסכומים החלקיים של הטור $\displaystyle\sum_{n=1}^\infty\frac1n$ (הנקרא לעתים הטור ההרמוני) מוגדרת על ידי כלל הנסיגה $S_{N+1}=S_N+\dfrac1{n+1}$ . כפי שראינו, סדרה זו אינה סדרת קושי ולכן מתבדרת, ולכן הטור ההרמוני מתבדר.

באופן דומה, נסיק כי הטור $\displaystyle\sum_{n=1}^\infty\frac1{n^2}$ מתכנס.

באופן כללי, הטור $\displaystyle\sum_{n=1}^\infty\frac1{n^\alpha}$ מתכנס אם"ם $\alpha>1$ אבל את זה נלמד בהמשך.

הקשר בין התכנסות טור לבין גבול הסדרה של הטור

אם $\displaystyle\sum_{n=1}^\infty a_n$ מתכנס אזי בהכרח $\lim\limits_{n\to\infty}a_n=0$

הכיוון ההפוך אינו נכון בהכרח!!!!

לדוגמא, $\lim\limits_{n\to\infty}\dfrac1n=0$ ואילו הטור $\displaystyle\sum_{n=1}^\infty\frac1n$ אינו מתכנס.

טורים טלסקופיים

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

לדוגמא, קל לוודא כי $\displaystyle\sum_{n=1}^{10}\frac1n-\frac1{n+1}=\frac11-\frac12+\frac12-\frac13+\cdots=\frac11-\frac1{11}$

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

תרגיל.

הוכח כי הטור הבא מתכנס ומצא את סכומו

\displaystyle\sum_{n=1}^\infty\frac1{(n+2)(n+4)}

פתרון.

נפרק את הביטוי לשברים חלקיים, על-מנת לקבל $\dfrac1{(n+2)(n+4)}=\dfrac1{2(n+2)}-\dfrac1{2(n+4)}$

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

S_N=\dfrac16+\dfrac18-\dfrac1{2n+6}-\dfrac1{2n+8}

את נוסחא זו קל להוכיח באינדוקציה.

אם כך, סכום הטור - הלא הוא גבול סדרת הסכומים החלקיים - שווה $\lim\limits_{N\to\infty}S_N=\dfrac16+\dfrac18=\dfrac7{24}$

תרגיל.

קבע אם הטור הבא מתכנס

\displaystyle\sum_{n=1}^\infty\ln\left(\frac{n+1}{n}\right)

פתרון.

נביט בסדרת הסכומים החלקיים

\begin{align}S_N&=\ln\left(\dfrac21\right)+\cdots+\ln\left(\dfrac{N+1}{N}\right)\\S_N&=\ln(2)-\ln(1)+\ln(3)-\ln(2)+\cdots+\ln(N+1)-\ln(N)\\&=\ln(N+1)-\ln(1)=\ln(N+1)\end{align}

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

@@ שורה 2: / שורה 2: @@
 =הגדרות בסיסיות של טורים=
+באופן בלתי פורמלי, טור הנו '''סכום אינסופי''' של מספרים. נשאלת השאלה, האם סכום אינסופי של מספרים חיוביים עשוי להיות קטן ממספר סופי?
-באופן בלתי פורמלי, טור הינו '''סכום אינסופי''' של מספרים. נשאלת השאלה, האם סכום אינסופי של מספרים חיוביים עשוי להיות קטן ממספר סופי?
 נענת התשובה - כן. לדוגמא, ניקח עוגה (או פאי). נחלק חצי מהעוגה לתלמיד המצטיין, חצי ממה שנשאר (רבע) ניתן לתלמיד הבא אחריו. חצי ממה שנשאר (שמינית) ניתן לתלמיד הבא אחריו. אחד חלקי שש עשרה יקבל התלמיד הבא וכן הלאה.
-כמובן שלא נוכל לחלק יותר מאשר '''עוגה אחת''' ממנה התחלנו. לכן, אינטואיטיבית, <math>\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+... \leq 1</math>
+כמובן שלא נוכל לחלק יותר מאשר '''עוגה אחת''' ממנה התחלנו. לכן, אינטואיטיבית, <math>\dfrac12+\dfrac14+\dfrac18+\cdots\le1</math>
-<font size=4 color=#3c498e>
+<font size=4 color=#3c498e>'''הגדרה.'''</font>
-'''הגדרה.'''
-</font>
-נגדיר את '''סדרת הסכומים החלקיים''' <math>S^{a_n}</math> של סדרה <math>a_n</math> כלשהי להיות <math>S^{a_n}_N = a_1+a_2+...a_N</math>.
+נגדיר את '''סדרת הסכומים החלקיים''' <math>S^{a_n}</math> של סדרה <math>a_n</math> כלשהי להיות <math>S^{a_n}_N=a_1+\cdots+a_N</math> .
 כלומר,
-::<math>S^{a_n}_1=a_1</math>
+:<math>\begin{align}S^{a_n}_1=a_1\\S^{a_n}_2=a_1+a_2\\S^{a_n}_3=a_1+a_2+a_3\end{align}</math>
-::<math>S^{a_n}_2=a_1+a_2</math>
-::<math>S^{a_n}_3=a_1+a_2+a_3</math>
 וכן הלאה.
-<font size=4 color=#3c498e>
+<font size=4 color=#3c498e>'''הגדרה.'''</font>
-'''הגדרה.'''
-</font>
-*אומרים כי טור הסדרה <math>a_n</math> '''מתכנס''' אם סדרת הסכומים החלקיים <math>S^{a_n}</math> מתכנסת. (במובן הגדרת הגבול של סדרות, כמובן)
+*אומרים כי טור הסדרה <math>a_n</math> '''מתכנס''' אם סדרת הסכומים החלקיים <math>S^{a_n}</math> מתכנסת לגבול סופי. (במובן הגדרת הגבול של סדרות, כמובן)
+**במקרה זה אומרים כי סכום הטור שווה לגבול סדרת הסכומים החלקיים. כלומר <math>\displaystyle\sum_{n=1}^\infty a_n=\lim_{N\to\infty}S_N^{a_n}</math> .
-**במקרה זה אומרים כי סכום הטור שווה לגבול סדרת הסכומים החלקיים
 *אומרים כי טור הסדרה <math>a_n</math> '''מתכנס בהחלט''' אם טור הסדרה <math>|a_n|</math> מתכנס.
@@ שורה 36: / שורה 27: @@
 *אומרים כי טור '''מתכנס בתנאי''' אם הוא מתכנס, אך אינו מתכנס בהחלט.
+מסמנים את טור הסדרה <math>\displaystyle\sum_{n=1}^\infty a_n</math> .
-מסמנים את טור הסדרה ב <math>\sum_{n=1}^\infty a_n</math>
+<font size=4 color=#a7adcd>'''דוגמא חשובה.'''</font>
-<font size=4 color=#a7adcd>
+נחשב את סכום הטור <math>\displaystyle\sum_{n=0}^\infty x^n</math>
-'''דוגמא חשובה.'''
-</font>
+:<math>\begin{align}S_1&=x^0=1\\S_2&=x^0+x^1=1+x\\\vdots\\S_N&=1+x+x^2+\cdots+x^{N-1}\end{align}</math>
-נחשב את סכום הטור <math>\sum_{n=0}^\infty x^n</math>
-::<math>S_1=x^0=1</math>
-::<math>S_2=x^0+x^1=1+x</math>
-:::<math>\vdots</math>
-::<math>S_N=1+x+x^2+...+x^{N-1}</math>
 כעת, לפי הנוסחא לסכום סדרה הנדסית, מקבלים
-::<math>S_N=\frac{1-x^N}{1-x}</math>
+:<math>S_N=\dfrac{1-x^N}{1-x}</math>
+אם כך, <math>\displaystyle\sum_{n=0}^\infty x^n=\lim_{N\to\infty}S_N=\lim_{N\to\infty}\frac{1-x^N}{1-x}</math>
-אם כך, <math>\sum_{n=0}^\infty x^n=\lim_{N\rightarrow\infty}S_N=\lim_{N\rightarrow\infty}\frac{1-x^N}{1-x}</math>
 זה תרגיל בסדרות, וקל לראות כי:
-::אם <math>|x|<1</math> הסדרה מתכנסת ומקבלים <math>\sum_{n=0}^\infty x^n=\frac{1}{1-x}</math>
+:אם <math>|x|<1</math> הסדרה מתכנסת ומקבלים <math>\displaystyle\sum_{n=0}^\infty x^n=\frac1{1-x}</math>
-::אם <math>x=1</math> הסדרה לא מוגדרת, כיוון שאסור היה להשתמש בנוסחאת הסכום במקרה זה. קל לראות, אמנם, כי סדרת הסכומים החלקיים האמיתית שואפת לאינסוף ולכן הטור מתבדר
+:אם <math>x=1</math> הסדרה לא מוגדרת, כיון שאסור היה להשתמש בנוסחת הסכום במקרה זה. קל לראות, אמנם, כי סדרת הסכומים החלקיים האמיתית היא <math>S_N=N</math> וכיון שהיא שואפת לאינסוף, הטור מתבדר.
-::אם <math>x=-1</math> הסדרה מתבדרת וכך גם הטור
+:אם <math>x=-1</math> הסדרה מתבדרת וכך גם הטור
-:: אם <math>|x|>1</math> הסדרת אינה חסומה, ולכן מתבדרת ולכן הטור מתבדר.
+:אם <math>|x|>1</math> הסדרת אינה חסומה, ולכן מתבדרת ולכן הטור מתבדר.
+'''שימו לב:''' אם נתחיל את הספירה ממקום אחר, נקבל סכום אחר. <math>\displaystyle\sum_{n=1}^\infty x^n=\frac{x}{1-x}</math> . אם כך, '''מספר סופי של אברים לא משפיע על התכנסות הטור, אך עשוי להשפיע על סכומו'''.
-'''שימו לב:''' אם נתחיל את הספירה ממקום אחר, נקבל סכום אחר. <math>\sum_{n=1}^\infty x^n=\frac{x}{1-x}</math>. אם כך, '''מספר סופי של איברים לא משפיע על התכנסות הטור, אך עשוי להשפיע על סכומו'''.
+באופן כללי, סדרת הסכומים החלקיים של טור מוגדרת על-ידי כלל הנסיגה <math>S_{N+1}^{a_n}=S^{a_n}_N+a_{N+1}</math> .
+<font size=4 color=#a7adcd>'''דוגמא חשובה.'''</font>
+ניזכר בתרגילים מ[[88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/סדרות/קושי|סדרות קושי]]. נשים לב כי סדרת הסכומים החלקיים של הטור <math>\displaystyle\sum_{n=1}^\infty\frac1n</math> (הנקרא לעתים הטור '''ההרמוני''') מוגדרת על ידי כלל הנסיגה <math>S_{N+1}=S_N+\dfrac1{n+1}</math> . כפי שראינו, סדרה זו אינה סדרת קושי ולכן מתבדרת, ולכן הטור ההרמוני מתבדר.
-באופן כללי, סדרת הסכומים החלקיים של טור מוגדרת על ידי כלל הנסיגה <math>S^{a_n}_{N+1}=S^{a_n}_N+a_{N+1}</math>.
+באופן דומה, נסיק כי הטור <math>\displaystyle\sum_{n=1}^\infty\frac1{n^2}</math> מתכנס.
-<font size=4 color=#a7adcd>
+באופן כללי, הטור <math>\displaystyle\sum_{n=1}^\infty\frac1{n^\alpha}</math> מתכנס אם"ם <math>\alpha>1</math> אבל את זה נלמד בהמשך.
-'''דוגמא חשובה.'''
-</font>
-ניזכר בתרגילים מ[[88-132 אינפי 1 סמסטר א' תשעב/מערך תרגול/סדרות/קושי|סדרות קושי]]. נשים לב כי סדרת הסכומים החלקיים של הטור <math>\sum\frac{1}{n}</math> (הנקרא לעיתים הטור '''ההרמוני''') מוגדרת על ידי כלל הנסיגה <math>S_{N+1}=S_N+\frac{1}{n+1}</math>. כפי שראינו, סדרה זו אינה סדרת קושי ולכן מתבדרת, ולכן הטור ההרמוני מתבדר.
+==הקשר בין התכנסות טור לבין גבול הסדרה של הטור==
+אם <math>\displaystyle\sum_{n=1}^\infty a_n</math> מתכנס אזי בהכרח <math>\lim\limits_{n\to\infty}a_n=0</math>
-באופן דומה, נסיק כי הטור <math>\sum\frac{1}{n^2}</math> מתכנס.
+'''הכיוון ההפוך אינו נכון בהכרח!!!!'''
-באופן כללי, הטור <math>\sum\frac{1}{n^\alpha}</math> מתכנס אם"ם <math>\alpha > 1</math> אבל את זה נלמד בהמשך.
+לדוגמא, <math>\lim\limits_{n\to\infty}\dfrac1n=0</math> ואילו הטור <math>\displaystyle\sum_{n=1}^\infty\frac1n</math> אינו מתכנס.
-==הקשר בין התכנסות לטור לבין גבול הסדרה של הטור==
+==טורים טלסקופיים==
+כפי שטלסקופ ארוך מאד (או אנטנה של רדיו) מתקפלים אל תוך עצמם (כל חתיכה נכנסת בקודמה), כך לעתים סכום של מספרים מתבטל ברובו ומשאיר רק מספר קטן של מחוברים. אם תרצו, זהו טור מטריושקה.
-אם <math>\sum_{n=1}^\infty a_n</math> מתכנס אזי בהכרח <math>\lim_{n\rightarrow\infty}a_n=0</math>
+לדוגמא, קל לוודא כי <math>\displaystyle\sum_{n=1}^{10}\frac1n-\frac1{n+1}=\frac11-\frac12+\frac12-\frac13+\cdots=\frac11-\frac1{11}</math>
-'''הכיוון ההפוך אינו נכון בהכרח!!!!'''
+טור נקרא '''טלסקופי''' אם סדרת הסכומים החלקיים שלו מצטמצמת באופן דומה לדוגמא לעיל. זו אינה הגדרה מתמטית מדויקת, אלא כינוי לדרך מסוימת לחשב סכום של טור.
-לדוגמא, <math>\lim_{n\rightarrow\infty}\frac{1}{n}=0</math> ואילו הטור <math>\sum_{n=1}^\infty \frac{1}{n}</math> אינו מתכנס
+<font size=4 color=#a7adcd>'''תרגיל.'''</font>
-==טורים טלסקופיים==
+הוכח כי הטור הבא מתכנס ומצא את סכומו
-כפי שטלסקופ ארוך מאד (או אנטנה של רדיו) מתקפלים אל תוך עצמם (כל חתיכה נכנסת בקודמה), כך לעיתים סכום של מספרים מתבטל ברובו ומשאיר רק מספר קטן של מחוברים. אם תרצו, זהו טור מטריושקה.
-לדוגמא, קל לוודא כי <math>\sum_{n=1}^{10}\frac{1}{n}-\frac{1}{n+1} = \frac{1}{1}-\frac{1}{2}+\frac{1}{2}-\frac{1}{3}+... = \frac{1}{1}-\frac{1}{11}</math>
+:<math>\displaystyle\sum_{n=1}^\infty\frac1{(n+2)(n+4)}</math>
+;פתרון.
+נפרק את הביטוי לשברים חלקיים, על-מנת לקבל <math>\dfrac1{(n+2)(n+4)}=\dfrac1{2(n+2)}-\dfrac1{2(n+4)}</math>
-טור נקרא '''טלסקופי''' אם סדרת הסכומים החלקיים שלו מצטמצמת באופן דומה לדוגמא לעיל. זו אינה הגדרה מתמטית מדוייקת, אלא כינוי לדרך מסוימת לחשב סכום של טור.
+על-ידי התבוננות במספר האיברים הראשונים של הטור, אנו מנחשים כי סדרת הסכומים החלקיים מקיימת את הנוסחא
+:<math>S_N=\dfrac16+\dfrac18-\dfrac1{2n+6}-\dfrac1{2n+8}</math>
-<font size=4 color=#a7adcd>
+את נוסחא זו קל להוכיח באינדוקציה.
-'''תרגיל.'''
-</font>
-הוכח כי הטור הבא מתכנס ומצא את סכומו
+אם כך, סכום הטור - הלא הוא גבול סדרת הסכומים החלקיים - שווה <math>\lim\limits_{N\to\infty}S_N=\dfrac16+\dfrac18=\dfrac7{24}</math>
-::<math>\sum_{n=1}^\infty\frac{1}{(n+2)(n+4)}</math>
-'''פתרון.'''
+<font size=4 color=#a7adcd>'''תרגיל.'''</font>
+קבע אם הטור הבא מתכנס
+:<math>\displaystyle\sum_{n=1}^\infty\ln\left(\frac{n+1}{n}\right)</math>
-נפרק את הביטוי לשברים חלקיים, על מנת לקבל <math>\frac{1}{(n+2)(n+4)}=\frac{1}{2(n+2)}-\frac{1}{2(n+4)}</math>
+;פתרון.
+נביט בסדרת הסכומים החלקיים
-על ידי התבוננות במספר האיברים הראשונים של הטור, אנו מנחשים כי סדרת הסכומים החלקיים מקיימת את הנוסחא
+:<math>\begin{align}S_N&=\ln\left(\dfrac21\right)+\cdots+\ln\left(\dfrac{N+1}{N}\right)\\S_N&=\ln(2)-\ln(1)+\ln(3)-\ln(2)+\cdots+\ln(N+1)-\ln(N)\\&=\ln(N+1)-\ln(1)=\ln(N+1)\end{align}</math>
-::<math>S_N=\frac{1}{6}+\frac{1}{8}-\frac{1}{2n+6}-\frac{1}{2n+8}</math>
-את נוסחא זו קל להוכיח באינדוקציה.
-אם כך, סכום הטור - הלא הוא גבול סדרת הסכומים החלקיים - שווה ל<math>\lim_{N\rightarrow\infty}S_N=\frac{1}{6}+\frac{1}{8}</math>
+ולכן סדרת הסכומים החלקיים שואפת לאינסוף והטור אינו מתכנס.

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

גרסה אחרונה מ־06:43, 14 בפברואר 2017

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

הקשר בין התכנסות טור לבין גבול הסדרה של הטור

טורים טלסקופיים

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים