התנאי מתקיים ל-p=21 ו-ε=2N כאשר N≥0 מכיוון ש-n≥1.
=2∣cos(n+1)∣≥2∣n+1∣=2n+2>2n>2N=ε
לכן, נראה כי תנאי קושי לא מתקיים ולכן, לפי משפט, הסדרה an אינה מתכנסת. ∎
תרגיל 2
תרגיל (2 [א])
נתונה סדרה an אשר מקיימת את התנאי הבא:
קיים מספר ממשי c כך שלכל n∈N מתקיים:
∣a2−a1∣+∣a3−a2∣+⋯+∣an−an−1∣<c
הוכיחו כי הסדרה מתכנסת.
רמז: התבוננו בסדרה bn=∣a2−a1∣+∣a3−a2∣+⋯+∣an−an−1∣ והראו שהיא מתכנסת ולכן סדרת קושי.
הוכחה:
תהי bn=∣a2−a1∣+∣a3−a2∣+⋯+∣an−an−1∣.
bn+1−bn=∣an+1−an∣≥0⟹bn+1≥bn
לכן, הסדרה bn מונוטונית עולה.
על פי הנתון, לכל n מתקיים כי bn=∣a2−a1∣+∣a3−a2∣+⋯+∣an−an−1∣<c ולכן, bn חסומה.
על פי משפט, bn מתכנסת. ולכן, על פי משפט, היא גם סדרת קושי.
יהי ε>0 ויהיו am,an שני איברים בסדרה an כך ש-m>n.
מכיוון ש-bn סדרת קושי, אזי, לפי הגדרה, לכל ε1>0 ולכל k>ℓ∈N מתקיים: ∣ak−aℓ∣<ε1.
זה מתקיים ספציפית ל-ε1=ε>0 ולכן:
לכן, הסדרה an היא סדרת קושי ולכן, לפי משפט, היא מתכנסת. ∎
תרגיל (2 [ב])
הביאו דוגמה לסדרה מתכנסת שלא מקיימת את התנאי.
דוגמה:
נסתכל על הסדרה an:−1,1,−21,21,−31,31,….
אנו יודעים כי קיימות 2 תת סדרות אשר מכסות את כל איברי הסדרה כך ששתיהן שואפות ל-0 על פי הוכחה מההרצאה.
לכן, הסדרה מתכנסת ושואפת ל-0.
כעת, נוכיח כי התנאי אינו מתקיים:
ולכן, על פי הגדרה, לא יכול להיות כי סכום ההפרשים חסום ולכן, לא מתקיים התנאי.
תרגיל 3
תרגיל (3)
תנו דוגמה לכיסוי פתוח של הקטע (1,5] שאין לו תת-כיסוי סופי. הוכיחו את תשובתכם.
דוגמה:A={(1+n1,6)∣n∈N} הוכחה:
תחילה, נראה כי A מכסה את (1,5]. כלומר, נראה כי לכל x∈(1,5] קיים In∈A כך ש-x∈In.
x>1+n1⟹nx>n+1⟹n(x−1)>1⟹n>x−11
לכל x נוכל לבחור n=[x−11]+1 כך ש-x יהא איבר ב-In. לכן, A הוא כיסוי פתוח של הקטע המדובר.
כעת, נראה כי ל-A אין תת-כיסוי סופי. נניח בשלילה כי קיים כיסוי סופי B={In1,In2,…,Inm}⊆A.
נבחר קטע Ink, כאשר 1≤k≤m ובו nk הוא האינדקס הגדול ביותר ולכן הקטע (1+nk1,6) הוא הארוך ביותר ב-B.
על פי צפיפות הממשיים, קיים 1<x<1+nk1 כגון x=1+2nk1 אשר אינו נמצא באף קטע ב-B וכך הגענו לסתירה. ∎
תרגיל 4
תרגיל (4)
תהי A קבוצה שלכל כיסוי שלה ע"י קטעים פתוחים קיים תת-כיסוי סופי.
הוכיחו כי A חסומה.
הוכחה:
נניח בשלילה כי A אינה חסומה, כלומר, יש לה ∞ איברים כך שבה"כ לכל M>0 קיים x∈A כך ש-x>M.
לכן, כדי לכסות את A נדרש לקטע הפתוח (α,∞) כאשר α∈R - דבר זה אינו יכול להתקיים בכיסוי סופי, ולכן, לא יכול להיות כי ל-A יהיה תת כיסוי סופי, מה שעומד בסתירה לנתון.
לכן, A חסומה. ∎