Actividad nica

Anlisis Matemtico I
Unidad 3. Compacidad, Completidud y Categoras
3. Escojan slo uno de los dos incisos (slo entregar I o slo entregar II):
I. Para cada uno de los siguientes incisos, en caso de existir, den un
ejemplo de una funcin f continua en y tal que () = A
(imagen directa de omega igual a A), en caso de no existir tal
ejemplo, argumenta por qu.
a) = { ; |x| 1}, = (0,1)
b) = (0,1), A = [1,2]
c) = , A
d) = , A =
II. Sea una funcin real que es continua en el intervalo cerrado
[, ].
Muestra que siempre que demos una sucesin de Cauchy en [, ],
necesariamente la sucesin de las imgenes es una sucesin
convergente.

Hay que
entregar slo
uno de los
dos
ejercicios,
el I o el II

Para el ejercicio I, deben tener presentes los siguientes resultados:

1. Bajo funciones continuas, la imagen inversa de un conjunto abierto, es un conjunto
abierto.
: A continua y abierto,
() = { ; () } es abierto
2. Bajo funciones continuas, la imagen inversa de un conjunto cerrado, es un conjunto
cerrado.
: A continua y cerrado,
() = { ; () } es cerrado
3. Bajo funciones continuas, la imagen de un conjunto compacto, es un conjunto
compacto.
: A continua y compacto,
() = {() ; } = es compacto
Recuerden que en los reales, un intervalo cerrado es un conjunto compacto.
4. Bajo funciones continuas, la imagen de un conjunto conexo, es un conjunto conexo.
: A continua

y conexo,

() = {() ; } = es conexo
Si en alguno de los incisos se contradice alguno de los teoremas, tal ejemplo no existe.
Por ejemplo, si me piden un ejemplo de una funcin definida para toda x en un intervalo [a,
b], con f continua y tal que no alcance su valor mximo.
La respuesta es que tal ejemplo no existe, pues contradice el teorema que establece que
bajo funciones continuas en intervalos cerrados, las funciones alcanzan su valor mximo y su
valor mnimo.
O si me piden un ejemplo de una funcin definida para todo x en un intervalo (a, b), continua
y que s alcance su mximo y su mnimo. En este caso no se contradice ningn teorema.

Actividad nica
Anlisis Matemtico I
Unidad 3. Compacidad, Completidud y Categoras
Para construir el ejemplo, puedo empezar por hacer algunos dibujos, para darme una idea de
cmo debe ser la funcin, y despus dar su regla de correspondencia.
Quiero que el dominio sea un intervalo abierto (a, b). Por ejemplo, el intervalo (1, 2).
Entonces, la funcin no la defino en 1, ni en 2, de manera que su grfica no debe tocar las
lneas verticales punteadas en la figura:

Quiero que haya alcance su valor mximo y su valor mnimo, es decir, que haya f(a) y f(b)
que cumplan: f(a) f(x) f(b) con a y b en (1, 2). Entonces la grfica debe tocar las lneas
horizontales:

Trazamos alguna grfica que no toque las lneas verticales y s toque las horizontales:

Como la grfica debe tener oscilaciones, pensamos en alguna variante de la funcin seno o
coseno.
Pueden jugar un poco en geogebra, modificando la funcin seno o coseno, hasta obtener
algo que satisfaga las condiciones. Lo que hice para la siguiente grfica fue ir modificando la
funcin seno:

Actividad nica
Anlisis Matemtico I
Unidad 3. Compacidad, Completidud y Categoras

Por lo tanto, el ejemplo buscado es: () = (8 8) + 2, (1, 2), su valor mximo es 3

y el mnimo es 1.
II. Sea una funcin real que es continua en el intervalo cerrado [, ].
Muestra que siempre que demos una sucesin de Cauchy en [, ], necesariamente la
sucesin de las imgenes es una sucesin convergente.
Aqu hay que recordar dos cosas:
1. La definicin de funcin continua con sucesiones:
Una funcin : es continua en , si y slo si para toda sucesin de puntos en A
que tiene como lmite a , la sucesin de imgenes correspondiente, tiene como lmite
a (). Es decir, es continua en , si y solo si:
{ } con lim =

lim ( ) = ()

2. Que en un conjunto compacto, cualquier sucesin converge y tiene como lmite un

elemento del conjunto.
Noten que el intervalo [a, b] es un cerrado y acotado en los reales, y con la mtrica usual,
es un conjunto compacto.

4. Es cierto que todo espacio mtrico completo es no numerable? Justifica bien tu

respuesta.
En un ejercicio de la unidad 1, demostraron ya que todo espacio mtrico, con la mtrica
discreta, es completo.
Hay algn conjunto numerable, que sea un espacio mtrico con la mtrica discreta?
La respuesta es s, determinen quin sera tal espacio. Este sera un ejemplo que muestra
que no es cierto que todo espacio mtrico completo es no numerable.
5. Sea : [0,1] una sucesin de funciones integrable, tal que | ()| 1 [0,1],
. Y sea

Actividad nica
Anlisis Matemtico I
Unidad 3. Compacidad, Completidud y Categoras

() = ()
0

Demuestra que existe una subsucesin de () convergente.

Aqu la idea es aplicar el coroloario del teorema de Arzela-Ascoli, que dice:

Para poder aplicar el corolario, hay que comprobar que la sucesin { } cumple las
hiptesis.
Como en este ejercicio X = [a, b], intervalo cerrado y acotado en los reales, es
compacto (con la mtrica usual); entonces slo hay que demostrar que la sucesin { }
es equicontinua y puntualmente acotada, y podremos concluir que tiene una
subsucesin que converge (el corolario lo garantiza).
Para ver que { } es equicontinua, recordemos primero la definicin:

Como para cada n la funcin asigna a cada x la integral de cero a x de una funcin,

() = 0 (), y el valor de la integral es un nmero real, la distancia es la dada

por la mtrica usual en los reales. Entonces, dada cualquier distancia > 0, hay que
buscar quin es el nmero > 0 que debe existir para poder garantizar que:
si | | < ( () ()) <
Desigualdad que debe cumplirse para toda , trmino de la sucesin; es decir, debe
cumplirse para todo nmero natural .
Observen que si tomamos cualesquiera dos puntos en el intervalo [0, 1], , [0,1],
< , tenemos que, :

( () ()) = | () ()| = | () () |

= | () | | ()|

Aplicando la hiptesis: | ()| 1 [0,1], , la integral anterior les quedar

menor o igual que la constante 1:

Actividad nica
Anlisis Matemtico I
Unidad 3. Compacidad, Completidud y Categoras

( () ()) | ()| 1 =

Calculen la integral anterior. Luego, si queremos que eso sea menor que cualquier
dada, quin debe ser el nmero que estamos buscando? Al dar este nmero,
termina la demostracin. Consideren que como , [0,1], entonces | | 1
Para ver que la sucesin { } es puntualmente acotada, hay que demostrar que para
cada x y para cada n, el conjunto { ; } es acotado. Para esto, observen que,
dada cualquier en [0, 1] y cualquier , se tiene que:

| ()| = | ()| | ()|

0

Consideren que | ()| 1 [0,1], . Y propongan quin sera el nmero

M que nos sirva para acotar ; es decir, qu nmero M que satisface:
| ()|
Para cada x en [0, 1] y para todo n en los naturales. Al dar ese M termina
su demostracin.