חשבון אינפיניטסימלי/גבולות/הגדרת הגבול: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 64:
אם נרצה להוכיח כי סדרה היא '''מתבדרת''', כלומר אין לה גבול, נצטרך להוכיח את הטענה הבאה:
 
לכל <math>L</math>, קיים <math>\epsilonvarepsilon</math> שעבורו לכל <math>k</math> קיים מספר <math>n>k</math> המקיים <math>|a_n-L|<\epsilonvarepsilon</math>.
 
הטענה שקולה לטענה: לא קיים מספר <math>L</math> המקיים את תנאי הגבול, ולכן הסדרה מתבדרת.
 
דרך נוספת להוכיח כי סדרה היא מתבדרת, היא להוכיח כי היא אינה חסומה. אם הסדרה אינה חסומה, אז לכל <math>\epsilonvarepsilon</math>, קיימים אינסוף איברים של הסדרה, המקיימים <math>a_n<L-\epsilonvarepsilon</math> או <math>a_n>L+\epsilonvarepsilon</math>, שאם לא כן, היינו בודקים מה האיבר הכי גדול (או קטן) מבין המספר הסופי של איברים הנמצאים מחוץ לסדרה, וקובעים אותו כחסם.
 
חשוב להדגיש כי '''אם סדרה אינה חסומה אז אין לה גבול, אבל אם סדרה חסומה לא בהכרח יש לה גבול'''. נתבונן למשל בסדרה <math>\left\{(-1)^n\right\}^\infty_0</math>. נקבל כי היא חסומה (כל איברי הסדרה קטנים או שווים ל1 וגדולים או שווים ל0) אך כמו שכבר הוכחנו, אין לה גבול.