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

מתוך Math-Wiki

משפט קנטור לגבי פונקציות רציפות במ"ש

פונקציה רציפה בקטע סגור וסופי, רציפה שם במ"ש.

הוכחה

תהי [math]\displaystyle{ f }[/math] רציפה על קטע סגור וסופי [math]\displaystyle{ [a,b] }[/math] . נניח בשלילה שהיא לא-רציפה שם במ"ש. לכן קיים [math]\displaystyle{ \epsilon\gt 0 }[/math] , כך שלכל [math]\displaystyle{ \delta\gt 0 }[/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|\ge\epsilon }[/math]

לפי משפט בולצאנו-ויירשטראס לסדרות, יש ל- [math]\displaystyle{ x_n }[/math] תת-סדרה מתכנסת [math]\displaystyle{ x_{n_k} }[/math] (כיון שהקטע סופי, הסדרה חסומה).

בנוסף, לתת הסדרה [math]\displaystyle{ y_{n_k} }[/math] יש תת-סדרה מתכנסת. אם כך, בנינו זוג סדרות מתכנסות המקיימות את התנאים:

[math]\displaystyle{ x'_n-y'_n\to 0 }[/math]
[math]\displaystyle{ \Big|f(x'_n)-f(y'_n)\Big|\ge\epsilon }[/math]

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

[math]\displaystyle{ \lim f(x'_n)=\lim f(y'_n) }[/math]

בסתירה. [math]\displaystyle{ \blacksquare }[/math]