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

שאלה 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] שהוא כמובן מתכנס, ולכן כל הטור מתכנס בהחלט.