הבדלים בין גרסאות בדף "פונקציה רציפה במידה שווה"
מתוך Math-Wiki
שורה 1: | שורה 1: | ||
− | [[ | + | פונקציה ממשית היא '''רציפה במידה שווה''' בקטע I אם לכל <math>\ \epsilon>0</math> קיים <math>\ \delta > 0</math> כך שלכל x,y בקטע, אם <math>\ |x-y|<\delta</math> אז <math>\ |f(x)-f(y)|<\epsilon</math>. תכונה זו גוררת [[פונקציה רציפה|רציפות]] של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר. |
+ | |||
==משפט== | ==משפט== | ||
שורה 29: | שורה 30: | ||
ולכן הנגזרת אינה חסומה, בסתירה. | ולכן הנגזרת אינה חסומה, בסתירה. | ||
+ | |||
+ | [[קטגוריה:אינפי]] |
גרסה מ־01:09, 15 בפברואר 2012
פונקציה ממשית היא רציפה במידה שווה בקטע I אם לכל קיים כך שלכל x,y בקטע, אם אז . תכונה זו גוררת רציפות של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר.
משפט
פונקציה בעלת נגזרת חסומה בקטע, רציפה במ"ש באותו קטע
הוכחה
תהי f בעלת נגזרת חסומה בקטע A. נניח בשלילה שהיא אינה רציפה במ"ש לכן קיימות שתי סדרות בקטע המקיימות
לכן קיימת תת סדרה כך ש:
(זוהי תת הסדרה המתכנסת לגבול העליון. אם הגבול העליון היה שווה אפס סדרת הערכים המוחלטים הייתה מתכנסת).
נובע מכאן כי הסדרה
אינה חסומה.
אבל לפי משפט לגראנז, קיימות נקודות בין כך ש
ולכן הנגזרת אינה חסומה, בסתירה.