תת-סדרה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←ניסוח פורמלי: עריכה, הרחבה |
←ניסוח פורמלי: עריכה |
||
שורה 7:
תהא <math>\{a_n\}_{n=1}^\infty</math> סדרה כלשהי, ותהא <math>\{n_k\}_{k=1}^\infty</math> [[סדרה עולה ממש]] של [[מספר טבעי|מספרים טבעיים]]. אז הסדרה <math>\{a_{n_k}\}_{k=1}^\infty</math> נקראת תת-סדרה של <math>\{a_n\}_{n=1}^\infty</math>. מהגדרת סדרת האינדקסים <math>\{n_k\}_{k=1}^\infty</math> כסדרה עולה, נובע שהיא מתכנסת במובן הרחב (כלמור לגבול סופי או אינסופי). יותר מכך, ניתן להוכיח שכסדרה עולה ממש של טבעיים <math>\{n_k\}_{k=1}^\infty</math> לא חסומה, ולכן <math>n_k \xrightarrow{n \to \infty} \infty</math>.
ראשית, נוכיח באינדוקציה שלכל <math>k</math> טבעי מתקיים <math>a_k \ge k</math>. עבור <math>k=1</math> מתקיים <math>a_k \ge 1</math> (כי 1 מוגדר כטבעי הקטן ביותר). נניח ש-<math>a_k \ge k</math>, אז מהגדרת <math>\{n_k\}_{k=1}^\infty</math> כעולה ממש נובע ש-<math>n_{k+1}>n_k </math> ומכיוון שמדובר בסדרה של טבעיים מתקיים <math>n_{k+1} \ge n_k \ge k </math>. הוכחנו אם כך
נניח בשלילה ש-<math>\{n_k\}_{k=1}^\infty</math> חסומה, אז <math>\{n_k\}_{k=1}^\infty</math> חסומה מלעיל ולכן קיים <math>M</math> כך שלכל <math>k</math> טבעי <math>n_k<M</math>. נסמן <math>K=\lceil M \rceil </math>, אז לכל <math>k</math> טבעי <math>n_k<M\leq \lceil M \rceil =K </math>, ומכיוון ש-<math>\{n_k\}_{k=1}^\infty</math> סדרה של טבעיים אז לכל <math>k</math> טבעי <math>n_k\in \left\{ 1,2,...,K-1 \right\}</math>, ולפי [[עיקרון שובך היונים]] קיים <math>l</math> טבעי כך ש-<math>l<K</math> ו-<math>n_l=n_K</math> בסתירה לכך ש-<math>\{n_k\}_{k=1}^\infty</math> עולה ממש ולכן <math>n_l<n_{l+1}<...<n_K</math>.
|