Anexo al captulo 1

Conceptos bsicos
de Topologa
Conceptos bsicos de Topologa

Bolas y entornos

Consideremos un punto a n y un nmero real r > 0 .

Se llama bola abierta de centro a y radio r al conjunto de todos los puntos de n que
distan de a menos que r ,
B ( a , r ) = { x n : x a < r} .

Observamos que, en dimensin uno, con el valor absoluto, las bolas abiertas son intervalos
abiertos, es decir, B ( a, r ) = ( a r , a + r ) ; en dimensin dos y tres, con la norma eucldea, las
bolas abiertas son, respectivamente, crculos y esferas rellenas sin borde.

Se llama bola cerrada de centro a y radio r al conjunto de todos los puntos de n que
distan de a menos o igual que r ,
B ( a , r ) = { x n : x a r} .

Observamos que, en dimensin uno, con el valor absoluto, las bolas cerradas son
intervalos cerrados, es decir, B ( a, r ) = [ a r , a + r ] ; en dimensin dos y tres, con la norma
eucldea, las bolas cerradas son, respectivamente, crculos y esferas rellenas con borde.

Se llama esfera de centro a y radio r al conjunto de todos los puntos de n que distan de
a exactamente r ,
S ( a , r ) = { x n : x a = r} .

Observamos que, en dimensin uno, con el valor absoluto, las esferas son conjuntos de dos
puntos, es decir, S (a, r ) = {a r , a + r} ; en dimensin dos y tres, con la norma eucldea, las
esferas son, respectivamente, circunferencias y casquetes esfricos.

La relacin entre las bolas y la esfera es

B ( a, r ) = B ( a, r ) S ( a, r ) .

Dado un punto a n , se llama entorno de a a cualquier conjunto que contenga una

bola abierta centrada en a .
En particular, las bolas abiertas centradas en a son entornos de a , y se llaman los
entornos bsicos o fundamentales del punto a .

2
 Interior, exterior y frontera

Fijemos un conjunto A contenido en n y un punto a n .

Se dice que a es un punto interior de A si existe algn r > 0 para el cual la bola
B (a, r ) est totalmente contenida en A.
El conjunto de todos los puntos interiores a A se llama interior de A , y lo
denotaremos Ai . As pues,
Ai = {a n : r > 0, B (a, r ) A} .

Se dice que a es un punto exterior a A si existe algn r > 0 para el cual la bola
B (a, r ) est totalmente contenida en el complementario de A.
El conjunto de todos los puntos exteriores a A se llama exterior de A , y lo
denotaremos ext ( A) . As pues,
ext ( A) = {a n : r > 0, B (a, r ) n A } = {a n : r > 0, B (a, r ) A = } .

Se dice que a es un punto frontera de A si cada bola abierta centrada en a contiene

algn punto de A y algn punto del complementario de A.
El conjunto de todos los puntos frontera de A se llama frontera de A , y lo denotaremos
fr ( A) . As pues,
fr ( A) = {a n : B (a, r ) A , B (a, r ) ( n A) , r > 0 } .

Ejemplos:

(i) En dimensin uno, si tomamos A = (1, 5) , se tiene

A = (1, 5) , ext ( A) = ( ,1) (5, + ) , fr ( A) = {1, 5} ,
i

y si tomamos A = [1, 5] , se tiene igualmente

A = (1, 5) , ext ( A) = ( ,1) (5, + ) , fr ( A) = {1, 5} .
i

(ii) En dimensin mayor o igual que dos, si tomamos A = B ( a, r ) , se tiene

A = B ( a, r ) , ext ( A) = B ( a, r ) , fr ( A) = S ( a, r ) ,
i n

y si tomamos A = B ( a, r ) , se tiene igualmente

A = B ( a, r ) , ext ( A) = B ( a, r ) , fr ( A) = S ( a, r ) .
i n

(iii) En dimensin dos, si tomamos el rectngulo A = (1, 5) [0, 3] ,

A = (1, 5) (0, 3) es el rectngulo sin borde, ext ( A) = ([1, 5] [0, 3] ) es el
i 2

complementario del rectngulo completo y fr ( A) est formado por el borde, es

decir, los cuatro lados del rectngulo.
Adems, el interior, el exterior y la frontera seran los mismos si al
rectngulo inicial le aadimos o le quitamos alguno de sus lados.

3
 Adherencia y derivado

Fijemos un conjunto A contenido en n y un punto a n .

Se dice que a es un punto adherente a A si para cada r > 0 la bola B ( a, r ) contiene

algn punto de A.
Equivalentemente, un punto es adherente al conjunto A cuando es lmite de alguna
sucesin de puntos de A.
El conjunto de todos los puntos adherentes a A se llama adherencia o clausura de A ,
y lo denotaremos A . As pues,
A = {a n : B (a, r ) A , r > 0} .

Se dice que a es un punto de acumulacin de A si para cada r > 0 la bola B ( a, r )

contiene algn punto de A distinto del propio a .
Equivalentemente, un punto es adherente al conjunto A cuando es lmite de alguna
sucesin de puntos de A distintos entre s.
El conjunto de todos los puntos de acumulacin de A se llama derivado de A , y lo
denotaremos A ' . As pues,
{
A ' = a n : ( B (a, r ) {a} ) A . }

A partir de las definiciones, se puede observar que Ai A A y A ' A .

Ejemplos:

(i) En dimensin uno, si tomamos A = (1, 5) , se tiene A = A ' = [1, 5] , y si

tomamos A = [1, 5] , se tiene igualmente A = A ' = [1, 5] .
En general, la adherencia y el derivado de un intervalo cualquiera coinciden
con el intervalo cerrado.

(ii) En dimensin mayor o igual que dos, si tomamos A = B ( a, r ) , se tiene

A = A ' = B ( a, r ) , al igual que si tomamos A = B ( a, r ) .

(iii) En dimensin dos, si tomamos el rectngulo A = (1, 5) [0, 3] ,

A = A ' = [1, 5] [0, 3] es el rectngulo cerrado.
Adems, la adherencia y el derivado seran los mismos si al rectngulo inicial
le aadimos o le quitamos alguno de sus lados.

4
Conjuntos abiertos y conjuntos cerrados

Se dice que un conjunto es abierto cuando coincide con su interior.

Se dice que un conjunto es cerrado cuando coincide con su adherencia.

Ejemplos:

(i) En dimensin uno, cualquier intervalo abierto es un conjunto abierto y

cualquier intervalo cerrado es un conjunto cerrado. Los intervalos semiabiertos
no son ni abiertos ni cerrados.

(ii) El conjunto de los nmeros naturales y el conjunto de los nmeros enteros son
cerrados.

(iii) El conjunto de los nmeros racionales y el de los nmeros irracionales no son

ni abiertos ni cerrados.

(iv) En dimensin mayor o igual que dos, cualquier bola abierta es un conjunto
abierto, mientras que las bolas cerradas y las esferas son conjuntos cerrados.

(v) En dimensin dos, un rectngulo que no incluya ninguno de sus lados es un

conjunto abierto, mientras que si los incluye todos es un conjunto cerrado.

(vi) En dimensin dos, las rectas y las cnicas son conjuntos cerrados.

(vii) En dimensin tres, una cudrica es un conjunto cerrado.

Propiedades de los conjuntos abiertos y de los conjuntos cerrados

1. Los conjuntos vaco y total son abiertos y cerrados (y, adems, son los nicos
conjuntos a la vez abiertos y cerrados en n ).
2. Existen conjuntos que no son abiertos, conjuntos que no son cerrados y conjuntos
que no son ni abiertos ni cerrados.
3. El complementario de un conjunto abierto es cerrado y el complementario de un
conjunto cerrado es abierto.
4. La unin de cualquier familia de conjuntos abiertos es otro conjunto abierto.
5. La interseccin de una familia finita de conjuntos abiertos es otro conjunto abierto.
En general, la interseccin de una familia arbitraria de abiertos puede ser abierto o
no.
6. La interseccin de cualquier familia de conjuntos cerrados es otro conjunto cerrado.
7. La unin de una familia finita de conjuntos cerrados es otro conjunto cerrado. En
general, la unin de una familia arbitraria de cerrados puede ser cerrado o no.
8. El interior de un conjunto es siempre abierto.
9. La adherencia, el derivado y la frontera de un conjunto son siempre cerrados.

5
 Conjuntos acotados y conjuntos compactos

Un conjunto se llama acotado cuando est contenido en alguna bola.

Equivalentemente, A es acotado si existe un nmero real positivo, M, tal que x M
para todo x A , En este caso, se dice que M es una cota de A.

Se dice que el conjunto A es compacto si de todo recubrimiento de A formado por

conjuntos abiertos se puede extraer un subrecubrimiento finito.
En n los conjuntos compactos son los cerrados y acotados.

Ejemplos:

(i) En dimensin uno, cualquier intervalo cerrado y acotado es compacto.

Tambin la unin de una cantidad finita de intervalos cerrados y acotados es
un conjunto compacto.

(ii) El conjunto de los nmeros naturales y el conjunto de los nmeros enteros no

son compactos, ya que no son acotados. Tampoco sera acotada una
semirrecta.

(iii) En dimensin mayor o igual que dos, cualquier bola cerrada es un conjunto
compacto.

(iv) En dimensin dos, un rectngulo que incluya todos sus lados es un conjunto
compacto.

(v) En dimensin dos, las rectas no son compactos, por no ser conjuntos acotados.
Por la misma razn, tampoco lo es una parbola o una hiprbola, pero s son
compactas una circunferencia o una elipse.

(vi) En dimensin tres, un semiplano, un cilindro, un paraboloide o un cono no son

compactos, mientras que una esfera o un elipsoide s lo son.