Análisis Matemático I

Licenciatura en Matemáticas
Teorema de Baire y Teorema de Arzela-Ascoli
Salvador Carlos Uriel Rodríguez Ramírez
ES172011685

This study source was downloaded by 100000778723003 from CourseHero.com on 08-30-2022 16:10:40 GMT -05:00

https://www.coursehero.com/file/69964658/MAMT1-U3-A4-SARRdocx/
 1. Sea F un conjunto equicontinuo y acotado de funciones con dominio D contenido en Rp y con
rango en R. Sea f* definido sobre D en R por f*(x)=sup{f(x):f está en F}. Demuestre que f* es
continua sobre D en R.

Para todo n ∈ N tenemos que:

Dn= {d ∈ D: ‖F α d‖Y ≤n , ∀ α ∈ R }

Dado un punto d ∈D existe un valor N∈N tal que ‖F α d‖Y ≤ N para todo α ∈R ,
por lo tanto { Dn }n recubre a D , y considerando el Teorema de Baire, existe n0 ∈ N tal
que Dn 0
es denso en una bola B .

Por consecuencia Dn será cerrado, si {d m }m∈ N ⊆ Dn con d m →d , entonces dado que

F α es continuo, por lo tanto el conjunto { F α d :α ∈ R }
será acotado, presentado el principio
de acotación uniforme, entonces F que es un operador continuo se relaciona con un conjunto de
números reales con cota superior.

Dado que Fα es equicontinua, entonces f

¿
es continua, ya que para cada ε > 0 , existe
δ=δ ( ε , x ) tal que:
d∗( f ¿n ( x ) , f ¿n ( y ) ) <ε

2. Demuestre que la conclusión del ejercicio anterior puede fallar si no se supone que F es un
conjunto equicontinuo.

Por contraejemplo, sea ( X , d )=( R ,‖∙‖) , la cual es una distancia euclidiana y f : R → R , la

cual es la función identidad, es decir, f ( x )=x . Tomando F={ f } y considerando
2
h:R→R definido como h ( x )=x . Entonces G= {h o f }= { h } , la cual no es
equicontinua, ya que no es uniformemente continua. Para algún δ > 0 , podemos escoger:

δ
y=x +
2

Y x un valor grande, tal que |x− y|< δ y |x 2− y 2|=| x− y||x+ y|=δ /2 , es decir:

|2 x+ δ2|≥ 1

This study source was downloaded by 100000778723003 from CourseHero.com on 08-30-2022 16:10:40 GMT -05:00

https://www.coursehero.com/file/69964658/MAMT1-U3-A4-SARRdocx/
 Por lo que no hay un punto de acumulación no acotado, entonces se requiere que F sea
compacto en la topología inducida por la norma uniforme si y sólo si es equicontinuo y puntual
acotada.

3. Muestre que el Teorema de Arzela-Ascoli puede fallar si la hipótesis de que el dominio es

compacto es omitida.

Sea (X ,d) F ⊆ C 0 (X ) , se tiene que

un espacio métrico, dada una familia F es
totalmente acotada. Para cada ε > 0 existe un compacto K ε tal que

|f ( x )|: x ∈ X { K
¿ { ¿ ¿ ε y f ∈ F } <ε

Es decir, si no se cumple la compacidad en lugar de la equicontinuidad se produce la d∞ .

4. Sea (fn) una sucesión de funciones continuas de un espacio métrico X a un espacio métrico Y
tal que para cada x en X la sucesión (fn(x)) converge a un punto f(x) en Y. Entonces f define
un mapeo X inyectivo en Y. Demuestre que existe un conjunto E de la primera categoría en X
tal que f es continua en cada punto x en X\E. Por lo tanto si X es completo, f es continua en un
conjunto denso de puntos en X.

¿
Sea E un subconjunto abierto no vacío tal que E ∩ D=∅ , entonces D⊆ X , es decir
¿ ¿
que X es cerrado y denso cl( D)⊆ X . Por lo tanto, si D no es denso en ( X , d) ,
entonces X es un conjunto abierto no vacío y por tanto no denso. Y como consecuencia:

E ∩cl(D)=∅
D⊆ cl(D)
E ∩ D=∅

Por lo tanto X debe ser un conjunto denso de puntos, en el cual f es continua.

Bibliografía

Cerdà, J. (1996). Análisis Real. Barcelona: Universitat de Barcelona.

Dun, C. M. (2017). Introduction to analysis. California: CRC Press.
Howie, J. M. (2006). Real Analysis. Andrews: Springers.
Lopéz de Medrano, S. (1972). Modelos Matemáticos. Edo. de México: Diseño y Composición
Litografica.
Rudin, W. (1980). Principios de análisis matemáticos. USA: McGraw-Hill.

This study source was downloaded by 100000778723003 from CourseHero.com on 08-30-2022 16:10:40 GMT -05:00

https://www.coursehero.com/file/69964658/MAMT1-U3-A4-SARRdocx/
 This study source was downloaded by 100000778723003 from CourseHero.com on 08-30-2022 16:10:40 GMT -05:00

https://www.coursehero.com/file/69964658/MAMT1-U3-A4-SARRdocx/
Powered by TCPDF (www.tcpdf.org)