狄妮定理

原始定理

{ f n ( x ) } \{f_n(x)\} {fn​(x)}在$[a,b]$上满足

• ①$\forall x\in [a,b]$， { f n ( x ) } \{f_n(x)\} {fn​(x)}为单调（注意：这里是固定x对n单调），且$$\underset{n\to \infty }{\lim }{f}_n(x)=f(x)$$
• ②$f,f_n$都连续

则$$f_n(x)\rightrightarrows f(x),x\in [a,b]$$

等价定理

• 令$${\psi }_n(x)=|f_n(x)-f(x)|$$则上述定理$\iff$
• ①$\forall x\in [a,b]$， { ψ n ( x ) } \{\psi_n(x)\} {ψn​(x)}随n单调递减，且$$\underset{n\to \infty }{\lim }{\psi }_n(x)=0$$
• ②${\psi }_n(x)$连续

则$${\psi }_n(x)\rightrightarrows 0，x\in [a,b]$$

证明

只用证明等价定理，由于${\psi }_n$非负且关于n单调，因此只需要证明$\forall \epsilon >0,\exists n\in N,使得对\forall x\in [a,b]，有$ $${\psi }_n(x)<\epsilon$$则只要证明${\psi }_n$在区间上的最大值$<\epsilon$即可

• 由${\psi }_n$连续可知，对每一个n，${\psi }_n在[a,b]$上都存在最大值，设它在$x_n$点取得的最大值为$M_n$
• 又由于 { x n } \{x_n\} {xn​}是有界数列，故存在一收敛子列 { x n k } \{x_{n_k}\} {xnk​​}，且收敛子列有极限值$x_0$，即$$\underset{k\to \infty }{\lim }{x}_{n_k}=x_0$$
• $x_0$满足$$\underset{n\to \infty }{\lim }{\psi }_n(x_0)=0$$于是对$\forall \epsilon >0,\exists m\in N，使得$ ${\psi }_m(x_0)<\epsilon$
• 再证明${\psi }_m(x_{n_k})<\epsilon$:由于${\psi }_m$连续，因此有$$\underset{k\to \infty }{\lim }{\psi }_m(x_{n_k})={\psi }_m(x_0)$$于是由于${\psi }_m(x_0)<\epsilon$，知$\exists k_0\in N,当k>k_0时，有：{\psi }_m(x_{n_k})<\epsilon$
• 再取一个$k>k_0,且让n_k\ge m$,由 { ψ n } \{\psi_n\} {ψn​}单调递减，有$$M_{n_k}={\psi }_{n_k}(x_{n_k})\le {\psi }_m(x_{n_k})<\epsilon$$令$n=n_k$，有：$M_n是{\psi }_n在[a,b]$上的最大值，故对任意x，有${\psi }_n(x)<\epsilon$，从而证明函数列一致收敛于0