Sea
![[0,1]\times{[0,1]}\rightarrow{\mathbb{R}}](/foros/Sources/latexrender/pictures/2c315fc4b8142676a5f48ab508bfaa30.png)
una función continua. Considere
![E=([0,1],\mathbb{R})](/foros/Sources/latexrender/pictures/02667354d5921201e5054a96bbd572b0.png)
equipado con
la métrica de la convergencia uniforme. Sea

definida por:
![\[T(f)(x) = \int\limits_0^1 {K(x,t)f(t)dt,{\text{ }}f \in E,x \in [0,1].} \]](/foros/Sources/latexrender/pictures/f78263058952b4a7d8d7ea9f78d7c9ba.png)
Sea

un conjunto acotado de E. Probar que

es compacto.
Bueno aca la idea es usar el teorema de Arzelá-Ascoli. Una de las cosas que se debe probar según éste teorema es que el conjunto

es equicontinuo, para ello fui acotando de la siguiente manera:

Como

está en A, es acotada, luego exixte

tal que

para todo t en [0,1]. Así podemos decir que
![\[
\left| {g(x) - g(y)} \right| \leqslant \int\limits_0^1 {M\left| {(K(x,t) - K(y,t))} \right|dt}
\]](/foros/Sources/latexrender/pictures/eb294699bff8e40b4383cfbfc4e988a7.png)
Lo que está dentro del valor absoluto se puede acotar si se considera que K es continua, pero mi problema es que la M no es la misma para
todas las funciones que están en A, luego cuando quiero encontrar mi delta para la equicontinuidad, ésta no será la misma para todas las
funciones del conjunto, pues delta depende de M.
Pero la idea de la equicontinuidad es que el delta sea el mismo para todas las funciones del conjunto.
¿Cómo conseguir ese delta entonces? Gracias.