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

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

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

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

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

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

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

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

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

• ${\textstyle f(x)=\tan(x)}$ בקטע ${\textstyle [0,2\pi )}$;
• ${\textstyle f(x)=x^{2}}$ בכל הישר;
• ${\textstyle f(x)=\sin {\left({\tfrac {1}{x}}\right)}}$ בקטע ${\textstyle (0,1]}$.

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

הגדרה

יהי ${\textstyle I\subseteq \mathbb {R} }$ קטע מוכלל. נאמר ש־$f\colon I\to \mathbb {R}$ היא רציפה בהחלט ב־$I$ אם לכל מספר חיובי $\varepsilon$, קיים מספר חיובי $\delta$ כך שכל סדרה סופית של תת־קטעים זרים בזוגות $(x_{k},y_{k})$ שֶׁל $I$ עם $x_{k},y_{k}\in I$ שמקיימת

$$\sum _{k}(y_{k}-x_{k})<\delta$$

מקיימת גם

$$\sum _{k}|f(y_{k})-f(x_{k})|<\varepsilon$$

אוסף כל הפונקציות הרציפות בהחלט ב־$I$ מסומן $\operatorname {AC} (I)$.

הגדרות שקולות

התנאים הבאים בפונקציה ממשית ${\textstyle f}$ בקטע סגור $[a,b]$ שקולים:

1. ${\textstyle f}$ רציפה בהחלט;
2. ${\textstyle f}$ גזירה כמעט בכל מקום, ${\textstyle f'}$ אינטגרבילית לבג, וּמתקיים
   $$f(x)=f(a)+\int _{a}^{x}f'(t)\,dt$$
   לכל $x\in [a,b]$;
3. קיימת פונקציה ${\textstyle g}$ אינטגרבילית לבג ב־$[a,b]$ כך שמתקיים
   $$f(x)=f(a)+\int _{a}^{x}g(t)\,dt$$
   לכל $x\in [a,b]$.

אם תנאים שקולים אלה מתקיימים, אזי בְּהֶכְרֵחַ ${\textstyle g=f'}$ כמעט בכל מקום.

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

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

תכונות

• הסכום וההפרש של שתי פונקציות רציפות בהחלט גם הם רציפים בהחלט. אם שתי הפונקציות מוגדרות בקטע סגור, אז גם המכפלה שלהן רציפה בהחלט.
• אם ${\textstyle f}$ רציפה בהחלט ואינה מתאפסת בקטע סגור, אז גם ${\textstyle {\tfrac {1}{f}}}$ רציפה בהחלט.
• כל פונקציה רציפה בהחלט היא רציפה במידה שווה ולכן רציפה; כל פונקציה שמקיימת את תנאי ליפשיץ היא רציפה בהחלט.
• אם $f\colon [a,b]\to \mathbb {R}$ רציפה בהחלט, אז היא בעלת השתנות חסומה ב־$[a,b]$.
• אם $f\colon [a,b]\to \mathbb {R}$ רציפה בהחלט, אז ניתן לכתוב אותה כהפרש של שתי פונקציות עולות במובן החלש וּרציפות בהחלט ב־$[a,b]$.
• אם $f\colon [a,b]\to \mathbb {R}$ רציפה בהחלט, אז היא מקיימת את תכונת לוזין (כלומר, לכל ${\textstyle N\subseteq [a,b]}$ כך ש־${\textstyle \lambda (N)=0}$ מתקיים ${\textstyle \lambda (f(N))=0}$, כאשר ${\textstyle \lambda }$ היא מידת לבג ב־${\textstyle \mathbb {R} }$).
• $f\colon I\to \mathbb {R}$ רציפה בהחלט אם ורק אם היא רציפה, בעלת השתנות חסומה וּמקיימת את תכונת לוזין.

דוגמאות

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

• פונקציית קנטור ב־${\textstyle [0,1]}$ (היא בעלת השתנות חסומה, אך אינה רציפה בהחלט);
• הפונקציה
  $$f(x)={\begin{cases}0,&{\text{if }}x=0\\x\sin(1/x),&{\text{if }}x\neq 0\end{cases}}$$
  בקטע סופי שכולל את ${\textstyle 0}$.

הפונקציה הבאה רציפה בהחלט אך אינה מקיימת את תנאי הלדר ביחס ל־${\textstyle \alpha }$:

• הפונקציה ${\textstyle f(x)=x^{\beta }}$ ב־${\textstyle [0,c]}$, לכל ${\textstyle 0<\beta <\alpha <1}$.

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

• הפונקציה ${\textstyle f(x)={\sqrt {x}}}$ ב־${\textstyle [0,c]}$, לכל ${\textstyle \alpha \leq {\tfrac {1}{2}}}$.

הכללות

יהי $\left(X,d\right)$ מרחב מטרי, ויהי ${\textstyle I\subseteq \mathbb {R} }$ קטע מוכלל. נאמר ש־${\textstyle f\colon I\to X}$ היא רציפה בהחלט ב־${\textstyle I}$ אם לכל מספר חיובי $\varepsilon$, קיים מספר חיובי $\delta$ כך שכל סדרה סופית של תת־קטעים זרים בזוגות ${\textstyle [x_{k},y_{k}]}$ שֶׁל $I$ שמקיימת

$$\sum _{k}\left|y_{k}-x_{k}\right|<\delta$$

מקיימת גם

$$\sum _{k}d\left(f(y_{k}),f(x_{k})\right)<\varepsilon$$

אוסף כל הפונקציות הרציפות בהחלט מ־${\textstyle I}$ ל־${\textstyle X}$ מסומן ${\textstyle \operatorname {AC} (I;X)}$.

הכללה נוספת היא המרחב ${\textstyle \operatorname {{AC}^{\mathit {p}}} (I;X)}$ של העקומות ${\textstyle \gamma \colon I\to X}$ כך שלכל ${\textstyle [s,t]\subseteq I}$

$$d\left(\gamma (s),\gamma (t)\right)\leq \int _{s}^{t}m(\tau )\,d\tau$$

עבור ${\textstyle m\in L^{\mathit {p}}(I)}$ כלשהי (מרחב ${\textstyle L^{\mathit {p}}}$ או מרחב Lp).

תכונות של ההכללות האלה

• כל פונקציה רציפה בהחלט היא רציפה במידה שווה ולכן רציפה; כל פונקציה שמקיימת את תנאי ליפשיץ היא רציפה בהחלט.
• אם ${\textstyle f\colon [a,b]\to X}$ רציפה בהחלט, אז היא בעלת השתנות חסומה ב־${\textstyle [a,b]}$.
• עבור ${\textstyle f\in \operatorname {{AC}^{\mathit {p}}} (I;X)}$ הנגזרת המטרית של f קיימת עבור λ - כמעט כל הזמנים ב- I, והנגזרת המטרית היא ${\textstyle m\in L^{\mathit {p}}(I;\mathbb {R} )}$ הקטנה ביותר כך שלכל ${\textstyle [s,t]\subseteq I}$ מתקיים
  $$d\left(f(s),f(t)\right)\leq \int _{s}^{t}m(\tau )\,d\tau$$

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

הגדרה

מידה ${\textstyle \mu }$ על קבוצות בורל של הישר הממשי היא רציפה בהחלט ביחס למידת לבג ${\textstyle \lambda }$ (או נשלטת על ידי ${\textstyle \lambda }$) אם לכל קבוצה מדידה ${\textstyle A}$, ${\textstyle \lambda (A)=0}$ גורר ${\textstyle \mu (A)=0}$. נסמן את זה ב־${\textstyle \mu \ll \nu }$.

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

אותו עיקרון תקף לגבי מידות על קבוצות בורל של ${\textstyle \mathbb {R} ^{n}}$ כאשר ${\textstyle n\geq 2}$.

הגדרות שקולות

התנאים הבאים עבור מידה סופית ${\textstyle \mu }$ בקבוצות בורל של הישר הממשי שקולים:

1. ${\textstyle \mu }$ רציפה בהחלט;
2. לכל מספר חיובי ${\textstyle \varepsilon }$ קיים מספר חיובי ${\textstyle \delta }$ כך ש־${\textstyle \mu (A)<\varepsilon }$ לכל קבוצה ${\textstyle A}$ שמידת לבג שלה קטנה מ־${\textstyle \delta }$;
3. קיימת פונקציה ${\textstyle g}$ אינטגרבילית לבג בישר הממשי כך שלכל קבוצת בורל ${\textstyle A}$ מתקיים
   $$\mu (A)=\int _{A}g\,d\lambda$$

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

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

השקילות בין (1), (2) ו־(3) מתקיימת גם ב־${\textstyle \mathbb {R} ^{n}}$ לכל ${\textstyle n\in \mathbb {N} ^{+}}$.

לפיכך, המידות הרציפות בהחלט ב־${\textstyle \mathbb {R} ^{n}}$ הן בדיוק אלה שיש להן צפיפות; כמקרה פרטי, מידות ההסתברות הרציפות בהחלט הן בדיוק אלה שיש להן פונקציית צפיפות.

הכללות

אם ${\textstyle \mu }$ ו־${\textstyle \nu }$ הן שתי מידות באותו מרחב מדיד ${\textstyle (X,{\mathcal {A}})}$, נאמר ש־${\textstyle \mu }$ היא רציפה בהחלט ביחס ל־${\textstyle \nu }$ אם ${\textstyle \mu (A)=0}$ לכל קבוצה ${\textstyle A}$ שעבורה ${\textstyle \nu (A)=0}$. נסמן את זה ב־${\textstyle \mu \ll \nu }$. כלומר:

$$\mu \ll \nu \iff \forall A\in {\mathcal {A}}.\,\nu (A)=0\ \longrightarrow \ \mu (A)=0$$

רציפות בהחלט של מידות היא רפלקסיבית וטרנזיטיבית, אבל אינה אנטי־סימטרית, ולכן היא להזמין מראש ולא סדר חלקי. במקום זאת, אם ${\textstyle \mu \ll \nu }$ וגם ${\textstyle \nu \ll \mu }$, נאמר שהמידות ${\textstyle \mu }$ ו־${\textstyle \nu }$ שקולות. לפיכך רציפות בהחלט משרה סדר חלקי של מחלקות שקילות כאלה.

אם ${\textstyle \mu }$ היא מידה מסומנת או מרוכבת, נאמר ש־${\textstyle \mu }$ היא רציפה בהחלט ביחס ל־${\textstyle \nu }$ אם ההשתנות הכללית שלה ${\textstyle |\mu |}$ מקיימת ${\textstyle |\mu |\ll \nu }$ או, באופן שקול, אם כל קבוצה ${\textstyle A}$ שעבורה ${\textstyle \nu (A)=0}$ היא ${\textstyle \mu }$־אפסית.

משפט רדון־ניקודים קובע כי אם ${\textstyle \mu }$ היא רציפה בהחלט ביחס ל־${\textstyle \nu }$, ושתי המידות הן ${\textstyle \sigma }$־סופיות, אז ל־${\textstyle \mu }$ יש צפיפות, או נגזרת רדון־ניקודים, ביחס ל־${\textstyle \nu }$, כלומר קיימת פונקציה ${\textstyle \nu }$־מדידה ${\textstyle f}$ שמקבלת ערכים ב־${\textstyle [0,+\infty )}$, וּמסומנת ${\textstyle f={\tfrac {d\mu }{d\nu }}}$, כך שלכל קבוצה ${\textstyle \nu }$־מדידה ${\textstyle A}$ מתקיים

$$\mu (A)=\int _{A}f\,d\nu$$

מידות סינגולריות

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

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

מידה סופית ${\textstyle \mu }$ בקבוצת בורל של הישר הממשי היא רציפה בהחלט ביחס למידת לבג אם ורק אם פונקציית הנקודה ${\textstyle F(x)=\mu ((-\infty ,x])}$ היא פונקציה ממשית רציפה בהחלט. באופן כללי יותר, פונקציה היא רציפה בהחלט מקומית (כלומר בכל קטע סופי) אם ורק אם נגזרת ההפצה שלה היא מידה רציפה בהחלט ביחס למידת לבג.

אם מתקיימת רציפות בהחלט, אז נגזרת רדון־ניקודים של ${\textstyle \mu }$ שווה כמעט בכל מקום לנגזרת של ${\textstyle F}$.

באופן כללי יותר, מניחים ש־${\textstyle \mu }$ היא סופית מקומית (ולא סופית) וש־${\textstyle F(x)}$ מוגדרת כ־${\textstyle \mu \left((0,x]\right)}$ עבור ${\textstyle x>0}$, כ־${\textstyle 0}$ עבור ${\textstyle x=0}$ וכ־${\textstyle -\mu \left([x,0)\right)}$ עבור ${\textstyle x<0}$. במקרה זה ${\textstyle \mu }$ היא מידת לבג־סטילטיס שנוצר על ידי ${\textstyle F}$. הקשר בין שני המושגים של רציפות בהחלט קיים גם פה.

ראו גם

• פונקציה
• רציפות
• רציפות במידה שווה
• רציפות ליפּשיץ

לקריאה נוספת

• Ambrosio, Luigi; Gigli, Nicola; Savaré, Giuseppe (2005), Gradient Flows in Metric Spaces and in the Space of Probability Measures, ETH Zürich, Birkhäuser Verlag, Basel, ISBN 3-7643-2428-73-7643-2428-7
• Athreya, Krishna B.; Lahiri, Soumendra N. (2006), Measure theory and probability theory, Springer, ISBN 0-387-32903-X0-387-32903-X
• Leoni, Giovanni (2009), קורס ראשון במרחבי סובולב, לימודי מוסמך במתמטיקה, החברה האמריקאית למתמטיקה, עמ 'xvi + 607ISBN 978-0-8218-4768-8, MR , , MAA
• Nielsen, Ole A. (1997), An introduction to integration and measure theory, Wiley-Interscience, ISBN 0-471-59518-70-471-59518-7
• Royden, H.L. (1988), Real Analysis (third ed.), Collier Macmillan, ISBN 0-02-404151-30-02-404151-3

קישורים חיצוניים

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

• רציפות בהחלט, באתר MathWorld (באנגלית)
• רציפות בהחלט, באתר אנציקלופדיה למתמטיקה (באנגלית)

הערות שוליים

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