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