הבדלים בין גרסאות בדף "88-230 אינפי 3 סמסטר א תשעד הוכחות למשפטים למבחן"
מתוך Math-Wiki
Ofekgillon10 (שיחה | תרומות) (יצירת דף עם התוכן "==משפט קנטור על רציפות במ"ש== ===המשפט=== תהי <math>f:K \to \mathbb{R}^m</math> כך ש- <math>K \subseteq \mathbb{R}^n</math> קבו...") |
(אין הבדלים)
|
גרסה מ־18:40, 29 בינואר 2014
משפט קנטור על רציפות במ"ש
המשפט
תהי כך ש- קבוצה קומפקטית ו- רציפה ב- , אזי f רציפה במ"ש ב-K.
הוכחה
נניח בשלילה ש-f לא רבמ"ש ב-K. אז מתקיים ש-
.
זה מתקיים לכל דלתא, אז נגדיר סדרה של דלתות באופן הבא: , ולכל נסמן את בהתאם: .
לכן לכל k מתקיים:
כיוון שכל הנקודות ב-K, שהיא קבוצה קומפקטית, מתקיימת למת בולצאנו ווירשטראס. כלומר קיימת תת סדרה שמתכנסת לנקודה שגם היא ב-K (כיוון ש-K סגורה).
נשים לב ש- . מתוך הנתון ש- f רציפה ב- נקבל ש- אך אם כך, בסתירה לכך שקיים אפסילון כך ש- . משל