סדרת קושי

בערך זה נעשה שימוש בסימנים מוסכמים מתחום המתמטיקה. להבהרת הסימנים ראו סימון מתמטי.

רצף האיברים של סדרת הקושי

{\displaystyle x_{n}}

מוצגים בנקודות כחולות. אם המרחב שמכיל את הסדרה הוא שלם, אזי לסדרה יש גבול.

סדרה שאינה סדרת קושי. איברי הסדרה אינם מתקרבים זה לזה ככל שמתקדמים בסדרה.

באנליזה מתמטית, סדרת קוֹשי, הקרויה על שם המתמטיקאי הצרפתי אוגוסטן לואי קושי, היא סדרה שאבריה הולכים ומצטופפים ככל שמתקדמים בסדרה. באופן מדויק יותר לכל מרחק חיובי $\varepsilon$, קטן ככל שיהיה, יש איבר בסדרה שממנו והלאה ההפרש בין כל שני איברים קטן מ-$\varepsilon$.

לא מספיק לדרוש שההפרש בין כל שני איברים עוקבים הולך וקטן, לדוגמה בסדרה:

$a_{n}={\sqrt {n}}$

ההפרש בין כל שני איברים עוקבים נעשה קטן יותר ככל שמתקדמים בסדרה:

$a_{n+1}-a_{n}={\sqrt {n+1}}-{\sqrt {n}}={\frac {1}{{\sqrt {n+1}}+{\sqrt {n}}}}<{\frac {1}{\sqrt {2n}}}$

אך עם זאת, ככל שערכי n גדלים, כך גם ערכי $a_{n}$ גדלים באופן שרירותי. ולכן, לכל אינדקס n ומרחק d, קיים אינדקס m גדול מספיק שעבורו $a_{m}-a_{n}>d$. (עבור $m>{({\sqrt {n}}+d)}^{2}$) ולכן, לא משנה כמה נתקדם בסדרה, אברי הסדרה לעולם לא יתקרבו זה אל זה, ולכן סדרה זו אינה סדרת קושי.

השימושיות של סדרות קושי נובעת מכך שבמרחבים מטריים שלמים (מרחבים בהם כל סדרות קושי מתכנסות לגבול) הקריטריון להתכנסות סדרה תלוי אך ורק באיברי הסדרה, בניגוד להגדרת ההתכנסות שתלויה גם באיברי הסדרה וגם בגבול עצמו. תכונה זו מנוצלת באלגוריתמים, בהם ניתן להראות כי תהליך איטרטיבי מייצר סדרת קושי.

במספרים הממשיים

סדרה $\left\{a_{n}\right\}_{n=1}^{\infty }$ נקראת סדרת קושי אם לכל $\varepsilon >0$ קיים $N$ מתאים לו, כך שלכל $n,m>N$ מתקיים $|a_{n}-a_{m}|<\varepsilon$. הגדרה זו תקפה לא רק עבור מספרים, אלא בכל מרחב מטרי $\left(X,d\right)$, כשמחליפים את התנאי האחרון $d\left(a_{n},a_{m}\right)<\varepsilon$.

בכל מרחב מטרי, כל סדרה מתכנסת היא סדרת קושי. מאידך ישנם מרחבים מטריים בהם יש סדרות קושי שאינן מתכנסות. מרחב מטרי שלם הוא כזה שבו לכל סדרת קושי בו קיים גבול. המספרים הממשיים הם דוגמה למרחב מטרי שלם. דוגמה למרחב מטרי שאינו שלם היא הקטע הפתוח $\left(0,1\right)$ עם המטריקה המושרית מהמספרים הממשיים, שכן הסדרה $\left\{1/n\right\}_{n=1}^{\infty }$ היא סדרת קושי שאין לה גבול בקטע.

ראו גם

• אפיון התכנסות לפי קושי
• הגדרת הגבול לפי קושי

קישורים חיצוניים

• סדרת קושי, באתר אנציקלופדיה למתמטיקה (באנגלית)
• סדרת קושי, באתר MathWorld (באנגלית)   

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

34015992סדרת קושי