Sobre continuidad y continuidad uniforme

Recordemos que en

los conjuntos compactos son aquellos cerrados y acotados. Estos tienen otra

caracterizacin dada por el hecho de que toda sucesin en un tal conjunto contiene una subsucesin
convergente (que converge en el conjunto).
Consideremos entonces

, el cual es un conjunto compacto. En este post daremos

una propiedad de las funciones continuas sobre este tipo de intervalos que trae consecuencias
potentes en su estudio. En un futuro post daremos una de estas consecuencias en detalle.
Recuerdo: Una funcin continua
cada

existe

se dice Uniformemente Continua si para

tal que para todos

se tiene

Es sumamente importante darse cuenta de la diferencia con la continuidad. En estricto rigor la

continuidad de una funcin nos dice que

existe y depende del punto (en el que evaluamos la

continuidad) y de . Segn nuestra definicin de continuidad uniforme, tal

en cuestin. Podemos decir de manera poco formal que nuestro
en el conjunto

no depende del punto

sirve en cada punto, es uniforme

(de ah el nombre de la continuidad!).

Un ejemplo de funcin continua y no uniformemente continua es

por

definida

(Comprubenlo!).

Proposicin: Sea

continua. Entonces

es uniformemente continua.

Demostracin:
El mtodo de la prueba es por contradiccin, es decir, supondremos que nuestra funcin es continua
pero no uniformemente continua. En algn momento llegaremos a una contradiccin con alguna
hiptesis. El punto crucial en la demostracin es la estructura topolgica de nuestro dominio:
compacto.
En lenguaje matemtico formal, la continuidad uniforme es equivalente a
tales que

si negamos toda esta oracin, nos queda

se tiene

es un

tal que

existen

que satisfacen

En particular, para

, existen

Ahora usaremos la compacidad,

con la propiedad anterior.

es una sucesin en un conjunto compacto, por lo tanto

contiene una subsucesin convergente. Por simplicidad de notacin supondremos entonces, sin
perder la generalidad, que

es convergente, digamos que converge a

y ya que ambos trminos a la derecha tienden a

a

se tiene que

. Notar que

es convergente y converge

Por ltimo, la funcin es continua, por lo que en particular es continua en

todo

existe

luego existe un
tanto

tal que

implica

, es decir, para
. Escogemos

con la propiedad de la definicin de continuidad. Ya que

como

convergen a

se tiene que desde

suficientemente grande,

y
y luego (para

suficientemente grande)

es decir

pero nuestra hiptesis era justamente que para tales sucesiones

. Hemos

llegado a un absurdo.
Esto muestra que una funcin continua definida en un intervalo compacto debe ser uniformemente
continua.

Conexidad

La conexidad es una propiedad topolgica de los conjuntos, es decir, su definicin depende

exclusivamente de los subconjuntos abiertos del espacio base. Recordemos que sobre el espacio
euclideano n-dimensional se tienen abiertos base, estas son las bolas (ya estudiadas bastante en
este blog) que son de la forma

donde

es un real positivo. Hemos visto que un conjunto abierto del espacio

euclideano se caracteriza por la propiedad de que en cada punto existe una bola centrada en dicho
punto, totalmente contenida en el conjunto.
Ahora veamos la definicin de conexidad
Definicin: Un conjunto

se dice conexo si no existen abiertos

que

disjuntos tal

En palabras simples, un conjunto conexo es aquel que no se puede separar por abiertos.
Ejemplos:

es conexo. En efecto, supongamos que no es conexo, luego existen abiertos

no vacos, que satisfacen
existe

. Al ser cada uno no vaco se tiene que

, de donde podemos considerar la curva que los une dada

por

, definida por

. Sea entonces
. La pregunta es

que
estuviera en

, entonces como

tal

? Si

es abierto se tiene que existe una bola en torno a

, totalmente contenida en

, lo que implica (por continuidad de la curva), que

existen valores de , arbitrariamente cerca (y mayores) de

tal que

, lo que

contradice que

es el supremo escogido. De manera anloga podemos mostrar que

puede estar en

. Esto es una contradiccin, y por lo tanto

Un intervalo de la forma

Otro ejemplo, algo trivial, es considerar

abiertos de

disjuntos,

son

no

es conexo.

es conexo, la demostracin es anloga a la anterior.

. En tal caso

unin de los abiertos no vacos y disjuntos

con la topologa discreta, es decir, los

no es conexo pues puedo escribirlo como la
.

De inmediato podemos encontrar una caracterizacin bonita e interesante de los conjuntos conexos.
Proposicin: Sea

un subconjunto abierto del espacio euclideano. Entonces

si, y solamente si, no existe funcin continua

Observacin: Aqu dotamos a

es conexo

sobreyectiva.

de la topologa discreta.

Demostracin:
Si

no es conexo, entonces podemos encontrar conjuntos abiertos

que

. Definimos entonces la funcin

$latex f:X\rightarrow\{0,1\}$ por

Ya que

pues tanto

para

como

para

son no vacos, y la continuidad proviene del hecho de que la

, el cual es abierto,

el cual tambin es abierto.

Por otro lado si existiese una funcin

escribir
implica que

son disjuntos, no hay problemas con la definicin de , la funcin es sobreyectiva

preimagen de abiertos es abierto (ver post), en efecto,

y

disjuntos, tales

sobreyectiva y continua, entonces podemos

, es decir, como unin de abiertos disjuntos no vacos. Lo que

no es conexo.

Naturalmente, estas dos implicancias son los contrarecprocos de las que debemos mostrar. Esto
concluye la demostracin.

Observacin: En la ltima proposicin escogimos

abierto slo de manera conveniente. Hay una

forma de generalizar esto, resultando super natural cuando hablamos de topologa de subespacios, la
cual evitamos en esta ocasin para no enredar la idea bsica que queremos exponer.
|

Continuidad

En este post nos centraremos en una caracterizacin determinante sobre las funciones continuas.
Naturalmente, partiremos con la definicin de una funcin continua definida sobre un subconjunto
del espacio euclideano n-dimensional, y luego generalizaremos a un espacio mtrico de manera
natural.
Recordemos entonces la definicin de continuidad
Definicin: Una funcin
punto

definida en un abierto

, si y slo si para todo

existe

de

es continua en un

tal que
.

Una tal funcin se dice continua (sobre su dominio) si es continua en todo punto de su dominio.

Observaciones: En la definicin anterior escribimos de manera idntica

euclideana sobre

y sobre

, naturalmente hacemos esto por simplicidad de notacin.

Proposicin: Una funcin

el conjunto

para referirnos a la norma

es continua si y slo si para todo abierto

es abierto. En este caso definimos

como

.
Observacin: Cuidado!, en ningn caso estamos suponiendo que la funcin sea invertible.
Demostracin:
Supongamos que nuestra funcin es continua (en el sentido de la definicin propuesta), y consideremos
un abierto

. Si

, entonces

para cada
torno a

es abierto por definicin. Si no, entonces

definimos
totalmente contenida en

continuidad, dado tal

. Como

; i.e. existe

existe

es abierto, existe una bola en

tal que

. Por definicin de

tal que

.
Pero debemos notar que
lado,

es equivalente a decir

, y por otro

es equivalente a decir

definicin de continuidad en el punto

. Por lo tanto de la

, se concluye que
.

Pero

, por lo que si

o de manera equivalente

entonces

, de donde se concluye que

.
Hemos mostrado que para cada punto en el conjunto
totalmente contenida en
en

. Esto resulta ser exactamente que

. Consideremos un punto

en

y su imagen

considerar en particular
en

es un conjunto abierto

Para el recproco, supongamos que para cada abierto

en

existe una bola, en torno a tal punto,

el conjunto
. Para un

es abierto
arbitrario podemos

, y luego su preimagen

. Luego en torno a

es abierta

existe una bola de radio

, tal que

o equivalentemente
.

Y como vimos anteriormente, esto es equivalente a

, lo

que muestra la continuidad en , y luego, por arbitrariedad de

todo

, se tiene la continuidad en

De inmediato se obtienen resultados importantes por esta equivalencia. Entre ellos

Dada una funcin continua como antes, la preimagen de conjuntos cerrados es cerrado. Basta
usar el hecho de que el complemento de una preimagen es la preimagen del complemento; i.e.
para cada

En particular de lo anterior, la preimagen de un punto es un conjunto cerrado.

Por otra parte, podemos generalizar un poco ms esta nocion para espacios mtricos. Si el lector no
esta familiarizado, puede encontrar un link de inters haciendo click en Espacios mtricos.
Proposicin: Sea
Entonces la preimagen de todo abierto en

una funcin continua entre dos espacios mtricos.

es un abierto en

. Mas an, esta es una equivalencia.

La demostracin de lo anterior es exactamente idntica a la demostracin aqu realizada para el caso

particular donde

. En este caso,

denota la distancia euclideana.

Compendio de Problemas I (Topologa)

1) Sea

. Demuestre que

Recordemos que

donde

para

que

para todo subconjunto

tiene

para cada

existe una bola

lo tanto que todo

pertenece a

Debemos escoger

no hay nada que probar, luego si

totalmente contenida en

sera un punto en el interior de

. Debemos mostrar por

. Para ello consideremos la figura siguiente

suficientemente pequeo de modo que

concluira que

, y por lo tanto

, pues en
por lo que se

Basta considerar
que

de los reales. Por lo tanto, en particular se

Para la otra contencin, notar que si

dicho caso

. Bajo esta definicin es claro

. En efecto, si
, pero

, entonces debemos mostrar

lo que muestra la afirmacin.

2) Determine si la siguiente afirmacin es verdadera: Para todos

,

Falso, basta considerar

que

. De aqu se tiene

y por otro lado

donde

, de

3) Demuestre que todo subconjunto de los reales,

denso en

, contiene un subconjunto numerable

Consideremos los conjuntos

,

por lo

definidos por

. Notar que para

cubrimiento de

, donde

enteros fijos, la coleccin finita

es un

por intervalos disjuntos de largo , es decir,

De esta forma, la coleccin

es un cubrimiento de los reales por intervalos

disjuntos de largo .
Considerando que
elemento

est fijo, consideremos para cada intervalo

en caso que

; si la interseccin es vaca no hacemos nada. Es

claro que por construccin la coleccin de elementos

(podemos considerar a

un
es numerable

como unin numerable de singletons o como un subconjunto discreto,

totalmente ordenado de los reales).

Definimos

, luego

numerables. Finalmente queda probar que

Sea
que

es numerable al ser unin numerable de conjuntos

es nuestro conjunto denso (en

arbitrario. La densidad de

es equivalente a mostrar

. Por principio Arquimediano sabemos que existe

luego, ya que

es un cubrimiento de los reales,

algn

. Pero por construccin existe un elemento

donde

) buscado.

, lo que concluye la demostracin.

tal que

para
, de

4) Sea

un conjunto arbitrario. Demuestre que todo cubrimiento abierto de

admite un

subcubrimiento numerable. (Teorema de Lindelf)

Sea

, entonces

escribimos

un cubrimiento abierto arbitrario de

cada

existe

densos en

tal que

, existe

. Como

, entonces para

es un abierto y los racionales son

tal que

Sea
lo tanto

es cubrimiento abierto y numerable de los reales. Si

de acuerdo a la construccin previamente descrita, entonces

es numerable. Para cada

entonces
cubrimiento

respecto al

no numerable posee un punto de acumulacin.

no posee punto de acumulacin, entonces para cada

existe

(contrarecproco de la afirmacin tener punto de

tal que

acumulacin, la cual significa que para toda bola de radio

, se tiene una cantidad infinita de

).

Consideremos ahora un conjunto

todos

Supongamos que

trminos en

tal que

es subcubrimiento numerable de

5) Demuestre que todo conjunto

con

escogemos

, y por

, la distancia

que es -separado, es decir, un conjunto tal que para

. Entonces este conjunto es numerable; en efecto, la

particin numerable de los reales

es tal que cada intervalo de la forma

contiene a lo ms un elemento de

lo que

es numerable.

Sea entonces
definicin, por lo que por la afirmacin anterior se tiene

, este conjunto es -separado por

es conjunto numerable. Por la

, por

caracterizacin que describimos al comienzo, todo punto de

al ser aislado debe pertenecer a algun

conjunto

, para

, luego

y por lo tanto

es unin numerable de conjuntos numerables, por lo tanto

es numerable.

Hemos mostrado que un conjunto sin puntos de acumulacin en s mismo es numerable, luego un
conjunto no numerable debe tener puntos de acumulacin en s mismo.
Observacion: Es de vital importancia en este problema el hecho de que el punto de acumulacin
pertenezca al conjunto en cuestin. Por ejemplo, si
consideramos

entonces

es numerable y tiene punto de acumulacin en

los reales, pero tal punto de acumulacin NO pertenece al conjunto.

|

Sobre sucesiones de conjuntos compactos en

los reales
Problema: Sean
que

sucesin de subconjuntos de los reales, no vacos, compactos, tales

. Entonces

Nota: Los subconjuntos

de

.
compactos, son aquellos que son cerrados y acotados. Esto es

equivalente a que para toda sucesin de trminos en K, existe una subsucesin convergente en
Ya que para cada

natural,

es no vaco, podemos considerar cualquier elemento

encontramos una sucesin de trminos

de

.
. As,

. Notar que en particular esta sucesin es sucesin

de trminos de

, luego, por compacidad en tal conjunto, existe una subsucesin de

,a

saber

, donde

es

convergente a

Notemos ahora que para cada

en

es funcin estrictamente creciente, tal que

natural, se satisface

es sucesin de trminos

(conjunto compacto, luego cerrado), y como tal sucesin es convergente a ,

entonces

Es decir,

. Hemos probado entonces que