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

תוכן שנמחק תוכן שנוסף
Legobot (שיחה | תרומות)
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1332977
Matanyabot (שיחה | תרומות)
מ בוט החלפות: על ידי, \1תת-
שורה 1:
{{פירוש נוסף|נוכחי=מושג במתמטיקה|אחר=מושג [[מיון עולם הטבע|טקסונומי]]|ראו=[[סדרה (טקסונומיה)]]}}
 
ב[[אנליזה מתמטית]], '''תת-סדרה''' היא [[קבוצה (מתמטיקה)|קבוצה]] חלקית מתוך ה[[סדרה]] המקורית, המסודרת באותו הסדר. באופן לא פורמלי, תת-סדרה מתקבלת מהסדרה המקורית על- ידי הסרת חלק מהאיברים. למשל: לסדרה <math>\ a_n=\frac{1}{n}</math> יש תת-סדרות <math>\ b_n=a_{2n}=\frac{1}{2n}</math> ו-<math>\ c_n=a_{2n^2+7}=\frac{1}{2n^2+7}</math>. סדרה נחשבת לתת-סדרה של עצמה. תת-סדרה של תת-סדרה היא בעצמה תת-סדרה גם של הסדרה המקורית.
 
==ניסוח פורמלי==
שורה 11:
<math>l\,</math> נקרא '''גבול חלקי''' של הסדרה <math>\{a_n\}_{n=1}^\infty</math> אם קיימת תת-סדרה של <math>\{a_n\}_{n=1}^\infty</math> המתכנסת ל-<math>l\,</math>. גם אם הסדרה המקורית אינה מתכנסת, תת-סדרה שלה יכולה להתכנס.
 
סדרה [[גבול של סדרה|מתכנסת]] [[אם ורק אם]] כל הגבולות החלקיים שלה שווים. כך למשל הסדרה <math>\ a_n=n</math> מתכנסת לאינסוף, ולכן כל תת-סדרה שלה, למשל <math>\ b_n=2n</math>, מתכנסת ל[[אינסוף]]. דוגמה אחרת, היא הסדרה <math>\ c_n=(-1)^n</math> שמתבדרת, אולם תת -הסדרה שלה <math>\ d_n=(-1)^{2n}=1</math>, מתכנסת ל-1.
 
לכל סדרה יש לפחות גבול חלקי אחד, ממשי או אינסופי. הסיבה לכך היא שאם מדובר ב[[סדרה חסומה]], אזי מ[[משפט בולצאנו-ויירשטראס]] נובע כי יש לה תת-סדרה מתכנסת לגבול ממשי, ואם הסדרה אינה חסומה, הרי שקל לבנות מאיבריה תת-סדרה שמתכנסת לגבול אינסופי.