10

Cap tulo 2

Espacios M etricos
2.1 Distancias y espacios m etricos
Denici on 2.1.1 (Distancia). Dado un conjunto , una distancia es una aplicaci o n que a cada par le asocia un n umero real y que cumple los siguientes condiciones:


1.

! "#



%$'& . 2. )(& si, y s olo si 0(1 (separaci on). (simetra). 3. )(2 para todo 3 (desigualdad triangular). 4. %4'65789@5A para todo 65B Denici on 2.1.2 (Espacio m etrico). Se llama espacio m etrico a un par  6C , donde conjunto y es una distancia denida en .
Ejemplo 2.1.3.

es un

(1) El espacio m etrico de los n umeros reales con la m etrica del valor absoluto de la diferencia, es decir denida como . denimos

H(PI  QI un conjunto no vaco cualquiera; si R (2) El espacio m etrico discreto. Sea )(& si E(1 y )(TS si V(1 U  .  6C es un espacio metrico.

! DEFG

Antes de continuar con el siguiente, e importante ejemplo, conviene establecer una interesante relaci on: 11

12

CAPITULO 2. ESPACIOS METRICOS

Proposici on 2.1.4 (Desigualdad de Cauchy-Schwarz). Si reales cualesquiera, entonces:

  

n umeros

  

                . Si   el Demostraci on. Dado cualquier se verica que  desarrollamos % $   agrupamos tendremos que   &  "! tomando  # cuadrado y . y ! &   En estos t erminos, lo que queremos probar es que  '(! . Si  todos los y por tanto tambi en todos los . Si  podemos poner  (!  ) 0 1! 243 65  678

    

 

D(

 8 8 D$'& AB8

 B8  $ & ( ( & 8

para todo anterior

V 

( U & & 4  8  8 D( &4

(! 

(&

( &

. El segundo miembro es m nimo si

(@9A(!

#( y si lo sustituimos en la expresi on  $'& (@9A 4)(!

Ejemplo 2.1.5. (1) Sea

( 

, y para los puntos

 (    , e B(    se denen las aplicaciones: 0 )(BI   I 8PI   I  )(    8     CBD  EEH2 ( FHG%IQ6I   I  I   I P       EE



En el gr aco anterior puede verse como es cada una de estas distancias. Las tres son generalizaciones de la m etrica del valor absoluto de la diferencia, y las tres tienen nombre propio: se llama la m etrica del taxi, se llama la m etrica eucl dea o usual y QE se llama la m etrica del ajedrez o del m aximo.

 2.1. DISTANCIAS Y ESPACIOS METRICOS

(2) El ejemplo anterior se puede generalizar a se dene:

 

. Sean

)(

I   I
 

E(    H 


13 e

B(    H

)(      CBD    EE)( 6  I   I ( S

 
La prueba de que y E son distancias es una mera comprobaci on. 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 amoslo. Sean

65B 

y consideremos

@ 65789 @5A ( (
 

 

 5 

    

8


   

@5  


     

 5  8
 

 

@5   8
 

  

 5  @5  
   

  

aplicando la desigualdad de Cauchy-Schwarz al u ltimo sumando de la expresi on anterior, podemos continuar

 

  5  8 @5   8A 5  @5  "! (  (

 

$   5  8
    

 

  8  @ 5
   


 

5  @5  )(   
    

5 Q8 @5  &% (    $# ( @  

vista

  (   

 

    

     

Las tres m etricas se pueden considerar generalizaciones de la m etrica del valor absoluto en en el Ejemplo 1.0.3(1) (3) El conjunto ' de los n umeros complejos con la m etrica del m odulo de la diferencia con (' , es un espacio m etrico.

5 )(PI 5 5 I

5 65

@5

14

% (4) Sea # funciones acotadas , sea

(      (de la palabra inglesa bounded que signica acotada), el conjunto de ' #  %  . Dadas dos funciones (que son los puntos de este espacio),  3 EE  A)( I 2 2 I
   ! "

CAPITULO 2. ESPACIOS METRICOS

La siguiente gr aca nos da una idea de c omo es esta distancia.

El par uniforme.

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

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

 6E!

es un espacio m etrico y la m etrica se denomina m etrica del supremo o m etrica

En concreto podemos destacar por su inter es el espacio de las sucesiones acotadas # E sucesi on acotada %$ acotada & (' . con la distancia E % (5) El espacio ) % 0 continua de las funciones reales continuas # # sobre un intervalo cerrado % con la distancia #

(    E     )( )    !( 1     AH(

 B(   I  I   I 2 2 I 

es tambi en un espacio m etrico.

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

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

(6) Las siguientes m etricas se pueden denir en el producto de dos espacios m etricos. Sean y %2 ; se dene para , donde :
2

 6 

0(T    B(     3 E  H(  Q8R     

 6 C

 2.1. DISTANCIAS Y ESPACIOS METRICOS

2

15

)( @   89     CBD  EE)( 6     6    Se ve claramente que se trata de una construcci on similar a la seguida en el ejemplo 1.0.5(1) para  W la construcci on de tres distancias en ; y juegan el papel de ICI . Proposici on 2.1.6. Sea  6C un espacio m etrico, entonces se verica I 657 @5A IC4'  para todo 65! Demostraci on. Aplicando la desigualdad triangular tenemos 657F4  8 6571( Q89@5A , por tanto 657 @5A 4' De forma an aloga podemos poner @5A 4 @5A2 8' ( 657 8' y tendremos @5A . que %4'657
2 %2

Si unimos las dos desigualdades obtenidas en los p arrafos anteriores

 4'657 @5A 4'

Denici on 2.1.7 (Subespacio m etrico). Sea un espacio m etrico y sea junto de . Sea tambi en , denida por es un espacio m etrico y se llama un subespacio m etrico de , y la m etrica de m etrica inducida por .

Si , cuando se hable de como de un espacio m etrico, siempre se estar a suponiendo que , salvo que se diga otra cosa en su m etrica es la m etrica inducida por la m etrica eucl dea de contra. En particular esto se aplica a los diferentes tipos de intervalos de n umeros reales. Ejemplo 2.1.8. (1)

 6C  P

un subcon  (T . El par  6  recibe el nombre



W de las sucesiones reales con lmite 0, es subespacio metrico de E . Denici on 2.1.9 (Distancia de un punto a un conjunto). Sea  6C un espacio m e trico, sea un subconjunto  . Denimos la distancia de un punto  al subconjunto  como    )(  2%  
(3) El espacio
#

&  S % con la metrica inducida por el valor absoluto es subespacio metrico de  . C   (2) )  %   con la m etrica inducida por E es subespacio m etrico de   %   . # #
#
)

que existe dado que el conjunto sobre el que tomamos el nmo, est a acotado inferiormente por 0.

16 Denici on 2.1.10 (Distancia entre conjuntos). Sean distancia del subconjunto  al subconjunto  como

CAPITULO 2. ESPACIOS METRICOS

 y  dos subconjuntos de . Se dene la 

  B)(  



,  y    , entonces S si    P(   H  ( & si      B)( &S si si   ( U  QI y sea  (  S  %  , entonces: (2) Consideremos con la distancia usual )(PI     )( I  I7  R S  % (& ;  S   % (  I S  I  R S   % (& ; @&C  % (  I  I7  R S   % (TS . Evidentemente, si 2 , entonces    ( & . El rec proco no es cierto, como muestra este ejemplo.  6  y  (    80 4DS y P(    80B( $ . (3) Consideremos  Entonces     B (  S . Una graca ayuda a realizar este sencillo calculo: la distancia que queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que es  y di ametro del c rculo  que es 1.
Ejemplo 2.1.11. (1) Si

es la m etrica discreta sobre

S


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




2.2. BOLAS

17

2.2 Bolas
Los subconjuntos, quiz as m as importantes, de un espacio m etrico, que vamos a estudiar a continuaci on, son las bolas abiertas; que dar an origen a un concepto fundamental: el de conjunto abierto. Se trata de una generalizaci on del concepto conocido de intervalo abierto centrado en un punto en .

Denici on 2.2.1 (Bola abierta). Sea un espacio m etrico y sean ,y real. Denimos la bola abierta en , centrada en y de radio como el conjunto 

 6C E  )(   

&

un n umero

Si se necesita especicar con qu e m etrica se est a trabajando, se representara la bola abierta por  .

  

  II  la bola abierta de centro y radio & es el intervalo abierto de extremos  8  I  I (   8  E  )(   6  , tenemos que (2) La palabra bola debe su origen al caso eucl deo. En    8R E   ( 
Ejemplo 2.2.2. (1) En

es el interior del c rculo de radio

, En el espacio esfera s olida de radio centrada en .

  6  E  )( 657   8V 895   6 B E@&C  E @&C     @&C    6&    6 & 

1

centrado en .

es el interior de la bola o

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

con la m En etrica , la bola  es el interior del cuadrado centrado en el punto y con v ertices en los puntos . Con la gr aca siguiente nos podemos hacer una idea de c omo son estas tres bolas, con centro 0 y radio en el plano .

  6 

@&C

(TS

@&C6& 

S (EE@&C S 

S


S @&C S 

1 ... ..... ........ . . . . ..... . ..... ..... . . . ... ........ .....1 ..... . . . .... ... ..... ........ ..........

S @&C S 

18

(3) En ) % E ,  es el conjunto de todas las funciones continuas # gr aca se encuentra entre las gr acas de las funciones y . (4) En el espacio m etrico discreto

 ) &C S      E  

CAPITULO 2. ESPACIOS METRICOS

(5) Sea % con la m etrica del valor absoluto #  , mientras que para la m etrica inducida en , 

@&C 

( &C S P

 6  se tiene que S E  )( sisi 4D S

2

228

en

&C S % , cuya

 SSH  ( @ &C S  6C

en . Entonces, en , %.

 S  S  (W

Las bolas abiertas en un subespacio m etrico son la intersecci on con el subespacio de la bola del espacio total con el mismo centro y radio: Proposici on 2.2.3 (Bolas en subespacios m etricos). Sea un espacio m etrico, y sea un subconjunto de ; entonces las bolas abiertas del subespacio m e son la intersec trico ci on de las correspondientes bolas en el espacio total con el subconjunto. Es decir, 

 

 6 

  (

2.3 Abiertos. Propiedades

Uno de los objetivos de este curso es llegar al concepto de espacio topol ogico por medio del estudio de los espacios m etricos, que son m as 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 denici on de conjunto abierto; en este caso, abierto en un espacio m etrico. Lema 2.3.1. Sea  entonces existe un

E   una bola abierta en un espacio m etrico  6C , y sea  & tal que E  E  .

E  ,


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

Demostraci on. Basta tomar de modo que . El n umero $ se puede escoger as ya que, como  , entonces . Entonces   , puesto que si 6 entonces, por la desigualdad triangular,

  E  E  E  5B E  657 4 89657 4'Q8 'Q8 )( & 

2.3. ABIERTOS. PROPIEDADES

Por tanto,

19

$ 5 E    .

Teorema 2.3.2 (Propiedad de Hausdorff). Si puntos distintos, existen  tales que 

&

 6C es un espacio me trico y  E  E )( .



son dos

Demostraci on. (Ejercicio) Este resultado permite plantearse la denici on de un tipo de subconjuntos que verican esta condici on, es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una bola abierta centrada en e l y totalmente contenida en el subconjunto. Ser an los conjuntos abiertos. Denici on 2.3.3 (Conjunto abierto). Sea un espacio m etrico. Diremos que un subconjunto  es abierto en si para cada  existe un tal que   . Observemos que el n umero real depende del punto , es decir, para diferentes ser a n necesarios diferentes radios .

 6 C

 6C R

&

E 

Corolario 2.3.4. Cualquier bola abierta en un espacio m e trico Ejemplo 2.3.5.

 6C es un abierto     

(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 etrica del valor absoluto de la diferencia. Tambi en lo son las uniones de intervalos abiertos. Sin embargo los intervalos %, y % no lo son. # # (2) Un conjunto abierto no tiene por qu e ser una bola abierta. As el subconjunto de :

no es una bola abierta de para la m etrica eucl dea, y sin embargo s que es un subconjunto abierto. Sin embargo el conjunto siguiente no es abierto

F(  %  I  IDS  I QI



$

P(  


I  IDS  I QI74

$

(3) En la m etrica discreta, cualquier subconjunto es abierto. (4) La condici on de ser abierto depende de la m etrica. El subconjunto m etrica discreta, pero no lo es para la m etrica eucl dea.

& 1

es abierto para la

(5) La condici on de ser abierto tambi en depende del conjunto sobre el que se dene la m etrica. As , el intervalo es abierto en  %   , pero no lo es en el espacio total con la m etrica # # del valor absoluto.

&C S 

 &C 6

Teorema 2.3.6. Sea 1.

 6C un espacio metrico, entonces se verican:

son abiertos.

20 2. Si 3. Si

 

 

H es una familia de abiertos en , entonces  es un   abierto. (TS 7  es una familia nita de abiertos, entonces  es un abierto.


CAPITULO 2. ESPACIOS METRICOS

  E     (3) Si   

Demostraci o n. (1)  Es claro



(2) Si

  , existir a un tal que  ; como  es abierto, para alg un    , lo que quiere on es un conjunto abierto.  decir que la uni 

&

ser a

, entonces 1 para todo   uno de estos conjuntos debe contener una bola   existir a un tal que   . Si    para todo 

& E  E 

 ( S 7  y como cada  es abierto, cada de centro  , es decir, para cada ( S 7     tendremos que E  tomamos ( F  S 7 (TS  7  y por tanto E   .    IQI 

Ejemplo 2.3.7. La intersecci on arbitraria de abiertos no es, en general un abierto. la familia de Si consideramos E abiertos $ en , su intersecci on es , que no es abierto.

  % #

  )( &

Algunas de las propiedades e ideas m as importantes que abordaremos y, que de hecho, ya se est an abordando en an alisis, necesitan del estudio de lo que ocurre en un punto y, m as en concreto, en las cercan as, en los alrededores de un punto; as sucede con la continuidad, con la convergencia,... Necesitamos realizar un estudio local. Vamos a ver algunos conceptos que facilitar an dicho estudio. Denici on 2.3.8 (Entorno). Sea un espacio m etrico, tal que  Diremos que es un entorno de si existe un

 6C

&

E 

un subconjunto y .

 

Ejemplo 2.3.9. (1) Una bola abierta en un espacio m etrico, es entorno de todos sus puntos. En concreto, en la m etrica usual, un intervalo abierto, es entorno de todos sus puntos. (2) El intervalo

con

entorno de todos sus puntos. Demostraci on. (Ejercicio)

W &C  es un entorno del punto S , pero no lo es del punto & . Proposici on 2.3.10. Un subconjunto  de un espacio m etrico  6C es abierto si y s olo si  es
#

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

2.4. CERRADOS

Denici on 2.4.1 (Cerrado). Sea un espacio m etrico. Diremos que un subconjunto es cerrado en si su complementario ! ! es un subconjunto abierto en

 6C

 6C

 6C .
!

21

Ejemplo 2.4.2. etrica usual, los intervalos cerrados son subconjuntos cerrados; tambi en lo son las En , con la m semirrectas cerradas o % . No lo son los intervalos de la forma , % o . # #

8    &

   

Proposici on 2.4.3. Un subconjunto ! de un espacio m etrico todo ! existe un tal que  6! .

Si Demostraci on. 9 ! ( ! , existe

Si para todo ! ( ! entonces ! es abierto, luego ! es cerrado.

&

E  F(

 6C es un cerrado si y solo si para

!

   W

es cerrado quiere decir que tal que  ! , es decir, 

E  ), existe

E  6!D( & tal que E  !F( , entonces E 

es abierto, por tanto, para todo

! ,

Ejemplo 2.4.4. (1) En

 6  , el conjunto F(   I  I S  I QIA4 $ no es cerrado y  (    I  I74DS  I QIC4 $ , s lo es.  6  , cualquier recta es un conjunto cerrado. W (2) En  , y & numero real. Llamaremos Denici on 2.4.5. Sea  6C un espacio m etrico, sea bola cerrada de centro y radio al conjunto    )(  2 4
Las bolas cerradas contienen a las correspondientes bolas abiertas. Proposici on 2.4.6. En un espacio m etrico, las bolas cerradas son conjuntos cerrados Demostraci on. (Ejercicio) Teorema 2.4.7. Sea 1.

y

 6C un espacio metrico, entonces se verican:

, entonces

2. Si 3. Si

!  !

son cerrados. es una familia de cerrados en

) (TS 7 




 !
es un   cerrado.

es una familia nita de cerrados, entonces

es un cerrado.

Demostraci on. Se trata de aplicar las leyes de Morgan. (Ejercicio)

22 Ejemplo 2.4.8.

CAPITULO 2. ESPACIOS METRICOS

(1) La uni on arbitrario de cerrados no es, necesariamente un cerrado. Consideremos la familia % $ de intervalos cerrados en ; su intersecci on #

&C S Q #

('

&C S S %2( # &C S  

no es cerrado. (2) En la m etrica discreta cualquier subconjunto es cerrado. (3) Hay subconjuntos que no son ni abiertos ni cerrados, por ejemplo # eucl dea.

&C S  

con la m etrica

(4) Tambi en es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, con la m etrica discreta, cualquier subconjunto es a la vez abierto y cerrado. Denici on 2.4.9. Sea acotado si eixten Ejemplo 2.4.10. (1) (2)

P  6C  un espacio m etrico y  y & tal que E   .

S S  & S  S8 

. Diremos que

es un subconjunto

 

con la m etrica eucl dea es un espacio m etrico no acotado.

con la m etrica discreta es un espacio m etrico acotado. (3) Los subespacios  % ,  y  de con la m etrica eucl dea son subespacios # # # m etricos acotados. El subespacio no es acotado. # (4) Cualquier bola, abierta o cerrada, es un subespacio acotado.

Denici on 2.4.11 (Di ametro de un conjunto). Sea un espacio m etrico y subconjunto acotado. Denimos el di a como metro de , y se representa por

 H(

 

 6C

 

un

Ejemplo 2.4.12.

(1) Los di ametros de los subconjuntos  % ,  # # respectivamente , y  .

S S &C S % de  es un subconjunto acotado para cada una de las tres metricas (2) El subespacio &C S % # # , y E . Sus di ametros para cada una de estas tres m etricas son, respectivamente,  ,  y S W .

S

S   y & # S   de 

con la m etrica usual son