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

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

==הגדרה==
*'''הגדרה בלשון <math>\varepsilon</math>''': תהא <math>\{f_n\}_{n=1}^\infty</math> סדרת פונקציות [[מספר ממשי|ממשיות]]. נאמר כי הסדרה '''מתכנסת במידה שווה''' (במ"ש) לפונקציית הגבול <math>f(x)</math> בקבוצה <math>S</math> אם לכל <math>\varepsilon>0</math> קיים <math>N</math> [[מספר טבעי|טבעי]] כך ש'''לכל''' <math>x\in S</math> ו'''לכל''' <math>n>N</math> מתקיים <math>|f_n(x)-f(x)|<\varepsilon</math>.
*'''הגדרה שקולה''': <math>\{f_n\}_{n=1}^\infty</math> '''מתכנסת במידה שווה''' לפונקציית הגבול <math>f(x)</math> [[אם ורק אם]] מתקיים כי:
::<math>\lim_{n\to\infty}\sup_{x\in I}|f_n(x)-f(x)|=0</math>
:כאשר <math>I</math> [[תחום של פונקציה|תחום ההגדרה]] של הפונקציות ו-<math>\sup</math> מסמן [[חסם (מתמטיקה)|סופרמום]] (הכוונה כאן היא לקחת גבול לסופרמום. הדמיון לסימון <math>\limsup</math> המייצג [[תת-סדרה|גבול עליון]] הוא מקרי).

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

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

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

==דוגמה==
כדוגמה למצב שבו ההתכנסות היא נקודתית אך לא במידה שווה, נסתכל בסדרת הפונקציות <math>f_n(x)=x^n</math> המוגדרת בקטע <math>I=(0,1)</math>. הסדרה מתכנסת נקודתית לפונקציית האפס <math>f(x)=0</math> בקטע, אך ההתכנסות אינה במידה שווה. נוכיח זאת:
*'''לפי ההגדרה הראשונה''' – נבחר <math>\varepsilon_0=0.25</math>. יש להראות כי לכל <math>N</math> טבעי קיים <math>n>N</math> טבעי ו-<math>x_n\in(0,1)</math> עבורם <math>|f_n(x_n)-f(x_n)|\ge\varepsilon_0</math>. נבחר <math>x_n=\frac{1}{2^{1/n}}</math> ונקבל כי לכל <math>n</math> טבעי, ובפרט עבור כל <math>n>N</math> מתקיים <math>|f_n(x_n)-f(x_n)|=0.5>\varepsilon_0</math>.
*'''לפי ההגדרה השנייה''' – <math>\sup_{x\in I}|f_n(x)-f(x)|=\sup_{x\in I}|x^n-0|=\sup_{x\in I}|x^n|=1</math>, ובפרט הסופרמום אינו שואף לאפס.

==כלים לחקירת התכנסות במידה שווה==
*[[סדרת קושי|קריטריון קושי]]: תהיינה <math>f_n</math> סדרת פונקציות, הן מתכנסות במ"ש בקבוצה <math>S</math> אם ורק אם לכל <math>\varepsilon>0</math> קיים <math>N</math> [[מספר טבעי|טבעי]] כך ש'''לכל''' <math>x\in S</math> ו'''לכל''' <math>m,n>N</math> מתקיים <math>|f_n(x)-f_m(x)|<\varepsilon</math>.
*[[משפט דיני]]: תהיינה <math>f_n</math> סדרת פונקציות רציפות, המוגדרות בקטע סגור <math>S</math>, כך שלכל <math>x\in S</math>, הסדרה <math>f_n(x)</math> מונוטונית. אם הגבול של סדרת הפונקציות הוא פונקציה רציפה, אז ההתכנסות היא במידה שווה.
*[[מבחן M של ויירשטראס]]: (משפט זה אינו משפט שייחודי לטורים וניתן לנסח אותו לסדרות אך הדבר אינו טבעי שכן הוא עוסק בסדרת ההפרשים, שבטורים זה פשוט אברי הטור) תהיינה <math>f_n</math> סדרת פונקציות, ונניח שקיימת סדרת מספרים <math>M_n</math> המקיימת שהטור: <math>\sum_{n\,=\,1}^\infty M_n</math> מתכנס וכמו כן שלכל <math>x\in S</math> ולכל <math>n</math> מתקיים <math>|f_n(x)|\le M_n</math>. אזי <math>\sum_{n\,=\,1}^\infty f_n</math> מתכנס במ"ש ובהחלט בקבוצה <math>S</math>.
*קריטריון דריכלה להתכנסות במ"ש: עבור סדרות פונקציות <math>\{a_n\}_{n=1}^\infty,\{b_n\}_{n=1}^\infty</math> בתחום <math>S</math>, הטור <math>\sum_{n\,=\,1}^\infty a_nb_n</math> מתכנס במ"ש ב-<math>S</math> אם נניח כי: הסדרה <math>\left\{\sum_{n\,=\,1}^Nb_n\right\}_{N=1}^\infty</math> [[חסימות במידה אחידה|חסומה במידה אחידה]] ב-<math>S</math> וגם לכל <math>x\in S</math> הסדרה <math>\left\{a_n\right\}_{n=1}^{\infty}</math> מונוטונית ובנוסף <math>a_n</math> מתכנסת במ"ש לפונקציה <math>f(x)=0</math>.
*קריטריון [[נילס הנריק אבל|אבל]] להתכנסות במ"ש: עבור סדרות פונקציות <math>\{a_n\}_{n=1}^\infty,\{b_n\}_{n=1}^\infty</math> בתחום <math>S</math>, הטור <math>\sum_{n\,=\,1}^\infty a_nb_n</math> מתכנס במ"ש ב-<math>S</math> אם נניח כי: הטור <math>\sum_{n\,=\,1}^\infty b_n</math> מתכנס במ"ש ב-<math>S</math> וגם לכל <math>x</math> הסדרה <math>\{a_n\}_{n=1}^\infty</math> מונוטונית ו[[חסימות במידה אחידה|חסומה במידה אחידה]] ב-<math>S</math>.
*טור חזקות מתכנס במ"ש עבור כל [[קטע (מתמטיקה)|קטע סגור]] וחסום בתוך [[רדיוס התכנסות|רדיוס ההתכנסות]] שלו.

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

{{אנליזה מתמטית}}

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

[[קטגוריה:סדרות מתמטיות]]
[[קטגוריה:התכנסות (מתמטיקה)]]