פונקציה רציפה במידה שווה: הבדלים בין גרסאות בדף

מתוך 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>. תכונה זו גוררת [[פונקציה רציפה|רציפות]] של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר.
פונקציה ממשית היא '''רציפה במידה שווה''' בקטע I אם לכל <math>\epsilon>0</math> קיים <math>\delta>0</math> כך שלכל <math>x,y</math> בקטע, אם <math>|x-y|<\delta</math> אז <math>\Big|f(x)-f(y)\Big|<\epsilon</math>. תכונה זו גוררת [[פונקציה רציפה|רציפות]] של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר.




שורה 6: שורה 6:


===הוכחה===
===הוכחה===
תהי f בעלת נגזרת חסומה בקטע A. נניח בשלילה שהיא אינה רציפה במ"ש לכן קיימות שתי סדרות <math>x_n,y_n</math> בקטע המקיימות
תהי <math>f</math> בעלת נגזרת חסומה בקטע <math>A</math> . נניח בשלילה שהיא אינה רציפה במ"ש לכן קיימות שתי סדרות <math>x_n,y_n</math> בקטע המקיימות


::<math>|x_n-y_n|\rightarrow 0</math>
:<math>|x_n-y_n|\to 0</math>


::<math>|f(x_n)-f(y_n)|\not\rightarrow 0</math>
:<math>\Big|f(x_n)-f(y_n)\Big|\not\to 0</math>




לכן קיימת תת סדרה כך ש:
לכן קיימת תת-סדרה כך ש-


::<math>|f(x_{n_k)}-f(y_{n_k})|\rightarrow a \neq 0</math>  
:<math>\Big|f(x_{n_k)}-f(y_{n_k})\Big|\to a\ne 0</math>  


(זוהי תת הסדרה המתכנסת לגבול העליון. אם הגבול העליון היה שווה אפס סדרת הערכים המוחלטים הייתה מתכנסת).
(זוהי תת-הסדרה המתכנסת לגבול העליון. אם הגבול העליון היה שווה <math>0</math> סדרת הערכים המוחלטים הייתה מתכנסת).


נובע מכאן כי הסדרה
נובע מכאן כי הסדרה


::<math>\frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}}</math>
:<math>\frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}}</math>


אינה חסומה.
אינה חסומה.


אבל לפי משפט לגראנז, קיימות נקודות <math>c_{n_k}</math> בין <math>x_{n_k},y_{n_k}</math> כך ש
אבל לפי משפט לגראנז', קיימות נקודות <math>c_{n_k}</math> בין <math>x_{n_k},y_{n_k}</math> כך ש-


::<math>f'(c_{n_k})=\frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}}</math>
:<math>f'(c_{n_k})=\frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}}</math>


ולכן הנגזרת אינה חסומה, בסתירה.
ולכן הנגזרת אינה חסומה, בסתירה.


[[קטגוריה:אינפי]]
[[קטגוריה:אינפי]]

גרסה מ־10:14, 8 בפברואר 2016

פונקציה ממשית היא רציפה במידה שווה בקטע I אם לכל [math]\displaystyle{ \epsilon\gt 0 }[/math] קיים [math]\displaystyle{ \delta\gt 0 }[/math] כך שלכל [math]\displaystyle{ x,y }[/math] בקטע, אם [math]\displaystyle{ |x-y|\lt \delta }[/math] אז [math]\displaystyle{ \Big|f(x)-f(y)\Big|\lt \epsilon }[/math]. תכונה זו גוררת רציפות של הפונקציה בכל נקודה, ובדרך כלל היא חזקה יותר.


משפט

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

הוכחה

תהי [math]\displaystyle{ f }[/math] בעלת נגזרת חסומה בקטע [math]\displaystyle{ A }[/math] . נניח בשלילה שהיא אינה רציפה במ"ש לכן קיימות שתי סדרות [math]\displaystyle{ x_n,y_n }[/math] בקטע המקיימות

[math]\displaystyle{ |x_n-y_n|\to 0 }[/math]
[math]\displaystyle{ \Big|f(x_n)-f(y_n)\Big|\not\to 0 }[/math]


לכן קיימת תת-סדרה כך ש-

[math]\displaystyle{ \Big|f(x_{n_k)}-f(y_{n_k})\Big|\to a\ne 0 }[/math]

(זוהי תת-הסדרה המתכנסת לגבול העליון. אם הגבול העליון היה שווה [math]\displaystyle{ 0 }[/math] סדרת הערכים המוחלטים הייתה מתכנסת).

נובע מכאן כי הסדרה

[math]\displaystyle{ \frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}} }[/math]

אינה חסומה.

אבל לפי משפט לגראנז', קיימות נקודות [math]\displaystyle{ c_{n_k} }[/math] בין [math]\displaystyle{ x_{n_k},y_{n_k} }[/math] כך ש-

[math]\displaystyle{ f'(c_{n_k})=\frac{f(x_{n_k})-f(y_{n_k})}{x_{n_k}-y_{n_k}} }[/math]

ולכן הנגזרת אינה חסומה, בסתירה.