**משפט דיני** הוא משפט מתמטי בתחום האנליזה המתמטית, העוסק בהתכנסות נקודתית של סדרה מונוטונית של פונקציות, או של טור פונקציות אי-שליליות. המשפט נקרא על שמו של אוליסה דיני (Ulisse Dini), מתמטיקאי ופוליטיקאי איטלקי שחי במאה ה-19 ובמאה ה-20. משפט זה הוא דוגמה טובה למקרה בו התכנסות נקודתית, תכונה חלשה יחסית, גוררת התכנסות במידה שווה, שהיא תכונה חזקה הרבה יותר. התכונה נגררת עקב המונוטוניות של סדרת הפונקציות.

ניסוח המשפט
-----------

* עבור סדרת פונקציות:

תהי {\displaystyle \ \lbrace f\_{n}\rbrace \rightarrow f} סדרה מונוטונית של פונקציות (כלומר, לכל {\displaystyle n\in \mathbb {N} } מתקיים {\displaystyle \forall x\in X:\ f\_{n}(x)\leq f\_{n+1}(x)} או {\displaystyle \forall x\in X:\ f\_{n}(x)\geq f\_{n+1}(x)}) המוגדרות בקטע סגור {\displaystyle X}, רציפות המתכנסות נקודתית ל-{\displaystyle \ f}, שגם היא רציפה בקטע. אזי ההתכנסות היא במידה שווה.
* עבור טורי פונקציות:

תהי {\displaystyle \ f\_{n}(x)\geq 0} סדרת פונקציות רציפות אי שליליות, והטור {\displaystyle \sum \_{n=1}^{\infty }f\_{n}(x)} מתכנס נקודתית לסכום {\displaystyle \ S(x)} שגם הוא פונקציה רציפה, אז ההתכנסות היא במידה שווה.
יש לשים לב כי דרישת הרציפות של הפונקציות וכן של פונקציית הגבול, הכרחית. על מנת להדגים את הכרחיות הדרישה כי פונקציית הגבול תהייה רציפה, ניתן להסתכל על סדרת הפונקציות {\displaystyle \ f\_{n}(x)=x^{n}} בקטע {\displaystyle \ [0,1]}. בסדרה זו מתקיים 
{\displaystyle \forall x<1\lim \_{n\to \infty }f\_{n}(x)=0}, אך בנקודת הקצה הגבול הוא {\displaystyle \lim \_{n\to \infty }f\_{n}(1)=1}
ולכן פונקציית הגבול אינה רציפה, וקל לראות שההתכנסות איננה התכנסות במידה שווה.

הוכחת המשפט
-----------

יהי {\displaystyle \varepsilon >0}, ונניח ללא הגבלת הכלליות כי הסדרה {\displaystyle f\_{n}\left(x\right)} יורדת לכל {\displaystyle x\in X}. אזי {\displaystyle f\left(x\right)\leq f\_{n}\left(x\right)} לכל {\displaystyle n\in \mathbb {N} }, ולכן מספיק להראות כי קיים {\displaystyle N\in \mathbb {N} } כך שלכל {\displaystyle n>N} ולכל {\displaystyle x\in X} מתקיים: {\displaystyle f\_{n}\left(x\right)<f\left(x\right)+\varepsilon }. נתון כי מתקיימת התכנסות נקודתית, כלומר {\displaystyle f\_{n}\left(x\right)\rightarrow f\left(x\right)}, ולכן לכל {\displaystyle x\in X} קיים {\displaystyle N\left(x\right)} עבורו מתקיים {\displaystyle f\_{N\left(x\right)}\left(x\right)<f\left(x\right)+\varepsilon }. אבל {\displaystyle f\_{N\left(x\right)}\left(x\right)} רציפה, ולכן קיימת סביבה פתוחה כלשהי של {\displaystyle x}, {\displaystyle U\left(x\right)\subseteq X}, כך שאי השוויון הנ"ל מתקיים בכל הסביבה. וממונוטוניות הסדרה נסיק כי לכל {\displaystyle n\geq N\left(x\right)} ולכל {\displaystyle y\in U\left(x\right)} מתקיים:


0
≤

f

n

(
y
)

−
f

(
y
)

≤

f

N

(
x
)

(
y
)

−
f

(
y
)

<
ε

{\displaystyle 0\leq f\_{n}\left(y\right)-f\left(y\right)\leq f\_{N\left(x\right)}\left(y\right)-f\left(y\right)<\varepsilon }

{\displaystyle 0\leq f_{n}\left(y\right)-f\left(y\right)\leq f_{N\left(x\right)}\left(y\right)-f\left(y\right)<\varepsilon } ברור כי {\displaystyle X\subseteq \bigcup \_{x\in X}U\left(x\right)}, שכן לכל {\displaystyle x\in X} מתקיים בפרט {\displaystyle x\in U\left(x\right)}, אבל ממשפט היינה-בורל {\displaystyle X} הוא קומפקטי, ולכן לכיסוי זה קיים תת כיסוי סופי. כלומר, קיימים {\displaystyle x\_{1},...x\_{k}\in X} כך ש-{\displaystyle X\subseteq \bigcup \_{i=1}^{k}U\left(x\_{i}\right)}. ולכן אם נבחר {\displaystyle N=\max \left\{N\left(x\_{1}\right),...N\left(x\_{k}\right)\right\}} יתקיים לכל {\displaystyle n\geq N} ולכל {\displaystyle x\in X}:


0
≤

f

n

(
x
)
−
f
(
x
)
<
ε

{\displaystyle 0\leq f\_{n}(x)-f(x)<\varepsilon }

{\displaystyle 0\leq f_{n}(x)-f(x)<\varepsilon }

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

* משפט דיני, באתר MathWorld (באנגלית)