פונקציה רציפה בהחלט
בערך זה |
בחשבון דיפרנציאלי ואינטגרלי, פונקציה רציפה בהחלט היא פונקציה ממשית, המקיימת תכונת "חֲלָקוּת" בקטע, שהיא חזקה יותר מרציפות במידה שווה, וממילא גם מרציפות נקודתית. המושג של רציפות בהחלט מאפשר להכליל את הקשר בין שתי הפעולות המרכזיות של החדו״א – גזירה ואינטגרציה. מערכת יחסים זו מתוארת בדרך כלל (במשפט היסודי של החדו״א) במסגרת אינטגרל רימן, אך בעזרת רציפות בהחלט אפשר לנסח אותה במונחים של אינטגרל לבג. בהקשר של פונקציות ממשיות שמוגדרות על הישר הממשי, קיימים שני מושגים הקשורים זה בזה: רציפות בהחלט של פונקציות ורציפות בהחלט של מידות. ניתן להכליל את שני המושגים האלה בכיוונים שונים. לדוגמה, הנגזרת הרגילה של פונקציה קשורה לנגזרת רדון־ניקודים של מידה.
בתת־קבוצה קומפקטית של הישר הממשי מתקיימת שרשרת ההכלות הבאה למחלקות של פונקציות:
ואילו בקטע סגור,
- גזירה ברציפות ⊆ ליפּשיצית ⊆ רציפה בהחלט ⊆ בעלת השתנות חסומה ⊆ גזירה כמעט בכל מקום
רציפות בהחלט של פונקציות
פונקציה רציפה אינה רציפה בהחלט אם היא אינה רציפה במידה שווה, מה שעשוי לקרות אם התחום שבו מוגדרת הפונקציה אינו קומפקטי – דוגמאות לפונקציות שכאלה:
- בקטע ;
- בכל הישר;
- בקטע .
עם זאת, פונקציה רציפה עשויה לא להיות רציפה בהחלט אפילו בקטע סגור. ייתכן שהיא אינה גזירה כמעט בכל מקום (כמו פונקציית ויירשטראס שאינה גזירה באף נקודה). ייתכן שהיא דווקא גזירה כמעט בכל מקום ואף ש־ היא אינטגרבילית לבג, אך ההפרש בין האינטגרל הלא־מסוים של ל־ עצמה אינו קבוע. זה קורה למשל בפונקציית קנטור.
הגדרה
יהי קטע מוכלל. נאמר ש־ היא רציפה בהחלט ב־ אם לכל מספר חיובי , קיים מספר חיובי כך שכל סדרה סופית של תת־קטעים זרים בזוגות שֶׁל שמקיימת[1]
הגדרות שקולות
התנאים הבאים בפונקציה ממשית בקטע סגור שקולים:[2]
- רציפה בהחלט;
- גזירה כמעט בכל מקום, אינטגרבילית לבג, וּמתקייםלכל ;
- קיימת פונקציה אינטגרבילית לבג ב־ כך שמתקייםלכל .
אם תנאים שקולים אלה מתקיימים, אזי בְּהֶכְרֵחַ כמעט בכל מקום.
השקילות בין (1) ל־(3) ידועה גם בתור הכללת לבג למשפט היסודי של החדו״א או המשפט היסודי של החדו״א לאינטגרל לבג.[3]
להגדרה שקולה בהקשר של מידות, עיינו בפסקה הקשר בין שני המושגים של רציפות בהחלט.
תכונות
- הסכום וההפרש של שתי פונקציות רציפות בהחלט גם הם רציפים בהחלט. אם שתי הפונקציות מוגדרות בקטע סגור, אז גם המכפלה שלהן רציפה בהחלט.[4]
- אם רציפה בהחלט ואינה מתאפסת בקטע סגור, אז גם רציפה בהחלט.[5]
- כל פונקציה רציפה בהחלט היא רציפה במידה שווה ולכן רציפה; כל פונקציה שמקיימת את תנאי ליפשיץ היא רציפה בהחלט.[6]
- אם רציפה בהחלט, אז היא בעלת השתנות חסומה ב־.[7]
- אם רציפה בהחלט, אז ניתן לכתוב אותה כהפרש של שתי פונקציות עולות במובן החלש וּרציפות בהחלט ב־.
- אם רציפה בהחלט, אז היא מקיימת את תכונת לוזין (כלומר, לכל כך ש־ מתקיים , כאשר היא מידת לבג ב־).
- רציפה בהחלט אם ורק אם היא רציפה, בעלת השתנות חסומה וּמקיימת את תכונת לוזין.
דוגמאות
הפונקציות הבאות רציפות במידה שווה אך אינן רציפות בהחלט:
- פונקציית קנטור ב־ (היא בעלת השתנות חסומה, אך אינה רציפה בהחלט);
- הפונקציהבקטע סופי שכולל את .
הפונקציה הבאה רציפה בהחלט אך אינה מקיימת את תנאי הלדר ביחס ל־:
- הפונקציה ב־, לכל .
הפונקציה הבאה רציפה בהחלט וגם מקיימת את תנאי הלדר ביחס ל־, אך אינה ליפּשיצית:
- הפונקציה ב־, לכל .
הכללות
יהי מרחב מטרי, ויהי קטע מוכלל. נאמר ש־ היא רציפה בהחלט ב־ אם לכל מספר חיובי , קיים מספר חיובי כך שכל סדרה סופית של תת־קטעים זרים בזוגות שֶׁל שמקיימת
הכללה נוספת היא המרחב של העקומות כך שלכל [8]
תכונות של ההכללות האלה
- כל פונקציה רציפה בהחלט היא רציפה במידה שווה ולכן רציפה; כל פונקציה שמקיימת את תנאי ליפשיץ היא רציפה בהחלט.
- אם רציפה בהחלט, אז היא בעלת השתנות חסומה ב־.
- עבור הנגזרת המטרית של קיימת כמעט בכל מקום ב־, והיא ה־ הקטנה ביותר כך שלכל מתקיים[9]
רציפות בהחלט של מידות
הגדרה
נאמר שמידה על קבוצות בורל של הישר הממשי היא רציפה בהחלט ביחס למידת לבג (או נשלטת על ידי ) אם לכל קבוצה מדידה , גורר , וּנסמן: .
ברוב היישומים, אם נאמר שמידה על הישר הממשי רציפה בהחלט – מבלי לציין ביחס לאיזו מידה היא רציפה בהחלט – נתכוון שהיא רציפה בהחלט ביחס למידת לבג.
אותו עיקרון תקף לגבי מידות על קבוצות בורל של כאשר .
הגדרות שקולות
התנאים הבאים עבור מידה סופית בקבוצות בורל של הישר הממשי שקולים:[10]
- רציפה בהחלט;
- לכל מספר חיובי קיים מספר חיובי כך ש־ לכל קבוצה שמידת לבג שלה קטנה מ־;
- קיימת פונקציה אינטגרבילית לבג בישר הממשי כך שלכל קבוצת בורל מתקיים
להגדרה שקולה בהקשר של פונקציות, עיינו בפסקה הקשר בין שני המושגים של רציפות בהחלט.
כל פונקציה אחרת שמקיימת את (3) שווה ל־ כמעט בכל מקום. פונקציה כזו נקראת נגזרת רדון־ניקודים, או צפיפות, של המידה הרציפה בהחלט .
השקילות בין (1), (2) ו־(3) מתקיימת גם ב־ לכל .
לפיכך, המידות הרציפות בהחלט ב־ הן בדיוק אלה שיש להן צפיפות; כמקרה פרטי, מידות ההסתברות הרציפות בהחלט הן בדיוק אלה שיש להן פונקציית צפיפות.
הכללות
אם ו־ הן שתי מידות באותו מרחב מדיד , נאמר ש־ היא רציפה בהחלט ביחס ל־ אם לכל קבוצה שעבורה ,[11] וּנסמן: . כלומר:
אם היא מידה מסומנת או מרוכבת, נאמר ש־ היא רציפה בהחלט ביחס ל־ אם ההשתנות הכללית שלה מקיימת או, באופן שקול, אם כל קבוצה שעבורה היא ־אפסית. משפט רדון־ניקודים[12] קובע כי אם היא רציפה בהחלט ביחס ל־, וּשתי המידות הן ־סופיות, אז ל־ יש צפיפות, או נגזרת רדון־ניקודים, ביחס ל־, כלומר קיימת פונקציה ־מדידה שמקבלת ערכים ב־ וּמסומנת , כך שלכל קבוצה ־מדידה מתקיים
מידות סינגולריות
בעזרת משפט הפירוק של לבג,[13] ניתן לפרק כל מידה לסכום של מידה רציפה בהחלט ומידה סינגולרית (ראו מידה סינגולרית).
הקשר בין שני המושגים של רציפות בהחלט
מידה סופית בקבוצת בורל של הישר הממשי היא רציפה בהחלט ביחס למידת לבג אם ורק אם פונקציית הנקודה היא פונקציה ממשית רציפה בהחלט. באופן כללי יותר, פונקציה היא רציפה בהחלט מקומית (כלומר בכל קטע סופי) אם ורק אם הנגזרת של פונקציית ההצטברות שלה היא מידה רציפה בהחלט ביחס למידת לבג.
אם מתקיימת רציפות בהחלט, אז נגזרת רדון־ניקודים של שווה כמעט בכל מקום לנגזרת של .[14]
באופן כללי יותר, מניחים ש־ היא סופית מקומית (ולא סופית) וש־ מוגדרת כ־ עבור , כ־ עבור וכ־ עבור . במקרה זה היא מידת לבג־סטילטיס שנוצר על ידי ,[15] וגם פה קיים הקשר בין שני המושגים של רציפות בהחלט.[16]
ראו גם
לקריאה נוספת
- Luigi Ambrosio, Nicola Gigli, Giuseppe Savaré, Gradient Flows: In Metric Spaces and in the Space of Probability Measures, Boston: Birkhäuser Verlag, 2005, Lectures in Mathematics ETH Zurich, מסת"ב 3-7643-2428-7. (באנגלית) (אורכב 07.05.2021 בארכיון Wayback Machine)
- Krishna B. Athreya, Soumendra N. Lahiri, Measure Theory and Probability Theory, New York: Springer, 2006, Springer Texts in Statistics, מסת"ב 0-387-32903-X. (באנגלית) (אורכב 16.06.2021 בארכיון Wayback Machine)
- Giovanni Leoni, A First Course in Sobolev Spaces, Providence, Rhode Island: American Mathematical Society, 2009, Graduate studies in mathematics, Vol. 105, מסת"ב 0-8218-4768-6. (באנגלית) (אורכב 16.06.2021 בארכיון Wayback Machine)
- Ole A. Nielsen, An Introduction to Integration and Measure Theory, New York: Wiley-Interscience, 1997, Canadian Mathematical Society Series of Monographs and Advanced Texts, Vol. 17, מסת"ב 0-471-59518-7. (באנגלית)
- Halsey L. Royden, Real Analysis, 3rd Edition, New York: Collier Macmillan, 1988, מסת"ב 0-02-404151-3. (באנגלית) (אורכב 16.06.2021 בארכיון Wayback Machine)
קישורים חיצוניים
- רציפות בהחלט, באתר MathWorld (באנגלית)
- רציפות בהחלט, באתר אנציקלופדיה למתמטיקה (באנגלית)
הערות שוליים
- ^ רוידן, פסקה 5.4, עמוד 108; נילסן, הגדרה 15.6 בעמוד 251; אתרֶיה ולהירי, הגדרות 4.4.1 ו־4.4.2 בעמודים 128–129; בשני הספרים הראשונים מניחים ש־ הוא קטע סגור.
- ^ רוידן, פסקה 5.4, עמוד 110; נילסן, משפט 20.8 בעמוד 354; אתרֶיה ולהירי, משפטים 4.4.1 ו־4.4.2 בעמודים 129–130.
- ^ אתרֶיה ולהירי, לפני משפט 4.4.1 בעמוד 129.
- ^ רוידן, בעיות 5.14a ו־5.14c בעמוד 111.
- ^ רוידן, בעיה 5.14c בעמוד 111.
- ^ רוידן, בעיה 5.20a בעמוד 112.
- ^ רוידן, משפט עזר 5.11 בעמוד 108.
- ^ אמברוזיו, ג׳ילי וסווארה, הגדרה 1.1.1 בעמוד 23.
- ^ אמברוזיו, ג׳ילי וסווארה, משפט 1.1.2 בעמוד 24.
- ^ השקילות בין (1) ל־(2) היא מקרה פרטי של טענה 15.5 בעמוד 251, נילסן (שאינה נכונה עבור מידות ־סופיות); השקילות בין (1) ל־(3) היא מקרה פרטי של משפט רדון־ניקודים, שנכון גם עבור מידות ־סופיות.
- ^ רוידן, פסקה 11.6, עמוד 276; נילסן, הגדרה 15.3 בעמוד 250; אתרֶיה ולהירי, הגדרה 4.1.1 בעמוד 113.
- ^ רוידן, משפט 11.23 בעמוד 276; נילסן, משפט 15.4 בעמוד 251; אתרֶיה ולהירי, פריט (ii) של משפט 4.1.1 בעמוד 115.
- ^ רוידן, טענה 11.24 בעמוד 278; נילסן, משפט 15.14 בעמוד 262; אתרֶיה ולהירי, פריט (i) של משפט 4.1.1 בעמוד 115.
- ^ רוידן, בעיה 12.17b בעמוד 303.
- ^ אתרֶיה ולהירי, פסקה 1.3.2, עמוד 26.
- ^ רוידן, בעיה 12.17a בעמוד 303; נילסן, טענה 15.7 בעמוד 252; אתרֶיה ולהירי, משפט 4.4.3 בעמוד 131.
33130912פונקציה רציפה בהחלט