פונקציה רציפה במידה שווה

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

בחשבון אינפיניטסימלי, פונקציה ממשית המוגדרת בקטע או קרן היא רציפה במידה שווה שם, אם לכל קיים כך שלכל המקיימים אז .

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

רציפות ורציפות במידה שווה

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

נזכיר שפונקציה היא רציפה בכל נקודה אם:

  • לכל קיים כך שלכל מתקיים .

בהגדרה הזו, בהינתן הערך המתאים של עשוי להיות תלוי בנקודה . לעומת זאת, אם על הפונקציה להיות רציפה במידה שווה, ל־ מותר להיות תלוי ב־ אבל לא ב־ . אפשר לנסח הבדל זה בסדר הכמתים גם כך: הפונקציה רציפה אם כדי להבטיח כי יהיה קרוב ל־ , די לדרוש כי יהיה קרוב ל־ , אבל מידת הקרבה עשויה להיות תלויה בנקודה  ; והיא רציפה במידה שווה אם מידת הקרבה בין הדרושה על־מנת להבטיח מרחק מסוים בין ל־ היא אחידה על־פני כל הקטע, ואינה תלויה ב־ .

כמובן, כל פונקציה רציפה במידה שווה, מוכרחה להיות רציפה בכל נקודה של הקטע. משפט חשוב של קנטור קובע שבקטע סגור, גם ההפך נכון: אם פונקציה רציפה בכל נקודה של קטע סגור, אז היא רציפה שם במידה שווה. משום כך, רציפות במידה שווה היא תכונה מעניינת בעיקר בקטעים פתוחים ובקרניים אינסופיות כגון .

תנאים המבטיחים רציפות במידה שווה

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

פונקציה המקיימת את תנאי ליפשיץ היא רציפה במידה שווה. בפרט, פונקציה גזירה שהנגזרת שלה חסומה, היא רציפה במידה שווה. ההיפך אינו נכון: הפונקציה רציפה במידה שווה בקטע , אבל היא אינה מקיימת שם את תנאי ליפשיץ (והנגזרת שלה אינה חסומה בקטע).

דוגמאות

הפונקציה f(x) = x

הפונקציה רציפה במידה שווה בכל הישר הממשי, משום שהיא מקיימת את תנאי ליפשיץ. נוכיח זאת לפי ההגדרה. יהי . נבחר ונקבל כי לכל אם אז , כלומר כרצוי.

הפונקציה f(x) = x²

נעיין בפונקציה בקטע מהצורה . מאחר שהקטע סגור, ניתן להסיק את הרציפות במידה שווה ישירות ממשפט קנטור.

נראה שפונקציה זו רציפה במידה שווה על-פי ההגדרה. יהי ויהיו .

ראשית, נשים לב לכך כי . על פי הערכה זו נבחר . ואכן (לפי אי־השוויון האחרון) לכל יתקיים .

לעומת זאת, הפונקציה אינה רציפה במידה שווה בקרן .

על מנת לעשות זאת, יש למצוא שעבורו לא קיים מתאים, כלומר לכל קיימים עבורם אולם . נבחר ויהי כלשהו. עבור יתקיים , בעוד . לסיכום, עבור לכל קיימים עבורם ובכל זאת , ולכן הפונקציה אינה רציפה במידה שווה בקטע .

פעולות בין פונקציות

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

דוגמאות, הערות ומשפטים נוספים

  • פונקציה רציפה במידה שווה בקטע, רציפה במידה שווה בכל קטע חלקי לו. (מכאן שאם פונקציה מוגדרת ורציפה בקטע פתוח, ויש לה גבולות חלקיים בקצות הקטע, אז היא רציפה במידה שווה בקטע הסגור לפי משפט קנטור, ולכן גם בקטע הפתוח).
  • פונקציה רציפה במידה שווה במספר סופי של קטעים, רציפה במידה שווה באיחוד הקטעים.
  • פונקציה רציפה בקטע ושואפת לגבול סופי ב־ היא רציפה במידה שווה בקטע . ברור כי התנאי אינו הכרחי: הפונקציה רציפה במידה שווה, אך אינה שואפת לגבול סופי ב־ .
  • ניתן להרחיב מעט את התנאי הקודם: פונקציה רציפה בקטע וקיים קבוע כך שהפונקציה שואפת לגבול סופי ב־, אזי רציפה במידה שווה בקטע .
  • פונקציה רציפה בקטע וגזירה בקטע עבור . אם שואפת לגבול סופי ב־ אזי רציפה במידה שווה בקטע . דוגמה: הפונקציה רציפה במידה שווה בקטע .
  • הפונקציה רציפה על כל הישר, חסומה, אך אינה רציפה במידה שווה על כל הישר.
  • פונקציה מחזורית ורציפה על כל הישר היא רציפה במידה שווה.

הכללה למרחבים מטריים

ניתן להרחיב את ההגדרה בקלות למרחב מטרי כלשהו, על ידי שימוש במטריקות של מרחב התחום ומרחב הטווח, במקום במרחק הרגיל ב־ (המרחק בין שתי נקודות הוא ).

משפט קנטור הטופולוגי קובע שפונקציה רציפה ממרחב מטרי קומפקטי למרחב מטרי, היא רציפה במידה שווה. ההוכחה אינה קשה: יהי , אז לכל בקבוצה קיים כך שאם אז  ; הכדורים מכסים את המרחב, ולכן יש תת־כיסוי סופי, , ואפשר לבחור להיות הערך הקטן ביותר של מבין הכדורים המשתתפים בתת־הכיסוי. כעת אם אז קיים עבורו ואז וגם .

מרחבי Atsuji

תכונה זו, שכל פונקציה רציפה מ-K היא רציפה במידה שווה, אינה מאפיינת מרחבים קומפקטיים. מרחב מטרי שכל פונקציה רציפה ממנו (למרחב מטרי אחר) היא רציפה במידה שווה, נקרא מרחב Atsuji[1]. התכונות הבאות שקולות:

  • כל פונקציה רציפה מ־ למרחב מטרי היא רציפה במידה שווה.
  • לכל שתי קבוצות סגורות זרות ב־ יש מרחק חיובי.
  • לכל כיסוי פתוח של יש מספר לבג.

לפי משפט קושי, כל מרחב קומפקטי הוא Atsuji.

כל מרחב Atsuji הוא שלם. בדומה לאפיון של מרחבים שלמים באמצעות משפט החיתוך של קנטור, אפשר לאפיין מרחבי Atsuji באופן הבא: מרחב מטרי הוא Atsuji אם ורק אם לכל סדרה יורדת של קבוצות סגורות שעבורה , יש נקודה משותפת; כאן .

ראו גם

הערות שוליים

  1. ^ ראו G. Beer, More about metric spaces on which continuous functions are uniformly continuous, Bull Aust Math Soc, 2009