סדרת קושי

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

סדרת קושי נקראת על שם המתמטיקאי הצרפתי אוגוסטן לואי קושי.

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

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

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

אך עם זאת, ככל שערכי n גדלים, כך גם ערכי  גדלים באופן שרירותי. ולכן, לכל אינדקס n ומרחק d, קיים אינדקס m גדול מספיק שעבורו  (מתקיים עבור: ). לכן, לא משנה כמה נתקדם בסדרה, איברי הסדרה לעולם לא יתקרבו זה אל זה, ולכן סדרה זו אינה סדרת קושי.

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

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



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