Anlisis matemtico I

Unidad 3. Compacidad, complitud y categoras

Evidencia de aprendizaje. Aplicacin de los teoremas
Lee cada problema planteado y realiza lo que se indica.
1. Sea K el conjunto de Cantor.
a) Demuestra que
a)

es compacto.

El conjunto de Cantor se obtiene a partir del intervalo

[0,1]

al que se quita primero el intervalo abierto intermedio (

1 2
,
3 3

en los dos trozos que quedan se quita tambin el

intervalo abierto intermedio, asi en

en

2
[ ,1]
3

7 8
( , ).
9 9

se quita

1
[0, ]
3

se quita

1 2
( , )
9 9

A los 4 trozos que quedan se les

quita su intervalo el intervalo intermedio abierto.

indefinidamente.

Y asi

Es un cerrado porque su complementario es un abierto ya que

es unin de abiertos.
1 2
1 2
7 8
El complementario es (, 0)(1, ) ( 3 , 3 ) ( 9 , 9 ) ( 9 , 9 ) .....

Y es acotado inferiormente por 0 y superiormente por 1.

Luego por el teorema de Heine-Borel es compacto al ser
cerrado y acotado.
b) Demuestra

es denso en ninguna parte como

subconjunto del intervalo [0,1]

b) Para demostrar que
subconjunto

de

[0,1]

es denso en ninguna parte como

tenemos

que

demostrar

que

la

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
K

es

K es un cerrado, luego su cerradura es el mismo.

El

cerradura de complementario de la cerradura de

[0,1].

complementario es la unin de abiertos

1 2
1 2
8
( , )( , ) (7 /9, ) .... .
3 3
9 9
9

Por la forma de construccin cada vez el complementario va

[0 ,1].

tomando la mayor parte del intervalo

En

van

quedando cada vez segmentos de menor longitud, con lo cual

para cualquier bola con centro en un elemento de

llegara

una iteracin en que el segmento tendr menor longitud que

la bola y por lo tanto el elemento de

pertenecer a la

clausura del complementario.

Expresado mejor. En la primera iteracin los segmentos de
K

que quedan son de longitud

la iteracin n tienen longitud

1
3

1
3n

1
<
,
3n

, y en

Entonces para una bola de

radio psilon en un elemento de

ensima en la que

en la segunda

1
9

tomamos la iteracin

entonces esa bola tendr

elementos del complementario. Y esto para cualquier psilon,

luego los elementos de

pertenecen a la cerradura del

complementario y esta cerradura es todo [0,1]

c) El conjunto

, es de primera categora o de segunda

categora?
c) Es de primera especie, ya que es la unin de un nico
conjunto denso en ninguna parte tal como hemos demostrado

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
en

B .

Debera ser la unin de innumerables conjuntos

densos en ninguna parte para ser de segunda especie.

2. Sea
f

f ( x )=xsen

( 1x )

definida para toda

( 2 )

x 0,

. Muestra que

(0, 2 )

es uniformemente continua en el intervalo abierto

Supongamos

que una funcin

intervalo abierto

(a , b)

que

extensin

era

una

f real era continua en un

y haba una

continua en

[a ,b ]

entonces

f era

f ,

de

uniformemente continua en el abierto (a , b)

Las funciones

x,

1
x

sen (x)

son continuas en

2
(0, )
y su

composicin y producto son una funcin continua en (0,2 )

Vamos a definir una funcin
que sea continua en

2
[0, ]

que sea extensin de

para ello daremos a

el valor

del lmite en los extremos

En el extremo derecho no hay ningn problema
2
2
2
g( )=( ) sen ( )

Y en el izquierdo tampoco hay mucho problema en calcular el

lmite cuando x tiende a cero.
La funcin

1
sen ( )
x tomara

un valor indeterminado, pero

siempre estar comprendido entre

tender a 0 cuando x tienda a 0.

. Luego

1
xsen( )
x

Por tanto haremos

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
g(0)=0

Y ya tenemos la funcin
2
[0, ]

extensin de f que es continua en

y por lo hecho en aquel ejercicio se deduce que

es

2
uniformemente continua en (0, )

3. Sea

f : [ 0,2 ] : [ 0,2 ] , dada por

a) Muestra que f

f ( x )=

sen (x)
.
2

es una contraccin.

Para que sea una contraccin debe existir una constante

tal que
0<a <1
d ( f ( x), f ( y)) ad (x , y )

d ( f ( x), f ( y))= f (x)f ( y )

senx seny 1

= senxseny
2
2
2

Hay una identidad trigonomtrica que dice

1
x+ y
x y
x+ y
x y
2 cos(
)sen(
)=cos (
)sen(
)
2
2
2
2
2

Como el coseno est acotado por -1 y 1

sen(

x y
)
2

Si observamos la circunferencia unidad el seno esta por

dentro de ella, es una linea recta que es siempre menor que el
arco que corresponde a ese seno, luego lo siguiente es

x y 1
1
3
x y d( x , y) d (x , y )
2
2
2
4

El ltimo paso se da porque se necesita una desigualdad

absoluta y la contante debe ser menor que 1, por eso he

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
3
4

tomado

pero cualquier constante algo mayor que

1
2

servira.
b) Cul es su punto fijo?
Esa funcin no est bien definida, dice que es de
[0,2 ]

pero

puede tomar valores negativos.

[0,2 ]

en

Tal vez si

fuera de [0, ] en [0, ] servira.

Y entonces el teorema del punto fijo dice que existe un punto
fijo y es nico. Y se ve claro que sera el punto
f ( 0 )=

x=0

ya que

( sen 0 ) 0
= =0
2
2
Cf

4. Sea

el espacio de funciones continuas en

[a, b]

[a ,b ]

, con

valores reales con la mtrica inducida por la norma infinito:

d ( f , g )=f g =max {|f ( x )g(x )||x [a , b] }

Considera la aplicacin

T :C f C f
[a ,b]

[a,b ]

, definida por:

T ( f )( x )= f ( t ) dt
a

Sea { f n }n N

una sucesin acotada en

Cf

[a, b]

a) Demuestra que la sucesin cuyo trmino general esta

dado por T ( f n ) ( x ) , tiene una subsucesin que converge
en

Cf

[a, b]

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
Por el enunciado est visto que se debe emplear ese corolario
de teorema de Arzela-Ascoli que ya usamos otra vez.

Primeramente

es compacto ya que es el intervalo

[a ,b ]

que es cerrado y acotado y por el teorema de Heine-Borel es

compacto.
Veamos que

{T (f n) }

es equicontinua en

[a ,b ].

Lo ser si es

equicontinua en todos los puntos de [a ,b ].

xo

Y ser equicontinua en un punto

si

Para todo > 0 existe un > 0 tal que si

x [a , b] y d (x , xo)< d (g(x ), g(x o ))<

para toda g {T (f n) }
Comenzamos viendo cmo ser la distancia entre dos valores
de una funcin de {T (f n) }
x0

d ( T ( f n ) ( x ) , T ( f n ) ( x 0 ) ) =|T ( f n ) ( x ) T ( f n ) ( x 0 )|= f n ( t ) dt f n (t ) dt =
0

x0

x0

f n ( t ) dt f n ( t ) dt + f n (t ) dt = f n (t )dt
a

{f n }

una sucesin acotada por una funcin continua superior

y otra inferior, llammoslas

fs

fi

. Toda funcin de

tiene valores ms bajos o iguales que f s para todo

{f n }

x [ 0,1]

igualmente tiene valores ms altos que f i para todo x [ 0,1]

Al ser f s y f i continuas en un compacto son integrables y la
integral tiene un valor real

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
El intervalo

[x , xo ]

es un compacto, las integrales sobre este

intervalo sern
x0

x0

x0

f i ( t ) dt f n ( t ) dt f s ( t ) dt n
x

Sea
x0

x0

K=mx{ f i ( t ) dt , f s ( t ) dt }
x

Tendremos
x0

f n ( t ) dt K=Cx o x
x

Donde hemos hecho

C=Kxx o

Si tomamos = C

Tendremos
d (T (f n)( x ), T (f n )(x o )) Cx ox C =C

=
C

luego
d (T (f n)( x ), T (f n )(x o ))<

y esto sirve para cualquier T (f n ) luego la familia de funciones

{T (f n) }

es equicontinua.

Falta ver que la familia es puntualmente acotada.

suceder si en cada punto
x [a , b]

el conjunto

V ( x)={T (f n)(x )n N } est acotado

Eso

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
lo cual sucede ya que los elementos de

V (x)

son integrales

definidas entre a y x de funciones que estn acotadas por

fi

y f s que son continuas en [a , x ] y por lo tanto integrables

la integral de f i ( t) entre a y x ser cota inferior de V ( x) y la
integral de f s (t ) entre a y x ser cota superior V (x)
Luego se cumplen todas las condiciones del teorema y por la
tanto la sucesin {T (f n) } tiene un subsucesin convergente
b) El conjunto formado por la sucesin

{T ( f n ) ( x ) } , es

compacto? Justifica bien tu respuesta.

b) Supongo de habr que usar el teorema de Arzela-Ascoli

Y hemos demostrado arriba que

{T (f n) }

es equicontinua y

acotada punto por punto, falta ver si es un conjunto cerrado.

Un conjunto es cerrado si contiene todos sus puntos de
acumulacin
Entonces hay otro teorema

Cualquier sucesin que tomemos en el conjunto {T (f n) } sigue

siendo una familia de funciones equicontinua y puntualmente
acotada en el compacto [a ,b ]

luego tendr una subsucesin

Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
que converge a una funcin f continua en

[a ,b ],

pero no

tiene porque converger a una funcin de {T (f n)}

fn

No sera difcil construir unas funciones

[0,1]

en el intervalo

tales que sus integrales entre 0 y x fueran los trminos

del polinomio de Taylor de la funcin

ex

por ejemplo, y

serian funciones polinmicas convergiendo a una funcin que

no lo es. Y entonces habra una sucesin que no tendra
subsucesin convergente a una funcin de

T (f n )

y no sera

compacto.
Por lo tanto no es compacto por lo que acabo de decir.