סדרת פונקציות

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

הגדרה

באופן פורמלי, סדרה של פונקציות היא פונקציה מקבוצת הטבעיים אל מרחב פונקציות מסוים, המתאימה לכל מספר טבעי פונקציה, שמסמנים $f_{n}(x)$ . כך מתקבלת סדרה אינסופית של פונקציות: $\{f_{n}\}_{n=1}^{\infty }=f_{1},f_{2},f_{3},\ldots$ .

למשל, נגדיר את הסדרה הבאה $f_{n}:\mathbb {N} \to \mathbb {R} ^{\mathbb {R} }$ , על ידי $f_{n}(x)=x^{n-1}$ . זוהי למעשה סדרת המונומים $1,x,x^{2},x^{3},\ldots$ .

סוגי התכנסות

בסדרות פונקציות ממשיות, בניגוד לסדרות מספרים ממשיים, יש מספר סוגי התכנסות: התכנסות נקודתית, התכנסות במידה שווה, התכנסות בנורמה, התכנסות במידה.

התכנסות נקודתית

ערך מורחב – התכנסות נקודתית

אומרים שהסדרה $\{f_{n}\}_{n=1}^{\infty }$ מתכנסת נקודתית ב־$x=x_{0}$ אם הסדרה ${\bigl \{}f_{n}(x_{0}){\bigr \}}_{n=1}^{\infty }$ (שימו לב שמדובר בסדרת מספרים ממשיים) מתכנסת.

אומרים שסדרת פונקציות מתכנסת נקודתית בכל תחום הגדרתן אם לכל נקודה $x$ בתחום זה, הסדרה ${\bigl \{}f_{n}(x_{0}){\bigr \}}_{n=1}^{\infty }$ מתכנסת.

בלשון פורמלית: לכל $\varepsilon >0$ ולכל $x\in A$ קיים $N$ כך שלכל $m,n>N$ מתקיים ${\bigl |}f_{n}(x)-f_{m}(x){\bigr |}<\varepsilon$ .

זהו למעשה קריטריון קושי להתכנסות הסדרה ${\bigl \{}f_{n}(x){\bigr \}}_{n=1}^{\infty }$ לכל $x$ . בגלל שמרחב הממשיים הוא שלם, סדרת קושי היא גם סדרה מתכנסת.

את פונקציית הגבול, נסמן ב־$f$ והיא מוגדרת באופן הבא

$\forall x\in A:f(x)=\lim _{n\to \infty }f_{n}(x)$

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

התכנסות במידה שווה

ערך מורחב – התכנסות במידה שווה

זהו סוג חזק יותר של התכנסות סדרת פונקציות. בעוד שבהתכנסות נקודתית כל נקודה יכולה (ליתר דיוק, בכל נקודה סדרת הפונקציות יכולה) להתכנס בקצב משלה, הרי שבהתכנסות במידה שווה, קצב ההתכנסות חייב להיות אחיד לכל הנקודות בתחום ההגדרה. במלים אחרות, לכל $\varepsilon >0$ קיים $N>0$ גדול מספיק שעבורו כל הפונקציות בסדרה שהאינדקס שלהן גדול ממנו מרוחקות עד כדי $\varepsilon$ מהערכים שבפונקציית הגבול בכל הנקודות בתחום ההגדרה. כלומר: במילים אחרות, החסם העליון של הפרשי הפונקציות שואף לאפס כאשר $N$ שואף לאינסוף.

באופן פורמלי: הסדרה $\{f_{n}\}_{n=1}^{\infty }$ מתכנסת במידה שווה (במ"ש) לפונקציית הגבול בקבוצה $A$ אם ורק אם לכל $\varepsilon >0$ קיים $\ N$ כך שלכל $x\in A$ ולכל $n>N$ מתקיים ${\bigl |}f_{n}(x)-f(x){\bigr |}<\varepsilon$ .

דרישה שקולה לכך היא $\lim _{n\to \infty }\sup _{x\in A}{\bigl |}f_{n}(x)-f(x){\bigr |}=0$ .

התכנסות במידה שווה היא למעשה התכנסות בנורמה כאשר הנורמה כאן היא נורמת סופרמום: $\|g\|\equiv \sup _{x\in A}|g(x)|$ . לכן התכנסות זאת נקראת גם "התכנסות בנורמת סופרמום", או התכנסות בנורמת אינסוף.

התכנסות בממוצע

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

נאמר שסדרת פונקציות $\{f_{n}\}_{n=1}^{\infty }$ מתכנסת ל־$f$ בממוצע אם $\lim _{n\to \infty }\int _{A}{\bigl |}f_{n}(x)-f(x){\bigr |}dx=0$ .

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

הגדרה קרובה היא התכנסות בריבוע הממוצע, כלומר סדרת פונקציות $\{f_{n}\}_{n=1}^{\infty }$ מתכנסת ל-$f$ בריבוע הממוצע אם $\lim _{n\to \infty }\int _{A}{\bigl |}f_{n}(x)-f(x){\bigr |}^{2}dx=0$ .

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

התכנסות חלשה

יהי $F$ מרחב מרחב בנך פונקציונלי, ותהי $\{f_{n}\}_{n=1}^{\infty }\subset F$ סדרת פונקציות. נאמר כי $f_{n}{\stackrel {w}{\to }}f$ – מתכנסת באופן חלש – אם לכל פונקציונל רציף וחסום מעל $F$ , כלומר: לכל $\phi \in F^{*}$ מתקיים $\lim _{n\to \infty }\phi (f_{n})=\phi (f)$ . זוהי למעשה התכנסות בטופולוגיה חלשה.

ראו גם

• סדרה
• גבול (מתמטיקה)
• פונקציה
• טור פונקציות