J74

Sl!Hll~S

INlINI

IA'

10. Seaf(x) = L(anx") para lxl <R. Si f(x) = /(.1) >11111 l11d:1 rj J<, dl'111uil1111
que an = O para toda n impar.
11. Demostrar que sif est definida para lxl < r y si existe una constante JJ 1111 q11n
l/(n)(x)J ~ B para toda Jx! < r y n EN, entonces la expansin de la scl'it dt

LA rfOPOLOGIA DE R

Taylor

oo

JM(O)

I: ---x"
n!

11=0

converge af(x) para !xJ < r.

12. ~roba~ por in~uccin que la funci~ dada por f(x) := e-l/x2 para x =F o, /(O)
- : tiene derivadas de todos los ordenes en cada punto y que todas eslaN
derivadas asu~en el valor cero en x = O. Por tanto, esta funcin no est dada
por su expansin de Taylor en la proximidad de x =O.
13. Dar un ejemplo de una funcin que es igual a su expansin de la serie de
~~ylor en la proximidad de x = O para x ;?o O, pero que no es igual a su expan
sien para x < O.
14. Usar la forma de Lagrange del residuo para justificar la expansin binomial
general
00

(l

X) m =

L ( i;: ) X "

o~X <

para

l.

n=O

!xi < 1, entonces

15. (Serie geomtrica) Demostrar directamente que si

l

I: 111.

1-x

n= O

lx! < 1, entonces

16. Demostrar integrando la serie para 1/(1 + x) que si

log ( 1

17. Demostrar que si ix,.

+ x)

00

< 1, entonces x =

(l)"+l
i

x ".

1)
I: ---x2,,+1.
ce

11

n=o2n+l
18. Demostrar que si lxl

< 1, entonces Arcsen x =

1 . 3 ... ( 2 n - l)

11=<1

19. Encontrar la expansin de una serie para

x 211 +

2n+I

24'2n

fax:2 dt para x E R.

fo'(l

20. Si.~ R Y lkl _<:a la integral F(a, k) :=

k2(sen x)2)-12 dx se le llama
la mtegral elptica del primer tipo. Demostrar que
00

F ( ~ , k)- - -71'
2

2 n=O

(13(2n1))2
2 4 2n

k2"

para

lkl <

l.

'

En la mayor parte de este texto nicamente se han considerado funciones que

estn definidas en intervalos. De hecho, en el caso de ciertos resultados importan
tes relativos a funciones continuas, tambin se estableci el supuesto de que los
intervalos eran cerrados y estaban acotados. Se examinarn ahora las funciones defi
nidas en conjuntos ms generales, con el fin de establecer algunas importantes
propiedades de las funciones continuas en un contexto ms general. Por ejemplo,
en la seccin 5.3 se demostr que una funcin que es continua en un intervalo
cerrado y acotado alcanza un valor mximo. Sin embargo, se ver que la hiptesis
de que el conjunto es un intervalo no es esencial y que es posible pasarla por alto
en el contexto apropiado.
En la seccin 10.1 se definen las nociones de conjunto abierto y de conjunto
cerrado. El estudio de los conjuntos abiertos y los conceptos que se pueden definir
en trminos de dichos conjuntos constituyen el estudio de la topologa puntocon
junto, por lo que en realidad se analizan ciertos aspectos de la topologa de R. (El
campo de las matemticas llamado "topologa" es muy abstracto y rebasa con
mucho el estudio de la recta real, aun cuando las ideas clave se encontrarn en el
anlisis real. De hecho, es el estudio de las funciones continuas en R el que motiv
muchos de los conceptos abstractos desarrollados en la topologa.)
La nocin de conjunto compacto se define en la seccin 10.2 en trminos de
coberturas abiertas. En el anlisis avanzado, la compacidad es un concepto muy
poderoso de uso generalizado. Los subconjuntos compactos de R estn caracteri
zados en su totalidad por el teorema de HeineBorel, por lo que el potencial com
pleto de la idea no es tan evidente como lo sera en contextos ms generales. No
obstante, cuando en la seccin 10.3 se establezcan las propiedades bsicas de las
funciones continuas en conjuntos compactos, el lector deber empezar a apreciar
la manera en que se usan los razonamientos basados en la compacidad.
En la seccin 10.4 se abordan las caractersticas esenciales de distancia en la
recta real y se introduce una generalizacin de la distancia llamada "mtrica". La
ampliamente usada desigualdad del tringulo es la propiedad clave en este concep
to general de distancia. Se presentan ejemplos y se indica la manera en que los teore
mas relativos a la recta real se pueden ampliar al contexto de un espacio mtrico.
Las ideas discutidas en este captulo son un tanto ms abstractas que las de
captulos anteriores; sin embargo, la abstraccin con frecuencia desemboca en
conocimientos ms profundos y refinados. En este caso, lleva a un contexto ms
general para el estudio del anlisis.

376

1.A 'l'Ol'Ol.()C:IA

t ON 11 IN'I OS Allllll'I

1>I!11

SECCIN 10.1 Conjuntos abiertos y cerrados en U

Hay tipos especiales de conjuntos que desempean un papel destacado t11 l'I
anlisis; stos son los conjuntos abiertos y cerrados en R. A fin de agilizar e] t:st 11
dio, resulta conveniente contar con una nocin ampliada de vecindad ele un punto,

OS V !'lHHAl)OS

vn

l.N 11

1 :.11 el kllulljr comn, lus vocablos "abierto" y "cerrado" son an:nimos cua~do se
icau a puerta, ventanas y mentes. Sin embargo, no lo son cuando se a~llcan a subconjuntos
1111
k u. Por ejemplo, se observ ya que los conjuntos 0 y R son tanto abierto: como cerrados
,.11 u. (Quizs el lector se sienta aliviado al saber que no hay otros subconjuntos e~ R que_
ll'ngan ambas propiedades.)Adems, hay muchos subconjuntos deR que ,no son abiertos ni
cerrados; de hecho, la mayora de los subconjuntos de R poseen este carcter neutro.

10.1.1 Definicin. Una vecindad de un punto x E Res cualquier conjunto \1

que contiene una vecindade V/x) := (x e, x +e) de x para alguna e> O.
Aun cuando se requiere que una vecindade de un punto sea simtrica respcc
to de dicho punto, la idea de una vecindad (general) relaja esta caracterstica partl
cular, aunque con frecuencia sirve al mismo propsito.

El siguiente resultado bsico describe la manera en que los c~njuntos abiertos

se relacionan con las operaciones de unin e interseccin de conjuntos en R.

10.1.2 Definicin. i Un subconjunto G de R es abierto en R si para cada .r

E G existe una vecindad V de x tal que V s; G.
ii Un subconjunto F de Res cerrado en R s el complemento (} (F) = R\F
es abierto en R.
Para demostrar que un conjunto G \: R es abierto, basta probar que cada
punto de G tiene una vecindade contenida en G. De hecho, G es abierto si y slo
si para cada x E G existe Ex> O tal que (x - ex, x + e) est contenido en G.
Para demostrar que un conjunto F ~ R es cerrado, basta probar que cada
punto y e: F tiene una vecindade disjunta de F. De hecho, Fes cerrado si y slo si
para cada y e; F existe t:Y > O tal que F n (y - t:Y, y + ey) = 0.

es un conjunto abierto.

10.1.3 Ejemplos. a) El conjunto R = (oo, oo) es abierto.

Para cualquier x E R se puede tomar e:= 1.
b) El conjunto G := {x ER: O< x < 1} es abierto.
Para cualquier x E G se puede tomar ex como el menor de los nmeros x, 1x.
Se le deja al lector demostrar que si [u x[ < ex entonces u E G.
c) Cualquier intervalo abierto I :=(a, b) es un conjunto abierto.
De hecho, si x E J, se puede tomar ex como el menor de los nmeros x - a, b - x.
Entonces el lector puede demostrar que (x - ex, x + e) \: J. De manera similar, (oo,
b) y (a, oo) son conjuntos abiertos.
d) El conjunto l := [O, 1] no es abierto.
Esto se sigue porque toda vecindad de O E 1contiene puntos que no pertene
cen al.
e) El conjunto I es cerrado.
Para ver esto, se hace y ~ I; entonces y < O bien y > 1. Si y < O, se toma e
:= [y [, y si y > 1, se toma ey :=y - l. Se le deja al lector demostrar que en ambo~
casos se tiene I n (y - e , y + e ) = 0.
f) El conjunto H :;; {x: OYE; x < 1} no es abierto ni cerrado. (Por qu?)
g) El conjunto vaco 0 es abierto en R.
De hecho, el conjunto vaco no contiene puntos en absoluto, por lo que el
requisito de la definicin 10.1.2 ise satisface. El conjunto vaco tambin es cerra
do ya que su complemento Res abierto, como se vio en el ejemplo a).

10.1.4 Propiedades de los conjuntos abiertos. a) L~ unin ~e una coleccin cualesquiera de subconjuntos abiertos en R es un con1u~to abier~o.
b) La interseccin de cualquier coleccin finita de conjuntos abiertos en R
Demostracin. a) Sea {G._: f.. EA} una familia de conjuntos en 1!- ~~~son
abiertos, y sea G su unin. Considrese un elemento x E G; por la defm1c1~n de
unin, x debe pertenecer a G ._0 para alguna A.0 E A. Puesto que G ._0 es abierto,
existe una vecindad V de x tal que V G._0. Pero G._0 s; G, por lo que V~ G.
Puesto quex es un elemento cualesquiera de G, se concluye que Ges un conjunto

abierto en R.
b) Supngase que G y G2 son abiertos y sea G := G1.n
Para demostrar
que G es un conjunto abierto se considera una x E G cualquiera; enton~es x E G_1 Y
x E 2. Puesto que G1 es abierto, existe e1 >O ~al que(~ el' x + e1) esta contenido
en G De manera similar, puesto que G 2 es abierto, existe e2 > O tal que (x - e2, x
1.
+ 8 ) est contenido en G Si se toma ahora e como el menor de e1 y e2, entonces
2
la v~cindade U := (x e, :X+ e) satisface tanto U\: G 1 como U ~ G2 Por tanto, x
E u\: G. Puesto que x es un elemento cualesquiera de G, se concluye que Ges un

conjunto abierto en R.
.
Aplicando un razonamiento inductivo (cu~? des~rrollo sel~ deja al l~ctor) se
sigue que la interseccin de cualquier coleccin finita de conjuntos abiertos es

Q.E.D.

abierta.

Las propiedades correspondientes para conjuntos c~rrados se establecern

mediante el uso de las identidades de De Morgan para conjuntos y sus componen
tes. (Ver el teorema 1.1.6.)

10.1.5 Propiedades de los conjuntos cerrados. a) La i~terseccin de una

coleccin cualesquiera de conjuntos cerrados en Res un conjunto cerrado.
b) La unin de cualquier coleccin finita de conjuntos cerrados en Res un
conjunto cerrado.

Demostracin.
F :=

AEA

a) Si {F._: A. E A} es una familia de conjuntos cerrados en R Y

F ).. entonces ! (F) =

LJ
AEA

!( F>.) es la unin de los conjuntos abiertos.

1,/\

'l'()I'(

)1 ( )(

( 'I )N l l 1 N'I ( )lJ /\ 11111.inl IN \' ( 'hH 1(/\1

f\ lll\ 11

Por tanto, -? (F) es abierto por el teorema 10.1.4 a) y, por cousiguicurc,

/i ~1111111

conjunto cerrado.
b) Supngase que los conjuntos F1, F2, ... , F,, son cerrados en R y sea tt:
F1 U F2 U U F11 Por la identidad de De Morgan, el complemento de f' c~IA
dado por

?(F)

?(F) n ...

n ?(F,J.

Puesto que cada -? (F) es abierto, por el teorema 10. 1.4 b) se sigue que -? (F) es
abierto. Por tanto, Fes un conjunto cerrado.
o.u.o.
Las restricciones de finitud en 10.1.4 b) y 10.1.5 b) no se pueden eliminar.
Considrense los siguientes ejemplos.

H).1.6 Ejemplos. a) Sea G11 := (O, 1 + 1/n) para n EN. Entonces, por el
ejemplo 10.1.3 e), Gn, es abierto para cada n EN. Sin embargo, la interseccin

n
00

G :=

n=l

()~

l'/1)

1\N 11

, \/,. 1111lo11111111,
se elche tener qut.:x" E (i (//);pero esto contradice el supuesto
d< q11t.: x11 L J' para toda ti EN. Se concluye por lo tanto que x E F.
ii => i. Supngase, por el contrario, que F no es cerrado, por lo que G := -? (F)
11<> es 1111 conjunto abierto, Entonces existe un punto y0 E G tal q~e para cada n E,N
existe un nmero Yn E -? (G) = F tal que IY,, y01 < l/n. Se sigue que Yo:= lm
(yJ y, puesto que y11 E F para toda n EN, la hiptesis ii implica ~u~ Yo .E F, hecho
qu<.: contradice el supuesto de que y0 E G -? =(F). Por tanto, la h1potes'.s el.e que~
110 es un conjunto cerrado implica que ii no es verdadera. Por consiguiente, u
implica i, como se quera demostrar.
Q.E.D.
El resultado siguiente guarda una estrecha relacin con el teorema anterior.
Establece que un conjunto F es cerrado si y slo si contiene todos sus puntos de
acumulacin. Recurdese por la seccin 4.1 que un punto x es un punto de acumu
lacin de un conjunto F si toda vecindade de x contiene un punto de F diferente de
x. Puesto que por el teorema 4.1.2 cada punto de acumulacin de un conjunto Fes
el lmite de una sucesin de puntos de F, el resultado se sigue de inmediato del
teorema 10.1.7 anterior. Se ofrece una segunda demostracin en la que slo se
usan las definiciones pertinentes.

G11 es el intervalo (O, l], el cual no es abierto. Por tanto la interseccin

'

de un nmero indefinido de conjuntos abiertos en R no es necesariamente un conjunto abierto.

UF

HU.8 Teorema. Un subconjunto de Res cerrado si y slo si contiene todos

sus puntos de acumulacin.

00

b) SeaF11:=[l/n,l],nEN.TodoF
.

escerrado,perolauninF:=

n=l

es

el conjunto (O, 1], que no es cerrado. Por tanto, la unin de un nmero indefinido
de conjuntos abiertos en R no es necesariamente un conjunto cerrado.

Caracterizacin de conjuntos cerrados

Se presentar ahora una caracterizacin de los subconjuntos cerrados en R en
trminos de sucesiones. Como se ver, los conjuntos cerrados son precisamente
los conjuntos F que contienen los lmites de todas las sucesiones convergentes
cuyos elementos se toman de F.
HU.7 Caracterizacn de Ros conjuntos cerrados. Sea F ~ R; entonces las
siguientes afirmaciones son equivalentes.
i F es un subconjunto cerrado de R.
ii Si X= (x es cualquier sucesin convergente de elementos de F, entonces
lm X pertenece a F.
11)

Demostracin. i => ii. Sea X= (x,,) una sucesin de elementos de F y sea x : =

lm X; se quiere demostrar que x E F. Supngase, por el contrario, que x ~ F; es
decir, que x E -? (F), el complemento de F. Puesto que -f (F) es abierto y x E
~ (F), se sigue que existe una vecindade de x tal que Ve est contenida en -f (F ).
Puesto que x = lm (x,,), se sigue que existe un nmero natural K = K(e) tal que xK

Demostracin. Sea F un conjunto cerrado en R y sea x un punto de acumula

cin de F; se probar que x E F. De no ser as, entonces x pertenece al conjunto
abierto -? (F). Por lo tanto, existe una vecindade
de X tal que VE
-? (F ). Por
consiguiente VE n F = 0, lo cual contradice el supuesto de que x es un punto de

vs

acumulacin de F.
Recprocamente, sea F un subconjunto de R que contiene a todos sus puntos
de acumulacin; se demostrar que ,ef (F) es un conjunto abierto. Porque si Y
E -? (F), entonces y no es un punto de acumulacin de F. Se sigue que existe una
vecindade Ve de y que no contiene un punto de F (con la posible excepcin de y).
Pero como y E -? (F ), se sigue que VE ~ -? (F ). Puesto que y es un elemento
cualesquiera de -? (F), se deduce que para todo punto en y existe una vecindade
que se encuentra contenida en su totalidad en -? (F ). Pero esto significa que -? (F)
es un conjunto abierto en R. Por lo tanto, Fes un conjunto cerrado en R.
Q.E.D.

Caracterizacin de conjuntos abiertos

La idea de conjunto abierto en R es una generalizacin de la nocin de inter
valo abierto. El hecho de que esta generalizacin no lleve a conjuntos demasiado
peculiares que sean abiertos se pone de manifiesto en el resultado siguiente.

HU.9 Teorema. Un subconjunto de Res abierto si y slo si es la unin de un

nmero contable de intervalos abiertos disjuntos en R.

380

1,A 'l'Ol'Oi,()(IA

t 't lNH 11\i'l't IS A1111<1(1't

lll! /I

Demostracon, Supngase que G 0 es un conjunto uhicrto cu U. 1'1'11 l11d11

x E G, sea Ax:= {a E R: (a, x] ~ G} y sea Ex:= {b E R: [x, b) ~ G}. Puesto que U
es abierto, se sigue que Ax y B son conjuntos no vacos. (Por qu?) Si el conjunto
Ax tiene una cota inferior, se hace ax := inf Ax; si Ax no tiene una cota inferior, 1m
hace x := +o. Obsrvese que en cualquiera de los dos casos x G. Si el ccnjuntu
Bx tiene una cota superior, se hace bx := sup Bx; si Bx no tiene una cota superior, .~e
hace bx := zo, Obsrvese que en cualquiera de los dos casos bx e: G.
Se define ahora Ix := (ax, b); evidentemente, Ix es un intervalo abierto que
contiene~ Se afirma que lx ~ G. Para ver esto, sea y E Ix y supngase que y < x.
Por la definicin de ax se sigue que existe a' E Ax con a' <y, de donde se sigue que
y E (a', x] ~ G. De manera similar, si y E Ix y x <y, existe b' E Bx con y < b', do
donde se sigue que y E [x, b') ~ G. Puesto que y Eix es un valor cualesquiera,
se tiene que Ix ~ G.
Puesto que x

Ges un valor cualesquiera, se concluye que

1111mi11

l1111111.~ll'llct.:i(111

IH 1

IS Y< 'P.lrnA1 H )S l'N N

de un ejemplo mucho ms interesante llamado el conjun

to lle Cantor.

E! conjunto die Cantor

El conjunto de Cantor, el cual se denotar por F, es un ejemplo muy interesan
te de un conjunto (un tanto complicado) que es diferente a cualquiera de los con
juntos que se han visto hasta este punto. Revela lo inadecuada que puede resultar
la intuicin en ocasiones al intentar describir subconjuntos de R.
El conjunto de Cantor F se puede describir eliminando una sucesin de inter
valos abiertos del intervalo unitario cerrado I :==[O, 1 ]. Se elimina primero la terce
ra parte abierta de en medio ( i, del para obtener el conjunto

Ix ~ G. Por

xEG

otra parte, puesto que para toda x E G existe un intervalo abierto Ix con x E Ix ~ G,
se tiene asimismo que G ~
.

l
xEG

I". Se concluye, por lo tanto, que G =

n =

LJ Ix.
xEG

Se afirma que si X, y EG y X* y, entonces IX = I y, o bien, IX I y 0. Para

demostrar esto, supngase que z E Ix n IY, de donde se sigue que ax < z < bY y a <
z < bx. (Por qu?) Se probar que ax = y De no ser as, por la propiedad de
tricotoma se sigue que i aX < ay, o bien, ii ay < aX . Si se cumple el caso i, entonces
Y Eix =(ax, b) ~ G, lo cual contradice el hecho de que a e: G. De manera similar,
SI se cumple el caso ii, entonces x EIY =(ay, by)~ G, loycual contradice el hecho
de que ax G. Por lo tanto, se debe tener x = ay y un razonamiento similar implica
que bx =by. Se concluye, por lo tanto, que silx n IY 0, entonces/x = IY.
An queda por demostrar que la coleccin de intervalos diferentes {Ix: x E G}
es contable. Para ello, se enumera el conjunto Q de los nmeros racionales Q = {r1,
" ... , r11, }(ver el teorema 2.7.13). Por el teorema de densidad 2.5.5 se sigue
que todo intervalo Ix contiene nmeros racionales; se selecciona el nmero racio
nal de Ix que tiene el menor ndice n en esta enumeracin de Q. Es decir, se elige
rn(x) E Q tal que I,.n(x) = Ix y n(x) es el menor ndice n tal que I,11 = Ix. Por tanto, el
conjunto de intervalos diferentes Ix x E G, se pone en correspondencia con un
subconjunto de N. En consecuencia, 'este conjunto de intervalos diferentes es con
table.
Q.E.D.

Despus se elimina la tercera parte abierta de en medio de cada uno de los dos
intervalos cerrados en F1 para obtener el conjunto

Se ve que F7 es la unin de 22 = 4 intervalos cerrados, cada uno de los cuales es de

la forma [k/32, (k + 1)/32]. Despus se elimina las terceras partes abiertas de enmedio
de cada uno de estos conjuntos para obtener F3' que es la unin de 23 == 8 intervalos
cerrados. Se contina de esta manera. En general, si se ha construido F11 y est
formado por la unin de 211 intervalos de la forma [k/3", (k + l)/Y'], entonces el
conjunto Fll + l se obtiene al eliminar la tercera parte de en medio de cada uno de
los intervalos. El conjunto de Cantor Fes lo que queda despus de que este proce
dimiento se ha llevado a cabo para toda n E N. (Ver la figura 1 O. l. L)
lOJ .. 10 Definicin. El conjunto de Cantor Fes la interseccin ele los con
juntos
F 11' n EN ' obtenido por la eliminacin sucesiva de la tercera parte de en
~
medio, empezando con l = [O, 1].

Se deja como ejercicio demostrar que la representacin de G como una unin

disjunta de intervalos abiertos se encuentra determinada de manera nica.
Nota. Del teorema anterior no se sigue que un subconjunto de R es cerrado si
y slo si es la interseccin de una coleccin contable de intervalos cerrados (por
qu no?). De hecho, hay conjuntos cerrados en R que no se pueden expresar como
la interseccin de una coleccin contable de intervalos cerrados en R. Un con
junto que consta ele dos puntos es un ejemplo. (Por qu?) Se describe a conti

FIGURA 10.1.l Contruccin del conjunto de Cantor.

3H2

LA 'I '( H '<l 1 ,00

f /\

I JI 1, u

Puesto que es la interseccin de conjuntos cerrados, el pnpin /,. ex un cnil,lllll

to cerrado por 10.1.5 a). Se mencionan a continuacin algunas ele las prnpit.:d11d1t1
de F que lo hacen ser un conjunto tan interesante.
1) La longitud total de los intervalos eliminados es l.
Se observa que la primera tercera parte de en medio tiene longitud 1/3, la.~ (111~1
terceras partes de en medio siguientes tienen longitudes cuya suma es 2/32, l11N
cuatro terceras partes de en medio siguientes tienen longitudes cuya suma es 22 ;J1,
y as sucesivamente. La longitud total L de los intervalos eliminados est dacia poi

Al usar la frmula para la suma ele una serie geomtrica se obtiene

l

L=

l.

11,

X=

n=l

3:

= ( 12 ''

;\J 111,l(l'O.'\

,\H_I

V ( 'P.IU(I\ 1 )(IS HN 11

1; pn( 1j~111plo, ~ = ( l 00 )3 = (022 )3. Si se elige la expansin sin dgitos

1 para estos puntos, entonces F consta de todas las x E I que tienen expansiones
ternarias sin dgitos 1; es decir, a,, es O 2 para toda n EN. Se define ahora un
mapeo cp de F en I de la siguiente manera:
tll,ilm:

para

F.

Es decir, cp((a1a2 )3) = (b1b2 )2, donde b11 = a,/2 para toda n E Ny (b1b2 ')
denota la representacin binaria de un nmero. Es posible verificar que se define
as un mapeo que lleva a F en I; se concluye que F tiene un nmero incontable de
puntos. (Ver la seccin 2.7.)

Ejercicios de la seccin JO.].

E (O, 1 ), sea ex como en el ejemplo 10.1.3 b). Demostrar que si u - x, <
entonces u E (O, 1).
2. Demostrar que los intervalos (a, oo) y (oc, a) son conjuntos abiertos y que los
intervalos [b, oc) y (oc, b] son conjuntos cerrados.
3. Desarrollar el razonamiento de induccin matemtica de la demostracin del
inciso b) de las propiedades de los conjuntos abiertos 10.1.4.

1. Si x
Ex,

Por tanto F es un subconjunto del intervalo unitario I, cuyo complemento en J

tiene longitud total 1.
Obsrvese asimismo que la longitud total de los intervalos que forman F,, es
(2/3) que tiene lmite O cuando n-> oo, Puesto que F ~Fil para toda n EN, se ve
que si es vlido decir que F tiene "longitud", debe tener longitud O.
2) El conjunto F no contiene ningn intervalo abierto no vaco como
subconjunto. De hecho, si F contiene un intervalo abierto no vaco I := (a, b),
entonces como J ~Fil para toda n E N, se debe tener O< b - a :o.:; (2/3)" para toda
n EN. Por lo tanto, b - a =O, de donde I es vaco, que es una contradiccin.
3) El conjunto de Cantor F contiene un nmero infinito (incluso incontable)
de puntos.
El conjunto de Cantor contiene todos los puntos terminales de los intervalos
abiertos eliminados y todos ellos son puntos de la forma 2k/3", donde k =O, 1, ... , n
para toda 11 E N. Existe un nmero infinito de puntos de esta forma.
El conjunto de Cantor en realidad contiene muchos ms puntos que los de la
forma 2kJ"; de hecho, Fes un conjunto incontable. Se presenta el razonamiento
en trminos generales. Se observa que toda x E I se puede escribir como una ex
pansin ternaria (base 3)
,,

( ON.11 IN'!'()S

, '' )3

donde cada an es O, 1 2. (Ver la explicacin del final de la seccin 2.6.) De hecho,

cada x que est a uno de los intervalos abiertos eliminados tiene a11 = 1 para alguna
n; por ejemplo, todo punto de G, D tiene a1 = 1. Los puntos terminales de los
intervalos eliminados tienen dos expansiones ternarias posibles, una que no tiene

n
00

4. Demostrar que (O, 1] =

(O, 1 + 1/n), como se afirm en el ejemplo
10.1.6 a).
n=l
5. Demostrar que el conjunto N de los nmeros naturales es un conjunto cerrado.
6. Demostrar que A := { l/11: n EN} no es un conjunto cerrado, pero que A U {O}
es un conjunto cerrado.
7. Demostrar que el conjunto Q de los nmeros racionales no es ni abierto ni
cerrado.
8. Demostrar que si Ges un conjunto abierto y Fes un conjunto cerrado, enton
ces G\F es un conjunto abierto y F\G es un conjunto cerrado.
9. Se dice que un punto x E Res un punto interior de A<::;:; R cuando existe una
vecindad V de x tal que V <;;:;A. Demostrar que un conjunto A<::;:; Res abierto si
y slo si todo punto de A es un punto interior de A.
10. Se dice que un punto x E R es un punto frontera de A <::;:; R cuando toda
vecindad V de x contiene puntos de A y puntos de ef (A). Demostrar que un
conjunto A y su complemento ef (A) tienen exactamente el mismo nmero
de puntos frontera.
11. Demostrar que un conjunto G <::;:; Res abierto si y slo si no contiene a ningu
no de sus puntos frontera.
12. Demostrar que un conjunto F <::;:; R es cerrado si y slo si contiene a todos sus
puntos frontera.
13. Si A <::;:; R, sea A la unin de todos los conjuntos abiertos que estn conteni
dos en A; al conjunto A se le llama el interior de A. Demostrar que A es un
conjun. 1 abierto, que es el mayor conjunto abierto contenido en A y que
un punto z pertenece a A si y slo si z es un punto interior de A.

1AT<Jl'lll,(Hl(A1111

~ 'C\NfN'J't)~

14. Empleando la notacin del ejercicio anterior, se1111 A, JI 1'1>11j111110~ e11U,111

mostrar que A i;;:; A, (A) =Ay que (A n B) ==A f1 H'. n'emoslrar 11sl11d11
mo queA U B i;;:; (A U B) y dar un ejemplo para probar que la i1H:ii1Hl(\11
puede ser propia.
15. Si A i;;:; R, sea A- la interseccin de todos los conjuntos cerrados que cn11(k
nen aA; al conjunto A- se le llama la cerradura de A. Demostrar que A- es 1111
conjunto cerrado, que es el menor conjunto cerrado que contiene aA y qtH.: 1111.
punto w pertenece a A- si y slo si tu es un punto interior, o bien, un punto
frontera de A.
16. Empleando la notacin del ejercicio anterior, sean A, B conjuntos en R. De
mostrar que se tiene A i;;:; A-, (Af =A y que (A u Bf =A- U B-. Demostrar
que (A n Bf i;;:; A- n B- y dar un ejemplo para probar que la inclusin puede
ser propia.
17. Dar un ejemplo de un conjunto A i;;:; R tal que A= 0 y A-= R.
18. Demostrar que si F i;;:; Res un conjunto cerrado no vaco que est acotado por
arriba, entonces sup F pertenece a F.
19. Si Ges un conjunto abierto y x E G, demostrar que los conjuntos Ax y Bx de la
demostracin del teorema 10.1.9 no son vacos.
20. Si el conjunto Ax de la demostracin del teorema 10.1.9 tiene una cota infe
rior, demostrar que x := inf Ax no pertenece a G.
21. Si en la notacin empleada en la demostracin del teorema 10.. l.9 se tiene"'
<y < x, demostrar que ax := inf A, no pertenece a G.
22. Si en la notacin empleada en la demostracin del teorema 10.1.9 se tiene lx
n y i= 0, demostrar que bx =by.
23. Demostrar que todo punto del conjunto de Cantor es un punto de acumula
cin de F.
24. Demostrar que todo punto del conjunto de Cantor es un punto de acumula
cin de (F).
1

SECCIN 10.2 Conjuntos compactos

En anlisis avanzado y topologa, la nocin de conjunto "compacto" es de
enorme importancia. Esto es menos cierto en R porque el teorema de HeineBorel
proporciona una caracterizacin muy simple de los conjuntos compactos en R. No
obstante, la definicin y las tcnicas usadas en relacin con la compacidad son
de suma importancia, y la recta real ofrece un sitio adecuado para ver la idea de
compacidad por primera vez.
La definicin de compacidad hace uso de la nocin de cubierta abierta, la cual
se define a continuacin.
10.2.1 Definicin. Sea A un subconjunto de R. Una cubierta abierta de A es
una coleccin . = { G "} de conjuntos abiertos en R cuya unin contiene a A;
es decir,

< 'OMl'i\(TOS

;11 , ~ L':: 111111 .ruhcnlcccin

de conjuntos de. tal que la unin de los conjuntos
. 9'' uuubicn contiene a A, entonces a .' se le llama subcuberta de ..
si . tJ' consta de un nmero finito de conjuntos, entonces a .' se le llama
subcubierta flnita de ..
Puede haber varias cubiertas abiertas diferentes para un conjunto dado. Por
ejemplo, si A := [1, =), entonces el lector puede verificar que las siguientes colec
ciones de conjuntos son todas cubiertas abiertas de A:
,..

~) :=

.1

:=

.Y'2 :=

{(0,co)},

+ 1): r E Q, r > O},

{(n 1, n + 1): n EN},
{ (

r - 1, r

.3 == {(O,n):
~ ==

n EN},

{(O, n): n EN, n ;;:.. 23}.

Se observa que .2 es una subcubierta de .71, y que ~ es una subcubierta

de ..3. Desde luego, es posible describir muchas otras cubiertas abiertas de A.
JL0.2.2 Definicin. Se dice que un subconjunto K de Res compacto si toda
cubierta abierta de K tiene una subcubierta finita.
En otras palabras, un conjunto K es compacto si, siempre que est contenido
en la unin de una coleccin.= {G } de conjuntos abiertos en R, entonces est
contenido en la unin de algn nmero finito de conjuntos en ..
Es muy importante observar que para aplicar la definicin a fin de demostrar
que K es compacto, se debe examinar una coleccin cualesquiera de conjuntos
abiertos cuya unin contenga a K, y probar que K est contenido en la unin de
algn nmero finito de conjuntos de la coleccin dada. Es decir, se debe demostrar
que cualquier cubierta abierta de K tiene una subcubierta finita. Por otra parte,
para probar que un conjunto H no es compacto, basta presentar una coleccin
particular .de conjuntos abiertos cuya unin contiene a H, pero tal que la unin
de cualquier nmero finito de conjuntos de. no contenga a H. Es decir, H no es
compacto si existe alguna cubierta abierta de H que no tiene ninguna subcubierta
finita.
C(

rn.2.3 Ejemplos. a) Sea K := {x, X2, . 'xn} un subconjunto finito de R.

Si= . {G"} es cualquier cubierta abierta de K, entonces cada X; est contenida en
algn conjunto G u; de .. Entonces la unin de los conjuntos de la coleccin {Gal'
Ga2, ... , G,,n} contiene a K, por lo que es una subcubierta finita de .Y'. Puesto
que. es una coleccin cualesquiera, se sigue que el conjunto finito K es compacto.
b) Sea H := [O, co). Para probar que H no es compacto, se presentar una
cubierta abierta que no tiene ninguna subcubierta finita. Si se hace Gn := (1, n)
00

O'

para cada n EN, entonces

n t; n~I
U

G,,, por lo que.':=

{Gn: n EN} es una

3Hf1

1.A '1'01'01(HllA1111

cubierta abierta de H. Sin embargo, si { G11

I'

finita de .#,y si se hace m := sup {n1, n2,

I/

('ONlllN'IWl('OMl'A(

G,,2' ... , G,,k ex cualquier ~uhrnkttl1111

... ,

u G,,. Por tanto, . := { G,,: n

N} es una cubierta abierta do

J. Si {G,, P G112, ... , Gn,} es cualquier subcoleccin finita de.#,. y si se haces:

sup {np n2, ... , n,.}, entonces
G,.I

G,,2

u ... u c .. ,=

es= (l/s, 1).

Puesto que 1/s est en J pero no en G,., se ve que la unin no contiene a J. Por lo
tanto, J no es compacto.
Ahora se quiere describir todos los subconjuntos compactos de R. Se estable
cer primero mediante razonamientos bastante directos que cualquier conjunto
compacto en R debe ser tanto cerrado como acotado. Despus se demostrar que
estas propiedades en realidad caracterizan a los conjuntos compactos en R. Este es
el contenido del teorema de HeineBorel.

10.2.4 Teorema. Si K es un subconjunto compacto de R, entonces K es cerrado y acotado.

Demostracin. Se demostrar primero que K est acotado. Para toda m EN,
sea H111 := (-m, m). Puesto que cada Hm es abierto y como K C

LJ

H,,, = R, se ve

m=l

que la coleccin {H111: m EN} es una cubierta abierta de K. Puesto que K es com
pacto, esta coleccin tiene una subcubierta finita, por lo que existe ME N tal que
M

K~

UHm=HM=(-M,M).
m=I

Por lo tanto, K est acotado, ya que est contenido en el intervalo acotado (-M, M).
Se demuestra ahora que K es cerrado, probando que su complemento ef (K)
es abierto. Para ello, sea u E ef (K) un punto cualesquiera y para toda n E N se
hace G11 :={y ER: jy-uj :; l/n}. Es un ejercicio demostrar que cad~ conjunto G11
es abierto y que R\{u} =
G11 Puesto que u e K, se tiene K C
G11 Puesto

l}1

11

que K es compacto, existe m EN tal que

e,.= e,,..

1'=1

00

n==

\11/

K ~

nk}, entonces

Evidentemente, esta unin no contiene a H =[O, oo). Por tanto, ninguna subcolcccln
finita de .conseguir que su unin contenga a H y, por lo tanto, H no es cornpactn
e) SeaJ :=(O, 1). Si se hace G11 := (l/n, 1) para cada n EN, entonces se ve dt
inmediato que J =

I'();,

LJ

n== 1

/\partir de este hecho se sigue que K n (u -1/m, u+ l/m) = 0, por lo que (u

1 [m, u + 1 m)
ef (K). Pero como u era un punto cualesquiera en ef (K), se
infiere que ef (K) es abierto.
Q.E.D.

Se demuestra a continuacin que las condiciones del teorema 10.2.4 son tanto
necesarias como suficientes para que un subconjunto de R sea compacto.

10.2.5 Teorema de HeineBorel, Un subconjunto K de Res compacto si y

slo si es cerrado y acotado.
Demostracin. En el teorema 10.2.4 se demostr que un conjunto compacto
en R debe ser cerrado y acotado. Para establecer el recproco, suponer que K es
cerrado y acotado, y sea. = { G } una cubierta abierta de K. Se desea demostrar
que K debe estar contenido en Jaunin de alguna subcoleccin finita de .#. La
demostracin se har por contradiccin. Se supone que:
(*)

K no est contenido en la unin de ningn nmero finito de conjuntos

en ..

Por hiptesis, K est acotado, por lo que existe r >O tal que K C [-r, r]. Se hace
J1 := [-r, r] y se biseca !1 en dos subintervalos cerrados 1; := [-r, O] e I{' :=[O, r]. Al
menos uno de los dos subconjuntos K n I; y K n 1{' debe ser no vaco y poseer la
propiedad de que no est contenido en la unin de cualquier nmero finito de
conjuntos en .. [Porque si los dos conjuntos K n 1; y K n I{' estn conten}dos en
la unin de algn nmero finito de conjuntos en .., entonces K = (K n 11) U (K
n I') est contenido en Ja unin de algn nmero finito de conjuntos en .#, lo
cual contradice el supuesto (*).] Si el conjunto K n 1; no est contenido en la
unin de algn nmero finito de conjuntos en .#, se hace /2:=1;; en caso contra
rio K n !"tiene esta propiedad y se hace 12=1;.
' Ahor~ se biseca J en dos subintervalos cerrados 1; e I ~'. Si el conjunto K n 1;
es no vaco y no est contenido en la unin de algn nmero finito de conjuntos en .#,
se hace J :=!';en caso contrarioK n 1;' tiene esta propiedad y se se hace !3:=1;'.
Al continuar el proceso se obtiene una sucesin anidada de intervalos (In).
Por la propiedad de los intervalos anidados 2.6.1, existe un punto z que pertenece
a todos los l n' n EN. Puesto que todo intervalo I n contiene puntos de K, el punto z
debe ser un punto de acumulacin de K. Adems, como se supuso que K es cerra
do, por el teorema 10.l.8 se sigue que z EK. Por lo tanto, existe un conjunto G,_ en
. con z E G,_. Puesto que G,., es un conjunto abierto, existe e > O tal que

(z - e , + s) ~ GA.

.IHH

l,A 'l'Ol'(ll,O(lf/\

1)11, 11

111 li'lr 'ICINll,~l

Por otra parte, puesto que los intervalos 111 se obtienen prn lil:it'l'ciom:s rcpvl ldwi !111
I1 = [-r, r], la longitud de In es r2n-2 Se sigue que si 11 es lo suficit:11le111111111
grande para que r2n-2 <E, entonces In ~ (z- E, z + .s) ~ G,_. Pero esto sie11ilku
que sin es tal que r/2n - 2 < E, entonces K n I,, est contenido en el conjuuln
particular G,_ en ~ lo cual contradice la construccin de In. Esta contradi~<.:io11
demuestra que la hiptesis j ") de que el conjunto cerrado y acotado K requiere 1111
nmero infinito de conjuntos en. para cubrirlo es insostenible. Se concluye que
K es compacto.
Q.iw,

'..!.
3.

l'1N1t11111r

l'ri.:su11tar

1111)

f 'UN'l lN!IAS

1111a cubierta abierta ele N que 110 1u11.n 11i11gu1111 .:t1hn1hic1l11

una cubierta abierta del conjunto { 1/11:11 EN} que no lu11.M

ll1iiln

1d11,11

na subcubierta finita.
4. Usar la definicin 10.2.2 para, demostrar que si Fes un subconjunto cerrado
de un conjunto compacto K en R, entonces Fes compacto.
5. Usar la definicin 10.2.2 para, demostrar que si K1 y K2 son conjuntos coiu
pactos en R, entonces su unin K1 U K2 es compacta.
6. Usar el teorema de HeineBorel para demostrar la siguiente versin del tcorc
ma de BolzanoWeierstrass: Todo subconjunto infinito acotado de R tiene 1111
punto de acumulacin en R. (Obsrvese que si un conjunto no tiene pu11111s 111'
acumulacin, entonces es cerrado por el teorema 10.1.8.)
7. Encontrar una colec~in infinita {K,,: n EN} de conjuntos compactos c11 (i

Observacin, En el ejemplo 10.2.3 b) se vio que el conjunto cerrado H :=o,

co) no es compacto; obsrvese que H no est acotado. Asimismo, en el ejemplo
10.2.3 e) se vio que el conjunto acotado J : (O, 1) no es compacto; obsrvese qut:
1 no es cerrado. Por tanto, no es posible omitir ninguna de las dos hiptesis del
Teorema de HeineBorcl.

tales que la unin

K no sea compacta.
1
n
8. Demostrar que la interseccinde una coleccin cualesquiera de eoilj\111101.
compactos en Res compacta.
9. Sea {K11: n EN} una sucesin de conjuntos compactos no vacos en U 11!1 q11t
K 1:J K2:J :J
Kn :J
. Demostrar que existe al menos
un punto. U

ce

Los teoremas de HeineBorel y de BolzanoWeierstrass 3.4.7 se pueden com

binar para obtener una caracterizacin en trminos de sucesiones de los subconjuntos
de R.

tal que X E K n para toda n EN , es decir ' la interseccin 11=1 K11 es no v11d11.
10. Sea K un conjunto compacto en R. Demostrar que inf K y sup K existen y
pertenecen a K.
11. Sea K compacto en R y sea e E R. Demostrar que existe un punto a en K. tal
que c a',::: inf {le xj: x E K}.
12. Sea K compacto en R y sea e E R. Demostrar que existe un punto b en K tal
que [e bj = sup {]c x,: x E K}.
13. Usar la nocin de compacidad para dar otra demostracin del ejercicio 5.3.15.
14. Si K1 y K2 son conjuntos compactos disjuntos, demostrar que existe k; E K1 tul
que O< 1k1 k21:;; inf {!x1 x21: X EK}.
15. Dar un ejemplo de dos conjuntos cerrados disjuntos F1, F2 tales que O = inf
{;x1 xz!: x1 E KJ

JW.2.6 Teorema. Un subconjunto K de R es compacto si y slo si toda sucesin en K tiene una subsucesin que converge a un punto en K.

Demostracin. Supngase que K es compacto y sea (x ) una sucesin con x

E K para toda n EN. Por el teorema de HeineBorel, el conj~'nto K est acotado, d~
donde la sucesin (x est acotada; por el teorema de BolzanoWeierstrass 3.4.7,
existe una subsucesin (x11k) que converge. Dado que K es un conjunto cerrado
(por el teorema de HeineBorel), el lmite x = lm (xnk) est en K. Por tanto, toda
sucesin en K tiene una subsucesin que converge a un punto de K.
Para establecer el recproco, se probar que siK no es cerrado o no est acota
do, entonces debe existir una sucesin en K que no tiene ninguna subsucesin que
converge a un punto de K. Primero, si K no es cerrado, entonces existe un punto de
acumulacin e de K que no pertenece a K. Puesto que e es un punto de acumula
cin de K, existe una sucesin (x ) con x 11 E K y x n =F e para n E N tal que lm ('x 11 )
=c. Entonces toda subsucesin de (xn) tambin converge a e y como e e K, no
existe ninguna subsucesin que converge a un punto de K.
,
Segundo, si K no est acotado, entonces existe una sucesin (x11) en K tal que
fxnl > n para toda n EN. (Por qu?) Entonces ninguna subsucesin de (xn) deja de
estar acotada, de donde ninguna subsucesin de ella puede converger a un punto
deK.
Q.E.D.
11)

.,,

11

Ejercicios de la seccin 10.2

l. Presentar una cubierta abierta del intervalo (1, 2) que no tenga ninguna
subcubierta finita.

SECCIN rn.3 Funcones continuas

En esta seccin se examinar la manera en que el concepto de continuidad de

funciones se puede relacionar con las ideas topolgicas de conjuntos abiertos y
conjuntos compactos. Se establecern en este contexto algunas de las propiedades
fundamentales de las funciones continuas en intervalos presentadas en la seccin
5.3. Entre otras cosas, estas nuevas argumentaciones demostrarn que el concepto
de continuidad y muchas de sus importantes propiedades se pueden llevar a un
nivel ms alto de abstraccin. Esto se estudiar brevemente en la siguiente seccin
relativa a los espacios mtricos.

Continuidad
En la seccin 5.1 se examin la continuidad en un punto; es decir, la continui
dad "local" de funciones. A continuacin se analizar principalmente la conti

3\IU

l./\ 'J'Ol'()l,()(11/\

lll(

11 IN< 'I< IN11'! 1 '< HI 1lt111/\'

nuidad "global" en el sentido de que se supondr que las funciones son rn111 im111r1
en la totalidad de sus dominios.
En la seccin 5.1 se defini la continuidad de una funcin f: A r+ }( i.;11 1111
punto e E A. La definicin 5.1.1 establece que/ es continua en c si para toda vccln
dad-e Vt:(f (c)) de f (c) ex~ste una vecindado V0(c) tal que si x E V0(c) nA, c111011
Vif(c)). ~e quiere reformular esta condicin de continuidad en un punto
en termmos ele vecmdades generales. (Recurdese por 10.1.1 que una vecindad
de un punto e es cualquier conjunto U que contiene una vecindade de e parn
alguna e >O.)

=t:

. 10.3.1 Lema. Una funcin f: A -+ R es continua en el punto e de A si y slo

si para toda vecindadU de f(c), existe una vecindad V de e tal que si x E V n A,
entonces f (x) E U.
Demostracon, Supngase que f satisface la condicin enunciada. Entonces
dada e> O,, se ?ace U= Vi/ (c)) y despus se obtiene una vecindad V para la cual
x E V n A i~di~a que f(x) E U. Si se elige
> O tal que V0(c) k V, entonces x
E Va(c) n A indica que f (x) E U; por lo tanto, fes continua en c de acuerdo con la
definicin 5.1.1.

Recprocamente, si fes continua en e en el sentido de la definicin 5.1.1,

e~tonces, como cualGuie~ vecindad U de /(c) contiene una vecindade V//(c)), se
sigue que al tomar la vecindadS V= Vo(c) de e de la definicin 5.1.1 se satisface
la condicin del lema.
Q.E.D.

. Cabe hacer not~r que el enunciado de que x E V n A indica que /(x) E es

eqmvalen~e al enu.ncrndo de que f(V A) k U; es decir, que la imagen directa de
V nA esta contenida en U. Y por la definicin de imagen inversa, esto es Jo mismo
~ue V n A k -1(U). (Ver la seccin 1.2 para las definiciones de imagen directa e
mversa) Usando esta observacin se obtiene una condicin para que una funcin
sea continua en su dominio en trminos de conjuntos abiertos. En cursos ms avan
zados de topologa el inciso b) del siguiente resultado con frecuencia se toma como
definicin de continuidad (global).

. , 10.3.2 T~o~ema de continuidad global. Sea A ~ R y sea f: A -. R una functon con dominio A. Entonces los siguientes enunciados son equivalentes:
a) fes continua en todo punto de A.
b) Para todo conjunto abierto Gen R, existe un conjunto abierto H en R tal
que H n A = 1(G).
Demost~acin. ~) :::::} b). Supngase que fes continua en todo punto de A, y
sea G un con1~mto abierto en R dado. Sic pertenece a/1(G), entoncesf(c) E G, y
como~ es. abierto, Ges.una vecindad def(c). Por lo tanto, por el lema anterior, de
la continuidad de f se sigue que existe un conjunto abierto V(c) tal que x E V(c)

\IJI

. 1,:11 1:1 1111:1J',i.:11

.
.
1 (( ') . sL'
i111plirn quv f ( 1) 1 <,";es decir, V(c) est <:011fe111dn
111vt1.~;i
selecciona \/(e) para cada e en f 1 (G), y sea l/ la u11i611 de Indos cslos <:t111j1111los
ll(c). Por las propiedades de los conjuntos abiertos 10.1.4, el conjunto 11 es ahiello
y se tiene H n A -1(G). Por tanto, a) implica b ).
b) ~a). Sea c un punto cualquiera de A, y sea G una vecindad abierta de f(c).
Entonces la condicin b) implica que existe un conjunto abierto H en R tal que//
n A= -i(G). Puesto que/(c) E G, se sigue que c EH, de donde Hes una vecindad
de e. Si x EH n A, entonces f (e) E G y, por lo tanto, fes continua en c. Con esto se
demuestra que b) implica a).
O.E.O.

En el caso en que A = R, el resultado anterior se simplifica en cierta medida.

10.3.3 Corolario. Una funcin f: R-+ Res continua si y slo si 1(G) es

abierta en R siempre que G sea abierto.
Se debe subrayar el hecho de que el teorema de continuidad global 10.3.2 no
establece que sif es una funcin continua, entonces la imagen directaf(G) de un
conjunto abierto es necesariamente abierto. En general, una funcin continua no
enviar conjuntos abiertos a conjuntos abiertos. Por ejemplo, considrese la fun
cin continu~ f: R + R definida por

f(x) := x2 + 1,

XER.

Si Ges el conjunto abierto G := (1, 1), entonces la imagen directa bajo

= [1, 2), que no es abierto en R. Ver los ejercicios para ms ejemplos .

f esf(G)

Preservacin de la compacidad
En la seccin 5.3 se demostr que una funcin continua pasa un intervalo
cerrado y acotado [a, b] a un intervalo cerrado y acotado [m, M], donde m y M son
los valores mnimo y mximo de f en [a, b ], respectivamente. Por el teorema de
HeineBorel, stos son subconjuntos compactos de R, por lo anP pi 'eorema 5.3.8
es un caso especial del siguiente teorema m&~

10.3.4 Preservacin de la compacidad. Si K es un subconjunto compacto de

R y si f: K-+ R es una funcin continua en K, entonces f (K) es compacto.
Demostracin. Sea .;; { G1.} una cubierta abierta del conjunto f (K). Se debe
demostrar que .tiene una subcubierta finita. Puesto que f(K) k U Gt., se sigue
que K k U 1(G1
Por el teorema 10.3.2, para cada G1. se puede encontrar un
conjunto abierto H1. tal que Hx_ n K = -1(G').). Entonces la colecci~n {H1.}. es una
cubierta abierta del conjunto K. Puesto que K es compacto, esta cubierta abierta de
K contiene una subcubierta finita {H1.l' H1.2, . , H x.n}. Se tiene entonces

.l')).

l./\

'1'(11'()1

( H I[/, 1 JI

u (GA.) u"

JI

l'llN('l<lNJi.~i

t'()N'l'INlli\S

1'11

i=I

HA; 1

K ~ K.

lf(x)

i=I

f(udl

< ie

lf(u) - f(udl <~E.

De esta relacin se sigue que

U GA.;

;:;;)

f(K). Por tanto, se ha encontrado u11n

subcubierta finita ele .:#. Puestd qhe .' es una cubierta abierta arbitraria ele f(l\ ),
se concluye que f(K) es compacto.
o.u.n.

ll0.3.5 Algunas aplicaciones. Se indicar a continuacin cmo aplicar 111

nocin de compacidad (y el teorema de HeineBorel) para obtener otras dernostra
ciones de algunos resultados importantes que se probaron usando el teorema do
BolzanoWeierstrass. De hecho, estos teoremas conservan su validez si los inter
valos se reemplazan por conjuntos compactos no vacos cualesquiera en R .
A) El teorema de acotabilidad 5.3.2 es una consecuencia inmediata del teore
ma.10.3.4 y del teorema de HeineBorel 10.2.5. De hecho, si K ~Res compacto
Y si f: K-> R es una funcin continua en K, entonces f(K) es compacto y, en
consecuencia, est acotado.
B) El teorema del mximomnimo 5.3.4 tambin es una consecuencia inme
diata del teorema 10.3.4 y del teorema de HeineBorel. Como se hizo anteriormen
te, se encuentra que f(K) es compacto y, por tanto, est acotado en R, por lo que s*
:= s~p f(K_) ~x.iste. Si f(K) es un conjunto finito, entonces s* Ef(K). Si f(K) es un
conjunto infinito, entonces s* es un punto de acumulacin de/(K) [ver el ejercicio
1.0.2.6). Puesto quef(K) es un conjunto cerrado, por el teorema de HeineBorel, se
sigue por el teorema 10.l.8 que s* E f(K). Se concluye que s* = f(x*) para alguna
x* EK.
C) Tambin se puede dar una demostracin del teorema de continuidad uni
forme 5 .4.3 basada en la nocin de compacidad. Para ello, sea K ~ R compacto y
sea f: K-> R una funcin continua en K. Entonces, dada E > O y u E K, existe un
nmero
:= {!e, u)> O tal que six EKy lxu <u' entonces lf(x)-f(u)I < ie.
Para . cada u EK, sea. ,, Gu :=(u - H5u , u+ !8)u ' de tal modo que G u es abierto ' se
considera la coleccin .': = { G u: u E K}. Puesto que u E Gu para u E K, es un

ou

hecho trivial que K ~

ueK

Se tiene por lo tanto lf(x) - f(u)I < e.

Se ha demostrado que si e> O, entonces existe c5(e) > O tal que si x, u son
puntos cualesquiera de K con lx ul < c5(e), entonces lf(x)- f(u)I <~Puesto que
e > O es un valor cualesquiera, con esto se demuestra que fes umformemente
continua en K, como se afirm.
Se concluye esta seccin ampliando el teorema de la inversa continua 5.5.5 a
funciones cuyos dominios son, en lugar de intervalos en R, subconjuntos compac
tos de R.

H).3.6 Teorema. Si K es un subconjunto compacto de R y f: K _. R es una

funcin inyectiva y continua, entonces 1 es continua en f(K).
Demostracin, Como K es compacto, entonces el teorema 10.3.4 implica que
la imagen f(K) es compacta. Puesto que fes inyectiva por hiptesis, la funcin
inversa 1 est definida de f(K) a K. Sea (Y,) cualquier sucesin convergente en
f(K) y sea y0 = lm (y n). Para establecer la continuidad de 1 se demostrar que la
sucesin (f1(y )) converge a -1(y0).
Sea x := ll(y ) y, por el mtodo de contradiccin, supngase que (xn) no
11
,,
"(')tl
converge ax0 := 1(y
0). Entonces existe una E> O y una su b sucesin
xk a que
lx' x i ? E para toda k. Puesto que K es compacto, se concluye por el teorema
10.2.6 ~ue existe una subsucesin (x ;) de la sucesin (x~) que converge a un punto
x* deK. Puesto que [x" -x 1? E, se tienex*
x0.Ahora bien, como/es continua,
se tiene lim (f(x"))
=
/(x~).
Asimismo,
como
la subsucesin (y;) de (y,,) que
1subsucesin
corresponde a la
(x ~) de (xn) debe converger al mismo lmite que

(y,,), se tiene
lm (f(x~))

lm

(y~)= Yo= f(xo)

G . Puesto que K es compacto existe un nmero finito

u

'

de conjuntos, digamos Gup ... , G uM cuya unin contiene a K. Se define ahora

o(e) == finf{o,, 1 , ...

,ou },
.\1

de donde 8( E) > O. Ahora bien, si x, u E K y lx ul < o( e), entonces existe alguna

uk con k = 1, ... , M tal que x E G,,k; por lo tanto, lx ukl < ! 8uk Puesto que se tiene
8(e) ~ ~Ouk' se sigue que

Se concluye, por lo tanto, que /(x*) = f (x0). Sin embargo, como fes inyectiva, esto
implica que x* = x0, lo cual constituye una contradiccin. Se concluye, por tan
to, que 1 pasa sucesiones convergentes en f (K) a sucesiones convergentes en K
y, en consecuencia, 1 es continua.
Q.E.D.

Ejercidos elle la seccin .HU

1. Sea que f: R-> Rest definida por f(x) := x2, x E R. a) Demostrar que la
imagen inversaf1(1) de un intervalo abierto I :=(a, b) es un intervalo abier
to, la unin de dos intervalos abiertos, o bien, el conjunto vaco, dependiendo

3\)4

LATOl'Ol.OOIA

2.

3.
4.

5.
6.
7.
8.
9.
1 O.

JIJ.'.I

llH N

de a y b. b) Demostrar que sil es un intervalo abierto que contiene u O, c11ICl11

ces la imagen directa f(I) no es abierta.
Sea que f: R--+ Rest definida por f(x) := 1/(1 + x2), x E R. a) Encontrar 11n
intervalo abierto (a, b) cuya imagen directa bajof no sea abierta. b) Demos
trar que la imagen directa del intervalo cerrado [O, oo] no es cerrada.
Sea I := [1, oo] y sea f(x) = ~para
x E J. Para toda vecindade G = (t:,
+ e) de O, presentar un conjunto abierto H tal que H n I = 1(G).
Sea que h: R--+ Rest definida por h(x) := 1 si O ~ x ~ 1, h(x) :=O en caso
contrario. Encontrar un conjunto abierto G tal que h-1(G) sea no abierto y un
conjunto cerrado F tal que h-1(F) sea no cerrado.
Demostrar que si f: R--+ Res una funcin continua, entonces el conjunto
{x E R: f(x) < a} es abierto en R para toda a E R.
Demostrar que si f: R--+ Res una funcin continua, entonces el conjunto
{x E R: f(x) ~ a} es cerrado en R para toda a E R.
Demostrar que sif: R--> Res una funcin continua, entonces el conjunto {x
E R: f(x) = k} es cerrado en R para toda k E R.
Dar un ejemplo de una funcinf: R--> R tal que el conjunto {x E R: f(x) = 1}
no es ni abierto ni cerrado en R.
Demostrar quef: R--> Res una funcin continua si y slo si para todo conjun
to cerrado F en R. la imagen inversa -1(F) es cerrada.
Sea l := [a, b] y sean f: l t R y g: I > R funciones continuas en /. Demostrar
que el conjunto {x El: f(x) = g(x)} es cerrado en R.

SECCIN HJJ,4 Espacios mtricos

Este libro se ha dedicado al estudio cuidadoso del sistema de los nmeros
reales y de diferentes procesos de lmites que se pueden definir para funciones de
una variable real. Uno de los temas centrales fue el estudio de las funciones conti
nuas. En este punto, con una slida comprensin del anlisis en la recta real, se
puede iniciar el estudio de espacios ms generales y los conceptos de lmites rela
cionados. Es posible generalizar los conceptos fundamentales del anlisis real de
varias maneras diferentes, pero una de las ms provechosas es en el contexto de los
espacios mtricos, donde mtrico es una abstraccin de una funcin de distancia.
En esta seccin se introducir la idea de espacio mtrico para indicar a conti
nuacin la manera en que ciertas reas de la teora desarrollada en este libro se
pueden ampliar a este nuevo contexto. Se analizarn los conceptos de vecindad
de un punto, de conjuntos abiertos y cerrados, de convergencia de sucesiones y de
continuidad de funciones definidas en espacios mtricos. La finalidad de esta bre
ve explicacin no es desarrollar la teora de los espacios mtricos con gran profun
didad, sino poner de manifiesto la manera en que las ideas y las tcnicas claves del
anlisis real se pueden ubicar en un marco ms abstracto y general. El lector debe
r observar cmo los resultados bsicos del anlisis en la recta real sirven para
motivar y encauzar el estudio del anlisis en contextos ms generales.
.
La generalizacin puede cumplir dos importantes objetivos. Uno es que los
teoremas derivados en contextos generales con frecuencia se pueden aplicar en

muchos c11~0.i paniculares sin necesidad de una demostracin separada para cada
caso especial. El segundo objetivo es que al eliminar las caractersticas no esenci~
les, y en ocasiones distrayentes, de las situaciones particulares, con frecuencia
resulta posible la comprensin de la significacin real de un concepto o teorema.

Mtricos
En la recta real, los conceptos de lmites se definieron en trminos de la dis
tancia lx-y 1 entre dos puntos x, y en R, y muchos teoremas se demostraron usando
la funcin del valor absoluto. En realidad, un estudio atento revela que slo se
requirieron unas cuantas propiedades claves del valor absoluto para probar mu
chos resultados fundamentales, y resulta que estas propiedades se pueden extractar
y aplicar para definir funciones de distancia ms generales llamadas "mtricos".
Hl.4.1 Denlcin. Un mtrico en un conjunto Ses una funcin d: S x S ~ R
que satisface las siguientes propiedades:
a) d(x, y);;.: O para toda x, y ES ipositividady;
b) d(x, y) = O si y slo si x =y (precisin);
e) d(x, y)= d(y, x) para toda x, y ES (simetra);
d) d(x, y)~ d(x, z) + d(z, y) para toda x, y, z ER (desigualdad del tringulo).
Un espacio mtrico (S, d) es un conjunto S junto con un mtrico den S.
Se consideran varios ejemplos de espacios mtricos.

rn.4l.2 Ejemplos. a) El mtrico familiar en R est definido por

d(x, y)

:=

lx yl

para

x, y

R.

La desigualdad del tringulo parad se sigue de la desigualdad del tringulo para el

valor absoluto ya que se tiene

d(x,y)=\x

- yl

\(x - z) + (z - y)\

,;; lx z]

[z yl

d(x, z) + d(z, y),

para todax, y, z E R.
b) La funcin de distancia en el plano obtenida a partir del teorema de Pitgoras
ofrece un ejemplo de un mtrico en R2 Es decir, se define el mtrico den R2 de la
manera siguiente: si P1 := (xl' y1) y P 2 := (x2, y2) son puntos en R2, entonces

e) Es posible definir varios mtricos diferentes en el mismo conjunto. En R2

tambin se puede definir el mtrico d 1 de la siguiente manera:

l./\ 'i'OJ'()J

d 1 ( p 1' p 2) = 1 X l

0( HA 1 ll 11

X2

1 'd'A! 'U

Otro mtrico ms en R2 es d,,, definido por

V,( X o)

La com.pro?a.cin de que d, Y d00 satisfacen las propiedades de un mtrico se deja

como e1erc1c10.

. . d) Sea que C [O, 1] denote el conjunto de todas las funciones continuas en el

intervalo [O, 1]. Para f, gen C[O, 1 ], se define
E

[0,1]}.

Entonces .se puede verificar que d,,, es un mtrico en C[O, 1 J. Este mtrico es la
norma uniforme de/ g, segn se defini en la seccin 8.1; es decir, d""(f, g) l/f
- g/l, donde 1 11.1 denota la norma uniforme de f en el conjunto [O, 1].
e) Se considera nuevamente C[O, 1], pero ahora se define un mtrico diferen
te d1 por

I, g

C[O, IJ.

Es posibl~ u.sar las propiedades de la integral para demostrar que ste es en reali
dad un metnco en C[O, 1]. Los detalles se dejan como ejercicio.
f) Sea S un conjunto no vaco. Para s, t e S se define

d(s,t):=O
:=

si

si

s =I=

1\111 l'IW

= t,

t.

Es u~ ejercicio demo~trar quedes un mtrico en S. Este mtrico se llama el mtri

co discreto en el conjunto S.
.~abe hace1r notar que si (S, d) es un espacio mtrico y si T ~ S, entonces d'
definido por d (x, Y) := d(x, Y) para toda x, y e T produce un mtrico en T, el cual
se denota g~ner~l~ente por d. Con base en lo anterior, se dice que (T, d) tambin
es un espac;o .metnco. Por ~jemplo, el mtrico den R definido por el valor absolu
to es .un metnco en el conjunto Q de los nmeros racionales y por tanto (Q d)
tambin es un espacio mtrico.
'
'
'

Vecindades y convergencia
. La nocin bsica necesaria para introducir los conceptos de lmites es la de
vecmdad, la cual se define en espacios mtricos de la siguiente manera.

:=

\1)/

< 1:l

IO.l .. 1 lhhukin. Sea (S, d) un espacio mtrico.

vecindad r de un punto x0 en Ses el conjunto

I + 1 Y - Y z l.

d~(f,g) :=sup{lf(x)g(x)l:x

1:,

Entonces

para e>

O la

{X E S: d ( X o , X) < S} .

Una vecindad de x0 es cualquier conjunto U que contiene una vecindade de x0

para alguna e > O.
Cualquier nocin definida en trminos de vecindades se puede definir y anali
zar ahora en el contexto de los espacios mtricos mediante la modificacin ade
cuada de la terminologa. Se considera primero la convergencia de sucesiones.
Una sucesin en un espacio mtrico (S, d) es una funcin X: N---> S con domi
nio N y codominio en S, y se usa la notacin usual para sucesiones; se escribe X:=
(xn') pero ahora x,, e S para toda n e N. Al sustituir el valor absoluto de la defini
cin convergencia de sucesiones por un mtrico, se llega a la nocin de convergen
cia en un espacio mtrico.

10.4.4 Definicin. Sea (x,.) una sucesin en el espacio mtrico (S, d ). Se dice
que la sucesin (x,,) converge ax en S si para cualquier e > O existe K EN tal que
x11 e Vs(x) para toda n ;;o K.
Obsrvese que como x11 e V/x) si y slo si d(x11, x) < e, una sucesin (x,.)
converge ax si y slo si para cualquier e> O existe Ktal que d(x11, x) < s para toda
n ;;o K. En otras palabras, una sucesin (x,.) en (S, d) converge ax si y slo si J
sucesin de nmeros reales (d(x11, x)) converge a O.
10.4.5 Ejemplos. a) Considrese R2 con el mtrico d definido en el ejemplo
10.4.2 b). Si Pn = (xn' yn) e R2 para toda n eN, entonces se afirma que la sucesin
(P11) converge a P = (x, y) con respecto a este mtrico si y slo si las sucesiones de
nmeros reales (x,.) y (y11) convergen ax y y, respectivamente.
Primero, se observa que la desigualdad lx11 xi ~ (d(P11, P) implica que si (/'11)
converge a P con respecto al mtrico d, entonces la sucesin (x11) converge x;
la convergencia de (y11) se sigue con un razonamiento similar. El recproco se
sigue de la desigualdad d(P11, P) ~ lx" xj + ly11 y, la cual se verifica con
facilidad. Se dejan los detalles al lector.
b) Sea d"' el mtrico en C[O, 1] definido en el ejemplo 10.4.2 d). Entonces
una sucesin (
en C[O, 1] converge a f con respecto a este mtrico si y slo si
(!,.)converge uniformemente a/en el conjunto [O, J.]. Esta condicin se estableci
en el lema 8.1.8 en la explicacin de la norma uniforme.

t; )

Sucesiones de Cauchy
La nocin de sucesin de Cauchy es un concepto importante en los espacios
mtricos. La definicin se formula como se anticipara, con el mtrico sustituyen
do al valor absoluto.

J')H

11.:ll'/\I 1rnl M1t 1'1(1( 'Wi

LA 'l'OPOl ,rnll/\ 1)lt11

10.4.6 Definicin. Sea (S, d) un espacio mtrico. S1 dice que una NtlCl'~lii'll
(xn) en Ses una sucesin de Cauchy si para toda e >O existe JI EN tal que i/(111,
x111) < e para toda n, m ;;,, H.
El teorema de convergencia de Cauchy 3.5.4 para sucesiones en R estahloco
que una sucesin en Res una sucesin de Cauchy si y slo si converge a un punto
de R. Este teorema no se cumple para espacios mtricos en general, como lo rcvc
lan los ejemplos que siguen. Los espacios mtricos para los cuales las sucesiones
de Cauchy son convergentes poseen una importancia especial.
10.4.7 Definicin. Se dice que un espacio mtrico (S, d) es completo si toda
sucesin de Cauchy en S converge a un punto de S.
En la seccin 2.4 la propiedad de completidad de R .se estableci en trminos
de las propiedades de orden imponiendo el requisito de que todo subconjunto no
vaco de R que est acotado por arriba tenga un supremo en R. La convergencia de
las sucesiones de Cauchy se deduce como un teorema._ De hecho, es posible inver
tir los papeles de estas propiedadesfundamentales deR: la propiedad de completidad
de R se puede enunciar en trminos de sucesiones de Cauchy como en 10.4.7, y la
propiedad del supremo se puede deducir entonces como un teorema. Puesto que
muchos espacios mtricos no tienen una estructura de orden apropiada, el concep
to de completidad se debe describir en trminos del mtrico, y las sucesiones de
Cauchy ofrecen el medio natural para ello.
10.4.8 Ejemplos. a) El espacio mtrico (Q, d) de los nmeros racionales con
el mtrico definido por la funcin del valor absoluto no es completo.
Por ejemplo, si (x11) es una sucesin de nmeros racionales que converge a -Ji,
entonces es una sucesin de Cauchy en Q, pero no converge a un punto de Q. Por
lo tanto, ( Q, d) no es un espacio mtrico completo.
b) El espacio C[O, 1] con el mtrico d definido en 10.4.2 d) es completo.
Para probar esta afirmacin, supngase que (!,.) es una sucesin de Cauchy
en C[O, 1] con respecto al mtrico d,,,. Entonces, dada e > O, existe H tal que

_l 1+1
2 2
n

FIGURA 10.4.1 La sucesin(!.).

Para probar esta a~irmacin.basta pres~~tar una ~~~e:ii~i::tec;~~~~a

1~~r~~
tenga lmite en el espacio. Se define la sucesin (!.) d
g
figura 10.4.1):
para ~X< 1/2
fn(x) := 1
para 1/2 < X ~ 1/2 + ljn
:=
1 + n/2 nx

:=o

para 1/2

ljn

<X

l.

.,
)
ntualmente a la funcin discontinua
Obsrvese que la sucesin (!" converge p~ 2 < < 1 Por tanto fe: C[O, 1 ]; de
f(x) := 1 para O ~ x ~ 1/2 Y f(x) :=O para /
x -
__.
'
0
hecho, no hay ninguna funcin g E C[O, 1] tal que d(f", g)
.

Conjuntos abiertos y continuidad

Una vez definida la nocin de vecindad, las ~efiniciones de conJunto abierto y

conjunto cerrado se escriben igual que para conjuntos en R.

:~: ~~jt~~t~

. 10 4 9 Definicin. Sea (S, d) un espacio mtrico. Se dice ~ue un subc?i~u~t~

(#)

para toda x E [O, 1] y toda n, m ;;,, H. Por tanto, para toda x, la sucesin ( f,,(x)) es
una sucesin de Cauchy en R y, por consiguiente, converge en R. Se define f como
el lmite puntual de la sucesin; es decir,f(x) := lm (J,,(x)) para toda x E [O, 1 ]. Por
(#) se sigue que para toda x E [O, 1] y toda n ;;,, H se tiene Jf,,(x) f (x)i ~ e. En
consecuencia, la sucesin ( !,.) converge uniformemente a f en [O, l]. Puesto que
el lmite uniforme de funciones continuas tambin es continuo (por 8.2.2), la fun
cin f est en C[O, I]. Por lo tanto, el espacio mtrico (C[O, 1 ], d<J es completo.
e) Si d, es el mtrico en C[O, 1] definido en 10.4.2 e), entonces el espacio
mtrico (C[O, 1), d1) no es completo.

Gd de s1~~ unUcocnjGun~e
a~~:rqt:=~~
~u~~o; :s~:~1~~~t~~~::~~:;0 en
ex ta que
_
.
.
s
S si el complement~0s~yes1~i~
c;~~~;~~::~e~~~~~io~es e intersecciones de c~n
Los teoremas .

m liar sin dificultad a espacios
juntos abiertos y conjuntos cer:a~,os ses~~~~:; ~t~cos de las demostraciones de
mtricos. De hecho, la transpos1c10n a ~odificaciones simplemente se sustituyen
esos teoremas se hace con muy pocas
. .
'v ( ) S
.
d
(
+ e) en R con vecindadese e x en
las vecinda ese x - e, x
d
. . dad de funciones que mapean un
Se examina ahora el concepto ~ co~tt1~U1 (S d ) Obsrvese que la defin
.
, (S d ) en otro espacio me neo 2, 2
.
espacio rnetnco 1' 1
.
R modifica al reemplazar las vecin
.
,
n
5
1
1
de
continuidad
para
funciones
en
se
ClO

.
, .
dades en R con vecindades en los espac10s mtncos

11\ '101'(>1!HI/\111'

tll)(J

1,~W/\( 'l(l~i Mll,'t'ltl<

/1

10.4.10 Definicin. Sean (SJ, d1) y (S2, d2) cspack, 11wl 11111.~ y sl':i f: \ S,
una funcin de S1 a S2. Se dice que la funcin/ es continua e11 el pu1110 r: de .'1 :il
para toda vecindade Ve(f(c)) def(c) existe una vecindad V8(c) ele e tal <LI\:. :ii 1
E V8(c), entonces f(x) E Vif(c)).
La formulacin e-8 de la continuidad se puede establecer de la siguiente mu
nera: f: S1> S2 es continua en c si y slo si para toda e > 0 existe > 0 tal que
d(x, c) < 8 implica que d2(f (x), f(c)) < e.
1

El teorema de continuidad global se puede establecer para espacios mtricos

mediante la modificacin apropiada de la argumentacin para funciones en R.

10.4.11 Teorema de continuidad global. Si (Sl' dJ) y (S2, d2) son espacios
mtricos, una funcion] : S1> S2 es continua en S1 si y slo si -1(G) es abierto en
S1 siempre que G sea abierto en S2.
La nocin de compacidad se ampla de inmediato a los espacios mtricos.
Se dice que un espacio mtrico (S, d) es compacto si toda cubierta abierta de S
tiene una subcubierta finita. Entonces al modificar la demostracin de 10.3.4 se
obtiene el siguiente resultado.

10.4.12 Preservacin de la compacidad. Si (S, d) es un espacio mtrico

compacto y f: S-> Res una funcin continua, entonces f(S) es compacta en R.
Por tanto, las importantes propiedades de las funciones continuas

dadas en

10.3.5 se siguen de inmediato. El teorema de acotabilidad, el teorema del mxi

momnimo y el teorema de la continuidad uniforme para funciones continuas con
valores reales en un espacio mtrico compacto se establecen mediante la modifica
cin apropiada de la terminologa de las demostraciones dadas en 10.3.5.

Ejercicios de la seccin 10.4

l. Demostrar que las funciones d, y d. definidas en 10.4.2 e) son mtricos en R2.
2. Demostrar que las funciones d y d1 definidas en 10.4.2 d, e) son mtricos en

C[O, 1].
3. Verificar que el mtrico discreto en un conjunto S segn se defini en 10.4.2
f) es un mtrico.
4. Si P11 := (x11, Y,,) E R2 y d es el mtrico de 10.4.2 e), demostrar que (P,.)
converge a P := (x, y) con respecto a este mtrico si y slo si (x,,) y (Y,,) conver
gen ax y y, respectivamente.
5. Verificar la conclusin del ejercicio 4 si d. se sustituye con d..
6. Sea S un conjunto no vaco y sea del mtrico discreto definido en 10.4.2 f).
Demostrar que en el espacio mtrico (S, d) una sucesin (x11) en S converge a
x si y slo si existe una K EN tal que x,, = x para toda n ;:;, K.
7. Demostrar que si des el mtrico discreto en un conjunto S, entonces todo
subconjunto de Ses a la vez abierto y cerrado en (S, d).
8. Sean P := (x, y) y O:= (O, O) enR2 Trazar los siguientes conjuntos en el plano:
a) {PE R2: i1(0, P) ~ l}.
b) {PE R2: d,)O, P).:; l}.

1111 rrn1j1111lo

q111.: cu cualquier

11()1

espacio mtrico una vecindade de un punto es

abierto.
1 O. Demostrar el teorema 10.4.11.
11. Demostrar el teorema 10.4.12.
.
,
12. Si (S, d) es un espacio mtrico, se dice que un subcon1du(nto A)~ SBe}s~acot~da~
siexistex ESyunnmeroB>OtalqueA~{xES:
x,x0 ~
emosr
que si A e~ un subconjunto compacto de S, entonces A es cerrado Y acotado.
'J.

l cnH:.litii

'WI