רציפות במידה שווה
מתוך ויקיפדיה, האנציקלופדיה החופשית
בחשבון אינפיניטסימלי, רציפות במידה שווה (בקיצור, רציפות במ"ש) היא תכונה של פונקציה המוגדרת בקטע. לכל פונקציה רציפה, הערכים שהיא מקבלת בנקודות סמוכות, קרובים זה לזה. במלים אחרות, כדי להבטיח ש- יהיה קרוב ל- , מספיק לדרוש ש- יהיה קרוב ל- . רציפות במידה שווה היא תכונה חזקה יותר: לא רק שהפונקציה רציפה, אלא שמידת הקרבה בין ל- הדרושה על-מנת להבטיח מרחק מסוים בין ל- היא אחידה על-פני כל הקטע, ואינה תלויה ב- .
- הגדרה: פונקציה המוגדרת בקטע היא רציפה במידה שווה, אם לכל קיים כך שלכל ולכל בקטע, שעבורם , מתקיים .
ההבדל בין רציפות במידה שווה לבין רציפות "סתם" בכל הקטע, הוא סדר הכמתים: כאן הדרישה היא שאותו יתאים לכל , ואילו ברציפות סתם מותר ל- להיות תלוי ב- .
יש לזכור שרציפות היא תכונה נקודתית (בכל נקודה, הפונקציה רציפה או שאינה רציפה), בעוד שלרציפות במידה שווה אין משמעות בנקודה אחת - זוהי תכונה של הפונקציה בכל הקטע. כמובן, כל פונקציה רציפה במידה שווה, מוכרחה להיות רציפה בכל נקודה של הקטע. משפט חשוב של קנטור קובע שבקטע סגור, גם ההיפך נכון: אם פונקציה רציפה בכל נקודה של קטע סגור, אז היא רציפה שם במידה שווה.
משום כך, רציפות במידה שווה היא תכונה מעניינת בעיקר בקטעים פתוחים ובקרניים אינסופיות כגון .
תוכן עניינים |
[עריכה] הקשר לנגזרת
אם הפונקציה גזירה בקטע והנגזרת שלה חסומה, אז היא רציפה במידה שווה. באופן כללי יותר, פונקציה המקיימת את תנאי ליפשיץ היא רציפה במידה שווה. ההיפך אינו נכון: הפונקציה רציפה במידה שווה בקטע , אבל הנגזרת שלה אינה חסומה שם.
[עריכה] הכללה למרחבים מטריים
ניתן להרחיב את ההגדרה בקלות למרחב מטרי כלשהו, על ידי שימוש במטריקות של מרחב התחום ומרחב הטווח, במקום במרחק הרגיל ב- (המרחק בין שתי נקודות הוא ). ההכללה של משפט קנטור קובעת שאם פונקציה (ממרחב מטרי אחד לאחר) היא רציפה בכל נקודה של קבוצה קומפקטית, אז היא רציפה שם במידה שווה.
[עריכה] דוגמאות
[עריכה] הפונקציה f(x)=x
ברור אינטואיטיבית כי הפונקציה רציפה במידה שווה ב-, מאחר ששינוי ערך ה- שלה שווה בדיוק לשינוי ערך ה- שלה. נוכיח זאת פורמלית, ישירות לפי ההגדרה:
יהי . נבחר , נקבל כי לכל אם אזי כלומר כרצוי.
[עריכה] הפונקציה f(x)=x2 בקטע סופי
נעיין בפונקציה בקטע מהצורה . מאחר שהקטע סגור, ניתן להסיק את הרציפות במידה שווה ישירות ממשפט קנטור.
נראה שפונקציה זו רציפה במידה שווה על-פי ההגדרה. יהי , ויהיו .
ראשית, נשים לב לכך ש-
מהערכה זו נבחר . ואכן (לפי אי-השיוויון האחרון) לכל -
יתקיים -
[עריכה] הפונקציה f(x)=x2 בקטע אינסופי
על אף שבדוגמה הקודמת מצאנו שבכל קטע סופי מהצורה הפונקציה רציפה במידה שווה, נראה שבקטע אותה פונקציה לא תהיה רציפה במידה שווה.
על מנת לעשות זאת, יש למצוא שעבורו לא קיים מתאים, כלומר, לכל קיימים כך ש- אולם
נבחר , ויהי כלשהו. עבור יתקיים , בעוד ש-
לסיכום, עבור לכל קיימים כך ש- ובכל זאת , ולכן, הפונקציה אינה רציפה במידה שווה בקטע .
[עריכה] פעולות בין פונקציות
- הסכום של שתי פונקציות שהן רציפות במידה שווה, גם הוא רציף במידה שווה.
- אם ו- רציפות במידה שווה בקטע ושתיהן חסומות שם, אזי המכפלה רציפה במידה שווה ב-. התנאי הוא תנאי מספיק לרציפות במידה שווה של פונקציית המכפלה אך אינו תנאי הכרחי. להלן מספר דוגמאות:
- הפונקציה היא מכפלה של שתי פונקציות רציפות במידה שווה, אך אינה רציפה במידה שווה בכל הישר.
- הפונקציות רציפות במידה שווה ואינן חסומות בקטע , אך מכפלתן היא פונקציה רציפה במידה שווה.
- הפונקציה היא מכפלה של שתי פונקציות רציפות במידה שווה על כל הישר, שאחת מהן חסומה, אולם אינה רציפה במידה שווה על כל הישר.
- אם הפונקציה רציפה במידה שווה בקטע וקיים קבוע כך ש- לכל בקטע, אזי גם הפונקציה רציפה במידה שווה בקטע . דוגמה לכך שלא מספיק לדרוש ש- לכל בקטע, היא הפונקציה בקטע .
- הרכבת שתי פונקציות שהן רציפות במידה שווה, גם היא רציפה במידה שווה.
[עריכה] הערות ומשפטים נוספים
- פונקציה הרציפה במידה שווה בקטע מסוים, רציפה במידה שווה בכל קטע חלקי לו. (זהו אמנם משפט טריביאלי, אך שימושי להוכחות על רציפות במידה שווה בקטע פתוח - מרחיבים את הפונקציה בצורה רציפה לקטע סגור, משתמשים במשפט קנטור, וחוזרים לקטע המקורי).
- פונקציה הרציפה במידה שווה במספר סופי של קטעים, רציפה במידה שווה באיחוד הקטעים.
- פונקציה רציפה בקטע ושואפת לגבול סופי ב- היא רציפה במידה שווה בקטע . ברור כי התנאי אינו הכרחי: הפונקציה רציפה במידה שווה, אך אינה שואפת לגבול סופי ב-.
- ניתן להרחיב מעט את התנאי הקודם: פונקציה רציפה בקטע וקיימים קבועים כך שהפונקציה שואפת לגבול סופי ב- אזי רציפה במידה שווה בקטע .
- פונקציה רציפה בקטע וגזירה בקטע , עבור . אם שואפת לגבול סופי ב- אזי רציפה במידה שווה בקטע . דוגמה: הפונקציה רציפה במידה שווה בקטע .
[עריכה] ראו גם
חשבון אינפיניטסימלי | |
---|---|
מושגי יסוד: |
חשבון אינפיניטיסימלי | סדרה | גבול | סדרת קושי | טור | אינפיניטסימל | שדה המספרים הממשיים | ערך מוחלט | אי-שוויון המשולש | אי-שוויון קושי-שוורץ |
פונקציות: |
פונקציה | גרף פונקציה | פונקציה לינארית | פונקציה מונוטונית | נקודת קיצון | פונקציה קעורה | פונקציה קמורה | פונקציה רציפה | רציפות במידה שווה | נקודת אי רציפות | נגזרת | טור טיילור | סדרת פונקציות | התכנסות במידה שווה |
משפטים: |
משפט בולצאנו-ויירשטראס | משפטי ויירשטראס | משפט קנטור | משפט ערך הביניים |משפט פרמה | משפט רול | משפט הערך הממוצע של לגראנז' | משפט הערך הממוצע של קושי | משפט דארבו | כלל לופיטל | כלל השרשרת |
האינטגרל: |
אינטגרל | המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי | אינטגרציה בחלקים | שיטות אינטגרציה |
אנליזה מתקדמת: |
פונקציה מרוכבת | אנליזה וקטורית | שיטת ניוטון-רפסון | משוואה דיפרנציאלית | טופולוגיה | תורת המידה |
אנליזה מתמטית - אנליזה וקטורית - טופולוגיה - אנליזה מרוכבת - אנליזה פונקציונלית - תורת המידה |