הצגת המקור של הדף "פונקציה רציפה במידה שווה"

ב[[חשבון אינפיניטסימלי]], [[פונקציה ממשית]] המוגדרת ב[[קטע (מתמטיקה)|קטע]] או [[קרן (מתמטיקה)|קרן]] <math>I</math> היא '''רציפה במידה שווה''' שם, אם לכל <math>0<\varepsilon</math> קיים <math>0<\delta</math> כך שאם <math>x_1,x_2 \in I</math> מקיימים <math>|x_1-x_2|< \delta</math>, אז <math>|f(x_1)-f(x_2)|<\varepsilon</math>. כל פונקציה רציפה במידה שווה היא [[פונקציה רציפה (אנליזה)|רציפה]] בכל נקודה בקטע, אבל ההפך אינו נכון. עם זאת, פונקציה רציפה בקטע סגור (וחסום) היא רציפה במידה שווה לפי [[משפט קנטור לרציפות במידה שווה|משפט קנטור]].

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

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

נזכיר שפונקציה היא רציפה בכל נקודה של קטע <math>I</math>, אם:
* לכל <math>x_1 \in I</math> ולכל <math>\varepsilon>0</math> קיים <math>\delta>0</math> כך שאם <math>x_2 \in I</math> ומתקיים <math>|x_1-x_2|< \delta</math>, אז <math>|f(x_1)-f(x_2)|<\varepsilon</math>. 
בהגדרה הזו, בהינתן <math>\varepsilon</math>, הערך המתאים של <math>\delta</math> עשוי להיות תלוי בנקודה <math>x_1</math>. לעומת זאת, אם על הפונקציה להיות רציפה במידה שווה, ל-<math>\delta</math> מותר להיות תלוי ב-<math>\varepsilon</math> אבל לא ב-<math>x_1</math>. אפשר לנסח הבדל זה בסדר ה[[כמת]]ים גם כך: הפונקציה רציפה אם כדי להבטיח ש-<math>f(y)</math> יהיה קרוב ל-<math>f(x)</math>, די לדרוש ש-<math>y</math> יהיה קרוב ל- <math>x</math>, אבל מידת הקרבה עשויה להיות תלויה בנקודה x; והיא רציפה במידה שווה אם מידת הקרבה בין <math>y</math> ל- <math>x</math> הדרושה על-מנת להבטיח מרחק מסוים בין <math>f(y)</math> ל-<math>f(x)</math> היא אחידה על-פני כל הקטע, ואינה תלויה ב-<math>x</math>. 

כמובן, כל פונקציה רציפה במידה שווה, מוכרחה להיות רציפה בכל נקודה של הקטע. [[משפט קנטור (לרציפות במידה שווה)|משפט]] חשוב של [[גאורג קנטור|קנטור]] קובע שבקטע [[קבוצה סגורה|סגור]], גם ההפך נכון: אם פונקציה רציפה בכל נקודה של קטע סגור, אז היא רציפה שם במידה שווה. משום כך, רציפות במידה שווה היא תכונה מעניינת בעיקר בקטעים פתוחים ובקרניים אינסופיות כגון <math>[a,\infty)</math>.

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

כאמור לעיל, על פי משפט קנטור, פונקציה רציפה בקטע סגור היא רציפה בו במידה שווה. בהינתן קטע פתוח סופי <math>(a,b)</math> שבו הפונקציה רציפה, [[תנאי מספיק]] והכרחי לכך שהפונקציה תהיה רציפה במידה שווה שם הוא שקיימים גבולות סופיים (חד-צדדיים) בנקודות הקצה של הקטע (משום שאז אפשר להשלים את הגדרת הפונקציה באופן רציף אל הקטע הסגור).

פונקציה המקיימת את [[תנאי ליפשיץ]] היא רציפה במידה שווה. בפרט, פונקציה [[נגזרת|גזירה]] שהנגזרת שלה [[פונקציה חסומה|חסומה]], היא רציפה במידה שווה. ההפך אינו נכון: הפונקציה <math>f(x)=\sqrt{x}</math> רציפה במידה שווה בקטע <math>(0,1)</math>, אבל היא אינה מקיימת שם את תנאי ליפשיץ (והנגזרת שלה אינה חסומה בקטע).

==דוגמאות==

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

הפונקציה <math>f\left(x\right)=x</math> רציפה במידה שווה בכל [[הישר הממשי]], משום שהיא מקיימת את תנאי ליפשיץ. נוכיח זאת לפי ההגדרה. יהי <math>\varepsilon > 0</math>. נבחר <math>\delta =\varepsilon</math>, נקבל כי לכל <math>x_{1}, x_{2}\isin\mathbb{R}</math> אם <math>\left|x_1-x_2\right| < \delta</math>, אז <math>\left|f\left(x_{1}\right)-f\left(x_{2}\right)\right| =\left|x_1-x_2\right| < \delta=\varepsilon</math> כלומר <math>\left|f\left(x_{1}\right)-f\left(x_{2}\right)\right| <\varepsilon</math> כרצוי.

===הפונקציה f(x)=x<sup>2</sup>===
נעיין בפונקציה <math>f\left(x\right)=x^2</math> בקטע מהצורה <math>[0,b]</math>. מאחר שהקטע <math>[0,b]</math> סגור, ניתן להסיק את הרציפות במידה שווה ישירות [[משפט קנטור (לרציפות במידה שווה)|ממשפט קנטור]].

נראה שפונקציה זו רציפה במידה שווה על-פי ההגדרה. יהי <math>\varepsilon > 0</math>, ויהיו <math>x_{1}, x_{2}\isin [0,b]</math>.

ראשית, נשים לב לכך ש-<math>\left|f(x_1)-f(x_2)\right|=\left|x_{1}^2-x_{2}^2\right| =  \left| {x_1  - x_2 } \right|\left| {x_1  + x_2 } \right| \le </math>, ו-<math> \le \left| {x_1  - x_2 } \right|\left( {\left| {x_1 } \right| + \left| {x_2 } \right|} \right) \le 2b\left| {x_1  - x_2 } \right|</math>. על פי הערכה זו נבחר <math>\delta =\frac{\varepsilon}{2b}</math>. ואכן (לפי אי-השוויון האחרון) לכל <math>\left|x_1-x_2\right| < \frac{\varepsilon}{2b}</math> יתקיים <math>\left| {f\left( {x_1 } \right) - f\left( {x_2 } \right)} \right| = \left| {x_1 ^2  - x_2 ^2 } \right| \le 2b\left| {x_1  - x_2 } \right| < 2b \cdot {\varepsilon  \over {2b}} = \varepsilon </math>.

לעומת זאת, הפונקציה <math>f(x)=x^2</math> אינה רציפה במידה שווה בקרן <math>[0,\infty)</math>.

על מנת לעשות זאת, יש למצוא <math>\varepsilon_0 > 0</math> שעבורו לא קיים <math>\delta</math> מתאים, כלומר, לכל <math>\delta>0</math> קיימים <math>x_1,x_2</math> כך ש-<math>\left|x_1-x_2\right|<\delta</math> אולם <math>\left|f(x_1)-f(x_2)\right| \ge \varepsilon_0</math>. נבחר <math>\varepsilon_0 =1</math>, ויהי <math>\delta > 0</math> כלשהו. עבור <math>x_{1}=\frac{1}{\delta},x_{2}=\frac{1}{\delta} +\frac{\delta}{2}</math> יתקיים <math>\left|x_1-x_2\right| =\frac{\delta}{2} < \delta</math>, בעוד ש-<math>\left| {x_1 ^2  - x_2 ^2 } \right| = \left| {x_1  - x_2 } \right|\left| {x_1  + x_2 } \right| = {\delta  \over 2} \cdot \left| {{2 \over \delta } + {\delta \over 2 }} \right| = 1 + {\delta^2 \over 4} > 1 = \varepsilon_0</math>. לסיכום, עבור <math>\varepsilon_0 =1</math> '''לכל''' <math>\delta > 0</math> קיימים <math>x_{1}, x_{2}\isin [0,\infty )</math> כך ש-<math>\left|x_1-x_2\right| < \delta</math> ובכל זאת <math>\left|f(x_1)-f(x_2)\right| \ge \varepsilon_0</math>, ולכן, הפונקציה <math>f\left(x\right)=x^2</math> אינה רציפה במידה שווה בקטע <math>[0,\infty )</math>.

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

* הסכום של שתי פונקציות שהן רציפות במידה שווה, גם הוא רציף במידה שווה. 
* אם <math>f</math> ו-<math>g</math> רציפות במידה שווה בקטע <math>I</math> ושתיהן '''חסומות''' שם, אזי המכפלה <math>fg</math> רציפה במידה שווה ב-<math>I</math>. התנאי הוא תנאי מספיק לרציפות במידה שווה של פונקציית המכפלה אך אינו תנאי הכרחי. להלן מספר דוגמאות:
** הפונקציה <math>f(x)=x^2</math> היא מכפלה של שתי פונקציות רציפות במידה שווה (שאינן חסומות), אך אינה רציפה במידה שווה בכל הישר. 
** הפונקציה <math>x\sin(x)</math> היא מכפלה של שתי פונקציות רציפות במידה שווה על כל הישר, שאחת מהן חסומה, אולם <math> x\sin(x)</math> אינה רציפה במידה שווה על כל הישר.
* אם הפונקציה <math>f</math> רציפה במידה שווה בקטע <math>I</math> וקיים קבוע <math> c>0</math> כך ש-<math>f(x)\ge c</math> לכל <math>x</math> בקטע, אזי גם הפונקציה <math>1/f</math> רציפה במידה שווה בקטע <math>I</math>. דוגמה לכך שלא מספיק לדרוש ש-<math>f(x)> 0</math> לכל <math>x</math> בקטע, היא הפונקציה <math>f(x)=x</math> בקטע <math>(0,1)</math>.
* הרכבת שתי פונקציות שהן רציפות במידה שווה, גם היא רציפה במידה שווה.

==דוגמאות, הערות ומשפטים נוספים==
* פונקציה רציפה במידה שווה בקטע, רציפה במידה שווה בכל קטע חלקי לו. (מכאן שאם פונקציה מוגדרת ורציפה בקטע פתוח, ויש לה גבולות חלקיים בקצות הקטע, אז היא רציפה במידה שווה בקטע הסגור לפי משפט קנטור, ולכן גם בקטע הפתוח).
* פונקציה רציפה במידה שווה במספר סופי של קטעים, רציפה במידה שווה באיחוד הקטעים.
* פונקציה רציפה בקטע <math>[a,\infty)</math> ושואפת לגבול סופי ב-<math>\infty</math> היא רציפה במידה שווה בקטע <math>[a,\infty)</math>. ברור כי התנאי אינו הכרחי: הפונקציה <math> f(x)=x</math> רציפה במידה שווה, אך אינה שואפת לגבול סופי ב-<math>\infty</math>.
* ניתן להרחיב מעט את התנאי הקודם: <math>f</math> פונקציה רציפה בקטע <math>[a,\infty)</math> וקיים קבוע <math>b</math> כך שהפונקציה <math>f(x)-bx</math> שואפת לגבול סופי ב-<math>\infty</math>, אזי <math>f</math> רציפה במידה שווה בקטע <math>[a,\infty)</math>.
* <math>f</math> פונקציה רציפה בקטע <math>[a,\infty)</math> וגזירה בקטע <math>(b,\infty)</math>, עבור <math>a<b</math>. אם <math>f'</math> שואפת לגבול סופי ב-<math>\infty</math> אזי <math>f</math> רציפה במידה שווה בקטע <math>[a,\infty)</math>. דוגמה: הפונקציה <math> f(x)=x^2\sin\frac{1}{x}</math> רציפה במידה שווה בקטע <math>(0,\infty)</math>.
* הפונקציה <math>\sin(x^2)</math> רציפה על כל הישר, חסומה, אך אינה רציפה במידה שווה על כל הישר.
* [[פונקציה מחזורית]] ורציפה על כל הישר היא רציפה במידה שווה.

==הכללות==

=== עבור מרחבים מטריים ===
ניתן להרחיב את ההגדרה ל[[מרחב מטרי|מרחבים מטריים]] באופן הבא: 

בהינתן שני מרחבים מטריים <math>X,Y</math> עם המטריקות <math>d_X,d_Y</math> בהתאמה ופונקציה <math>f:X\to Y</math>, הפונקציה תקרא '''רציפה במידה שווה''' [[אם ורק אם]] לכל <math>\epsilon >0</math> קיים <math>\delta >0</math> כך שלכל <math>a,b\in X</math> עבורם <math>d_X(a,b)<\delta</math> מתקיים <math>d_Y(f(a),f(b))<\epsilon</math><ref>{{קישור כללי|כתובת=https://www.math.ucdavis.edu/~hunter/m201a_16/continuous.pdf|הכותב=John K. Hunter|כותרת=Continuous Functions on Metric Spaces|אתר=University of California, Davis|תאריך=2016-10-28|שפה=en}}</ref>. 

במקרה שבו המרחב המטרי הוא שדה הממשיים <math>\mathbb{R}</math> עם הנורמה האוקילידית הסטנדרטית, ההגדרה לעיל שקולה להגדרה זו. ניתן להראות שכל פונקציה רציפה במידה שווה בין מרחבים מטריים היא גם רציפה במשמעות זו, זאת באופן זהה למרחב המספרים הממשיים.

קיימת הכללה למשפט קנטור עבור מרחבים מטריים אשר קובעת שפונקציה רציפה ממרחב מטרי [[קבוצה קומפקטית|קומפקטי]] <math>K</math> למרחב מטרי כלשהו, היא רציפה במידה שווה.

=== עבור חבורה טופולוגית ===
ניתן להרחיב את ההגדרה של פונקציה רציפה במידה שווה עבור [[חבורה טופולוגית|חבורות טופולוגיות]] באופן הבא:

בהינתן החבורות הטופולוגיה <math>X,Y</math> עם הטופולוגיות <math>\mathcal{T}_X,\mathcal{T}_Y</math> בהתאמה ופונקציה <math>f:X\to Y</math> הפונקציה <math>f</math> תקרא '''רציפה במידה שווה''' אם ורק אם לכל קבוצה פתוחה <math>B\in\mathcal{T}_Y</math> קיימת קבוצה פתוחה <math>A\in\mathcal{T}_X</math> כך שלכל <math>a,b\in X</math> כך ש-<math>ab^{-1}\in A</math> מתקיים בהכרח כי <math>f(a)(f(b))^{-1}\in B</math>.<ref>{{קישור כללי|כתובת=https://encyclopediaofmath.org/wiki/Uniform_continuity#:~:text=If%20a%20mapping%20f%3AX,the%20theory%20of%20topological%20groups.|כותרת=Uniform continuity|תאריך=2020-6-6|שפה=en}}</ref>

מאחר שכל [[מרחב וקטורי טופולוגי]] הוא גם חבורה טופולוגית תחת פעולת החיבור, הגדרה זו תקפה גם למרחבים כאלו.
=== עבור מרחבים אחידים ===
{{ערכים מורחבים|ערכים=[[מרחב אחיד#רציפות במידה שווה|מרחב אחיד - רציפות במידה שווה]]}}
ניתן להרחיב את ההגדרה של פונקציה רציפה במידה שווה עבור [[מרחב אחיד]]. הרחבה זאת מרחיבה הן את מושג הרציפות במדה שווה עבור מרחבים מטריים וגם את  מושג הרציפות במדה שווה עבור חבורות טופולוגיות.

=== מרחבי Atsuji ===
פונקציה רציפה ממרחב קומפקטי היא רציפה במידה שווה. תכונה זו '''אינה''' מאפיינת מרחבים קומפקטיים. מרחב מטרי שכל פונקציה רציפה ממנו (למרחב מטרי אחר) היא רציפה במידה שווה, נקרא '''מרחב Atsuji'''<ref>{{קישור כללי|כתובת=https://core.ac.uk/download/pdf/82099718.pdf|הכותב=Tanvi Jain, S. Kundu|כותרת=Atsuji completions: Equivalent characterisations|תאריך=2005-10-27|שפה=en}}</ref>. התכונות הבאות שקולות:
* כל פונקציה רציפה מ-<math>K</math> למרחב מטרי היא רציפה במידה שווה.
* לכל שתי קבוצות סגורות זרות ב-<math>K</math> יש מרחק חיובי.
* לכל כיסוי פתוח של <math>K</math> יש [[מספר לבג]].
לפי משפט קושי, כל מרחב קומפקטי הוא Atsuji.

כל מרחב Atsuji הוא [[מרחב מטרי שלם|שלם]]. בדומה לאפיון של מרחבים שלמים באמצעות [[משפט החיתוך של קנטור]], אפשר לאפיין מרחבי Atsuji באופן הבא: מרחב מטרי <math>X</math> הוא Atsuji אם ורק אם לכל [[סדרה (מתמטיקה)|סדרה יורדת]] של קבוצות סגורות <math>A_n</math> שעבורה <math>\lim_{n \rightarrow \infty}\underline{d}(A_n) =0</math>, יש נקודה משותפת; כאן <math>\underline{d}(A) = \inf_{a\in A} \{d(a, X - \{a\}\}</math>.

==ראו גם==
* [[תנאי ליפשיץ]]
* [[פונקציה רציפה בהחלט]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}
{{אנליזה מתמטית}}

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