Facultad de Matemticas

Dpto. de Anlisis Matemtico

Nociones de Topologa General

para la asignatura
Diferenciaci
on de Funciones de Varias Variables
(Grupo B)

Prof. Dr. Jos

e A. Facenda Aguirre
Curso Acad
emico 2016/2017

Indice general

1. Espacios topol
ogicos
1.1. Definiciones iniciales . .
1.2. Espacios metricos . . . . .
1.3. Topologa en los espacios
1.4. Entornos . . . . . . . . . .
1.5. Continuidad . . . . . . . .
2. Compacidad

Universidad de Sevilla
Dpto. de Analisis Matematico

. . . . . .
. . . . . .
metricos .
. . . . . .
. . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

5
5
7
10
11
13
15

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

1
Espacios topol
ogicos

1.1.

Definiciones iniciales

Definici
on 1.1. Sea X un conjunto y T una familia de subconjuntos de X que cumple
las siguientes propiedades:
1. , X T.
2. Si G1 , G2 T entonces S
G1 G2 T.
3. Si , T, entonces {G : G } T.
entonces T se dice que es una topologa para X .
As que una topologa para X no es m
as que una coleccion de subconjuntos de X . Por
definicion,. el conjunta vaco y el propio X deben estar en esa coleccion. La condicion 2 de
la definicon anterior nos dice que la interseccion de dos miembros de T debe pertenecer
a T, as que la interseccion de una coleccion finita de elementos de T pertenece a T. La
condicion 3 nos dice que dada una coleccion cualquiera de elementos de T (finita, infinita,
no numerable, como sea), su union est
a en T. Podemos pues decir que una topologa no es
ma
ns que una coleccion de subconjuntos de X que contiene al vacio, a X , que es cerrada
por intersecciones finitas y por uniones arbitrarias.
Ejemplo 1.2.
1. Topologa indiscreta. Dado un conjunto X sea T = {, X }. entonces es
f
acil ver que T es un a topologa, llamada topologa indiscreta. Cualquier conjunto
X puede dotarse de esta topologa.
2. Topologa discreta. Sea X un conjunto y T la familia de todos los subconjjunots de
X . entonces T es un a topologa que se llama topologa discreta.
3. Topologa cofinita. Sea X un conjunto . Sea
T = {G X : X \ G es un conjunto finito} {}.
As que T consiste (excepto para el conjunto ), de los complementarios de los
conjuntos finitos. Es una topologa. Para comprobar la condicion 2 de la definicion
anterior, sean G1 , G2 T. Si alguno de ellos es vaco, entonces G1 G2 = T;
en otro caso,
X \ (G1 G2 ) = (X \ G1 ) (X \ G2 )

Captulo 1. Espacios topol

ogicos

es un conjunto finito pues es union de dos conjuntos finitos. Para comprobar la

condicion 3 de la definion, sea T. Si = {} no hay nada que probar. En otro
caso, sea , G . Entonces
[
T \ {S : S } T \ G,
as que este conjunto es finito y por eso
[
{S : S } T.
Debe observarse que si X es un conjunto finito, la topologa cofinita no es m
as que
la topologa discreta.
La interseccion arbitarria de elementos de una topologa no tiene porque pertenecer a
la topologa. Lo pionemos de manifiesto en el siguiente ejemplo.
Ejemplo 1.3. Sea X = N y T la topologa cofinita. Para cada n N, sea Gn = {1, n, n +
1, n + 2, . . .}. Es claro que Gn T pero
\
Gn = {1} < T.
nN

Definici
on 1.4. Un espacio topologico es un par formado por un conjunto y una
topologa para el conjunto. Los elementos de la topologa se denominan conjuntos
abiertos.
As que escribiremos (X , T) para designar un espacio topologico. Si S X , las frases
S es abierto y S T son sinonimos. Siempre que no haya problemas en la topologa
que estemos manejando, escribiremos X en lugar de (X , T)
Ejemplo 1.5. Topologa eucldea. Sea X = R. Diremos que un conjunto G es abierto si
es el conjunto vaco, o R o cumple esta propiedad:
x G

> 0

tal que

(x , x + ) G.

Esto define una topologa en R llamada topologa eucldea. En efecto; para comprobar la
condicion 2 sen G1 , G2 R. Si G1 G2 = , no hay nada que probar. Si G1 G2 , sea
x G1 G2 . Entonces existen 1 > 0 y 2 > 0 de modo que
(x i , x + i ) Gi ,

i = 1, 2,

Sea = mn{1 , 2 } > 0 Entonces se cumple que

(x , x + ) G1 G2 .
As que G1 G2 es abierto. Por u
ltimo, para comprobar la condicion 3 de la definicion,
sea
S una coleccion de conjunto abiertos. Supongamos que su union no es vaca. Sea
x {G : G }. Entonces x S para alg
un S . Luego existe > 0 de modo que
(x, x + S. Luego
[
(x , x + ) {G : G }.
Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

Espacios m
etricos

Definici
on 1.6. Sean T, T0 dos topologas sobre el mismo conjunto X . Si T T0 , es
decir, todo conjunto de T0 pertenece a T, decimos que T es m
as fina que T0 o que
T0 es menos fina que T y lo representamos T  T0 o bien T0  T.
As que una topologa es m
as fina que otra si tiene m
as conjuntos abiertos. Se usan
a veces los terminos m
as fuerte que en lugar de m
as fina que o m
as debil que en
lugar de menos fina que. Desde luego, si una topologa T es m
as fuerte y m
as debil que
0
T , entonces ambas son iguales.
Definici
on 1.7. Un conjunto F en un espacio topologico X se dice cerrado si su
complementario es abierto.
Es tradicional en la literatura usar las letras F para conjunto cerrado, del frances
Ferme y G para los abiertos, del alem
an Gebeit.

1.2.

Espacios m
etricos

Definici
on 1.8. Sea X un conjunto y d : X X R. Decimos que d es una
semim
etrica en X si cumple estas propiedades:
1. d(x, y) = d(y, x) 0,
2. d(x, x, ) = 0,
3. d(x, z) d(x, y) + d(y, z),
cualesquiera que sean x, y, z X . La condicion 3 se conoce como desigualdad
triangular. Una metrica es una semimetrica d que adem
as satisface la condicion
d(x, y) > 0, si x , y.
Definici
on 1.9. Un espacio semimetrico (respectivamente metrico) es un conjunto
dotado de una semimetrica (respectivamente metrica).
As que el par (X , d) siendo X un conjunto y d una metrica, es un espacio metrico.
Generalmente lo denotaremos simplemente por X , si se sobreentiende d del contexto en
que nos movamos.
Ejemplo 1.10.

1. M
etrica discreta. Sea X un conjunto. si x, y X definimos
(
1, x , y
d(x, y) =
0, x = y

Es f
acil comprobar que d es una metrica, conocida como metrica discreta.
2. M
etrica indiscreta. Si X es un conjunto, definimos d(x, y) = 0. Es una metrica,
conocida como metrica indiscreta o trivial.
Ejemplo 1.11. Denotamos por Rn el conjunto de las n-tuplas de n
umeros reales, siendo
n N. Dados x = (x1 , . . . , xn ) Rn , y = (y1 , . . . , yn ) Rn se define ||x|| (se lee norma
Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

Captulo 1. Espacios topol

ogicos

de x) como
||x|| =

n
X

!1/2
xi2

i=1

y x y, producto escalar de x con y por

xy=

n
X

xi yi .

i=1

en particular, x x = x2 .
Debe observarse que
||x + y||2 = (x + y) (x + y) = ||x||2 + 2x y + ||y||2 ,
luego cualesquiera que sean x, y Rn tenemos que
2x y = ||x + y||2 ||x||2 ||x||2 ,
y de igual modo,

2x y = ||x y||2 ||x||2 ||x||2 .

Dado que ||x y||2 0, tenemos entonces

2x y ||x||2 + ||y||2 ,
as que podemos concluir

||x||2 + ||y||2
.
2
Supongamos ahora que x, y no son el vector nulo. elijamos vectores unitarios en sus direcciones, es decir, x0 = x/ ||x||, y0 = y/ ||y||. entonces ||x0 || = ||y0 || = 1 y de la desigualdad
anteruor deducimos que |x0 y0 | 1, por lo que
|x y|

|x y| ||x|| ||y|| .
Esta u
ltima desigualdad se conoce como desigualdad de Cauchy-Schwarz.
Aplicando esta desigualdad, deducimos entonces
||x + y||2 = ||x||2 + ||y||2 + 2x y ||x||2 + ||y||2 + 2 ||x|| ||y||2 = (||x|| + ||y||)2 .
Si definimos ahora la que debe ser conocida distancia (al menos para n = 1, 2, 3)
v
u n
uX
d(x, y) = ||x y|| = t (xi2 y2i ),
i=1

tenemos que cualesquiera que sean x, y, z,

d(x, y) = ||x y|| = ||x z + z y||
||x z|| + ||z y|| = d(x, z) + d(z, y).
Esta funcion d se llama distancia eucldea o m
etrica eucldea en Rn .
Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

Espacios m
etricos

Ejemplo 1.12. Si w = (x, y, z) R3 y definimos p(w) = |x| + |y|, entonces d(w, w0 ) =

p(w w0 ) define una semimetrica en R3 que noes una metrica.
Definici
on 1.13. Sea (X , d) un espacio semimetrico, a X y r > 0.
La bola abierta de centro a y radio r > 0 es el conjunto
B(a, r) = {x X : d(x, a) < r} .
La bola cerrada de centro a y radio r > 0 es el conjunto
B(a, r) = {x X : d(x, a) r} .
La circunferencia de centro a y radio r > 0 es el conjunto
S(a, r) = {x X : d(x, a) = r} .
Ejemplo 1.14. En un espacio metrico discreto, C (a, 12 ) = , cualquiera que sea a X .
Tambien es B(a, 21 ) = B(a, 13 ) = {a}.
Definici
on 1.15. Sea (X , d) un espacio semimetrico, A, B X y x X .
Definimos la distancia de x al conjunto A como
d(x, A) = nf{d(x, a) : a A}.
La distancia entre los conjuntos A y B es
d(A, B) = nf{d(x, y) : x A, y B}.
El di
ametro del conjunto A es
(A) = sup{d(x, y) : x, y A}.
Un conjunto con di
ametro finito se dice que est
a metricamente acotado.
En el siguiente resultado suponemos que A es no vaco.
Lema 1.16. Se verifica que
|d(x, A) d(y, A)| d(x, y).

Demostracion. Podemos suponer por ejemplo que d(x, A) d(y, A) ya ue d(x, y) = d(y, x).
Dado > 0 elijamos a A de modo que d(y, a) < d(y, A) + . Entonces,
|d(x, A) d(y, A)| = d(x, A) d(y, A) d(x, A) d(y, A)
< d(x, a) d(y, a) + d(x, y) + .

Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

10

Captulo 1. Espacios topol

ogicos

Definici
on 1.17. Sean (X , d), (Y , d0 ) espacios semimetricos y f : X Y . Decimos
que f es una isometra si es inyectiva y cumple
d0 (f(x), f(y)) = d(x, y),

x, y X .

Se dice que es una isometra sobre Y si la aplicacion f es sobreyectiva. En este

caso decimos que X e Y son espacios isometricos.
Puede probarse que si el espacio X es metrico, la hipotesis de ser inyectiva es redundante.
Si dotamos R y R2 de la topologa eucldea, la aplicacion f(x) = (x, 0)
Ejemplo 1.18.
es una isometra de R en R2 .
Si w = (x, y, z) R3 y definimos p(w) = |z|, d(w, w0 ) = p(ww0 ), se cumple que d es
una semimetrica en R3 . Si dotamos R de la topologa eucldea, y definimos f(x, y, z) =
z, entonces la aplicacion f conserva las distancias, es decir, d(f(w), f(w0 )) = d(w, w0 )
pero f no es una isometra porque no es inyectiva.

1.3.

Topologa en los espacios m

etricos

Existe un metodo est

andar de definir una topologa en un espacio semimetrico (X , d).
Por definicion, el conjunto es abierto. Un conjunot no vacio G X es abierto si para
todo x G existe r > 0 de modo que B(x, r) G. Antes de probar que la coleccion de
estos conjuntos abiertos forma una topologa, vamos a ver un ejemplo.
Ejemplo 1.19. Dotemos R de la topologa eucldea, es decir, d(x, y) = |x y|. Sea S =
(0, 1]. entonces S no es abierto porque B(1, r) 1 S para todo r > 0. Sin embargo, (0, 1) s
es abierto ya que si 0 < a < 1, B(a, r) (0, 1) siempre que r = mn{a, 1 a}.
Veamos a continuacion que la familia de conjuntos abiertos antes definida forma realmente una topologa en X , que se llama topologa inducida por la semimetrica.
1. Por hipotesis, es abierto. El conjunto X tambien lo es pues cualquiera que sea
x X se cumple que B(x, r) X , cualquiera que sea r > 0.
2. Si G1 y G2 son abiertos y a G1 G2 , sean ri, r2 > 0 tales que B(a, ri ) Gi ,
i = 1, 2. entonces B(a, r) G1 G2 si r = mn{r1 , rS
2 }.
3. Si es una coleccion de conjuntos abiertos y x {G : G }, entonces x S
para alg
un S , as que debe existir r > 0 de modo que B(x, r) S. Pero entonces
[
B(x, r) {G : G }.
Ejemplo 1.20. La topologa en Rn inducida pr la metrica eucldea se llma topologa
eucldea de Rn .
Teorema 1.21. En un espacio semimetrico las bolas son conjuntos abiertos.

Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

Entornos

11

Demostracion. Sea B(x, r) una bola del espacio X . Sea y B(x, r). Entonces,
B(y, s) B(x, r)

si s < r d(y, x).

En efecto, sea a B(y, s). entonces

d(a, x) d(a, y) + d(y, x) s + d(y, x) < r.
Luego a B(x, r).

Es logico preguntarse si toda topologa puede obtenerse de una semimetrica (suele

decirse en este caso que la topologa es semimetrizable), y si no, que puede hacerse. Para
dar una respuesta f
acil a esta pregunta, necesitamos el siguiente resultado.
Teorema 1.22. Sean x, y dos puntos en un espacio semimetrico tales que todo abierto que contiene a x tambien contiene a y. Entonces todo abierto que contiene a y
tambien contiene a x.

Demostracion. Observemos antes que nada que debe ser d(x, y) = 0. Pues si fuera
d(x, y) = > 0, entonces B(x, /2) sera un conjunto abierto que contiene a x pero
no a y. Sea entonces G abierto, y G. Existe r > 0 de modo que B(y, r) G. Como
d(x, y) = 0 < r, tenemos que x B(y, r) as que x G.

Ahora podemos dar respuesta a la pregunta anterior.
Ejemplo 1.23. Sea X un conjunto, x , y dos puntos en X . T = {, {y}, X } es una topologa
en X . Todo abierto que contiene a x, contiene a y; de hecho, solo hay un conjunto con
esa propiedad, X . Sin embargo, {y} es abierto que contiene a y pero no a x. As que esta
topologa no proviene de una semimetrica, decimos que no es semimetrizable.
Definici
on 1.24. Sean d y d0 dos semimetricas para un conjunto X . Sean Td y Td0
las topologas inducidas. Decimos que d es m
as fuerte (o m
as fina) que d0 , y que
d0 es m
as debil (o menos fuerte) que d, si se cumple que Td Td0 . Si Td = Td0
decimos que d y d0 son equivalentes.

1.4.

Entornos

Definici
on 1.25. Sean x y N un punto y un conjunto en un espacio topologico X .
Decios que N es un entorno de x si existe un conjunto abierto G con x G N.
Decimos que N es un entorno perforado de x si x < N y N {x} es entorno de x.
Debe observarse que un entorno no necesita ser un conjunto abierto.
Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

12

Captulo 1. Espacios topol

ogicos

Teorema 1.26. Un conjunto es abierto si y solo si es entorno de cada uno de sus

puntos

Demostracion. Supongamos G abierto. Entonces, cualquiera que sea x G, se cumple

que x G G. Recprocamente, si G es entorno de cada uno de sus puntos y x G,
sea Gx abierto de modo que x Gx G. Entonces
[
G = {Gx : x X }
es union de conjuntos abiertos, as que G es abierto.

Definici
on 1.27.
Sean S y N dos conjuntos. Si existe un abierto G de modo
que S G N, decimos que N es entorno de S. As que N es entorno de
{x} si y solo si es entorno de x.
Decimos que x es punto de acumulacion de un conjunto S si todo entorno
perforado de x tiene interseccion no vaca con S, es decir, todo entorno de x
corta a S en un punto distinto de x.
Teorema 1.28. Un conjunto es cerrado si y solo si contiene todos sus puntos de
acumulacion. En particular, un conjunto sin puntos de acumulacion es cerrado.

Demostracion. Sea F cerrado y x punto de acumulacion de F . Entonces x F pues

si no, F c \ {x} es un entorno perforado de x que no corta a F , y entonces x no sera
punto de acumulacion. Recprocamente, supongamos que F contiene todos sus puntos de
acumulacion. Sea x F c . Luego x no es punto de acumulacion de F . As que debe existir
un entorno perforado N de x tal que N F = . Luego F c N {x}, lo que significa
que F c es entorno de x, y, por tanto, F c es abierto.

Definici
on 1.29.
El interior, int(S), de un conjunto S es el conjunto de todos
los puntos x tales que S es entorno de x.
el cierre, S, de un conjunot S es la interseccion de todos los cerrados F tales
que F S.
Como generalizacion del teorema 1.26, y probado de igual forma, puede verse que el
interior de un conjunto siempre es abierto. Decir que un conjunto S tiene interior significa
que int(S) , .
Es claro que siempre se cumple S S y S es un conjunto cerrado. En definitiva,
cualquiera que sea el conjunot S,
int(S) S S.
Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

Continuidad

13

La primera contencion es igualdad si y solo si el conjunto S es abierto; la segunda solo

cuando S es cerrado.
Los puntos del cierre se caracterizan por distar cero del conjunto.
Lema 1.30. Sea X un espacio semimetrico y S X . Entonces x S si y solo si
d(x, S) = 0.

Demostracion. Si x S y > 0, entonces B(x, ) S , luego d(x, S) < . Haciendo

0 concluimos que d(x, S) = 0. Recprocamente, si d(x, S) = 0 y N es entorno
cualquiera de x, existe > 0 de modo que N B(x, ) y existe s S con d(x, s) < .
Luego s N, es decir, N S , y, por tanto, x S.

Definici
on 1.31.
Un conjunto S en un espacio topologico X se dice denso si
S = X.
Un recubrimiento de un conjunot S en un espacio X es una coleccion C de
subconjunots de X tales que
[
S {A : A C }.
Si todos los elementos de C son abiertos, decimos que es un recubrimiento
abierto de S. Un subrecubrimiento de C es un subconjunto de C que cubre a
S.

Ejemplo 1.32.
El conjunto Q es denso en R. Tambien lo es R \ Q. Z no es denso en
R. Un espacio discreto no tiene subconjuntos propios densos. Por otra parte, todo
conjunto no vaco en un espacio indiscreto es denso.
{(1, x) : 0 < x < 2} es un recubrimiento abierto de (0, 2). No es recubrimiento de
[0, 2]. {(1, x) : 0 < x < 2, x Q} es un subrecubrimiento del anterior del intervalo
(0, 2).

1.5.

Continuidad

La definicion habitual de continuidad de una funcion real f de variable real contiene la

frase |x a| < implica |f(x)f(a)| < ; es decir, f 1 [(f(a), f(a)+)] (a, a+),
as que cualquiera que sea el entorno N de f(a), f 1 (N) es entorno de a. Vamos a definir
a continuacion el concepto de continuidad en espacios topologicos.
Definici
on 1.33. Sean X , Y espacios topologicos y f : X Y . Decimos que f es
continua en x X si para cada entorno N de f(x), se cumple que f 1 (N) es entorno
de x. Decimos que f es continua en X si lo es en todos los puntos de X .

Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

14

Captulo 1. Espacios topol

ogicos

Teorema 1.34. Una funcion f : X Y es continua en X si y solo si cualquiera que

sea G Y abierto, se cumple que f 1 (G) X es abierto.

Es decir, una aplicacion es continua si y solo si la imagen inversa de un abierto es un

abierto.
Demostracion. Sea f continua y G abierto en Y . Sea x f 1 (G). Como G es entorno de
f(x), f 1 (G) es entorno de x. Luego f 1 (G) es abierto, por el teorema 1.26. Recprocamente,
supongamos que f 1 (G) es abierto en X siempre que G lo sea en Y . Sean x X y N
entorno de f(x). Existe un conjunot abierto G en Y tal que f(x) G N, por definicion
de entorno. Ahora bien, f 1 (G) es abierto por hipotesis, contiene a x, luego es entorno de
x. En conclusion, f es continua en x.

Corolario 1.35. Sean T y T0 dos topologas sobre un conjunto X . Entonces T T0
si y solo si la aplicacion identidad i : (X , T) (X , T0 ) es continua.

Teorema 1.36.

Definici
on 1.37.
Proposici
on 1.38.

Corolario 1.39.

Lema 1.40.

Universidad de Sevilla
Dpto. de Analisis Matematico

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

2
Compacidad

Teorema 2.1.

Definici
on 2.2.
Proposici
on 2.3.

Corolario 2.4.

Lema 2.5.

16

Universidad de Sevilla
Dpto. de Analisis Matematico

Captulo 2. Compacidad

Prof. Jose A. Facenda Aguirre

Nociones de Topologa General

3
Conexi
on

Teorema 3.1.

Definici
on 3.2.
Proposici
on 3.3.

Corolario 3.4.

Lema 3.5.