Professional Documents
Culture Documents
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
(l
X) m =
L ( i;: ) X "
o~X <
para
l.
n=O
I: 111.
1-x
n= O
log ( 1
+ x)
00
< 1, entonces x =
(l)"+l
i
x ".
1)
I: ---x2,,+1.
ce
11
n=o2n+l
18. Demostrar que si lxl
1 . 3 ... ( 2 n - l)
11=<1
x 211 +
2n+I
24'2n
fax:2 dt para x E R.
fo'(l
F ( ~ , k)- - -71'
2
2 n=O
(13(2n1))2
2 4 2n
k2"
para
lkl <
l.
'
376
1.A 'l'Ol'Ol.()C:IA
t ON 11 IN'I OS Allllll'I
1>I!11
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.
es un conjunto abierto.
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.
Demostracin.
F :=
AEA
LJ
AEA
1,/\
'l'()I'(
)1 ( )(
f\ lll\ 11
/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.
UF
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.
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.
380
1,A 'l'Ol'Oi,()(IA
lll! /I
1111mi11
l1111111.~ll'llct.:i(111
IH 1
to lle Cantor.
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
n =
LJ Ix.
xEG
Despus se elimina la tercera parte abierta de en medio de cada uno de los dos
intervalos cerrados en F1 para obtener el conjunto
3H2
f /\
I JI 1, u
L=
l.
11,
X=
n=l
3:
= ( 12 ''
;\J 111,l(l'O.'\
,\H_I
V ( 'P.IU(I\ 1 )(IS HN 11
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.)
1. Si x
Ex,
( ON.11 IN'!'()S
, '' )3
n
00
1AT<Jl'lll,(Hl(A1111
~ 'C\NfN'J't)~
< 'OMl'i\(TOS
~) :=
.1
:=
.Y'2 :=
{(0,co)},
r - 1, r
.3 == {(O,n):
~ ==
n EN},
O'
n t; n~I
U
3Hf1
1.A '1'01'01(HllA1111
I'
I/
('ONlllN'IWl('OMl'A(
G,,2
u ... u c .. ,=
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.
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
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
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.
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
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
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
ce
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.
.,,
11
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(
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.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
f(x) := x2 + 1,
XER.
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&~
.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
U GA.;
;:;;)
subcubierta finita ele .:#. Puestd qhe .' es una cubierta abierta arbitraria ele f(l\ ),
se concluye que f(K) es compacto.
o.u.n.
ou
ueK
(y,,), se tiene
lm (f(x~))
lm
'
,ou },
.\1
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.
3\)4
LATOl'Ol.OOIA
2.
3.
4.
5.
6.
7.
8.
9.
1 O.
JIJ.'.I
llH N
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.
d(x, y)
:=
lx yl
para
x, y
R.
d(x,y)=\x
- yl
\(x - z) + (z - y)\
,;; lx z]
[z yl
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
l./\ 'i'OJ'()J
d 1 ( p 1' p 2) = 1 X l
0( HA 1 ll 11
X2
1 'd'A! 'U
V,( X o)
[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.
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
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} .
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
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
:=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)
.
:~: ~~jt~~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
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
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.
dadas 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
l cnH:.litii
'WI