Anlisis Matemtico I

Unidad 3. Compacidad, complitud y categoras

Actividad 4. Teorema de Baire y Teorema de Arzela-Ascoli

1. Determina cules de los siguientes conjuntos

son densos en ninguna

parte.
Justifica bien tu determinacin.
a) Sea

X =R

con la mtrica

d ( x , y )= x y . Considera

H={0 } .

Probamos que E es denso en ninguna parte si y solo si su clausura tiene

Interior vaco.

intE= X E , > 0 :B ( X , ) E
X E , > 0: Y B ( x , ) con y EC
C

X E , > 0: B ( x , ) E E

Entonces el conjunto es denso en ninguna parte

b) Sea

X =R

con la mtrica discreta:

d ( x , y )= 1 , x y
0 , x= y . Considera

H={0 } .
Es un conjunto cerrado y acotado pero no es compacto,
Es denso en ninguna parte, y su complemento de la cerradura del conjunto es
denso, por lo que el conjunto denso en ninguna parte est en R.

2. Determina cules de las siguientes afirmaciones es verdadera y cul es falsa.

Justifica tu respuesta dando una demostracin o un contraejemplo.
a) Todo espacio mtrico completo es no numerable.
Supongamos que el espacio es numerable
es aislado tenemos que

{ xn }

n=1 { x n }

como todo punto

{ x n }= nos dice que es un conjunto

completo de primera categora, entonces es no numerable.

b) Todo espacio mtrico completo sin puntos aislados es no numerable

(Recuerda que un punto

x 0 de un espacio mtrico
x 0 tal que

aislado, si existe una vecindad de

El espacio no puede ser finito ni numerable si

cerrado, al menos un

{ xn }

necesariamente el propio

ha de tener un

{ xn}

es un punto

{ x X|d X ( x , x 0 ) < E }={x 0 }

X ={ x 1} { x n } es

X interior no vacio

que ser abierto y aislado. No puede ser

numerable.

3. Sea

gn :[0 , 1] R una sucesin de funciones integrable, tal que

|gn (x )| 1 x [ 0 , 1 ] , n N

. Y sea

Gn ( x )= g n ( t ) dt
0

Demuestra que existe una subsucesin de

Gn ( x ) convergente.

x , y [ 0,1 ] con y< x se tiene que

Para todo

|Gn ( x ) Gn ( y )|= gn ( t ) dt |g n ( t )| dt yx
x

Lo que implica la equicontinua de la sucesin

{Gn }

|Gn ( x )||gn ( t )|dt x 1

0

Por el teorema de Arzela-Ascoli existe una subcesin de

uniformemente

{Gn }

que converge

).