התחלנו עם קריטריון היינה

משפטים שלמדנו על גבולות של סדרות

להשלים

שיהיה כתוב איפשהו כל אחד מהדברים הללו

הוכחות משפטים של גבולות פונקציות

להשלים

את כל ההוכחות? חלק? מה שיצא

משפט (אריתמטיקה של גבולות - חילוק)

תהא פונקציה המוגדרת בסביבה הנקובה של כך ש , אזי גם מוגדרת בסביבה הנקובה של ומתקיים

הוכחה

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

משפט (מתכנסת לאפס כפול חסומה מתכנסת לאפס)

תהו שמוגדרות בסביבה הנקובה של כך ש - חסומה ו אזי,

הוכחה

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

משפט (גבול של ערכים מוחלטים)

תהא שמוגדרת בסביבה הנקובה של .

הוכחה

נשתמש בקריטריון היינה
תהא , לכן (מהיינה)
ולכן, מהמשפט המקביל עבור סדרות

משפט (היינה כש שואף ל ו)

תהא פונקציה המוגדרת בסביבה נקובה של אזי הטענות הבאות שקולות

  1. לכל סדרה כך ש מתקיים

למדנו על גבול חד צדדי

דוגמה לגבול חד צדדי

טענה

הוכחה

נבחר ואכן
אם