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

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
תוכן שנמחק תוכן שנוסף
GiladReti (שיחה | תרומות)
←‏סדרות חסומות: תיקנתי את אי השיוויון
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
שורה 39: שורה 39:
כעת, נבחר:
כעת, נבחר:
<math>M=\max\{M_1,-M_2\}</math>
<math>M=\max\{M_1,-M_2\}</math>
מבחירה זו נקבל: <math>M>M_1</math> וגם <math>M>-M_2</math> לכן, <math>-M<M_2</math> וע"י שימוש בכלל הטרנזיטיביות נקבל:
מבחירה זו נקבל: <math>M>=M_1</math> וגם <math>M>=-M_2</math> לכן, <math>-M<M_2</math> וע"י שימוש בכלל הטרנזיטיביות נקבל:


<math>
<math>

גרסה מ־20:16, 9 באוגוסט 2017

סדרות חסומות

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

דוגמאות

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

באופן פורמלי, אלו ההגדרות של סדרות חסומות:


הגדרה 1: סדרה חסומה מלעיל

סדרה תיקרא חסומה מלעיל (או חסומה מלמעלה) אם קיים כך שלכל מתקיים: .
במקרה זה יקרא חסם מלעיל (או חסם מלמעלה) של .

לפי ההגדרה הזו, נוכל לומר שבדוגמא הראשונה 2 הוא חסם מללעיל של הסדרה.

הגדרה 2: סדרה חסומה מלרע

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

לפי ההגדרה הזו, נוכל לומר שבדוגמא הראשונה 1 הוא חסם מלרע של הסדרה.

הגדרה 3: סדרה חסומה

סדרה תיקרא חסומה, אם היא חסומה גם מלעיל וגם מלרע.

משפטים

משפט 1: סדרה חסומה

סדרה חסומה אם ורק אם קיים כך שלכל מתקיים .


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


הוכחה: תהי סדרה חסומה. לפי ההגדרה חסומה מלעיל וחסומה מלרע. לפי ההגדרה של חסימות מלעיל, קיים כך שלכל מתקיים:

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

כעת, נבחר: מבחירה זו נקבל: וגם לכן, וע"י שימוש בכלל הטרנזיטיביות נקבל:

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