פונקציה רציפה בהחלט

תכונת „חֲלָקוּת” של פונקציות
(הופנה מהדף רציפות בהחלט)
Nuvola apps edu mathematics blue-p.svg

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

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

בתת־קבוצה קומפקטית של הישר הממשי מתקיימת שרשרת ההכלות הבאה למחלקות של פונקציות:

רציפה בהחלטרציפה במידה שווהרציפה

ואילו בקטע סגור,

גזירה ברציפותליפּשיציתרציפה בהחלטבעלת השתנות חסומהגזירה כמעט בכל מקום

רציפות בהחלט של פונקציותעריכה

פונקציה רציפה   אינה רציפה בהחלט אם היא אינה רציפה במידה שווה, מה שעשוי לקרות אם התחום שבו מוגדרת הפונקציה אינו קומפקטי – דוגמאות לפונקציות שכאלה:

  •   בקטע  ;
  •   בכל הישר;
  •   בקטע  .

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

הגדרהעריכה

יהי   קטע מוכלל. נאמר ש־  היא רציפה בהחלט ב־  אם לכל מספר חיובי  , קיים מספר חיובי   כך שכל סדרה סופית של תת־קטעים זרים בזוגות   שֶׁל   שמקיימת[1]

 
מקיימת גם
 
אוסף כל הפונקציות הרציפות בהחלט ב־  מסומן  .

הגדרות שקולותעריכה

התנאים הבאים בפונקציה ממשית   בקטע סגור   שקולים:[2]

  1.   רציפה בהחלט;
  2.   גזירה כמעט בכל מקום,   אינטגרבילית לבג, וּמתקיים
     
    לכל  ;
  3. קיימת פונקציה   אינטגרבילית לבג ב־  כך שמתקיים
     
    לכל  .

אם תנאים שקולים אלה מתקיימים, אזי בְּהֶכְרֵחַ   כמעט בכל מקום.

השקילות בין (1) ל־(3) ידועה גם בתור הכללת לבג למשפט היסודי של החדו״א או המשפט היסודי של החדו״א לאינטגרל לבג.[3]

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

תכונותעריכה

  • הסכום וההפרש של שתי פונקציות רציפות בהחלט גם הם רציפים בהחלט. אם שתי הפונקציות מוגדרות בקטע סגור, אז גם המכפלה שלהן רציפה בהחלט.[4]
  • אם   רציפה בהחלט ואינה מתאפסת בקטע סגור, אז גם   רציפה בהחלט.[5]
  • כל פונקציה רציפה בהחלט היא רציפה במידה שווה ולכן רציפה; כל פונקציה שמקיימת את תנאי ליפשיץ היא רציפה בהחלט.[6]
  • אם   רציפה בהחלט, אז היא בעלת השתנות חסומה ב־ .[7]
  • אם   רציפה בהחלט, אז ניתן לכתוב אותה כהפרש של שתי פונקציות עולות במובן החלש וּרציפות בהחלט ב־ .
  • אם   רציפה בהחלט, אז היא מקיימת את תכונת לוזין (כלומר, לכל   כך ש־  מתקיים  , כאשר   היא מידת לבג ב־ ).
  •   רציפה בהחלט אם ורק אם היא רציפה, בעלת השתנות חסומה וּמקיימת את תכונת לוזין.

דוגמאותעריכה

הפונקציות הבאות רציפות במידה שווה אך אינן רציפות בהחלט:

  • פונקציית קנטור ב־  (היא בעלת השתנות חסומה, אך אינה רציפה בהחלט);
  • הפונקציה
     
    בקטע סופי שכולל את  .

הפונקציה הבאה רציפה בהחלט אך אינה מקיימת את תנאי הלדר ביחס ל־ :

  • הפונקציה   ב־ , לכל  .

הפונקציה הבאה רציפה בהחלט וגם מקיימת את תנאי הלדר ביחס ל־ , אך אינה ליפּשיצית:

  • הפונקציה   ב־ , לכל  .

הכללותעריכה

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

 
מקיימת גם
 
אוסף כל הפונקציות הרציפות בהחלט מ־  ל־  מסומן  .

הכללה נוספת היא המרחב   של העקומות   כך שלכל  [8]

 
עבור   כלשהי (מרחב Lp).

תכונות של ההכללות האלהעריכה

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

 

רציפות בהחלט של מידותעריכה

הגדרהעריכה

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

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

אותו עיקרון תקף לגבי מידות על קבוצות בורל של   כאשר  .

הגדרות שקולותעריכה

התנאים הבאים עבור מידה סופית   בקבוצות בורל של הישר הממשי שקולים:[10]

  1.   רציפה בהחלט;
  2. לכל מספר חיובי   קיים מספר חיובי   כך ש־  לכל קבוצה   שמידת לבג שלה קטנה מ־ ;
  3. קיימת פונקציה   אינטגרבילית לבג בישר הממשי כך שלכל קבוצת בורל   מתקיים
     

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

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

השקילות בין (1), (2) ו־(3) מתקיימת גם ב־  לכל  .

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

הכללותעריכה

אם   ו־  הן שתי מידות באותו מרחב מדיד  , נאמר ש־  היא רציפה בהחלט ביחס ל־  אם   לכל קבוצה   שעבורה  ,[11] וּנסמן:  . כלומר:

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

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

 

מידות סינגולריותעריכה

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

הקשר בין שני המושגים של רציפות בהחלטעריכה

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

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

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

ראו גםעריכה

לקריאה נוספתעריכה

קישורים חיצונייםעריכה

  מדיה וקבצים בנושא סוגי רציפויות בוויקישיתוף

הערות שולייםעריכה

  1. ^ רוידן, פסקה 5.4, עמוד 108; נילסן, הגדרה 15.6 בעמוד 251; אתרֶיה ולהירי, הגדרות 4.4.1 ו־4.4.2 בעמודים 128–129; בשני הספרים הראשונים מניחים ש־  הוא קטע סגור.
  2. ^ רוידן, פסקה 5.4, עמוד 110; נילסן, משפט 20.8 בעמוד 354; אתרֶיה ולהירי, משפטים 4.4.1 ו־4.4.2 בעמודים 129–130.
  3. ^ אתרֶיה ולהירי, לפני משפט 4.4.1 בעמוד 129.
  4. ^ רוידן, בעיות 5.14a ו־5.14c בעמוד 111.
  5. ^ רוידן, בעיה 5.14c בעמוד 111.
  6. ^ רוידן, בעיה 5.20a בעמוד 112.
  7. ^ רוידן, משפט עזר 5.11 בעמוד 108.
  8. ^ אמברוזיו, ג׳ילי וסווארה, הגדרה 1.1.1 בעמוד 23.
  9. ^ אמברוזיו, ג׳ילי וסווארה, משפט 1.1.2 בעמוד 24.
  10. ^ השקילות בין (1) ל־(2) היא מקרה פרטי של טענה 15.5 בעמוד 251, נילסן (שאינה נכונה עבור מידות  ־סופיות); השקילות בין (1) ל־(3) היא מקרה פרטי של משפט רדון־ניקודים, שנכון גם עבור מידות  ־סופיות.
  11. ^ רוידן, פסקה 11.6, עמוד 276; נילסן, הגדרה 15.3 בעמוד 250; אתרֶיה ולהירי, הגדרה 4.1.1 בעמוד 113.
  12. ^ רוידן, משפט 11.23 בעמוד 276; נילסן, משפט 15.4 בעמוד 251; אתרֶיה ולהירי, פריט (ii) של משפט 4.1.1 בעמוד 115.
  13. ^ רוידן, טענה 11.24 בעמוד 278; נילסן, משפט 15.14 בעמוד 262; אתרֶיה ולהירי, פריט (i) של משפט 4.1.1 בעמוד 115.
  14. ^ רוידן, בעיה 12.17b בעמוד 303.
  15. ^ אתרֶיה ולהירי, פסקה 1.3.2, עמוד 26.
  16. ^ רוידן, בעיה 12.17a בעמוד 303; נילסן, טענה 15.7 בעמוד 252; אתרֶיה ולהירי, משפט 4.4.3 בעמוד 131.