פונקציה רציפה במידה שווה
בחשבון אינפיניטסימלי, פונקציה ממשית המוגדרת בקטע או קרן היא רציפה במידה שווה שם, אם לכל קיים כך שאם מקיימים , אז . כל פונקציה רציפה במידה שווה היא רציפה בכל נקודה בקטע, אבל ההפך אינו נכון. עם זאת, פונקציה רציפה בקטע סגור (וחסום) היא רציפה במידה שווה לפי משפט קנטור.
רציפות ורציפות במידה שווה
עריכהההגדרה של רציפות במידה שווה דומה במידה מטעה לזו של רציפות. ההבדל המהותי בין השתיים הוא שרציפות היא תכונה נקודתית (בכל נקודה, הפונקציה רציפה או שאינה רציפה, ואם היא רציפה בכל נקודה, אז היא רציפה בכל הקטע), בעוד שלרציפות במידה שווה אין משמעות בנקודה אחת - זוהי תכונה של הפונקציה בכל הקטע.
נזכיר שפונקציה היא רציפה בכל נקודה של קטע , אם:
- לכל ולכל קיים כך שאם ומתקיים , אז .
בהגדרה הזו, בהינתן , הערך המתאים של עשוי להיות תלוי בנקודה . לעומת זאת, אם על הפונקציה להיות רציפה במידה שווה, ל- מותר להיות תלוי ב- אבל לא ב- . אפשר לנסח הבדל זה בסדר הכמתים גם כך: הפונקציה רציפה אם כדי להבטיח ש- יהיה קרוב ל- , די לדרוש ש- יהיה קרוב ל- , אבל מידת הקרבה עשויה להיות תלויה בנקודה x; והיא רציפה במידה שווה אם מידת הקרבה בין ל- הדרושה על-מנת להבטיח מרחק מסוים בין ל- היא אחידה על-פני כל הקטע, ואינה תלויה ב- .
כמובן, כל פונקציה רציפה במידה שווה, מוכרחה להיות רציפה בכל נקודה של הקטע. משפט חשוב של קנטור קובע שבקטע סגור, גם ההפך נכון: אם פונקציה רציפה בכל נקודה של קטע סגור, אז היא רציפה שם במידה שווה. משום כך, רציפות במידה שווה היא תכונה מעניינת בעיקר בקטעים פתוחים ובקרניים אינסופיות כגון .
תנאים המבטיחים רציפות במידה שווה
עריכהכאמור לעיל, על פי משפט קנטור, פונקציה רציפה בקטע סגור היא רציפה בו במידה שווה. בהינתן קטע פתוח סופי שבו הפונקציה רציפה, תנאי מספיק והכרחי לכך שהפונקציה תהיה רציפה במידה שווה שם הוא שקיימים גבולות סופיים (חד-צדדיים) בנקודות הקצה של הקטע (משום שאז אפשר להשלים את הגדרת הפונקציה באופן רציף אל הקטע הסגור).
פונקציה המקיימת את תנאי ליפשיץ היא רציפה במידה שווה. בפרט, פונקציה גזירה שהנגזרת שלה חסומה, היא רציפה במידה שווה. ההפך אינו נכון: הפונקציה רציפה במידה שווה בקטע , אבל היא אינה מקיימת שם את תנאי ליפשיץ (והנגזרת שלה אינה חסומה בקטע).
דוגמאות
עריכההפונקציה f(x) = x
עריכההפונקציה רציפה במידה שווה בכל הישר הממשי, משום שהיא מקיימת את תנאי ליפשיץ. נוכיח זאת לפי ההגדרה. יהי . נבחר , נקבל כי לכל אם , אז כלומר כרצוי.
הפונקציה f(x)=x2
עריכהנעיין בפונקציה בקטע מהצורה . מאחר שהקטע סגור, ניתן להסיק את הרציפות במידה שווה ישירות ממשפט קנטור.
נראה שפונקציה זו רציפה במידה שווה על-פי ההגדרה. יהי , ויהיו .
ראשית, נשים לב לכך ש- , ו- . על פי הערכה זו נבחר . ואכן (לפי אי-השוויון האחרון) לכל יתקיים .
לעומת זאת, הפונקציה אינה רציפה במידה שווה בקרן .
על מנת לעשות זאת, יש למצוא שעבורו לא קיים מתאים, כלומר, לכל קיימים כך ש- אולם . נבחר , ויהי כלשהו. עבור יתקיים , בעוד ש- . לסיכום, עבור לכל קיימים כך ש- ובכל זאת , ולכן, הפונקציה אינה רציפה במידה שווה בקטע .
פעולות בין פונקציות
עריכה- הסכום של שתי פונקציות שהן רציפות במידה שווה, גם הוא רציף במידה שווה.
- אם ו- רציפות במידה שווה בקטע ושתיהן חסומות שם, אזי המכפלה רציפה במידה שווה ב- . התנאי הוא תנאי מספיק לרציפות במידה שווה של פונקציית המכפלה אך אינו תנאי הכרחי. להלן מספר דוגמאות:
- הפונקציה היא מכפלה של שתי פונקציות רציפות במידה שווה (שאינן חסומות), אך אינה רציפה במידה שווה בכל הישר.
- הפונקציה היא מכפלה של שתי פונקציות רציפות במידה שווה על כל הישר, שאחת מהן חסומה, אולם אינה רציפה במידה שווה על כל הישר.
- אם הפונקציה רציפה במידה שווה בקטע וקיים קבוע כך ש- לכל בקטע, אזי גם הפונקציה רציפה במידה שווה בקטע . דוגמה לכך שלא מספיק לדרוש ש- לכל בקטע, היא הפונקציה בקטע .
- הרכבת שתי פונקציות שהן רציפות במידה שווה, גם היא רציפה במידה שווה.
דוגמאות, הערות ומשפטים נוספים
עריכה- פונקציה רציפה במידה שווה בקטע, רציפה במידה שווה בכל קטע חלקי לו. (מכאן שאם פונקציה מוגדרת ורציפה בקטע פתוח, ויש לה גבולות חלקיים בקצות הקטע, אז היא רציפה במידה שווה בקטע הסגור לפי משפט קנטור, ולכן גם בקטע הפתוח).
- פונקציה רציפה במידה שווה במספר סופי של קטעים, רציפה במידה שווה באיחוד הקטעים.
- פונקציה רציפה בקטע ושואפת לגבול סופי ב- היא רציפה במידה שווה בקטע . ברור כי התנאי אינו הכרחי: הפונקציה רציפה במידה שווה, אך אינה שואפת לגבול סופי ב- .
- ניתן להרחיב מעט את התנאי הקודם: פונקציה רציפה בקטע וקיים קבוע כך שהפונקציה שואפת לגבול סופי ב- , אזי רציפה במידה שווה בקטע .
- פונקציה רציפה בקטע וגזירה בקטע , עבור . אם שואפת לגבול סופי ב- אזי רציפה במידה שווה בקטע . דוגמה: הפונקציה רציפה במידה שווה בקטע .
- הפונקציה רציפה על כל הישר, חסומה, אך אינה רציפה במידה שווה על כל הישר.
- פונקציה מחזורית ורציפה על כל הישר היא רציפה במידה שווה.
הכללות
עריכהעבור מרחבים מטריים
עריכהניתן להרחיב את ההגדרה למרחבים מטריים באופן הבא:
בהינתן שני מרחבים מטריים עם המטריקות בהתאמה ופונקציה , הפונקציה תקרא רציפה במידה שווה אם ורק אם לכל קיים כך שלכל עבורם מתקיים [1].
במקרה שבו המרחב המטרי הוא שדה הממשיים עם הנורמה האוקילידית הסטנדרטית, ההגדרה לעיל שקולה להגדרה זו. ניתן להראות שכל פונקציה רציפה במידה שווה בין מרחבים מטריים היא גם רציפה במשמעות זו, זאת באופן זהה למרחב המספרים הממשיים.
קיימת גרסה שקולה למשפט קנטור עבור מרחבים מטריים אשר קובעת שפונקציה רציפה ממרחב מטרי קומפקטי למרחב מטרי כלשהו, היא רציפה במידה שווה.
עבור חבורה טופולוגית
עריכהניתן להרחיב את ההגדרה של פונקציה רציפה במידה שווה עבור חבורות טופולוגיות באופן הבא:
בהינתן החבורות הטופולוגיה עם הטופולוגיות בהתאמה ופונקציה הפונקציה תקרא רציפה במידה שווה אם ורק אם לכל קבוצה פתוחה קיימת קבוצה פתוחה כך שלכל כך ש- מתקיים בהכרח כי .[2]
מאחר שכל מרחב וקטורי טופולוגי הוא גם חבורה טופולוגית תחת פעולת החיבור, הגדרה זו תקפה גם למרחבים כאלו.
מרחבי Atsuji
עריכהפונקציה רציפה ממרחב קומפקטי היא רציפה במידה שווה. תכונה זו אינה מאפיינת מרחבים קומפקטיים. מרחב מטרי שכל פונקציה רציפה ממנו (למרחב מטרי אחר) היא רציפה במידה שווה, נקרא מרחב Atsuji[3]. התכונות הבאות שקולות:
- כל פונקציה רציפה מ- למרחב מטרי היא רציפה במידה שווה.
- לכל שתי קבוצות סגורות זרות ב- יש מרחק חיובי.
- לכל כיסוי פתוח של יש מספר לבג.
לפי משפט קושי, כל מרחב קומפקטי הוא Atsuji.
כל מרחב Atsuji הוא שלם. בדומה לאפיון של מרחבים שלמים באמצעות משפט החיתוך של קנטור, אפשר לאפיין מרחבי Atsuji באופן הבא: מרחב מטרי הוא Atsuji אם ורק אם לכל סדרה יורדת של קבוצות סגורות שעבורה , יש נקודה משותפת; כאן .
ראו גם
עריכהקישורים חיצוניים
עריכה- פונקציה רציפה במידה שווה, באתר MathWorld (באנגלית)
הערות שוליים
עריכה- ^ John K. Hunter, Continuous Functions on Metric Spaces, University of California, Davis, 2016-10-28 (באנגלית)
- ^ Uniform continuity, 2020-6-6 (באנגלית)
- ^ Tanvi Jain, S. Kundu, Atsuji completions: Equivalent characterisations, 2005-10-27 (באנגלית)