∑
26
1012
שבועות / שבוע 11 / סיכום
אינפי ב׳ · מועד א׳ 2026 · יעד 90+
שבוע 11

תת-סדרות, $\limsup$ ו-$\liminf$

להבין מה תת-סדרה ומה $\limsup$/$\liminf$ מודדים.

🚀 לפני שמתחילים

מטרת השבוע
להבין מה תת-סדרה ומה lim sup⁡\limsup/lim inf⁡\liminf מודדים.
דרישות קדם — מה חייבים לדעת לפני:
  • גבול סדרה
  • סדרה מונוטונית
קשר לחומר קודם: שבוע 2: סדרות — תת-סדרות הן כלי חדש להוכחת התבדרות.

📋 מדריך לימוד

מקס אמר ←
💡 טיפ מהיר: תת-סדרות שימושיות להוכחת התבדרות: מצאי שתי תת-סדרות עם גבולות שונים.
✅ חובה לשנן:
  • כל תת-סדרה של סדרה מתכנסת → מתכנסת לאותו גבול
  • lim sup⁡an=lim⁡n→∞sup⁡k≥nak\limsup a_n = \lim_{n\to\infty}\sup_{k\ge n} a_k — הגבול העליון
  • lim inf⁡an=lim⁡n→∞inf⁡k≥nak\liminf a_n = \lim_{n\to\infty}\inf_{k\ge n} a_k — הגבול התחתון
📖 סדר לימוד מומלץ:
  1. הגדרת תת-סדרה: {ank}\{a_{n_k}\} עם n1<n2<…n_1<n_2<\ldots
  2. משפט: סדרה מתכנסת → כל תת-סדרה מתכנסת לאותו גבול
  3. שימוש להוכחת התבדרות: שתי תת-סדרות עם גבולות שונים
  4. lim sup⁡\limsup ו-lim inf⁡\liminf: הגדרה ומשמעות אינטואיטיבית
  5. הסדרה מתכנסת   ⟺  \iff lim sup⁡=lim inf⁡\limsup=\liminf (ולגבול הזה)
⚠ טעויות נפוצות
  • לחשוב שמציאת תת-סדרה מתכנסת מוכיחה שהסדרה מתכנסת
  • לבלבל lim sup⁡\limsup עם lim⁡\lim רגיל

🔗 מה ההגדרות / המשפטים מאפשרים להסיק

כל חץ מראה: אם מתקיים השמאלי, ניתן להסיק את הימני
סדרה מתכנסת an→La_n\to L
←
כל תת-סדרה ank→La_{n_k}\to L
שתי תת-סדרות עם גבולות שונים
←
הסדרה מתבדרת
lim sup⁡=lim inf⁡=L\limsup = \liminf = L
←
הסדרה מתכנסת ל-LL

📖 הגדרות מהשבוע

הגדרה: $\limsup$ ו-$\liminf$
lim sup⁡an=lim⁡n→∞sup⁡k≥nak\limsup a_n = \lim_{n\to\infty}\sup_{k\ge n}a_k — הגבול העליון. lim inf⁡an=lim⁡n→∞inf⁡k≥nak\liminf a_n = \lim_{n\to\infty}\inf_{k\ge n}a_k — הגבול התחתון. מה זה מאפשר: מגדיר כמה 'גבוה' הסדרה עולה בסופו של דבר.

📐 משפטים מרכזיים

משפט: תת-סדרה של סדרה מתכנסת
אם an→La_n\to L, אז לכל תת-סדרה ank→La_{n_k}\to L. מה זה מאפשר: לזהות שתי תת-סדרות עם גבולות שונים → הסדרה מתבדרת.

💡 דברים חשובים שעלו בתרגול — מסקנות מקס

מקס אמר ←
תת-סדרות הן הכלי העיקרי להוכחת התבדרות. מצאי ank→L1a_{n_k}\to L_1 ו-amk→L2a_{m_k}\to L_2 עם L1≠L2L_1\ne L_2 — גמרתם.

❓ שאלות חשובות לתרגול

הוכיחי: an=(−1)na_n=(-1)^n מתבדרת. (שתי תת-סדרות: זוגיות ← 1, אי-זוגיות ← -1)
חשבי lim sup⁡\limsup ו-lim inf⁡\liminf של an=sin⁡(nπ/2)a_n=\sin(n\pi/2).
אינפי ב׳ — מועד א׳ · 01.07.2026 · יעד 90+ · Max Mahlin