תת-סדרה – הבדלי גרסאות

תהא <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>\{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<NK</math> ו-<math>a_l=a_Na_K</math> בסתירה לכך ש-<math>\{n_k\}_{k=1}^\infty</math> עולה ממש.