2.3.

Conjuntos Abiertos y conjuntos cerrado en la recta real

La distancia entre puntos en la recta real son medidas por la funcin valor absoluto, con
siendo definida como la distancia entre a y b. El lector es probablemente familiar con
las propiedades de distancia siguientes
(a) solo cuando a=b
(b)
(c)
Para cualquier nmero real a, b y c
La topologa trata con las distancias entre puntos y conjunto y, ms generalmente, con el
concepto de cercana de puntos y conjuntos que puede ser definido independientemente de
cualquier funcin distancia. En esta seccin, exploraremos el concepto de cercana para el caso
de puntos y subconjuntos de la recta real. Una propiedad similar ser definida sin usar una
funcin distancia en el captulo 4.
Definicin: Sea a un nmero real y B un subconjunto no vaco de . La distancia de a a B,
d(a,B), es el nfimo de todas las distancias para
nf
Note que en la definicin anterior que es un conjunto de nmeros reales no
negativos y por tanto tiene a 0 (y cualquier nmero negativo) como cota inferior. La propiedad
de la mayor cota inferior asegura que est bien definida y sea no negativa.
Ejemplo 2.3.1.

(a)
(b)
(c) Para el conjunto R de nmeros racionales, la propiedad de densidad de R en
(Teorema 2.1) asegura que para todo nmero real x.


Definicin: Sea A un subconjunto de . Si tiene una cota superior
entonces A es un conjunto acotado y el supremo de todas la distancias |x-y| para x,y en A es
llamado el dimetro D(A) de A

Ejemplo 2.3.2.
(a)
(b) Si B es el conjunto de nmeros racionales en (a,b), entonces
(c) , intervalos de la forma el conjunto de los
nmeros racionales, y el conjunto de los nmeros irracionales son todos conjunto no
acotados

Definicin: un subconjunto O de la recta real es un conjunto abierto siempre y cuando O
sea la unin de alguna familia de intervalos abiertos
Teorema 2.6: La siguientes afirmaciones son equivalente para un subconjunto O de
(a) O es un conjunto abierto
(b) Para cada existe un intervalo abierto I
x
centrado en x y contenido en O.
Para son equivalentes a:
(c) Para cada
Prueba: La prueba ser lograda al mostrar que (a) es equivalente a (b) y (b) es equivalente a
(c). Para la condicin (c) asumimos que dado que de otra manera sera un
conjunto abierto y la distancia de x a no estara definida
Para ver que (a) implica (b) , suponga que O es un conjunto abierto y que . Dado que O
es un conjunto abierto, entonces x pertenece a algn intervalo abierto (a,b) contenido en O.
Por tanto son ambos nmeros positivos. Si es un nmero positivo
menor o igual que ambos , entonces es un intervalo
abierto centrado en x y contenido en O.
El argumento que (b) implica (a) es ms fcil. Asumiendo (b), existe para cada x en O un
intervalo abierto I
x
centrado en x y contenido en O. Por tanto

Dado que cada x e O es un miembro del intervalo I
x
entonces

Por tanto

As que O es la unin de intervalos abiertos.
Para ver que (b) implica (c), considere un intervalo abierto centrado en x y
contenido en O. Entonces cada punto dentro de una distancia de x debe estar en O, as que
la distancia de x a cualquier punto fuera de O debe ser al menos . Por tanto es
positiva para cada x en O.
Asumiendo que (c) es verdadero, es un nmero positivo . Esto significa que la
distancia de x a cualquier punto fuera de O es al menos , as que cada nmero real dentro
de una distancia de x debe estar en O.
Entonces, para el intervalo abierto que contiene solo puntos dentro de una
distancia de x, est contenida en O. Por tanto concluimos que (c) implica (b), y la prueba
est completa.
Teorema 2.7: Los subconjuntos abiertos de tiene las siguientes propiedades:
(a) y son conjuntos abiertos
(b) Si es una coleccin de conjuntos abiertos, entonces es abierto
(c) Si es una coleccin finita de conjuntos abiertos, entonces es abierto
Prueba
(a) La recta real es abierta dado que puede ser expresada en muchas maneras
diferentes como la unin de intervalos abiertos. Por ejemplo,

El conjunto vaco es abierto dado que es la unin de la coleccin vaca de intervalos
abiertos
(b) Si es una familia de conjunto abiertos indexada por un conjunto A,
entonces para cada es una unin de intervalos abiertos. Entonces
es la unin de todos los intervalos abiertos de los cuales los conjunto abiertos
estn compuestos y es, por tanto, un conjunto abierto. La propiedad b es a veces
parafraseada diciendo que la unin de cualquier familia de conjuntos abiertos es
abierto.
(c) Debemos probar (c) primero para n=2 y luego completar la prueba por induccin.
Suponga que son conjuntos abiertos y que el punto x pertenece a
Por el teorema 2.6, existen intervalos abierto centrado es x y
contenidos en respectivamente. Pero entonces es un intervalo
abierto centrado en x y contenido en y se sigue a partir del teorema 2.6 que
es es abierto.
Procediendo inductivamente, suponga que la interseccin de toda familia de n-1
conjuntos abiertos es abierto y considere una familia de n conjunto abiertos.
Entonces son conjuntos abiertos, as que lo que se acaba de probar
muestra que su interseccin es tambin abierta. La propiedad (c) es
parafraseada diciendo que la interseccin de cualquier familia finita de conjuntos
abiertos es abierta.
Definicin: Un subconjunto C de es un conjunto cerrado si su complemento es
abierto
Note que en la definicin precedente que el trmino conjunto cerrado no significa que el
conjunto no es abierto. Veremos muchos ejemplos que ilustraran que cerrado y no abierto
son propiedades muy diferentes para los conjuntos.



Teorema 2.8: Los subconjuntos cerrados de tienen las propiedades siguientes:
(a) son conjuntos cerrados
(b) Si es una familia de conjuntos cerrados, entonces es cerrado
(c) Si es una familia finita de conjuntos cerrados, entonces es cerrado

Prueba: (a) son cerrados dado que sus respectivos complementos son
abiertos
Las afirmaciones (b) y (c) son probadas a partir del teorema 2.7 y de las leyes de De Morgan
(teorema 1.6). El mtodo es ilustrado aqu para (b), y la prueba anloga de (c) es dejada al
lector. Para cualquier coleccin de conjuntos cerrados de , la familia de
complementos es una familia de conjuntos abiertos. El teorema 2.7 asegura
que

Es un conjunto abierto. Entonces, por definicin es un conjunto cerrado.
Note la dualidad entre conjuntos abiertos y conjuntos cerrados: un conjunto es cerrado si y
solo si su complemento es abierto. La unin de cualquier familia de conjuntos abiertos es
abierta; la interseccin de cualquier familia de conjuntos cerrados es cerrada. La interseccin
de cualquier familia finita de conjuntos abiertos es abierta; la unin de cualquier familia finita
de conjuntos cerrados es cerrada.
Ejemplo 2.3.3.

(a) Es obvio a partir de la definicin que un intervalo abierto es un conjunto abierto. Es
verdad, pero no tan obvio, que un intervalo abierto [a,b] es un conjunto cerrado:

Es abierto as que [a,b] es cerrado. Los intervalos cerrados de la forma
son tambin conjuntos cerrados.
(b) Dado que un conjunto unitario {a} puede ser considerado como un intervalo abierto
[a,a], entonces cada subconjunto unitario de es cerrado. Combinando el hecho con
la afirmacin (c) del teorema 2.8, concluimos que todo subconjunto finito de es
cerrado
(c) Muchos subconjuntos de no son ni abiertos ni cerrados. Ejemplos de tales
conjuntos son los nmeros racionales, los nmeros irracionales, los intervalos semi-
abiertos semi-cerrados (El intervalo [a,b) no es abierto dado que no contiene ningn
intervalo abiertos centrados en a; no es cerrado porque su complemento

No contiene ningn intervalo abierto centrado en b


La idea anunciada de cercana de un punto a un conjunto aparece en la siguiente definicin
Definicin: un punto x en es un punto lmite o punto de acumulacin de un subconjunto A
de siempre y cuando todo conjunto abierto que contiene a x contiene un punto de A
distinto de x.
Note en la definicin de punto lmite que no se requiere que todo conjunto abierto que
contiene a x contiene al mismo punto de A; conjuntos abiertos diferentes podran contener
diferentes puntos A. Note tambin que se deja abierta la posibilidad que un punto lmite de A
est o en A o fuera de l. Los puntos lmites son a veces llamados puntos cmulo
Teorema 2.9: Un nmero real x es un punto lmite de un subconjunto A de si y solo si

Prueba: Suponga primero que x es un punto lmite de A y sea un nmero positivo, Entonces
el conjunto abierto contiene un punto y de A distinto de x. Dado que
entonces Dado que la ltima desigualdad es
verdad para todo >0m entonces
Suponga ahora que y considere un conjunto abierto O que contiene a x.
Entonces O contiene un intervalo abierto para algn nmero positivo . Dado
que y el intervalo consiste precisamente de todos los puntos a
una distancia de x menor que , entonces debe contener un punto z en
entonces

Y dado que Por tanto todo conjunto abierto que contiene x contiene un
punto de A distinto de x, y x es un punto lmite de A.
El teorema 2.9 es interpretado intuitivamente diciendo que x es un punto lmite de A si y slo
si x est arbitrariamente cerca de los puntos de A diferentes x misma. (La frase diferentes de x
misma es aplicable solo en el caso que x pertenece a A) Esta interpretacin de punto lmite es
ilustrado en los siguientes ejemplos.
Ejemplo 2.3.4
(a) 0 es el nico punto lmite de Note en este caso que el punto lmite est
fuera del conjunto.
(b) El conjunto de los puntos lmites de un intervalo cerrado [a,b], a < b, es precisamente
el mismo intervalo.
(c) El conjunto de los puntos lmites de un intervalo abierto (a,b), a < b, es el intervalo
cerrado correspondiente [a,b]. En este ltimo caso, el conjunto es un subconjunto
propio del conjunto de puntos lmites
(d) Un subconjunto finito de no tiene puntos lmites
(e) El conjunto de puntos lmites del conjunto de los nmeros racionales es toda la recta
real. Esto es consecuencia del teorema 2.1


El siguiente teorema explica la relacin entre conjuntos cerrados y puntos lmites
Teorema 2.10: un subconjunto A de es cerrado su y solo si A contiene todos sus puntos
lmites
Prueba: Suponga primero que A es cerrado y considere un punto lmite x de A. Si x estuviese
fuera de A, entonces sera un conjunto abierto que contiene a x pero que no contiene
ningn punto de A, y estaramos forzados a concluir que x no es un punto lmite de A. Por
tanto, si x es un punto lmite de A, entonces debe ser un miembro de A.
Ahora suponga que A contiene todos sus puntos lmites. Mostraremos que A es cerrado al
mostrar que es abierto. Si entonces y no es punto lmite de A as que existe un
conjunto abierto que contiene a y pero no contiene ningn punto de A. Entonces
es la unin de tales conjuntos abiertos y es un conjunto abierto. Por tanto A es cerrado.
El lector deber ser conciente de la distincin entre punto lmite y lmite de una sucesin. Un
nmero real x es el lmite de la sucesin converge a x, siempre y cuando
dado existe un entero positivo M tal que si entonces Como el
lector ver en el problema 9 del ejercicio 2.3, decir que x es un punto lmite de A es
equivalente a decir que existe una sucesin de miembros distintos de A que tiene
lmite x. Deber notarse, sin embargo, que si una sucesin no tiene trminos distintos, entonces
su lmite no es necesariamente un punto lmite del rango de la sucesin. Tenga en mente para
futuras referencias que las sucesiones no son adecuadas para determinar puntos lmites en el
contexto ms general en el cual los puntos lmites sern considerados ms adelante en el
curso. En un espacio topolgico general, si un sucesin de puntos distintos de un conjunto A
converge a un punto x, entonces x es un punto lmite de A. Sin embargo, A podra tener puntos
lmites que no son lmites de sucesiones de puntos distintos de A. Retornaremos a este tema
en la seccin 4.1.