גרסה מ־10:34, 11 במרץ 2011

המבחן של פרופ' זלצמן

שאלה 1

תהי סדרה a_n, ותהי E קבוצות הגבולות החלקיים שלה. הוכח/הפרך: E סגורה

הוכחה

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

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

לכן, עבור [math]\displaystyle{ \frac{1}{n} }[/math] קיימת תת סדרה המתכנסת למספר הקרוב לr עד כדי [math]\displaystyle{ \frac{1}{n} }[/math]. לכן קיים בסדרה הזו מקום אשר החל ממנו והלאה כל האיברים קרובים לr עד כדי [math]\displaystyle{ 2/n }[/math] (המרחק בין גבול תת הסדרה לבין r ועוד מרחק בין איברי תת הסדרה לגבול תת הסדרה). נבחר איברים כאלה מתתי הסדרות, ובלבד שכל איבר יהיה אחרי האיבר הקודם. כך בנינו סדרה שאיבריה קרובים מרחק [math]\displaystyle{ 2/n }[/math] מr ולכן היא וודאי מתכנסת לr כפי שרצינו.

שאלה 2

בדוק התכנסות של הטורים הבאים:

א

[math]\displaystyle{ \sum (-1)^n\tan{\frac{1}{n}} }[/math]

נבדוק התכנסות בהחלט, נוכיח שהטור חבר של הטור ההרמוני:

[math]\displaystyle{ \lim\frac{\tan\frac{1}{n}}{\frac{1}{n}}=\lim\frac{\sin{\frac{1}{n}}}{\frac{1}{n}\cos\frac{1}{n}}=1 }[/math]

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

קל לראות שtan מונוטונית באיזור אפס (נגזרתה חיובית בלבד), וכמו כן [math]\displaystyle{ tan(0)=0 }[/math] והיא רציפה שם ולכן סה"כ יש לנו סדרה המתכנסת מונוטונית לאפס ולפי משפט לייבניץ הטור כולו מתכנס בתנאי.

ב

[math]\displaystyle{ \sum (-1)^ne^{\frac{1}{logn}} }[/math]

קל לראות ש [math]\displaystyle{ e^{\frac{1}{logn}}\rightarrow 1 }[/math] ולכן הטור מתבדר.

ג

[math]\displaystyle{ \sum (-1)^n{\frac{cos(logn)}{n(logn)^3}} }[/math]

בערך מוחלט זה קטן מ[math]\displaystyle{ \sum\frac{1}{n(logn)^3} }[/math]. זו סדרה מונוטונית יורדת ולכן ניתן להפעיל את מבחן העיבוי לקבל את הטור [math]\displaystyle{ \sum\frac{2^n}{2^n(log(2^n))^3}=\sum\frac{1}{n^3(log2)^3} }[/math] שהוא כמובן מתכנס, ולכן כל הטור מתכנס בהחלט.

@@ שורה 23: / שורה 23: @@
 ולכן הוא אינו מתכנס בהחלט.
-קל לראות שtan מונוטונית באיזור אפס (נגזרתה חיובית בלבד), וכמו כן <math>tan(0)=0</math> והיא רציפה שם ולכן סה"כ יש לנו סדרה המתכנסת מונוטונית לאפס ולפי משפט לייבניץ הטור כולו מתכנס בתנאי.
+קל לראות שtan מונוטונית באיזור אפס (נגזרתה חיובית בלבד), וכמו כן <math>tan(0)=0</math> והיא רציפה שם ולכן סה"כ יש לנו סדרה המתכנסת מונוטונית לאפס ולפי משפט לייבניץ הטור כולו '''מתכנס בתנאי'''.
 ===ב===
 <math>\sum (-1)^ne^{\frac{1}{logn}}</math>
-קל לראות ש <math>e^{\frac{1}{logn}}\rightarrow 1</math> ולכן הטור מתבדר
+קל לראות ש <math>e^{\frac{1}{logn}}\rightarrow 1</math> ולכן הטור '''מתבדר'''.
 ===ג===
-<math>\sum (-1)^ne^{\frac{cos(logn)}{n(logn)^3}}</math>
+<math>\sum (-1)^n{\frac{cos(logn)}{n(logn)^3}}</math>
-בערך מוחלט זה קטן מ<math>\sum\frac{1}{n(logn)^3</math>. זו סדרה מונוטונית יורדת ולכן ניתן להפעיל את מבחן העיבוי לקבל את הטור <math>\sum\frac{2^n}{2^n(log(2^n))^3=\sum\frac{1}{n^3(log2)^3}</math> שהוא כמובן מתכנס, ולכן כל הטור '''מתכנס בהחלט'''
+בערך מוחלט זה קטן מ<math>\sum\frac{1}{n(logn)^3}</math>. זו סדרה מונוטונית יורדת ולכן ניתן להפעיל את מבחן העיבוי לקבל את הטור <math>\sum\frac{2^n}{2^n(log(2^n))^3}=\sum\frac{1}{n^3(log2)^3}</math> שהוא כמובן מתכנס, ולכן כל הטור '''מתכנס בהחלט'''.