Teorema de Dini

En análisis matemático, el teorema de Dini afirma que si una sucesión monótona de funciones continuas converge puntualmente en un espacio compacto y la función límite es también continua, la convergencia es uniforme.​

Enunciado formal

Si $X$ es un espacio topológico compacto, y $\{f_{n}\}$ es una sucesión monótonamente creciente (esto es, $f_{n}(x)\leq f_{n+1}(x)$ para todo $n$ y $x$) de funciones reales continuas en $X$ que converge puntualmente a una función continua $f$, entonces la convergencia es uniforme. La misma afirmación se cumple si $\{f_{n}\}$ es monótonamente decreciente en lugar de creciente. El teorema recibe su nombre por Ulisse Dini.​

Este es uno de los pocos casos en matemáticas donde la convergencia puntual implica convergencia uniforme. La clave del resultado es el mayor control que implica la monotonía. Nótese también que la función límite ha de ser continua, ya que el límite uniforme de funciones continuas es necesariamente continuo.

Demostración

Sea $\epsilon >0$ cualquiera pero fijo. Para cada $n$, sea $g_{n}=f-f_{n}$, y sea $E_{n}$ el conjunto de los $x\in X$ tales que $g_{n}(x)<\epsilon$. Cada $g_{n}$ es continua, y por tanto cada $E_{n}$ es abierto (ya que cada $E_{n}$ es la preimagen de un conjunto abierto bajo $g_{n}$, una función continua no negativa). Dado que $\{f_{n}\}$ es monótonamente creciente, $\{g_{n}\}$ es monótonamente decreciente, por lo que la sucesión $E_{n}$ es ascendente. Dado que $f_{n}$ converge puntualmente a $f$, se sigue que la colección $\{E_{n}\}$ es un recubrimiento abierto de $X$. Por compacidad, existe un subrecubrimiento finito, y dado que los $E_{n}$ son ascendentes el mayor de estos es también un recubrimiento. Por tanto, obtenemos que existe un entero no negativo $N$ tal que $E_{N}=X$. Esto es, si $n>N$ y $x$ es un punto en $X$, entonces $|f(x)-f_{n}(x)|<\epsilon$, como se buscaba demostrar.

Referencias

• Bartle, Robert G. y Sherbert Donald R. (2000). Introduction to Real Analysis, 3.ª edición, Wiley, pág. 238.
• Edwards, Charles Henry (1994). Advanced Calculus of Several Variables. Mineola, Nueva York: Dover Publications. ISBN 978-0-486-68336-2. 
• Graves, Lawrence Murray (2009). The theory of functions of real variables. Mineola, Nueva York: Dover Publications. ISBN 978-0-486-47434-2. 
• Friedman, Avner (2007). Advanced calculus. Mineola, Nueva York: Dover Publications. ISBN 978-0-486-45795-6. 
• Jost, Jürgen (2005) Postmodern Analysis, 3.ª edición, Springer. Véase el Teorema 12.1 en la página 157 para el caso monótonamente creciente.
• Rudin, Walter R. (1976) Principles of Mathematical Analysis, 3.ª edición, McGraw–Hill. Véase el Teorema 7.13 en la página 150 para el caso monótonamente decreciente.
• Thomson, Brian S.; Bruckner, Judith B.; Bruckner, Andrew M. (2008). Elementary Real Analysis. ClassicalRealAnalysis.com. ISBN 978-1-4348-4367-8. 

• Datos: Q595466