חשבון אינפיניטסימלי/גבולות/גבול חלקי

חשבון אינפיניטסימלי












משפט: הלמה של קנטור

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

הוכחה: על פי הנתון מתקיים , כלומר ולכן .




משפט: משפט בולצאנו ויירשטראס (‫‪Bolzano-Weierstrass‬‬)

הוכחה:





משפט:

לכל סדרה יש תת סדרה המתכנסת במובן הרחב


הוכחה:





משפט:

לכל סדרה יש תת סדרה מונוטונית


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




- גבול חלקי -