10

Capı́tulo 2

Espacios Métricos

2.1 Distancias y espacios métricos

 

 
  
Definición 2.1.1 (Distancia). Dado un conjunto , una distancia es una aplicaci ón
que a cada par le asocia un número real
 
y que cumple los
siguientes condiciones:

1.
  .
2.
  si, y sólo si  (separación).

3.
 
    para todo ! (simetrı́a).

4.
 "
 $#%&'
(#) para todo  $#* (desigualdad triangular).

Definición 2.1.2 (Espacio métrico). Se llama espacio métrico a un par  $
+ , donde es un


conjunto y es una distancia definida en .

Ejemplo 2.1.3.


,-
. /

 021   31
(1) El espacio métrico de los números reales con la métrica del valor absoluto de la diferencia, es
decir definida como .

(2) El espacio métrico discreto. Sea un conjunto no vacı́o cualquiera; si 4 definimos

  -
 65 87   $
+
si y si . es un espacio métrico. 9
Antes de continuar con el siguiente, e importante ejemplo, conviene establecer una interesante
relación:

11
12 CAPÍTULO 2. ESPACIOS MÉTRICOS

Proposición 2.1.4 (Desigualdad de Cauchy-Schwarz). Si 
     y   


  números
reales cualesquiera, entonces:

 
     

       





"
  
 

   
Demostración. Dado cualquier se verifica que 
  *&   
  el

. Si desarrollamos

cuadrado y agrupamos
 tendremos que      tomando  & & ,
  
   

,
y  
. 


En estos términos, lo que queremos probar es que   . Si  "
todos los y por    
tanto también todos los


. Si  7  podemos poner

  
 "  &  & ,
   "!

$#



)*& &
para todo 8
. El segundo miembro es mı́nimo si
$%&
  y si lo sustituimos en la expresión
anterior  
    (')  "
" 


(')

Ejemplo 2.1.5.

(1) Sea 

, y para los puntos    
   , e *  
   se definen las aplicaciones:


 *1 
 
1 &21      1 

    
 
  &         
+*, 

-- 0 .0/13$1 
 
1  1      1 2
  
  


 
  
-- 
En el gráfico anterior puede verse como es cada una de estas distancias. Las tres son generaliza-
ciones de la métrica del valor absoluto de la diferencia, y las tres tienen nombre propio:
se



llama la métrica del taxi,  se llama la métrica euclı́dea o usual y 3- se llama la métrica del

ajedrez o del máximo.
2.1. DISTANCIAS Y ESPACIOS MÉTRICOS 13


-  
     0

*  
     0

(2) El ejemplo anterior se puede generalizar a

se define: 
. Sean
 
e

   

1    1
  

   
      
+*,   
 

--  $ 
1    1   5  


La prueba de que
y - son distancias es una mera comprobación. Lo mismo sucede con las

propiedades (1) y (2); no ası́ con la desigualdad triangular en la que hay que utilizar la desigualdad
de Cauchy-Schwarz. Veámoslo.

Sean  $#*


y consideremos

   

    
 
(
  $#%&'
 (#)    


   #   
&  

(#    

     
      

  


   #  &   


(#    &   


   #  (#     

aplicando la desigualdad de Cauchy-Schwarz al último sumando de la expresión anterior, podemos
continuar

          

   #   &
   
(
 #     &  

   #  (#   
             
 
   #   & (#     &)   #  (#      

   # 3& (#     



   
    
 
  

       

    
 (
   
Las tres métricas se pueden considerar generalizaciones de la métrica del valor absoluto en

vista
en el Ejemplo 1.0.3(1)

(#

# 21 #  # 1
(3) El conjunto  de los números complejos con la métrica del módulo de la diferencia

 con
  , es un espacio métrico. # $# 
14 CAPÍTULO 2. ESPACIOS MÉTRICOS

   
 (de
     
. Dadas dos funciones (que son los puntos de este espacio),
(4) Sea  la palabra inglesa bounded que significa acotada), el conjunto de

funciones acotadas

 !
1        1  

 , sea

--  )



 


   

La siguiente gráfica nos da una idea de cómo es esta distancia.

..
..
..
..

-
.. ..
.. ..
..  ..
.. ..
.. ..
.
. .

El par  $
- es un espacio métrico y la métrica se denomina métrica del supremo o métrica
uniforme.

En concreto podemos destacar por su interés el espacio de las sucesiones acotadas

 -
    

 
sucesión acotada  


  
*    

acotada 

con la distancia -
-       

    
 
  . 1   1
(5) El espacio    
    











continua  de las funciones reales continuas

sobre un intervalo cerrado


 
 con la distancia

1        1

 

  )0






es también un espacio métrico.

...

.. ...
.. ..
.. ..
..  ..
.. ..
.. ..
..
.

(6) Las siguientes métricas se pueden definir en el producto de dos espacios métricos. Sean
- 
$
+
 $

y   ; se define para 6     *    

 ,
 donde
 !
:

 0
 

3&4
       

2.1. DISTANCIAS Y ESPACIOS MÉTRICOS 15

   (
 

  &'
       
+*, 


--  $ 
 

 $
       


Se ve claramente que se trata de una construcción
9
similar a la seguida en el ejemplo 1.0.5(1) para
la construcción de tres distancias en ;
y
juegan el papel de 1+1 .


Proposición 2.1.6. Sea  $
+ un espacio métrico, entonces se verifica

1
 $#% 
(#) 1+"
   para todo  $#
Demostración. Aplicando la desigualdad triangular tenemos
 $#%."
  &
  $#%


 3&'
(#) , por tanto
 $#%
(#) "
 
De forma análoga podemos poner
(#) "
(#)  &
  
 $#% &
  y tendremos

que
 "
 $#%

(#) .
Si unimos las dos desigualdades obtenidas en los párrafos anteriores

  "
 $#% 
(#) "
 

 $
+ 
un subcon-

2 

Definición 2.1.7 (Subespacio métrico). Sea

 
un espacio métrico y sea

   6
  . El par  $
 

 recibe el nombre
junto de . Sea también , definida por
es un espacio métrico y se llama un subespacio métrico de , y la métrica
de métrica inducida por .




Si
su métrica es la métrica inducida por la métrica euclı́dea de

, cuando se hable de como de un espacio métrico,  siempre se estará suponiendo que

, salvo que se diga otra cosa en
contra. En particular esto se aplica a los diferentes tipos de intervalos de números reales.

Ejemplo 2.1.8.

(1) +  5  con la métrica inducida por el valor absoluto es subespacio métrico de

.


(2)      con la métrica inducida por
- es subespacio métrico de      .

 
(3) El espacio   de las sucesiones reales con lı́mite 0, es subespacio métrico de - . 9 

Definición 2.1.9 (Distancia de un punto a un conjunto). Sea  $
+ un espacio m étrico, sea un
subconjunto 

. Definimos la distancia de un punto 
  al subconjunto  como

     

       
que existe dado que el conjunto sobre el que tomamos el ı́nfimo, está acotado inferiormente por 0.
16 CAPÍTULO 2. ESPACIOS MÉTRICOS

Definición 2.1.10 (Distancia entre conjuntos). Sean  y  dos subconjuntos de . Se define la

distancia del subconjunto  al subconjunto  como

  * 

           



Ejemplo 2.1.11.

(1) Si
es la métrica discreta sobre ,   y , entonces

   0 5 sisi  
 
  * 5 sisi  2 


7 

(2) Consideremos con la distancia usual
 21 

 31 y sea    5  

, entonces:

    
1   1%  4 5     ;

 5     
1 5   1   4 5      ;

(+    
1  1%  4 5     65 .
Evidentemente, si   , entonces
      . El recı́proco no es cierto, como muestra este
ejemplo.

(3) Consideremos 

 $
  y  
  
    &  ",5  y 2
  
   &*  .
Entonces
   * 

 5 . Una gráfica ayuda a realizar este sencillo cálculo: la distancia que
queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que
es  y diámetro del cı́rculo  que es 1.

5 ......................
..
..
 .. 
.
5 

9
2.2. BOLAS 17

2.2 Bolas

Los subconjuntos, quizás más importantes, de un espacio métrico, que vamos a estudiar a contin-
uación, son las bolas abiertas; que darán origen a un concepto fundamental: el de conjunto abierto.

Se trata de una generalización del concepto conocido de intervalo abierto centrado en un punto en
.
Definición 2.2.1 (Bola abierta). Sea  $
+
un espacio métrico y sean ,y  
 un número
real. Definimos la bola abierta en , centrada en y de radio como el conjunto




-       
  
Si se necesita especificar con qué métrica se está trabajando, se representará la bola abierta por
    
.


 11  la bola abierta de centro y radio 
 es el intervalo abierto de extremos 
Ejemplo 2.2.2.
(1) En y
&
 1   1      & 
-    

(2) La palabra bola debe su origen al caso euclı́deo. En 

 $
  , tenemos que
-      


    &4    
es el interior del cı́rculo de radio centrado en .

En el espacio 
 $
 -     $#% 
    &8  &'# 
 ,



 es el interior de la bola o
esfera sólida de radio centrada en .



$
*
Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la apariencia de
una bola esférica. En - , la bola  -(+ 
es el interior del cuadrado de centro y de lados
paralelos a los ejes de coordenadas y con longitud  .

En 
 $



con la métrica
, la bola  - (+  
es el interior del cuadrado centrado en el punto (+$ 
y con vértices en los puntos ( +   (+    $     $   podemos
. Con la gráfica siguiente nos

hacer una idea de cómo son estas tres bolas, con centro 0 y radio en el plano . 65
1 1 1 ...
. .
...... ........
.. .....
.....
5 5 5 ... .....
........ ...
.....1
1 1 ..... ..
.
.... ...
..... ........
5 5 5
..........

--(+ 5    (+ 5  
(+ 5 

18 CAPÍTULO 2. ESPACIOS MÉTRICOS

  + 5 
 
 -    + 5  , cuya
    
- ,  

    &
(3) En   es el conjunto de todas las funciones continuas
en
 
gráfica se encuentra entre las gráficas de las funciones
y
.

(4) En el espacio métrico discreto  $
 se tiene que

 si ",5


-  
si 
5

(5) Sea  + 5
2

 con la métrica del valor absoluto

en . Entonces, en ,

  5  5  9
(+  
 , mientras que para la métrica inducida en ,  
  5  5 0  ( + 5
.

Las bolas abiertas en un subespacio métrico son la intersección con el subespacio de la bola del
espacio total con el mismo centro y radio:
 $
+
 $
 
Proposición 2.2.3 (Bolas en subespacios métricos). Sea un espacio métrico, y sea un
subconjunto de ; entonces las bolas abiertas del subespacio m étrico son la intersec-
ción de las correspondientes bolas en el espacio total con el subconjunto. Es decir,  
    
    
2.3 Abiertos. Propiedades

Uno de los objetivos de este curso es llegar al concepto de espacio topológico por medio del
estudio de los espacios métricos, que son más naturales, y de sus propiedades. Empezaremos con
una propiedad caracterı́stica de las bolas abiertas, que nos va a dar lugar a introducir una primera
definición de conjunto abierto; en este caso, abierto en un espacio métrico.
Lema 2.3.1. Sea  -
  una bola abierta
en un espacio métrico  $
+ , y sea   -
    ,
entonces existe un

 tal que -    -   .


 ..........

  ... .. 


  
 
-   
-  

Demostración. Basta tomar de modo que


. El número se
 puede escoger


ası́ ya que, como   -  

 , entonces
 

. Entonces 

 , puesto que si
#* -   
$

entonces, por la desigualdad triangular,

 $#% "
 &'
  $#% "
 3& 
 3& 
 


2.3. ABIERTOS. PROPIEDADES 19

Por tanto, #  -     .


Teorema 2.3.2 (Propiedad de Hausdorff). Si

 $
+ es un espacio métrico y   son dos
puntos distintos, existen  tales que    -    -    .


Demostración. (Ejercicio)

Este resultado permite plantearse la definición de un tipo de subconjuntos que verifican esta condi-
ción, es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una
bola abierta centrada en él y totalmente contenida en el subconjunto. Serán los conjuntos abiertos.

 $
+
-   

Definición 2.3.3 (Conjunto abierto). Sea un espacio métrico. Diremos que un subcon-
junto  es abierto en si para cada  $
+
 existe un tal que  4  .

Observemos que el número real depende del punto , es decir, para diferentes ser án necesar-  
ios diferentes radios .

Corolario 2.3.4. Cualquier bola abierta en un espacio m étrico  $
+ es un abierto

Ejemplo 2.3.5.
(1) Cualquier intervalo abierto de la recta real, incluso los intervalos abiertos no acotados, es en
subconjunto abierto de la recta real con la métrica del valor absoluto de la diferencia. También lo
son las uniones de intervalos abiertos. Sin embargo los intervalos

,

y

 no lo son.     
 
(2) Un conjunto abierto no tiene por qué ser una bola abierta. Ası́ el subconjunto de :


.
 
  1  1,5  1 31
 

no es una bola abierta de


para la métrica euclı́dea, y sin embargo sı́ que es un subconjunto
abierto. Sin embargo el conjunto siguiente no es abierto

2
  


 1  1,5  1 31%" 

 


(3) En la métrica discreta, cualquier subconjunto es abierto.

(4) La condición de ser abierto depende de la métrica. El subconjunto es abierto para la
métrica discreta, pero no lo es para la métrica euclı́dea.

(5) La condición de ser abierto también depende del conjunto sobre el que se define la métrica.
+ 5   + $

es abierto en       , pero no lo es en el espacio total con la métrica

9
Ası́, el intervalo
 


del valor absoluto.

Teorema 2.3.6. Sea  $
+ un espacio métrico, entonces se verifican:

1. y  son abiertos.
20 CAPÍTULO 2. ESPACIOS MÉTRICOS
  
2. Si


    0  es una familia de abiertos en , entonces
  es un abierto.  

3. Si


   65 %   es una familia finita de abiertos, entonces 
 es un abierto.
 (1) Es claro
Demostración.

(2) Si  


 
 

, existirá un  tal que  
 ; como  es abierto, para algún 
 será
-    
 
   , lo que quiere
 decir que la unión es un conjunto abierto.

(3) Si   

, entonces  para todo     5 %   y como cada  es abierto, cada
de centro  , es decir, para cada   5 %  
  
uno de estos conjuntos debe contener una bola

 
-  
tomamos  .  5 %    tendremos que

 
-   -  




existirá un tal que   . Si
   para todo    65  %   y por tanto -   
 .
Ejemplo 2.3.7.






 131 

Si consideramos
9
La intersección arbitraria de abiertos no es, en general un abierto. la familia de
abiertos    
   en , su intersección es  -
 

    
 , que no es abierto.

Algunas de las propiedades e ideas más importantes que abordaremos y, que de hecho, ya se están
abordando en análisis, necesitan del estudio de lo que ocurre en un punto y, más en concreto, en
las cercanı́as, en los alrededores de un punto; ası́ sucede con la continuidad, con la convergen-
cia,... Necesitamos realizar un estudio local. Vamos a ver algunos conceptos que facilitarán dicho

estudio.

 $
+ 

-  

Definición 2.3.8 (Entorno). Sea un espacio métrico, un subconjunto y .
Diremos que es un entorno de si existe un 
tal que  
 .

Ejemplo 2.3.9.

(1) Una bola abierta en un espacio métrico, es entorno de todos sus puntos. En concreto, en

con
la métrica usual, un intervalo abierto, es entorno de todos sus puntos.

(2) El intervalo+  es un entorno del punto 5 , pero no lo es del punto  .


9
Proposición 2.3.10. Un subconjunto  de un espacio métrico  $
+ es abierto si y sólo si  es
entorno de todos sus puntos.

Demostración. (Ejercicio)

2.4 Cerrados

Tan importantes como los abiertos, son sus complementarios, los llamaremos cerrados.
2.4. CERRADOS 21

 $
+

Definición 2.4.1 (Cerrado). Sea
es cerrado en
un espacio métrico. Diremos que un subconjunto
 $
+
si su complementario   es un subconjunto abierto en   
 $
+ .
Ejemplo 2.4.2.

&   
En , con la métrica usual, los intervalos cerrados son subconjuntos cerrados; también lo son las

 . No lo son los intervalos de la forma

 o

      
9
semirrectas cerradas o

, .
 

Proposición 2.4.3. Un subconjunto  de un espacio métrico



 $
+ es un cerrado si y sólo si para
todo 

 existe un tal que  $ .  -    .


-  

Demostración. ' Si  es cerrado quiere decir que  es abierto, por tanto, para todo


 (  , existe  
 tal que   , es decir,  -   $,


Si para todo  (  

 ), existe   
 tal que -    . , entonces -  
 ,
entonces  es abierto, luego  es cerrado.

Ejemplo 2.4.4.


 $
  , el conjunto .
  
  1  1  5  1 31)"  no es cerrado y  
  

 1  1%",5  1 31+"  , sı́ lo es.

(1) En

(2) En 

 $
  , cualquier recta es un conjunto cerrado. 9
Definición 2.4.5. Sea  $
+ un espacio métrico, sea  , y
 número real. Llamaremos
bola cerrada de centro y radio al conjunto

   
 
   " 

Las bolas cerradas contienen a las correspondientes bolas abiertas.

Proposición 2.4.6. En un espacio métrico, las bolas cerradas son conjuntos cerrados

Demostración. (Ejercicio)

Teorema 2.4.7. Sea  $
+ un espacio métrico, entonces se verifican:

1. y  son cerrados.  
2. Si


      es una familia de cerrados en , entonces    es un cerrado.  

3. Si


  65 %   es una familia finita de cerrados, entonces

 es un cerrado.
Demostración. Se trata de aplicar las leyes de Morgan. (Ejercicio)
22 CAPÍTULO 2. ESPACIOS MÉTRICOS

Ejemplo 2.4.8.

+ 5  3 

(1) La unión arbitrario de cerrados no es, necesariamente un cerrado. Consideremos la familia

     de intervalos cerrados en ; su intersección


  

+ 5   5    + 5  
no es cerrado.

+ 5 

(2) En la métrica discreta cualquier subconjunto es cerrado.

(3) Hay subconjuntos que no son ni abiertos ni cerrados, por ejemplo con la métrica

euclı́dea.

9
(4) También es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, con la
métrica discreta, cualquier subconjunto es a la vez abierto y cerrado.

 $
+
 un espacio 

2
   y  tal que -     .
Definición 2.4.9. Sea métrico y . Diremos que es un subconjunto
acotado si eixten

Ejemplo 2.4.10.

(1)

con la métrica euclı́dea es un espacio métrico no acotado.

(2)

con la métrica discreta es un espacio métrico acotado.

5 5    5 
(3) Los subespacios   ,  y 

 de con la métrica euclı́dea son subespacios

 
métricos acotados. El subespacio

5& 
no es acotado.

(4) Cualquier bola, abierta o cerrada, es un subespacio acotado. 9

Definición 2.4.11 (Diámetro de un conjunto). Sea un espacio métrico y  $
+
un
subconjunto acotado. Definimos el di ámetro de , y se representa por

como  

 0 


     

Ejemplo 2.4.12.

(1) Los diámetros de los subconjuntos   ,  5 5   y
 
 5   de

con la métrica usual son
5 5
respectivamente , y  .
 

(2) El subespacio + 5 

 + 5  de
 es un subconjunto acotado para cada una de las tres métricas


,
 y 
- . Sus diámetros para cada una de estas tres métricas son, respectivamente,  ,  y 5 9 .