Plantilla para un artículo LATEX

Mariana Cely Garzón

Escuela de Matemáticas y Estadística
Facultad de Ciencias
Universidad Pedagógica y Tecnológica de Colombia

Resumen
El análisis funcional, una rama fundamental de las matemáticas, se desarrolló para abor-
dar problemas que las técnicas tradicionales no podían resolver. Implica el estudio de espacios
topológicos y aplicaciones entre subconjuntos de estos espacios, sujetos a diversas condiciones
algebraicas y topológicas. Uno de los desafíos clave en esta área era comprender las condicio-
nes bajo las cuales el límite puntual de una secuencia de funciones preservaba las propiedades
de esas funciones. Inicialmente, se exploró el concepto de convergencia uniforme como una
solución, pero no fue hasta la intervención de los matemáticos italianos U. Dini, G. Ascoli
y C. Arzelà que se introdujo el concepto de equicontinuidad. Este nuevo concepto permitió
introducir el teorema de Arzelá-Ascoli.

El teorema de Arzelá-Ascoli, similar al teorema de Heine-Borel, generalizó el concepto

de compacidad de conjuntos acotados en Rn a conjuntos de funciones en C(M ), donde M es
un espacio métrico compacto. Esto proporcionó una herramienta poderosa para estudiar la
compacidad en el contexto de funciones, lo que fue fundamental en el análisis funcional. El
teorema de Arzelá-Ascoli se ha convertido en un pilar en la teoría de funciones y ha tenido
aplicaciones significativas en diversas áreas de las matemáticas y la física.

Este artículo explorará el teorema de Arzelá-Ascoli, sus aplicaciones, cómo ha influido

en el análisis funcional y su demostración en el espacio completo (C[0, 1], d∞ ) usando una
prueba inductiva al comienzo y complementándola con definiciones de sucesiones de Cauchy
y equicontinuidad que iremos definiendo en la sección de preliminares.

Resumen
Functional analysis, a fundamental branch of mathematics, emerged to tackle problems
beyond the scope of traditional techniques. It delves into the study of topological spaces and
the relationships between subsets within these spaces, all while adhering to various algebraic
and topological conditions. One of the central challenges in this field was to ascertain the
conditions under which the pointwise limit of a sequence of functions would maintain the pro-
perties of those functions. Initially, researchers explored the concept of uniform convergence as
a solution, but it wasn’t until the contributions of Italian mathematicians U. Dini, G. Ascoli,
and C. Arzelà that the notion of equicontinuity was introduced. This groundbreaking concept
paved the way for the formulation of the Arzelà-Ascoli theorem.

The Arzelá-Ascoli theorem, much like the Heine-Borel theorem, extends the concept of
compactness from bounded sets in Rn to sets of functions within C(M ), where M represents
a compact metric space. This extension provides a powerful tool for exploring compactness
in the realm of functions, which plays a fundamental role in functional analysis. Over time,
the Arzelá-Ascoli theorem has solidified its place as a cornerstone in function theory and has
found significant applications across various domains of mathematics and physics.

This paper aims to delve into the Arzelá-Ascoli theorem, its applications, its impact on
functional analysis, and its proof within the complete space (C[0, 1], d∞ ). We will commence
with an inductive proof at the outset and complement it with the definitions of Cauchy se-
quences and equicontinuity, which will be introduced in the subsequent section on parameters.

1
1. Introducción
El análisis de funciones nace como la mayoría de las líneas en la matemática, de la necesidad
de responder a las preguntas que los métodos y líneas tradicionales no eran suficientes para resol-
ver; citando una definición dada por J. Dieudonné como "... el estudio de los espacios topológicos
y de las aplicaciones definidas entre subconjuntos de los mismos, sujetas a distintas condiciones
algebraicas y topológicas..El análisis funcional, se basa en el estudio de los comportamientos y pro-
piedades de las funciones matemáticas, las cuales a su vez son definidas como las relaciones en las
cuales se le asigna a cada elemento del conjunto de salida un único elemento del conjunto de llegada.

Tras la rigurosidad del análisis funcional como “sucesora” del cálculo de variaciones, El teo-
rema de Arzel´a-Ascoli se proyectó como uno de los primeros grandes teoremas del análisis: Uno
de los principales problemas a los cuales se enfrentaron los matemáticos de la época, fue estudiar
bajo cuales condiciones el límite puntual de una sucesión de funciones, preservaba las propieda-
des de las funciones que componían dicha sucesión; una primer idea que daba pie a la solución
del problema, era que el concepto de convergencia no era lo suficientemente fuerte para estudiar
dichas sucesiones de funciones, así fue como se introdujo el concepto de convergencia uniforme
(Weierstrass, 1841; Stokes, 1847;Von Seidel, 1848; Cauchy, 1853). Sin embargo, no fue hasta la
intervención de los matemáticos italianos U. Dini, G. Ascoli y C.Arzelà. Que surgió la idea de
que no era totalmente necesario modificar el concepto de convergencia, bastaba con introducir el
concepto de equicontinuidad, cuyo mérito se atribuye al matemático italiano G. Ascoli(1883)este
nuevo concepto o más bien, condición general de la sucesión de funciones, permitía que el límite
de la sucesión fuera continuo.

Así como el teorema de Heine-Borel: “Sea K un subconjunto de Rn . Entonces, K es compacto

si y solo si K es cerrado y acotado” el nacimiento del concepto de equicontinuidad les permitió a
U. Dini, G. Ascoli y C.Arzelà llegar al teorema de Ascoli-Arzelà, el cual sería una generalización
del teorema de Heine-Borel, esta vez para el caso en que en vez de Rn , sea K un subconjunto de
C(M ) con M siendo un espacio métrico compacto, es decir, se permitió estudiar el concepto de
compacidad que el teorema de Heine-Borel había trabajado en conjuntos acotados de R a conjuntos
de funciones.

Antes de proceder con los conceptos necesarios para la demostración del teorema, demos un
breve repaso a la epistemología matemática para recordar que la notación simbólica de conceptos
matemáticos no tomaría fuerza en la comunidad en gran medida en los siglos XVII y XVIII es por
esto que introduciremos brevemente la formulación original de equicontinuidad dada por Guido
Ascoli en 1883:

.Admito también que la variedad R de líneas consideradas sea igualmente continua (equalmente
continua). Con ello quiero decir que, dada una cantidad arbitraria σ, se puede fijar una magnitud
γ y de tal modo que en cualquier parte no mayor que γ de un segmento M sobre el que se
proyecta una cualquiera de las líneas dadas, no sea mayor que la oscilación σ de la última". (27,
pp. 257. 258]12

2. Preliminares
Definición 1: Un espacio métrico X se denomina compacto siempre que toda cubierta abierta
de X tenga una subcubierta finita. Un subconjunto K de X se llama compacto siempre que K,
considerado como un subespacio métrico de X, sea compacto.

Proposición 1: Si X es un espacio métrico compacto, entonces C(X) es completo. Denotamos

por C(X) el espacio lineal de funciones continuas de valor real sobre X.

Definición 1: Un espacio métrico X se denomina compacto siempre que toda cubierta abier-
ta de X tenga una subcubierta finita. Un subconjunto K de X se llama compacto siempre que K,
considerado como un subespacio métrico de X, sea compacto.

2
Definición 1: Un espacio métrico X se denomina compacto siempre que toda cubierta abier-
ta de X tenga una subcubierta finita. Un subconjunto K de X se llama compacto siempre que K,
considerado como un subespacio métrico de X, sea compacto.

2.1. ¿Cómo añadir comentarios?

Puedes añadir comentarios en el ícono + del menú de arriba.
Para responder a un comentario, simplemente da click en Reply en Rich Text.
También pueden añadirse comentarios en el margen del pdf compilado con el comando todo , ¡Comment
como se muestra en el ejemplo de la derecha. También puedes añadirlos dentro del texto: en el
Este es un comentario dentro del texto. margen!

2.2. ¿Cómo añadir tablas en mi TEX?

Usa los comandos table y tabular para iniciar una tabla simple — mira la tabla ??, como
ejemplo.

2.3. ¿Cómo escribir (expresiones) Matemáticas?

LATEX es buenísimo para escribir ecuaciones. Para escribir variables o ecuaciones dentro del
texto lo podemos poner entre signos de pesos y luego podemos seguir escribiendo, esto funciona si
queremos escribir un símbolo como ∇, π, β, Ω, ℵ, etc.
∞
X xn
= ex (1)
n=0
n!
Z 1
dx = 1 (2)
0
e iπ
+1=0 (3)
Si queremos citar al gran Maxwell, lo podemos hacer como en la ecuación 4:
∂B
∇×E+ =0 (4)
∂t
A continuación se añade un ejemplo de un desarrollo: Con este preámbulo llevamos a cabo la
siguiente transformación de los operadores âℓ
ℓ †
X
b̂†m = Um âℓ (5)
ℓ

donde Umℓ
es un elemento de la matriz unitaria U.
Calculamos ahora su hermitiano conjugado
!†
ℓ †
X
b̂m = Um âℓ (6)
ℓ
X †
ℓ †
= Um âℓ
ℓ
X
ℓ

∗
= Um âℓ
ℓ
X
m
= U −1 ℓ
âℓ , (7)
ℓ

Ahora, para añadir una matriz:

   
a b a b a b a b a b
c d c d c d c d c d
Ax Ay Az
⃗ · (B
A ⃗ × C)
⃗ = Bx By Bz (8)
Cx Cy Cz

3
2.4. ¿Cómo añadir listas?
Puedes añadir listas con numeración automática . . .

1. Como esta,
2. y como esta.

. . . o con puntitos . . .
Como este,

y como este.

2.5. ¿Cómo añado una lista de Citas y Referencias?

Puedes subir un archivo .bib que contenga todas tus referencias en estilo BibTeX (puedes
buscar la bibliografía de un libro en google añadiendo ’bibtex’ al final), creado con JabRef. Luego
podrás hacer citas así: [1].
Puedes encontrar un video tutorial aquí para aprender más acerca de BibTeX.
Espero que esta charla haya sido de tu ayuda. Puedes acceder a Overleaf en el siguiente link:
https://www.overleaf.com/!

Referencias
[1] D. J. Griffiths. Introduction to electrodynamics; 4th ed. Pearson, Boston, MA, 2013. Re-
published by Cambridge University Press in 2017.