Quiero un cheque de esta prueba porque no estoy completamente seguro acerca de la manipulación en algunas desigualdades.
Deje $f_n$ integrable en $[a,b]$$n$. Mostrar que si $(f_n)\to f$ uniformemente en $[a,b]$ $f$ es integrable en a $[a,b]$
El uso de Darboux superior e inferior de las sumas si $f_n$ es integrable en a $[a,b]$ esto significa
$$\forall \varepsilon>0,\exists P\in\mathcal P: \sum_{j=1}^{H} (M_j-m_j)\Delta x_j<\varepsilon\tag{1}$$
donde $M_j$ $m_j$ son el supremum y infimum de $f_n(x)$$[x_j,x_{j+1}]$, y donde $\mathcal P$ es el conjunto de todas las particiones de $[a,b]$. Y tenemos que si $f(x)\to f$ uniformemente en $[a,b]$
$$\forall\varepsilon>0,\exists N\in\Bbb N,\forall x\in[a,b]:|f_n(x)-f(x)|<\varepsilon,\,\forall n\ge N\tag{2}$$
Debido a las $(2)$ existe $N$ tal que $|f_n(x)-f(x)|<\frac{\varepsilon}{3(b-a)},\forall n\ge N$$\forall x\in[a,b]$. Y debido a $(1)$ $\frac{\varepsilon}{3}$ $f_n$ existe alguna $P_{\varepsilon,n}\in\mathcal P$ tal que
$$\sum_{j=1}^{H} (M_{n,j}-m_{n,j})\Delta x_j <\frac{\varepsilon}{3}$$
Si $\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j$ es la diferencia entre la parte superior e inferior de la suma de $f$ el uso de la partición de $P_{\varepsilon,n}$
$$\sum_{j=1}^{H} (M_{n,j}-m_{n,j})\Delta x_j - \sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j+\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3}$$
$$\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3}-\sum_{j=1}^{H} (M_{n,j}-m_{n,j})\Delta x_j + \sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j$$
$$\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3} + \sum_{j=1}^{H} ((M_{j}-M_{n,j})+(m_{n,j}-m_{j}))\Delta x_j$$
$$\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3} + \sum_{j=1}^{H} (|M_{j}-M_{n,j}|+|m_{n,j}-m_{j}|)\Delta x_j$$
$$\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3} + \sum_{j=1}^{H} \frac{2\varepsilon}{3(b-a)}\Delta x_j=\frac{\varepsilon}{3} + \frac{2\varepsilon}{3(b-a)}\sum_{j=1}^{H}\Delta x_j$$
$$\sum_{j=1}^{H} (M_{j}-m_{j})\Delta x_j<\frac{\varepsilon}{3} + \frac{2\varepsilon}{3(b-a)}(b-a)=\varepsilon$$
A continuación, para $f$ existe particiones en las que la diferencia entre la parte superior e inferior de la suma es arbitrariamente cercano a cero, por lo $f$ es integrable en a $[a,b]$.