שינויים
/* תרגיל 6 שאלת בונוס (מתמטיקאים) */
האם זה נכון?
::לא. יש בעיה עם הכמתים (קיים,לכל). בהגדרה לפי קושי, אם אשתמש בסימונים שלך צריך להוכיח שלכל <math>\epsilon_0</math> קיים <math>n_0</math> כך שלכל <math>n\geq n_0</math> '''ולכל''' <math>p</math> טבעי<math>\left | a_{n+p}-a_{n}\right |< \varepsilon _{0}</math>.
אני אציג מה שלא עובד בהוכחה שציינת. בגדול אי אפשר יהיה לקבוע מהו <math>n_0</math>. למה?
נציב לפי ההצעה שלך <math>p</math> טבעי מסוים ועבור <math>\varepsilon _0</math> מסוים,
<math>\epsilon=\frac{\varepsilon_0}{p}</math> ונשתמש בגבול הנתון ונסיק שקיים <math>n_0</math> שתלוי ב <math>\varepsilon</math> ולכן '''תלוי ב<math>p</math> ''' כך שלכל <math>n\geq n_{0}</math> ועבור אותו <math>p</math> ספציפי <math>\left | a_{n+p}-a_{n}\right |< \varepsilon _{0}</math>. אבל
כדי להוכיח קריטריון קושי צריך שהנ"ל יתקיים '''לכל <math>p</math>''' ולא ל <math>p</math> מסויים.
אם היינו משנים את <math>p</math> גם <math>n_0</math> היה יכול להשתנות (כי הוא תלוי ב<math>\varepsilon</math> '''שתלוי ב<math>p</math>''').
אגב, אי אפשר להוכיח שקריטריון קושי מתקיים ושהסדרה מתכנסת שכן קיימות דוגמאות נגדיות לסדרות שלא יתכנסו אך עדיין יקימו את התנאי בשאלה. --[[משתמש:מני ש.|מני]] 11:50, 28 בדצמבר 2012 (IST)
