Professional Documents
Culture Documents
DE
ESPACIOS METRICOS
IGNACIO L. llliARIEN T.
Din:ciDr de la Diviai6n de
Cienciu Fiaica1 y Malelláticu
Univetlidad Simón BoUvv, Caracaa.
LIMUSA
MÉXICO, Venezuela, Colombia, Espa"a, Guatemala
2:>4 p. :1:: 2J a 15 S cm.
ISBN: I3; 978-968-18-0659~.
RÜ$1oca.
1 . Topo~
(S) 5512·29-03
~ Ononega..A:Om.m•
-noneoa.com.m·
CANIEM Núm. 121
HECHO EN MExtCO
ISBN 13: 978-9!>8-18-0659-0
<4 .1
Prólog o
IoNACIO L. huBAluu!N
Universidad Sim6n Bolívar
Contenido
Prólogo
Introducc:ión 11
l. Espacios métricos 15
1.1 Definición y casos particulares importantes, '15
1
1.2 Distancia entre conjuntos, 24
1.3 Isometría, 27
1.4 Subespacios, 28
Ejercicios, 29
m. Conectividad 57
3. 1 Conjuntos conexos, 67
3 .2 Clausura y unión de conjuntos conexos, 70
3.3 Componentes de un conjunto, 72
3.4 Espacios localmente conexos, 74
3.5 Conectividad en la recta real, 76
Ejercicios, 79
IV. Compacidad 81
4.1 Conjuntos acotados. Diámetro, 81
4.2 Conjuntos precompactos y separables, 85
.9
10 CONTENIDO
VI. Continuidad
149
6. 1 Continuidad en un punto, 149
6. 2 Continuidad en un conjunto, 155
6 .3 Continuidad en conjuntos compactos, 164
6 .4 Continuidad en conjuntos conexos, 169
·6. 5 Arco-conectividad, 173
6 .6 Continuidad uniforme, 180
6. 7 Completación de un espacio métrico, 189
6 .8 Contracciones y teorema del punto fijo, 195
Ejercicios, 199
209
VD. Espacios normados
7. 1 Fundamentos, 209
7 .2 Convexidad y poli-conectividad, 215
7. 3 Transformaciones lineales, 224
7 .4 Isomorfismo topol6gico: isotopía, 227
7. 5 Producto de dos espacios normados, 235
Ejercicios, 244
249
Bibliografía
Indice
251
lntrodu~~ión
E8 pac io8
mé tric o8
dice que un lado de un triángulo nunca tiene longitud mayor que la suma
de las longitudes de Jos otros dos lados; de allí el nombre de desigualdad
triangular.
Si debilitamos 1& propiedad 2, escribiendo solamente vx EE : d(x~ x) ""O,
estamos permitiendo la posibilidad de que existan x, y EE con x =F y,
d(x, y) =O. Naturalmente que d no es ya una métrica y recibe el nombre
de seudométrica o écart, del francés. Su importancia en Topologia es con-
siderable, pero su estudio escapa al ámbito de esta obra. Un écart induce
una métrica, a través de una relaci6n de equivalencia. Véase el Ejercicio 4.
En el lema siguiente se establecen desigualdades que resultarán de
mucha utilidad y que son consecuencia directa de los axiomas defmitorios
de una métrica.
Lema l. En un espacio métrico (E, d) se verifica
l. V x E V : llxll > O.
2. llxll - O( } x = 8; donde 8 es el vector nulo en V, o elemento neu-
tro respecto a la suma en V.
S. V x E V, VA ER: IIA%11 l.\lllxll.
=
4. V X, Y E V : llx+yll < llxll + IIYII·
(deaigualdad triangular de la norma).
Finalmente,
V x, y,z E V:
VxEV:x.x>O;x.x=O( )x=8.
pero tal desigualdad es cierta para todo valor real de_>.., en particular para
X•'Y
)..= - - :
'Y•'Y
DEFINICIÓN Y CASOS PARTICULARES, 21
de donde
lo cual tiene senticb sabiendo que x o x ~O. Veamos que se trata en ve.rdad
de una norma.
Las propiedades 1 y 2 de una norma (ejemplo 3) quedan satisfechas
trivialmente. Además,
V x,yEV:
llx+yll' Q (x+y) . (x+y) = llxW + 2(x o y) + ll:vll• <
< llxll' + 2llxllll:vll + I.IYII" = <11-~11 + IIYII>"•
de donde
entonces,
luego
..
(x - y).(x-y) = ~ (x,-y¡) 2 ,
iat
de donde
(2)
tal que
V x EA : (/- g) (x) =·f(x)- g(x).
Si
V x EA : if(x) j <M, lg(x) 1 <N,
entonces
vxE.A: j/(x)-g(x)j < lf(x)l + jg(x)I .<M +N,
tal que
Vf,gEB(A) :d(f,g) =supj/(x)-g{x)j .
•••
Tal extremo superior existe, ya que, como se vio arriba,
!f(x) -g(x)!
lo cual implica
d(f, g) = ~p lf(x) -g(x ) l'> O.
vxEA:
lf(x) - g(x)! ... l(f(x) - h (x)) 1+ h(x) -g(x)) 1 < V(x) -h(x)l +
+ lh(x) -g(x) l,
de donde, utilizando la definici6n de extremo superior
de donde
( l)
lo cual es equivalente a:
d(A,B) <d(x,y),VyEB,
(d(x,y) }.,.s,
luego
d(A,B) < d(x,B)
y como x EA es arbitrario, esta última desigualdad indica que d(A, B ) es
cota inferior del conjunto
{d(x, B ) }.,.....
Veamos qué es el máximo de las cotas inferiores. Con tal fin, tomemos un
e> O real y arbitrario. En virtud de la definición de d(A,B), existe un
x EA y un y EB tales que
1.3. ISOMETRIA
tal que
V x,yEE:d(x,y) = d'(f(x),f(y )).
g.f:E -+ G
1.4 . SUBESPACIOS
F.
De inmediato se comprueba que d es una métrica para el conjunto
1
tumbra designar también por d sin peligro de confusión. Nótese que tJ1 no
es otra cosa que la restricción de d a F X F.
De manera que (F, d) es, a su vez, un espacio métrico y se le llama
subespado de (E, d) .
Se destaca que Fes cualquier subconjunto no vacio de E.
EJEIQCIO~
d(x,y)
d'(x,y) = 1 + d(x,y)
8. Sea {d,.J una sucesión de métricas, todas ellas sobre el mismo conjunto
9. Sea E e! conjunto de todas las sucesiones reales {x,.} acotadas (Jx,.¡ <k,
para algún k> O).
Demostrar que d({x,.}, {y,.}) = sup lx~ -ynl
n
define una métrica d sobre E.
· J"
d(tg} = 1/(x)-g(xl l
~
• 1 + lf(x) -g(x) l
para ¡, g E e [a, b].
Demostrar quedes una métrica para C[a, bJ.
tal que
yx,yEE : d(x,y) = dl(f(x)',f(y)) .
1.
•
CAPITULO 11
Conjuntos abiertos·
y conjuntos
cerrados
Obsérve ae que tanto una esfera abierta como cerrada no puede ser un
conjunt o vacío, ya que al menos el centro pertenece a él. Una esfera abierta
reducida o una wperfic ie esférica puede, por otra parte, resultar un conjunt o
vaclo.
Como con&eCUencia inmediata de las definiciones, se deduce :
Al conjunt o
A- {xEA 1 ~, ea interior de A}
r1 - r-d(a,x) >O
y la esfera abierta N(x; r.). DemOitremos que N(x; r.) CN(a; r ).
inclusión, pre-
Esto nos permite toma r interioTes a ambos miembros de una
servándose el sentido de ésta.
to, es
Teor ema 2. Para todo conjunto .A en (E, d), A es un conju nto abier
decir A- A.
ceA .
do que A
Este resultado lo podemos interp retar figurativamente dicien
es el "máx imo conju nto abierto contenido en .4".
cualquiera
Obtengamos otra caracterización del interi or de un conju nto
.A : Sea la familia
F = {BCA 1B es abierto}.
En efecto,
V B EF : BCA y Bes abierto, lo cual implica
BCA ,
CONJUNTOS ABIERTOS 37
de donde
UBCA.
S= UA.
A•F
N(x; r) CA.
Por otra parte, A es, lo cual implica N(x; r) es, o sea que X es interior a
S y S es por tanto abierto. e
Teorema 4. La intersección de un número finito de conjuntos abiertos es
un conjunto abierto.
T "
=nA~.
kol
de donde
N(; c; r) CT . •
de abiertos siempre resu ltan ser
El Teo rem a 3 nos indica que las uniones
Teo rem a 4- nos dice lo mismo con
conjuntos de abiertos. Por otra par te, el
ricción de que los intenecandos
respecto a intersecciones; pero con la rest
deben ser en núm ero finito.
de un número infinito de
No puede garantizarse que la intersección
la recta real (Eje mpl o 2 de 1.1)
abiertos 5ea un abierto. Por ejemplo, en
rto, ob5ervaci6n que vale la pena
todo intervalo abierto es un conjunto abie
mC!S el intervalo abierto (a, b).
destacar. En efecto, sea a < b y conaidere
El lector comprobará :
a+ b b-a)'
N( 2 ' 2
.. • ..~
A UBCAUB, AnB -
~
•
An.B.
iu.BcA.uB y ln.EicAnB;
pero en virtud de los Teoranu 3 y 4, ÁUB y ÁnB 100 abierto~, lo cual
implica:
. . •
..............
AUBCAUB y A n Bc.&nB
. . ...-....
•
(1)
~
• . • .
AnBCA. y AnBCB;
.,....--...._,
luego,
•
.....-...
AnBcAnB,
. .
y, considerando esta última inclusión junto con la ( 1 ) , COilcluimoa:
.AnB.-. AnB..
.....-...
•
Ambos resultados establecidos en el teorema pn:cedente pueden, por
aupuesto, extenderse a un número fmito de conjuntos por inducción.
. . .
.....-...
A U B pueden muy bien no coincidir con A U B. Por ejemplo, conlidere-
mos en la recta n:alloa conjuntos
• •
R- - R- y R+ = {x ER 1x > 0},
de donde
• •
R-UR+ = R- {0}.
{1, t. f, t . ... }
N(x; r) es,
lo cual implica
Nl(x¡r) eS-{x},
de donde
4> =1= AnN1 (x; r) e (S- {x}) nA
El recíproco de este resultado es, por supuesto, cierto, ya que una esfera
abierta de centro x es un entorno de x.
,..Al conjunto de todos los puntos de acumulación de un conjunto A se
llama ccmjunto derivado de A y se designa por A'.
En general, A' puede contener desde ninguno hasta inJinitos puntos y
su relación con A puede ser cualquiera: coincidir con él, contenerlo, estar
contenido en él, ser disjunto o ninguna de estas cosas. Algunos de estos casos
dan origen a diversos tipos de conjuntos de gran importancia, como veremos
más adelante.
El teorema que sigue es bastante evidente desde un punto de vista in-
tuitivo.
Teorema l. Sea x un punto de acumulación de un conjunto A. Si S es
un entorno cualquiera de ,'{, el conjunto
ADOS
CON .JUN TOS A.BIBBTOS Y CON .JUN TOS C&BB
(S-{ x}) nA
contiene infinitos punt os.
Designemos por
'" .. d (x, xr.) > O (k- 1, 2, ... , n).
N(x; r 0 ) CS.
Sea ahor a
r ~ m.ín {1'0 , r11 r~, · · ., r.}.
Entonces
N 1 (x; r) n..t = .¡.,
ya que
N'(x ; r) CS- {x}
la bip6tesis de que x
y no contiene ning uno de los X¡. Pero esto contradice
es punt o de acumulación de .d.
e
teng a la posibili-
De este teorema se deduce que para que un conju nto
ito; dicho de otJa
dad de admi tir puntos de acumulación debe ser infin
ón, es infinito. Ex-
mane ra, si un..conjunto a¿mi te algún punt o de acumulaci
nto finito no admite
presado una vez más en form a equivalente, un conju
puntos de acumulación.
rarse que ad-
Recíprocamente, si un conju nto es infinito no puede asegu
N de los números
mita punt os de acumulación. Por ejemplo, el conju nto
ón en R . No obs-
naturales es infinito pero no admi te punt os de acumulaci
de dimensión finita,
tante, en R" o, más general, en todo espacio norm ado
adicional (acotados)
conju ntos infinitos que satisfagan una d~bil hipótesis
teorema de Bolzano.
si admiten puntos de acumulación. Este es el famoso
no es válido en un
Wcierstrass que ce verá más adela nte; desgraciadamente,
espacio métrico cualquiera.
d), conaidere-
Por último, volviendo a un espacio métrico general (E,
mos en él los conjunt03
COl'fJtJNTOS CBKBA.DOS
ACB.
A.'CB'.
A' CA,
A- A UA'
ACA y A'CA,
en virtud de la definición de A.
Supongamos que se tiene
ACB,
ÁCB.
(a, b) e [a, b)
en la recta real.
Teorema 1. Para todo conjunto A en un espacio métrico se verifica:
(A)'= A'.
Podemos suponer que (A)' ::f: .¡., ya que de lo contrario, la tesis del teorema
sería cierta trivialmente. Tomemos entonces un x E (A)' cualquiera y veamos
que x EA'. En efecto, sea S un entorno de x. S contiene infinitos puntos de
A (Teorema 1 de 2.3), es decir, infinitos puntos de AUA', y por cada
yESnA',
A' CA
En efecto,
y B E F : A C B y B es cerrado, lo cual implica
ÁCB,
de donde
ÁC n B,
..,
Por otra parte, Á es cerrado y A C Á, Juego Á EF, ·entonces
nBCÁ.
"''
En resumen, A es la intenección de todos los conjuntos cerrados que
contienen a ..t.
A los elementos de Á los hemos llamado puntos de adherencia de A. El
siguiente teorema nos pro~rciona dos útiles caracterizaciones de ellos.
a) x EA,
b} d (x,A ) -O,
e} Para t.odo en tomo S de X : sn A =fo .¡..
. .
DEJotOSTRACIÓN (a ) b) . Sea pues xEÁ - AUA'. Si xEA es evidente
que d(x,A ) =O. Supongamos que xEA' y tomemos un número real cual-
quiera a> O. Como N(x ; a} es un entorno de x, por def"mición' de punto
de acumulación se verifica
N(x¡ r) C S.
Pero r >O"" d(x,A. ), luego r no es cota inferior del conjunto .{d(x, y)}""'
lo cual implica que .d(x,y) < r, para algún y EA. Es decir, existe algún
,.. EA tal que y EN(x ; r) . O sea que
CON,JUNTOS CKaaADOS 4.7
+=;¡é:AnN(x ; r ) CSn..4
(&-}a ) Sn..4 :F+ para todo entorno S de x.
Si x EA, entonces x E .A. En caso de que x EA, la hipótesis implica que
x es punto de acumu.laci6n de .d, es decir x €.d~ y también en este caso
xE.A. e
No debe confundi~ la proposici6n (e) del teorema con la definición de
punto de acumulación. La diferencia esencial radica en que no se toma el
entorno reducido para intercectarlo con .d. Nótese que un punto aislado
de .d es también punto de adherencia.
El siguiente teorema establece una importantísima relación entre con-
juntos abiertos y cerrados: Si .d es abierto (cerrado) su complemento es
cerrado (abierto) . Puede vene como una caracterización de cerrados en
términos de abiertos, que muy bien ha podido tomarse como definici.ó n
de cerrado, tal como ae hace en topología general.
•
TeoremG 3. Un conjunto .den un espacio métrico (B,d) es cerrado si, ,y
sólo si E- .d es abierto. · ' · · .
AnN(x; r) - .;,
'
lo cual implica CJ'Je N(x; r) CE-A, o. sea que x es punto interior de E - .d
y éste es abierto. ·
Reciprocamentc, supongamos que E- .d es abierto y demostremos que .d.
es cerrado. Si E - ..4 es vaclo resulta que .d - ~. que sabemos es cerrado.
Consideremos pues E - A + +' y tomemos un xEE- ..4. Existe .un r > O
tal que N (x ; r) CE- .d., lo cual implica que ..tnN(x ; r ) - .;. Esto quiere
decir que si un punto no pertenece a .d, entonces no es de acumulación de ..4,
o 1ea que ..4 debe contener todos sus puntos de acumulación (aunque no
exiatan) y es cerrado. e
E- (E-A) .. A es abierto. •
El teorema siguiente nos indica qué sucede cuando se unen o se inter-
sectan conjuntos cerrados. Compárese con los teoremas 3 y 4 de 2.2.
Teorema 4 .
1) La unión de número finito de cerrado.s es un conjunto cerrado.
2) La intenecci6n en una fami1ia cualquiua de cerrados es un conjunto
cerrado.
D.&WOSTllACIÓN.
T ~nA.
A..,
E-R(a;r)
ea abierto.
Tomemos un x EE-Ñ(a; r), lo cual es equivalente a que
En efecto, si
)' EN(x; r~),
entonces
ea decir,
(1)
Por otra parte, , r
(2)
Sumando (1) y (2 ) :
d(a,y) > r,
50 CON .JUNT OS A.BO:R TOS Y CON .JUNT OS CBRRA .OOS
lo que equivale a
)' fÑ(a ; r),
es decir
y EE-N (a;r) .
Tenemos pues que x es punto interior de E-Ñ (a; r) y ~e et abiert
o. En
virtud del Teore ma 3, N (a; r ) es cerrad o.
o,
Para demostrar que la supe:ficie esfúic a S (a; r ) es un conju nto cerrad
basta con aplicar el Corolario 4', sabiendo que
r)
En un espacio métrico (E, d) consideremos Wlll esfera abierta N (a;
'f la cerrada del lllÍimo ~lltJO y radio Ñ (a; r) . Sabemot que
N (a ; r) CÑ(a ; r).
a que
ClaUIW'aDdo amboa miembros de esa inclllli6n y teniendo en cuent
emos:
la clausura de la esfera cerrada cai.ncide con &ta por ser cerrad a, obten
decir, la
Convi ene deatacat que, en general, esa inclusión es propi a; es
cerrad a
clausura de la esfera abierta no es neasa riame nte igual a la esfera
ele mbmo centro y radio. Por ejemplo, .ea (E, d) un espacio métrico dis-
creto (Ejem plo 1 de 1.1 ) de más de un punto y tomemos
x EE. Tenemos
que
CON.JllNTOS CEil&.\DOS 51
de donde
N(x; 1) = {x},
en cambio
N(x; 1) ... E.
ACA y BCB
implican
AnBcin.B y .A UBcluii;
pero teniendo en cuenta que las clausuras son conjuntos cerrados (Coro-
lario 1') y el Teorema 4, los conjuntos An.B y .lu.B son cerrados; de ma-
nera que, clau.Nrando ambos miembros de las inclusio.nes anteriores, ob-
tenemos:
AnBc..in.B, .AUBCAUB (.t)
.ACAUB y BCAUB,
resulta
de donde
•
COI'f.JVMTGe ül&llTGe Y COI'f.J1JI'fToe C:U••WO'I
.tiCA, ÁCÁ
E-ACE-A, E-ACE-A;
.
pero E-~ a cerrado (Corolario 8') y E-A es abierto (Teorema S), de
menen que. tomando interioru en la tegunda incluai6n y clausurando la
ptlwra, readta;
---
•
E - .ACE-.A, E-.ACE-.A,
•
...--..
E- (E-.A) CA, .A CE- (E- .A);
- •
.....--.. .
pero E- (E-A) es abierto y E- (E-A) es ~o, o sea que á tomamos
interiores en la primera incl~6n y clausuramos la segunda, obtenemos
•
E- (B-A) C.d,
....-...
•
A cE- (E-A),
y complementando de nuevo
.
_.......
E-JfCE-A, E-ACE-A,
p(.t) - AO(E-A).
a) x EP(A),
b) d(x,A)- d(x,E-.4.) -o,
e) S nA =F+.
sn (E-A) :p.¡,, para todo entomo S de X
b(A) - An,B(A.).
pero esto no es otra cosa que FnN{a ; r ) , donde N{a; r) es la eafera abier-
ta de eentro il y r.a4io r m (&,4), Raulta, pues, que ka eafau abiatu en
(F, d) no aon más que las intenccciones de las esferu abiertas en (E. d)
con F.
COJU1JN'I'08 A.aJSaTOS Y CON.J1JNTOS a:aa.tDOa
B- AnP.
N(x; r ) CA,
pero esto implica
FnN(~e; r) c.AnF- B.
-
B = U [F nN(x; r.)].
...
U .[FnN(x; r.)]- Fn [UN(x; r.)].
...
...
Pero el conjunto .A - UN(x; r.) es abierto en (E, d), en virtud del Tco-
B- enF.
A=E.
El conjunto E es denso trivialmente; es, por cierto, el único conjunto
cerrado y denso, ya que si Á fuese denso y cerrado, entonces .Á - A - E .
Pero existen subconjuntos prop.i01 que 100 densos; por ejemplo, el conjunto
Q de loa racionales en la recta real es denso y constituye el ejemplo clá.aico.
Asimismo, el conjunto de los irracionales es tambim denso en R .
Como aplicación directa del Teorema 2 de 2.4, podemos afinnar que las.
tres proposiciones siguientes aon equivalentes:
l. es denso.
Á
2. y x EE:d(x, Á) -O.
3. Sn.d=Ft/J, para todo conjunto abierto y no vacío S. Conaecuencia
de .la aimple observación de que todo punto del espacio es de adheren-
cia de Á.
El lema siguiente proporciona ejemplos generales de conjuntos densos
en cualquier espacio métrico y además nos terá útil más adelante.
lf= E-..4 = E - A,
P1 ) A es nada-d~=) A = +·
Consecuencia. directa de P• y P•·
P,) Si ..4 CB y B es fronterizo o nada-denso, entonces ..4 es fronterizo o
nada-denso respectivamente.
60 COJfllJHTOS UIIIRTOS '1' COJf~lJHTOS e••• .&.DOS
En efecto:
• • .!. !.
ACB=).dCB y .dCB.
B•E-A
obtenemos:
E-fl(A ) - BU (E-B),
Tomando complcmentol :
(Teorema 6 de 2.4),
cclu.B
lo cual implica
en (E-B) CA.
.
Pero en (E- B) ea abierto y .i - • por ser nada-denso (Pe) ' luego
e n (E-.8) - .¡.,
de donde
.
.
CCB·
'
Pero también B- ~ y e ea abierto, entonces e - • y A u B ea nada-deruo
~) .
.62 CCU(.JIJN TOS ABIBBTO I .. .CON.JUNTOS CBBWA .,_
Lema 2. .4. y B 80n conjuto s en un espacio (E, d), tales que Bes nada-
denso y .4.- B es fronterizo, en\onces Á es fronterizo.
EJERCICIOS
~ Para cualquie r par de puntos x- (xlJ Xs, .. . , x,.), )' ... ()1¡1 )'a, .. ·, y,.)
en R•, definimos:
•
d, (x, y) = l: lx1 -y¡l,
fat
•'
10. Si A es abierto y B cualquiera en un espacio (E, d), compruébese
d(.&,B) = a(l,B). ·
16. Verificar que para cualquier conjunto de ..4 en (E, d):
A - AU/l(..4).
17. Probar que, ai ..4 y B son conjuntos cualesquiera en (E, d) ,
19. Sea (F, d) un subespacio de (E, d) y .A. CF; designemos por A' y A'
al interior y la clausura de A en (F, d), respectivamente. Probar que
A7iB =l.
21. Si S es un conjunto en (E,d), demu&trese la equivalencia
_....
S denso ( ) E-S = .¡..
E,JERCJCJOS
A=A=A
'
es decir, que A es abierto y cerrado. en (E, d) . O sea que E es disconexo,
lo mismo que (E, d). Recíprocamente, supongamos que (E, d) o, lo que es
igual, E es disconexo. Existe entonces un subconjunto propio A de E abierto
y cerrado, es decir,
A= A= A,
lo cual implica:
P(A) = .p.
COM.JIJMTOS CONBXOS 69
D EMOSTRACIÓN.
ACBC.A,
entonces B es conexo.
'70
SnA -+
(o bien T nA - 4>, Jo cual conduc irla a resulta cb anüogw ) .
Si x Elns, entonce~ S es un entorno de ~:EA y aplican do el Teorem a
2 de U, resulta.ria S nA + +·
De manera que
snA- +;
pero B C .d, Juego SnB- t#J y B es conexo por no admitir diaconexión
~·
_)t Corol«rio 1'. Si A es un conjunt o conexo, entonces A es conexo.
.
lliKOST MCIÓN . ACAC Ay apllqueae el teorema anterior ,
•
Es intuitiv amente evidente que la unión de conjunt os conexos puede no
ser conexa. Por ejemplo, la unión de dos conjuntos conexos y disjuntos pue-
de, aunque no aiempre (véase el Ejercicio 9) rmútar disconexa. Sin em-
bargo, si la intersecci6n en la familia no es vacía, entonces la uni6n es
conexa, ·pero podemos demost rar algo máa general.
Tn;d- .;.
AcS (6 .tCT).
Si para algún
AEF ~ACT,
entonces
V AEP·: .tes
lo cual implica BCS, es decir B !"'" Br:tS, de donde BnT- +y B es co-
nexo por no admitir disconexión. e
Corolorio 2'. Si Fes una familia de conjuntos c:onexoa de (E. d) tal que
entonces U A es conexo•
...,
Si se trata de s6lo dos conjuntos conexos A y B podemos obtener un
resultado más general. En efecto, basta con que l nB o A n jj DO sea vaclo
para que A U B sea conexo, aun cuando A n B = ~ (es el Ejercicio 9) .
72 CONBCTIYmAD
A - UC(x) .
....
Por otra parte, los componentes de A son disjuntos dos a dos. En efecto, sean
~.' E A y supongamos que
C(~) UC(y)
COKPONENTBS DE l1N CONJ'l1NTO 73
CeA,
74 C:ON&CTIYIDAD
tenemos:
cccn. &cc,
lo cual implica, en virtud del Teorema 1 de 3.2, siendo e conexo, que en.&
es conexo; pero, como Ces el m4ximo conjunt o conexo que contiene cual-
quiera de rus puntos, resulta
e- en.&.
O sea que por el Teorem a 2 de 2.6, C es cerrado en el subespacio (.&, d) •
...
E- U N (Xo; n ),
(a,b)- (xERia<x<b},
(a,b] ={xERia< ·x<b},
[a,b) ={xERia<x<b},
[a,b] ={xERla<x<b}.
.peore ma l. Los únicos conjunt os conexos en la recta real son los in-
tervalos.
y = supe,
s = sni.
Tenemo s pues que y ES. Luego, debe ser y< z; pero S es abierto en I,
entonces existe un r > O tal que
Tomemos un tER tal que ,.. < t < m1n {z,y+r}. Entonces tE (y-r,
y+r). y como )' < t < z, resulta que tEl. Tenemos pues que 1 ES, pero
< <
x t z, de donde t E C. Esto contradice la definición de y.
En definitiva, no podemos suponer que 1 sea discone:xo.
Reclprocamente, .sea A un conjunto no vacio de números reales y conexo.
Si A contiene scSlo un punto es un intervalo. Supongamos que A contiene
más de un punto. Tomemos x, z. EA con x < z y consideremos que para
algún)' ER tal que x <y< z sucede que y fA.
Es muy sencillo comprobar que los conjuntos (- oo y) (y, + oo) son
abiertos; entonces ( - oo, y) nA, (y, + oo ) n .A son abiertos en A y, lo que
es más, constituyen una discone:xión de A. En efecto, no son vacíos, ya que
el primero contiene a x y el segundo a z; su unión es claramente .A y son
disjuntos por serlo ( - oo, y), (y, + oo ) .
b sea que A resulta ser disconexo. Tenemos pues que para todo y E R
con x <)! < z, necesariamente yE.A. A es entonces un intervalo. e
IUROOO S
- .
7( Demostrar que un espacio {E, d) es diiCOileXO li y ...Slo ai es la unión
de dos 'eonjuntos separados.
13. Sea A un conjunto conexo, abierto y cerrado en (E, d). Demostrar que
- A es un componente de E.
18. Demostrar que el conjunto de puntos de R' con, al menos, una coorde·
nada irracional es conexo.
.,..
3(A)- sup{d(x,y) }
.,.,
I(A) >o.
Si el conjunto A contiene sólo un punto, el conjunto (d(x, y)} está cons-
tituido únicament~ por O, de dolldc 8(A) - O. Rl:clprocamente, al A no es
vacío y I (A) -o, entonces V x, y EA : O < ! (x, y) <O, es decir, d{x,y) -o,
o sea que x - y, Jo que indica que A es" constituido por un 10lo punto.
Conviene adwnir que si A es acotado, pueden no existir pwttoa x, 1 E A
tales que d (x, y) - a (A). Por ejemplo, es fácil comprobar que el d.Wnetro
del inte.rvalo abierto (o, h) (para o < h ), en la recta real, es h - o, y sin
embargo, la distancia entre cualquier par de puntos es siempre estrictamente
menor que h-a. Existen, no obstante, ciertos conjuntos (compactoa) para
los cuales se pueden hallar tales puntos, como se verá más adelante.
Será ya evidente al lector la interpretación intuitiva del concepto de
diámetro. Es algo as{ como la "mbima" distancia que se puede "medir."
dentro del conjunto.
La alusi6n geom~trica producida al poner el nombre de diámetro es
evidente y sugestiva.
Si Á es acotado y B no es vado, es consecuencia inmediata de la definí.
ción de diámetro que
3(A) • 8{Á).
..
AC U N(xt; 1). (1)
a. a
Sea h e1 máximo de todas las distancias tl(x1, .x1), para i-1, . . . ,n, j-J, . .. ,n.
Tomemoe ahora x, 'Y EA cualesquiera. En virtud de ( 1)
o 1ea que
d(x,)l) <2 +h
y A es acotado.
••
..,
AC UN(~;'/•); . .
COllfJUl'ITOII PRECONPACTOS Y UPAR.AaLU
de donde
•
para un n < p,.lucgo de haber dew:hado las esfer&l que no contienen pmtoa
de B y haber _reordenado Ju .ta. si es preciso.
Por cada le =- 1, .. . , n tomemos un punto
V )'EN(.r¡,; '/a):
para cada
k - .1, 2, . . , n.
De alli que
..,
•
Be U N(x,; a)
SCA y AcS.
Designemos
S - {xlJxs, ···}.
N(x; r) CB.
Ahora bien, X ES, ya que A es, y esto implica en virtud del Teorema 2
de 2.4, teniendo en cuenta que N(x; 1/ ..) es un entorno de x, que existe
algún x,. ES con x, EN(x; '/.. ); pero entonces
)1 EN(x; r ),
es decir
•
De all1 que x E~, es decir ..te U B, y Ft conatitllye una aubcobertu ra
-'-1
contable de F.
•
90 COIIP.ACIDAD
o<.,.. < t .
En virtud de la definición de S, existe un x-,1 ES con x EN (x ..,¡ ; '/.. ) ,
es decir, d (x, x.,,1 ) < '/.. < e¡ pero como e > O es arbitrario, esto implica
que
d (x,S) - o,
de d onde x ES. O sea que ACS.
•
El recíproco de este teorema no es, en general, cierto, ya que un conjunto
separable puede no ser acotado, en cuyo caso deja de ser precompacto por
el Teorema l. Ejemplo de esto es el conjunto R en la recta real.
Y.temG l. Si x, 'Y aon puntos de un espacio (E. d), tales que x .P y, existe
un entorn o S de :r: y un entorn o T. de 'Y con S() T "" .¡..
r - jd(x, y)
S - N(x;r), T-N()I;r) ,
es decir
..
A e U N(r,; e}, donde x., xo, . .. , x,. EA.
l• l •
YCorolm-io 2'. Todo conjunto compacto en un espacio métrico es aco-
tado.
lo cual contradice ( l ) . ..
A debe ser. precompacto.
•
CO'If3VKTOI COMPACTOS 95
~'>&
~ Teorema 3. En un espacio métrico un conjunto es compacto si y sólo si
es BW.
AC U S(x,),
laJ
•
pero entonces TC U S(x1 ). Teniendo en cuenta que, por construcción,
¡,¡
cada S(x 1) contiene, a lo más un punto de T (si x 1 ET), la última inclusión
indica que T no contiene más de n puntos, contradiciendo la infinitud
de T.
Recíprocamente, supongamos que A es BW y sea F una cobertura abier-
ta de A.
En virtud del Lema 2, Á es precompacto y, por el Teorema 4 de 4.2,
A es separable. Aplicando entonces el Teorema 3 de 4.2, existe una sub-
familia contahle F 1 de F que también cubre A.
Designemos F, - {B1, B., ... }.
~
veamos que nos conduce a una contradicción. En efecto, tal suposición nos
permite construir un conjunto infinito T = {x., ~ •. .. } con TCA, de la
siguiente manera:
To~amos x, EA y V n > 1,
EJEIQCJOS
--
4. Revelar, mediante un ejemplo, que el diámetro de un conjunto no ea
siempre igual al de su interior.
a) .A-e es contable.
b) .A ne no es contable.
e) e es perfecto.
d) Si A es, ademú, cerrado: A- SUT, S perfecto, T contable.
20/ Sea (E, d) un espacio compacto (E es compacto) y {..4.11 A., ... } una
.--- familia contable de conjuntos cerrados no vados tal que A,..t CA~,
vn >l.
Demostrar que
•
nA,.
. .1
es cerrado y no vado.
p:XXX-tR
yx EA : d(x,F) < •·
"'~--,
-
~
' -.)
CAPIIULO V
Lí•itea y
•
espae•o•
eompleto•
teoria general de convergencia de reciente creación que abarca todas las de-
más como casos particulares. Es la teoría de Filtros, cuyo ambiente natural
es la Topología General y escapa, por tanto, a las limitaciones de esta obra.
Antes que nada, conviene precisar el concepto de. sucesión. Sea X un
conjunto cualquiera no vacío y N el conjunto de Jos números naturales.
Una sucesión en X es una función f : N -+ X. Resulta pues que, para
todo n E N, f ( n) E X y emplearemos la notación
x. = f(n),
{x,.}.
vn>v:d(x..,x) <•.
Sea S un entorno de x ; existe entonces un r > O tal que
N(x; r) CS.
Vn ~ "•: x,.ET.
x.. ESnT,
-
Una sucesi6n .e denomina morw$1ona si es creciente o decreciente.
Supongamos que (x,.} es creciente y que su rango esti acotado superior-
mente. Sea x ER el extremo superior del rango y • > O un número real
cualquiera. Como x-a< x, x-a no puede aer cota superior del rango de la
sucesi6o; debe, pues, existir un término x. con
x-e< x. < x.
Dado que la sucesión es creciente, resulta que
lx.-xl < •·
Tenemos entonces que x,.-+ x.
Por otra parte, si {x,.} es una sucesión decreciente cuyo rango está aco-
tado inferionnente y x ER es el extremo inferio.r de éste, se demuestra de
mane~ totalmente análoga que xa ~ x.
Las sucesiones mon6tonas en la recta real son particularmente impor-
tantes, no sólo por su frecuente aparici6n, sino por la facilidad con que
se establece la existencia del límite, según se vio anteriormente.
El siguiente teorema, de gran utilidad, señala que un punto de acumu-
laci6n de un conjunto es siempre el límite de sucesiones en el conjunto.
Elegimos ahora un x,.EAnN(x¡r,.) con x.=/=x., para i ... 0,1, ... ,n-1.,
Queda pues determinada, por inducción, una sucesi6n {x.} en A, cuyos
términos son distintos dos a dos y, en virtud de su construcción,
Dado e > O, como r,.-+ O, existe un vEN tal que Vn >" : r,. < a
(se prescinde del valor absoluto, ya que r,. >O). Resulta entonces que
d(x.,x.· ) <e.
O sea pues que, fijada cualquier cercanía (1!), por pequeña que ésta
sea, siempre podemos haUar un lugar ( v) en la sucesión a partir del cual
todos los términos están más próximos unos de otros, que la cercanía fijada.
!ti CESIONES DB CA11CBY Y ESPACIOS CO.IIU"LIITOS 111
Si la sucesión tiene límite x, sabemos que intuitivamente lignifica que
sus términos se aprCJI<iman a x tanto como se desee. Parece razonable espe-
rar que esto traiga como consecuencia que los ténninoa se acerquen unoa
a otros tanto como Je quiera, es decir, la sucesión debe ser de Cauchy. Esta
intuición es coiTecta, como demuestra el teorema que sigue.
DEMOSTRACIÓN. Sea {y,.} una sucesión parcial de {x,.}; o sea que existe
una inyección g: N-+ N tal que vn EN: y,. = Xg(IO)•
Supongamos que y,.-+ x.
Dado e> O, como (x,.} es de Cauchy, existe un 111 EN tal que
(1)
Tomemos un número natural que sea mayor que p. y que ~'2i designé-
maslo por m.
Luego, como m> vz aplicando (2) resulta:
(4)
SlJCZSIONU DB CAUCIIY Y JUP.t.CIOS COJIPLBTOI 113
Aplicando ahoJa la dcaigualdad triangular y en tcgUida (S) y (4) obteo
nemas
o Jea que x. -+ x.
CorolGrio 1'. Si {x.} es una sucesión de Cauchy cuyo rango admite al-
•
gún punto de acumulac:ión x, cntoncca x. - ;r;,
S1 - ( x',
1
x',
•
... , x'.., ... }
(la raz6n de esta notación se verá claramente en lo que sigue) cuyo rango
sea un conjunto precompacto e infinito.
En el transcurso de la demostración utilizaremos la notación N, para
designar una esfera abierta de radio r > Oy centro algún punto d el espacio.
Indiquemos por R 1 al rango de S,.
Por hlpótesis, R. está contenido en la unión de un número finito de
esferas abiertas de radio t· Al menos una de ellas contendrá infinitos pun-
tos de R 1 y éstos constituyen, respetando el orden relativo con que figuran
en S 11 una sucesión parcial
.. ..
SIM.- {xl'-', xl'-', ... , xl'-', ... }
tales que ca.la una sea parcial de todas las anteriores, sus rangos son infini-
tos y cumplen las relaciones RH CRIMC · .. C R 11 R, CN111 (i-1, ... ,k-1).
SUCESION ES DE C4VCHY Y ESPACIOS COMPLET OS
115
Ahora bien, ft. 1 está contenido en la unión de un número finito de
esferas abiertas de radio 1/t• Al menos una de ella.s contendrá infinitos pun-
tos de Rt-1 y éstos constituyen, respetando el orden relativo con que figuran
como ténninos en s._,, una sucesión parcial
•
AC UN(x,;e ')C UÑ(x,;e '),
•
. ;1 hl
donde x,, ... , x,. E .A. Pero el conjunto de la derecha es cerrado, luego
•
A e U Ñ(x¡; e').
,.,.
116 ÚIDTB S Y B.Sl'.AQOS COKPL BTOS
N6tae que
Ñ(x,; •') CN(x, ; a) para i - 1, 2, · · ., n.
Entonc es
•
AC UN(x, ;e),
,111
ademu , X1J ••• , x. EA.
•
Teore11111 2. Todo conjunt o precómpacto en un espacio métrico completo
ea relativa mente compac to.
DEMOSTRACIÓN. Sea {x.., xlJ .•• , x,., .•• } una sucesión de Cauchy en la rec-
ta ~ y designemos por Ro su rango. En virtud del Corolario 2', de 5.2,
Ro es un conjunto acotado. Sabemos que esto equivale, en la recta real, a
decir que Ro está acotado superior e inferiormente. Sean pues a, b ER cotas
inferior y superior de Ro, respectivamente. Tenemos entonces,
Nótese que yn EN : R,...1 CR,., lo cual implica )'....s <y,., o sea que
la sucesión (y,.) es decreciente.
Por otra parte, se deduce de inmediato que a<,..., Vn EN; es decir,
el rango de {y,.} está acotado inferiormente. Sabemos entonces que Y• .-.T.,
donde z es el extremo inferior del rango de {)',.}.
Nos proponemos demostrar que x,. .-. z.
Dado t! >O, existe un l'1 EN tal que yn, n' > Yt:
Ademas, como z < z + •1., resulta que z + •1• no puede Jer cota inferior
del rango de (:)¡,.}.Debe pues exútir algún ""• con
de donde
ea decir,
Ahora bien, como " ~ "•• resulta que vn > v, ambos n, " >v
1 y se
aplica (1):
lx.-z! < •.
Observamos, de paso, aplicando el Corolario 3' de 5.3 que el subespacio
•
de la recta real costituido por el conjunto Q de los números racionales
no es completo, ya que Q DO es cerrado por no coincidir con su clausura
que es R.
Conviene destacar que el Teorema 1 demuestra la completitud de la
recta real como consecuencia de la propiedad del cuerpo de los números
reales, según la cual todo conjunto acotado superiormente admite extremo
auperior.
COIIPLETITUD Y PBEC::OIIPACID.&.D EN R" 121
Pasamos ahora a considerar el espacio R" y de nuevo referimos al lector
al Ejemplo 5 de 1.1.
En todo lo que sigue de esta aección preferimos Ja notación R", a fin
de evitar confusión al emplear sucesiones.
Dejamos al lector Ja sencillisima tarea de demostrar las desigualdades
que expresamos a continuación y de las cuales' haremos frecuente uso.
Para todo punto (o, si se quiere vector) a = (o., a¡., .. . , a.) de R" se
verifican )as siguientes desigualdades:
a) ¡a,¡< llall
, (i - 1, 2, .. . ,k).
b) llall < ~ 1411·
¡,.¡,
Sea {x,.} una sucesión en R-; para cada n EN, x. ER" y, por tanto,
x,. - (x~., x-., .. · ,~). Se observa pues que {x.} detennina k sucesiones
reales {x¡,.} (i = 1, ·· .,k) que denominaremos sucesiones coorde11adas de
{x,.}. Veremos en feguida queJa sucesión dada y sus sucesiones coordenadas
comparten las mismas propiedades.
Podemos definir, de manera quizás más precisa, las sucesiones cooroe-
nadas mediante la introducción de las /JTO')'flcciones pr, : Rt-+ R (i - 1,
2, ... ,k) tales que, para todo a- (a~~.... ,e~¡¡) de R",
pr1 (a) -a1•
Ahora bien, si f : N-+ Rrc es una sucesión en R•, las sucesiones coordenadas
son pr¡ • f : N -+ R ( i .. 1, 2, · · ·, k) .
Pero
llx,.-x,.•ll < e.
Pero
yn,n' >.,:
donde
J,-[-a,a] (i=l, ... ,k).
j
y
1
a
o
l a
.. X
2a 2a 2a
-aJ -a+-, -a+ 2·- , ..., -a+ m·-= a
m m m
I,-
1 [ .2a -a+ (J+
-a+ ';;;• . l );;
2a] J-
. 0,1, ... ,m-1.
Jll X ]1• X • . . X ¡ lt
1 1 ••
X E Jll
1
X •• • X Jllt
,
r. . 2~
IIK -xll < l!
t..-t
J~; -~,J < -m < •·
Consideremos el bloque centrado y cerrado J., y veamos que N(i ;a) CJ.,.
En efecto, tomemos un punto x = (x.,x2, .. . ,xa,) EN(i;a) cualquiera y
apliquemos la desigualdad (a):
lo que equivale a:
O sea que
x Efe y N(O; a) C]m.
Se deduce que
A C]a;
pet·u po1· d Letua 2, J" c:.-1 p•·econ¡pacto y, en virtud del Teorema 2 de +.2,
A es también precompacto. e
En la demostración del teorema anterior, lo que se ha hecho es "circuns-
cribir" un bloque JG a la esfera N (8; a) •
Tomando el Teorema 3 junto con el Teorema 1 de 4.2, podemos decir
que, en Rlc, un conjunto es precompacto, si y sólo si es acotado o, lo que
es lo mismo, ser acotado y precompacto son propiedades equivalentes en
Rlc. Como se expresara anteriormente, este hecho será generalizado más
adelante a espacios normados de di.mensión finita y servirá además para
caracterizarlos.
Luego del Teorema 1 de 4.2 se dio un ejemplo de un esp:!cio métrico
discreto en el cual existía un conjunto acotado no precompacto. No obs-
tante, todo espacio discreto es completo, lo cual nos dice que la completitud
del espacio no basta para asegurar que todos sus conjuntos acotados sean
precompacto5.
Mediante la combinación de los Teoremas 2 y 3 ob~enemos varios resul-
tados topológicos de gran importancia.
a. Comp.
Jlelat. Prec. Cerrado
-v- Comp. BW se 1:
Cenado
Comp. a PtcOOIDp 1: Cerrado Acotado
Cerrado Acotado
Co.p. V V V V X e X R" X X
.IIW V V V V X e X R" X X
se V V V V X e X R" X X
Jl. Caalp.ll
Ccrndo V V V JI X e X R" X X
llclat.
Caalp. V V V V V e e R• X R"
Prec:. 1:
Cerndo V V V V X V X R• X X
Ccrndoa
ho<ad<> V V V V X V X V X X
C.......to V V V V X .V X V V X
Acotedo V V V V V V V V X V
TEOJlBIIUS PE CA.N'r01l Y BAIIlB 129
Finalmente, para ilustrar el significado del shnbolo X, observam01 que
no todo conjunto acotado es cerrado. Es muy sencillo proporciour un
ejemplo en R•.
Se incita al lector, como ejercitación y repaso, a verificar la validez de
las cien implicaciones del cuadro. Según el caso, se hará referencia a
un teorema del texto o podrá deducirse ·de varios de ellos; c;on mayor fre-
cuencia será necesario mostrar contraejemplos adecuadoe.
:MÁS adelante veremos que R" puede eubstituirse por espacio normado de
dimensión finita.
..n
es decreciepte, lo cual implica que 8(A,.)-. inf {3(..t.,)} =O.
Por otra parte, si designamos por A =
- .A.,., se tiene que A CA.,
V n EN, de d(!nde 8(A) < 3(.d,.), implicando 3(.d) < inf {3(.d,.)} -O;
pero como un diámetro no puede ser negativo, resulta 3(A) -O. Luego,
como A ~ tf>, A está constituido por un solo punto (~.1) .
ci6n no es vacla.
Redprocamente, supongamos que el espacio posee la propiedad de Can-
tor y sea (x,.} una sucesioo de Oauchy.
Comideremos la familia contable de conjuntos {.do, A1, · ·. } tal que
vn EN : A,. es el rango de la sucesión {x,., x-.11 ••• } . Evidentemente
que ningún A,. es vecio y que A,..1 CA,., Vn E N. Además, dado • >O,
exiate un vEN tal que vn, n' > v : d (x,., A1t·) < •; pero, por construcción,
IÍ x,., x,.. EA. entonces n, n' ~ v, de donde d (x., x,..) < e, lo cual implica
3(A.,) < •· Se deduce pues que inf {I(A,.)} -O.
Tomemos ahora la familia contable de las clausuras {~,A., ... }. Re-
sulta entonces que cada A. es cenado y no vaclo, A,... CA,., vn EN y, como
B(A,.) - 3(A,.) (Lema 1 de 4.1), también inf (B (A,.)} =O.
Luego, por hip6tesis, existe un punto (ú.nico)
•
x E nA•.
.....
Ahora bien, dado e> O, debe existir A. con B(A.) <t. Pero x EA. y,
por cowtrucci6n, Vn ~ " : x. EA,. CA.; luego d (x., x) < B(A.,) < e.
O sea que x.-. x y (E, d ) es completo. e
Son muchas las útuaciones en las que conviene hacer uso del teorema
precedente. Por lo general se sabe que el espacio es completo y se emplea
la propiedad de Cantor para demostrar algunas tesia. Muy rara vez se uti-
liza la propiedad de Cantor para probar la completitud del espacio. No
obltante, lo hemos hecho aquí para poner de manifiesto que sólo los espa-
T&O. .M.U DE CA.NTOa Y a.AIII& 111
cios completos poeeen dicha propiedad y evitar ul laa interropntes lin
respuesta.
Una hennosa y profunda aplicaci6n del Teorema 1 la c001tituye el fa-
moso resultado de Baire, cuyaa OOI'liCCuencias son muy ricu y aparecen en
las teorías matemáticas más divenas y avamadas Tcoremu fundamentales
del Análiaia Funcional, tales como el de la transformación abierta, de Banach-
Steinhaus y otros, dependen del Teorema de Baire. Tambibl 1e aplica para
demostrar la existencia de funcionet continuas en un intervalo y que carecen
de derivada en todos sus puntos.
En el Teorema 3 de 2. 7 se estableci6 que la uni6n de un número finito de
conjuntos nada-demos es un conjunto nada-demo (por tanto, fronterizo, en
virtud de P, de 2.7) ; pero nada pudo aaeguraae si se trataba de un núme-
ro infinito de ellos. El teorema siguiente (Baire) responde pan:i.almeote la
pregunta. Antes conviene adoptar nueva terminologia que abrevie la cue.-
ti6n.
Se dice que un conjunto en un espacio métrico. es mtlf'O ( tllmbim
llamado de primera categorta), 1i ea la uni6n en una familia contable de
conjuntos nada-densos. Un conjunto que no es magro suele llamarse de
segunda categoría.
Es oportuno destacar que una esfera cerrada cualquiera Ñ(x; r ) no ea
un conjunto fronterizo, ya que siempre
N (x ; r) CÑ(x; r) ,
..
xE n e,.
""'
De aquí se deduce:
..
DEMOSTRACIÓN. E- U A..
.. ..
=.¡. implica E - U A.., o sea que E es magro,
•
t&Dl a=1
contradiciendo lo establecido en el Corolario 1.
IM ÚJIITES Y ESPACIO S C:OIIU'LB TOS
..
U A.
...
A - U {.r},
....
Umf(x) = b.
J1(S-{n}) n.d)CT.
n.- ._ llutracicSo de la definici6n del llmit.e: las imA¡enea de todos los puntos
de la ~ IIO!IIIbreada eat6n en T, con la posible excepci6n de la imagen de a.
....
pongamos que lím f(x) - b.
Ahora bien, dado un número real e> O, la esfera abierta N(b; •) es
un entorno de b. Existe entonces un entorno S de a tal que
de donde se deduce
/(AnN1 (a; 8)JeT,
....
Resulta pues, que lim f(x) = b .
En resumen, hemos obtenido la siguiente definición equivalente qut:
tendrá apariencia más familiar para algunos lectores:
DEMOSTRACIÓN. Supongamos que existe un b' EF con b' =1= b, que también
satisface la definición del limite de 1 en a.
Aplicando el Lema 1 de 4.3, existe un entorno T, de b y un entorno
T, de b' tales que
(1)
DEMOSTRACIÓN.
....
entorno cualquiera T de b. Como lím f(x) = b, existe un entorno
S de a tal que
vn>v:x,.ES;
....
Supongamos que no es cierto que lím f(x) = b. Entonces debe existir
140 LiMITES Y ESPACIOS COMPLETOS
Podemos construir una sucesión {x,.} en A tal que para cada número
natural n ~ 1 elegimos
pero f(x) E/(A) trivialmente, luego Tnf(A ) =l=t;, lo cual implica, por el
Teorema 2 de 2.4, que
b E/(A)
lo cual implica
Vn > v : x,.E(S-{a})nA.
De alli que
vn,n' >V; x,.,x•. E (S-{a}) n...t,
EJERCICIOS
•
l. Demostrar que si se suprime de la sucesión {x,.) un conjunto finito y
arbitrario de sus t~nninos y se conservan Jos restantes en el mismo
orden relativo, se obtiene una sucesión p~ de {x.}.
11. En la recta real, x,. ~ x, y,. ~ y, V n E N : x, < y,.. Probar que x < y
Dar un ejemplo en el cual x = y.
-
12. {x,.}, {y,.} son sucesiones en un espacio métrico.
Probar )as !iguientes implicaciones:
a) x .. ~x.d(x.,y.) ~0-)y,.~x.
·· b} x,.~x,y.. ~x=)d(x,.,y,) ~o.
13. Demostrar que todo número r.eal es el limite de una sucesión de ter-
,-- minos racionales.
(Sugerencia; Corolario 2' de 5.1.)
144 LfKITES Y ESPACIOS COKPLBTOS
14. Probar que una sucesión, cuyo rango es relativamente compacto, ad~
mite una sucesión parcial convergente.
17. Probar que una sucesión real creciente, cuyo rango no está acotado
superiormente, es divergente.
19. Demostrar que una sucesión real, cuyo rango no es acotado, admite
una sucesión parcial divergente.
25. Probar que una sucesión de Cauchy, cuyo rango es finito, es semi-
constante.
. s1saaaos 146
- jZ6. Demostrar que el eapacio m&ric:o del Ejercicio ' c:le1 C.pftulo 1 e1
completo.
· 32. Sea .(A.,, A1 , • • .'} una familia contable de conjuntoa no vados en R",
tal que Ao es acotado y V k EN: A• es cerrado y ...t-c...t..
•
Demostrar que n A• es cerrado y no vado.
.bo
(Sugerencia: Corolario 3"' de 5.4.)
33. Sea {x,.} una sucesión en la recta real cuyo rango Re es acotado.
Defmamos la familia contable. de conjuntos {Ro, R1, · •• } tal que
Vn EN : R,. es el rango de la sucesión (x.., x ..11 • • • }.
Construyamos un par de sucesiones reales {y.}, {z,} tales que
•
a) A -
- -
n R. oo es vado.
b) Jim ~e. - inf A, iiiñ x. - sup A.
35. Probar que teda IUCelióo en 1P cuyo rango tea acotado, admite una
•K •~n parcial CClllver¡mte.
36. El espacio (E, 11) ea tal que toda familia amtable de esferas cerradas
f(~e)
39. Sea f : A cE-+ R, • EA' y emte lim
,.--,
Probar que, si b :¡F
..... - h.
O, existe un entorno S de tal que 11
....
-tO. Sean /,K: A CE-+ R, 11 E.A' y existen lím /(K) - h,, Um t (x) - h1.
Demostrar:
....
a) Si 61 < q., aitte un entomo S de • tal que
.....
entonces existe .lím g(x) y es igual a b.
f(SnA)CT,
es decir,
V xESnA: f(x) ET.
j(TnA) = TnACT.
N (a; 3) es,
f{AnN(a;!)]CN(f(a); e), .
N(f(4);c)CT,
f[N(4¡ 3} nA.]CN{f(4); •)
de donde
f[N(4¡ 11) nA.]CT
s.nA. = {a}.
f(SnA.) CT.
J[(S-(c)) nA.]CT,
es decir
....
Um /(x) - f(t~) .
Redproc:ameDte,
CODtiuua CD ti,
t1
....
EA. n...t' y lím f(x) - f(t~). Demoetremos que f
Dado un entomo T de f(c), existe un entorno S de • tal
e1
que
•
Como conwecuencia inmediata del teorema precedente observamos que
li (E, d) a un espado mWico discreto, entonces toda. función f : A CE-.F
( (F, d') e1 c:ualquiera) a coatinua en todo punto de A,. ya que cada punto
de E a aUiaclo.
Veamos ahora c:úno se relaciona la continuidad en un punto con ruce-
liooa CODverpnta.
r_,,..... 2. y
Sea 1 : A CE--. F e E.A. / a continua en el punto a si y
l6lo li para toda IUCeli6n {x.} en .A, con x.--. a,
f(x.) _. l(a).
Duloa'BACIÓN. Anta que nada nóteae que a EA, lo cual implica, por el
c:aro1ario 2' de 5.1, que existen sucesiones {~} en A con "'•--. a.
Supongamos que 1 es continua en el punto a y sea {x.} una sucesión
en A con "'• -. a.
lSS
Dado UD entorno T de f (a) , exilte UD entorno S de a tal que
el decir,
/{x.) -+/{a).
....
la proposición 2 del Teorema 2 de 5.7, la hipótesis implica que Um /(x) -
/(a) y fes continua en el punto 11 poc la proposición 2 del Teorema l. e
El resultado que sigue, cuya democtraci6n es inmediata, probad. ser
de mucha utilidad.
....
Si para a EA' existe 11m f(x) - b, b EB y 1 ea continua en b, entonces
....
lfm t•f(x)- g(b) .
....
Por otra parte, lím f(x) - b, de manera que al entorno T de b correspon-
de un entorno S de a tal que
f{(S-{a}) nAJCT,
·-
De manera que, por definición, lím g•f(x)- g(b) .
•
Refiriéndon06 al enunciado dd teorema precedente y recordando lo
establecido en 5.7, sabemos que
bE/( A);
o sea que, si se adopta la hipótesis f ( A.) CB, quedan implicadas las condi-
ciones / (A) CB y b EB. No obstante, se restaría algo de generalidad.
Del Teorema 3 obtenemos una consecuencia tan sencilla como impor-
tante. Se puede describir de manera sugestiva diciendo que el compuesto
de funciones continuas es una función continua.
Teorema 4. Sean (E, d), (F, d'), (G, d") espacios métricos, f : A CE-+F,
g: BCF-+G con /(A.) CB.
Si f es continua en el punto o EA y g es continua en /(a), entonces
g • f es continua en a.
g • f : A. CE-+ G.
....
lím f(x) = f(a) .
....
lím g . f(x)- gff(a)] =g•f(a),
f : E-+R,
donde R es el conjunto de los números reales provisto de la métrica usual
(Ejemplo 2 de 1.1 ) , tal que
Vx EE :f(x) = d(a,x) .
es decir,
Vx E.E: lf(x) -f(x.)l $ d(x,x.,).
De manera que, dado • > o, basta con tomar a - • y llf: verifica
1. f es continua en A.
2. Si T es un conjunto abierto en (F, ti'), entonces ¡-1 (T) es abierto
en el mbespacio (A, d).
3. Si Tes un conjunto cerrado en (F,tl'), entonces t 1 (T) es cerrado
en el subespacio (.A, d) .
4. Para todo conjunto S con SCÁ se verifica
En resumen,
Vx EAnS: /(x) €/(S),
lo cual equivale a
f{AnS) e f(S).
Pero
¡-•(T) - Anf-'( T ) c.A.nt'(T) ;
luego
lo cual implica, de nuevo por el corolario 3' de 2.4, que t ' (T ) es abierto
en el subespacio (A, d) .
2 - ) 1) La imagen inversa, bajo f, de todo conjunto abierto en (F, d')
es abierta· en el subespacio (.A., d).
Tornemos un punto x EA cualquiera y sea T un entorno de f(x). Como
Tes abierto en (F,d'), t'(T) es abierto en el subespacio (.A.,d), por
hip6tesis. Luego, en virtud del Teore.m a 1 de 2.6, existe un conjunto S,
abierto en (E, d) con
t'(T) = Sn.A.,
de donde
f(SnA) CT
(1)
S- AnSCAnS,
luego
lo cual implica ( 1) .
En cuanto a las propiedades 2 y 3, nótese que se refieren a imágenes
mVffSdS de abiertos y cerrad01. Es falso que la imagen directa, bajo una
función continua, de un conjunto abierto es abierta, en gmeral, y lo mismo
vale decir para conjuntos cerrados.
Sea, por ejemplo, la función , de la recta real en sí miuna tal que
B - {x EA lla(x) - O} - la4{0),
162 CONTil'fmD.o\0
· B- {x EA J f{x ) - g(x) }
....
f(x) ) ai y 16lo ai exiate 11m f (x), pata todo a € .d'•
La funci6n g, de existir, es única.
....
que, si a EA', lbn j(x) -a y g es continua en a EA. Aplicando entonces el
Teorema 3 de 6.1, existe
......
11m f(x) - llin g • j(x) = g(a) .
... ..
~pmcamente, aupoopmos que
....
f(a) • 1ím /(x) • t(a) .
De manera que 1 estA bien definida para todo punto de A. Resta probar
la continui dad de 1 en -~·
Tomemo s un • E A. Si a e1 punto aúlado de A, 1 es continua en 41,
por la proposici6n 1 del Teorema 1 de 6.1. Consideremos el caso en que
a E (A)'; de acuerdo con el Teorema 1 de 2.4, (A)' - ..t', o Jea que a EA'
....
y t(a) - lím f(x} .
Sea T un entorno cualquie ra de g (cs); existe una esfera etrrll44
C-= N(g(11); r) con CCT. Por definici6n de límite, al entorno N(t(a); r}
de g (a) corresponde un entorno S de • tal que
Si z EB n A, g (z) - f (z} Ef( BnA}, o tea que, por (1). t(z) EC.
-
Suponga mos que zE (Bn...t)' C.d'. Luego t (z) • lbn / (x ). Pero. por
el Teorema 2 de 5.1, existe una sucesi6n {z.} en BnA (y por tanto en A)
con z. -+ z, lo cual implica, en virtud de la proposición 1 del Teorema 2
de 5.7, que f(z.) -+ t(z) . Ahora, la aucai6n {f(z.)} ati en f(Bn..f.}, de
manera que
t(z) Et(BnA ),
por el CIOl"'lario 2' de 5.f y, taieado eD C:UCDta (1), lliJiendo que C.
cerrado, g(.r) EC.
En ptnmen,
V-' EBnA: z.(.r) EC,
lo que equivale a
I{(S- {a}) nA]CCCT,
el decir,
....
1ím g(K) - g(a) .
•
t<A> e u B,;
lal
d(a,b)- d(Á,B).
Esto indica que el intervalo f(A) consta de más de un punto, por lo cual
sw extremos no son coincidentes y f(A) no es contable (véase el párrafo
fanal de 5.6).
Se concluye que si A fuese cootable, también lo seria f (A) .
En particular, si un espacio (E, d) es conexo y contiene más de un pun-
to, E no es contable.
C 1 ) Ya hemos señalado en Ca que la "propiedad D" no caracteriza a
las funciones continuas, pero si proporciona una útil caracterización de los
conjuntos conexos: Concretamente:
Un conjunto A, en "UD espacio (E, d) es conexo si y sólo si el rango
de toda función f : A CE~ R, continua en A, es un intervalo.
En efecto, si A es conexo la propiedad no es otra que Ct. Reciproca-
mente, supongamos que A es disconexo y construyamos una función de A
en R, continua en A y cuyo rango no sea un intervalo.
Como A es disconexo, existen conjuntos no vacíos S, T, disjuntos, abier-
tos en el subespacio (A, d) y A = S U T. Definamos la función f : A CE~ R
tal que vx EA: f(x) '"'O, si x ES; f(x) - 1, si xET.
Haciendo uso del Teorema 2 de 6.2, sea U un conjunto abie.r to en la
recta real, entonces t 1 (U) será uno solo de los conjuntos +, S, T, A, según
U no contenga O ni 1, contenga a O y no a 1, a 1 y no a O 6 contenga a
O y 1, respectivamente. Observamos que, en todo caso, t 1 (U) es abierto
en (A, d) .
Resulta pues que 1 es continua en A y su rango es el conjunto {0, 1}
que no es un intervalo.
C,) Si 1: R ~ R es biyectiva y continua en R, entonces t 1 es tam-
bién continua en R (f es un homeomorfismo).
Primeramente,· veamos que la imagen de un intervalo abierto, bajo f,
es un intervalo abierto.
En efecto, tomemos un l = (a,b). En virtud de (C.}, l[a,b]- [m,M],
de donde, aprovechando la biyectividad de f,
f(l) - [m,M]-{f(a),f(b) };
f(l) - {m, M ).
~N&CTIYIDAD 173
A- U/,
,.,
lo cual implica que /(A) - U f(l), donde cada f(I) es un intervalo abier-
J•r
to, por lo establecido anterionnente, y por lo tanto f(A) es un conjunto
abierto (Teorema 3 de 2.2) . El Teorema 2 de 6.2 n os dice entonces que
t"1 es continua en R .
Este interesante resultado es también cierto para el espacio R• en lugar
de la recta real, aunque allí la demostración es apreciablemente más so-
futicada y se realiza usualmente al estudiar Topología Algebraica; no esti-
mamos prudente incluirla aquí. La propiedad no es, por otra parte, gene-
ralizable a espacios métricos cualesquiera, aun exigiendo condiciones tales
como completitud; ello se debe a que se trata de una consecuencia de pe-
culillridades muy propias de R". No obstante, recordemos que si el espacio
es compacto la propiedad se cumple (Teorema 2 de 6.3).
6.5. ARCO-CONECTIVIDAD
DEMOSTRACIÓN. Tomemos x', y E/(A). Deben existir x,y EA con f(x) -x',
f(y) =y.
Ahora bien, A es arco-conexo, luego existe una función g : [0,1]-+ E,
continua en [0, 1], cuyo rango (un arco) está contenido en A y con g(O) - x,
g(l) =y.
Definamos la función h : [0, 1]-+ F tal que h = f. g, lo cual es posible,
ya que el rango de g está contenido en el dominio A de f. En virtud del
Teorema 1 de 6.2, h es continua en (0, 1]. Por otra parte, el rango de h
está obviamente contenido en /(A) y h(O) = f(g(O)] = f(x) = x', h(1) ..
f[g(l)]=/(y) =y. .
En resumen, hemos hallado un arco (descrito por h), contenido en f(A)
y que une los puntos x', y. e
Ocurre de inmediato preguntarse qué relación existe entre conectividad
y arco-conectividad. Comenzamos por responder a la mitad de la pregunta.
AJICCM:ONBCTIVIJ)AD 175
Teorellfl4 2. En un espacio m~trico, todo conjunto arco-conexo es conexo.
A -
...u s.;
además, Jos conjuntos s.
son conexos y su intenección no es vacía, ya que
a pertenece a tod01 ellos. Su unión, o sea A, es, pues, conexa, en virtud del
corolario 2' de 3.2. e
El teorema precedente es intuitivamente sensato al tener presente que
un arco es "de una sola pieza" (conexo) y que dos puntos cualesquiera
del conjunto son extremos de un arco. Si el .conjunto fuese disconexo po-
dríamos distinguirle dos partes "separadas" y resultaría imposible unir pun-
tos de una y otra mediante un arco sin "romperlo". Lo que quizá resulte
algo desconcertante es que el recíproco no es, en general, cierto y, proba·
blemente por eso, los contra-ejemplos son complicados (véase el ejercicio
36) . No obstante, más adelante veremos que, con imposición de hip6tcsia
adicionales, un conjunto conexo es arco-conexo. En todo caso, se ha puesto
de manif"Jesto que la arco-conectividad es una propiedad más fuerte, espe-
cializada y exigente que la conectividad.
Como de costumbre, diremos que el espacio métrico (E, d) es arco-
conexo si E es arco-conexo. Veamos, por ejemplo, que tal es el caso de la
recta real, tambiM con el propósito de investigar la arco-conectividad en
ese espacio. Primeramente, por definición de arco y por C 4 de 6.4, un arco
en la recta real es un intervalo cerrado y acotado.
Sean p, q ER y definamos la función f: R-+ R tal que Vt ER : f(t ) ...
f1t + q. Es inmediato que f es continua en R; basta con observar la igual-
dad : !f(t) -((t')l -IPI·It-t'l· De esto deducimos que dos puntos cuales·
quiera a, b ER están unidos por un arco descrito por f : (0, 1]-+ R, donde
VI E[O, 1] : f (t ) - a+ t (b - a ) , cúyo rango (el arco) ea el interyalo [a, b].
La recta real es pues, un espacio arco.:COnexo. Pero hemos establecido algo
mú : si un conjunto A, en la recta real, posee la propiedad de que
ya,bE.d: [a,b]CA, entonces A ea arco-conexo; pero esto lignifica que
todo intemlo es arco-conexo. Recíprocamente, por d Teorema 2, un con-
junto arco-conexo es conexo y, por tanto (Teorema 1 de 3.5), un intervalo.
176
yh es continua en J.
En definitiva, h es continua en [0, 21 pero este intervalo es un conjunto
arc:o-c:onexo y, por el Teorema 1, el rango S de h es arco-c:onexo. Es claro
que SCA, en virtud de la definici6n de h. Por otra parte, :x,zES, ya que
h(O) - :x, h (2) - .z. Se deduce que x, z, están unidos por .un arco conte-
nido en S y, por consiguiente, en A, es decir, x .! z. e
Es natural proceder a considerar el conjunto cociente y demAs entes
determinado s por una relación de equivalencia, pero antes resulta mAs sen-
cillo y porductivo establecer UD teorema y SU corolario que SOQ los W}ogcl
del Teorema 2 y corolario 2' de 3.2. Por cierto que, al aludir a la aecci6n
3.2, cabe preguntarse si su Teorema 1 y corolario 1' también tienen NI
análogos en arco-conectividad. Desafortunad amente no es así y, en tal lm·
tido, véase el ejercicio 36.
entonces
B-U .A
ea ataH:Onexo. "'"
lliMosTRACI6N. Tomemos un par de puntot cualetquiera x,zEB.
178 CONTINUmAD
VxEE:g(x) -d(x,.A).
TeoremG l. Sean (E, d) , (F, ti), (G, tr') espacios métricos, f : Á CE-+F,
g : BCF-+ G con / (Á ) CB.
Si f es uniformemente continua en Á, y g es uniformemente continua
en f(.A), entonces g • fes uniformemente continua en Á .
es uniformemente continua en B.
Por otra parte, la función f: BCE -'Jo F es formalmente f• j que es
uniformemente continua, por el Teorema 1, en el conjunto B. e
Es claro que toda propiedad de las funciones continuas se cumple (a
fortiori) para las uniformemente continuas, en particular, lo referente a
imágenes de conjuntos compactos y conexos. Pero, teniendo en cuenta que
la continuidad uniforme es más fuerte que la continuidad, es de esperar
que determinadM propiedades que no resultan invariantes con respecto a
una transformación continua sí lo sean cuando aquella es uniforme. Ya
hemos visto que la imagen uniformemente continua de un conjunto aco-
tado_ no es, en general, acotada; aunque para conjuntos precompactos su-
cede lo propio, como veremos en seguida. No ocurre así para una función
que es sólo continua (ejercicio 43).
.AC U
• N(.~ii 8). (2)
la1
CONTINUIDAD
DEMOSTRACI ÓN. Sea • > O. Para cada punto a E.4., como 1 es continua en
B, existe un r > O, que conuponde a •¡., tal que
vxEM1N(a ; r) : d'(/(x),f(a) ) < '/t· (1)
Ahora bien, la familia de esferas N(a; '}r,), para todo a E.4., es, eviden-
temente, una cobertura abierta del conjunto compacto .4.. Existen entonces
esferas N(a,; ''/t) , N (a.; '•/.), ... , N (a,.; '•/1 ) tales que
•
...
.4.C U N(a,; ''}r,). (2)
~ Si f : A CE~
F es continua en el conjunto relativamente
coriiPacto Ay existe lím f(x), para todo a E A', entonces f es uniformemente
continua en A.
.....
186 CONTINUIDAD
se tiene que x, y EN(a; 4/2), de donde d(x, a) < 3/:, d(y, a) < ~/2, resul-
tando que d(x,y) < d(x,a) + d(y,a) < 3 y sabiendo que x,yEA, obte·
nemos d' (f(x), f(y)) < e.
Vemos, pues, que el Teorema 4 de 5.7 nos asegura la existencia de
lim f(x) en cualquier punto a EA'. , e
......
Estamos ahora en condiciones de establecer un elegante resultado sobre
extensión de una función uniformemente continua (compárese con el Teo-
rema 3 de 6.2), con la ventaja de que la continuidad de la extensión es
también uniforme. Sus aplicaciones son muchas.
Teorema 5. Si f : A CE-+ Fes uniformemente continua en A y el espacio
(F, d') es completo, entonces existe un'a función única g : A CE-+ F, uni-
formemente continua en Á y coincidente con f en A ( vx EA : g(x) = f(x)).
DEMOSTRACJÓN. La función 1 es continua en A y, en virtud del lema 1,
....
existe lím f(x), para todo a EA'. El Teorema 3 de 6.2 nos dice entonces
CO!fTINUIDAD UNJFOUUl 187
que existe una función única g : A CE--+ F continua en A y coincidente
con f en.&.
Sólo falta demostrar que g es uniformemente continua en A. Dado • > O,
existe un 8 > O tal que
Sea ahora 11' - mín {'/., B., Br} y, aplicando el Teorema 2 de 2.4, ele-
gimos puntos
pEA nN(x; 11'), q EAnN(y; 3').
d'(f(p),f(q)) <e¡,.
Tenernos finalmente,
yn, n' > v : d(x,.,x,..) < "/2, d(y,., y,..) < "fz.
Ahora bien, aplicando el lema. 1 de 1.1, se verifica
yn, n' > " : ld(x,., y,.)- d(x,.., y,..) 1 < d(x,., x,..) + d(x,., y,..) < a.
O sea que la suceSión {d(x,.,y,.)} es de Cauchy y, como la recta real
es un espacio completo, es convergente. e
Lema 2. {x,.}, {y,.} son sucesiones en un espacio (E, d). Si (x,.} es de
Cauchy y d(x,.,y,.) ~O, entonces {y,.} es también de Cauchy.
Se verifica entonces,
vn,n' >,: d(y,..y,..) < d(x,.,y,.) + d(x,.,y,..) <
< d(x,., y,.) + d(XfO•, y,..) + d(x,., x,..) <a. e
Lema 3. {x,.}, {y,.} son sucesiones en un espacio (E,d). Si x,.~x,
d(x,,y,.) ~o, entonces también y,.~x.
(Teore
' ,_
~ Todo espacio métrico admite una completación.
'
DEMOSTRACIÓN. Sean (F, a)' (F', a') completaciones del mismo espacio
(E, d). Existen, pues, conjuntos densos F0, Fo' tales que (E, d) es isométrico
con los subespacios (Fo, a) y (F'o,o').
En virtud de la transitividad de la isometría (véase 1.3), los subespacios
(Fo, a) y (F0', iY) son isométricos bajo una cierta biyección f : Fo-Fo'·
Es evidente que la función f: F0 CF~F' es uniformemente continua
en Fo y, como (F', o') es completo, el Teorema 5 de 6.6, sabiendo que
F0 - F, nos dice que existe una función única g : F ~ F', uniformemente
continua en F y tal que vx EFo: g(x) - /(x).
Tomemos puntos x, y EF cualesquiera. Como F = F0 , existen sucesio-
nes {x.}, {y.} en Fo con x,. ~ x, y,.~ y (corolario 2' de 5.1.). Por otra
parte, g es continua en x, y, luego g(x,.) ~ g(x), g(y,.) ~ g(y) (Teorema
2 de 6.1).
Aplicando dos veces el lema 4-, obtenemos
Esta igualdad, válida para todo par da puntos x, y EF, implica de inmedia-
to queg esinyectiva y que (F,a) es isométrico con el subespacio (g(F),o'),
el cual ha de ser completo como consecuencia de la completitud de (F, o).
Pero entonces g(F) es un conjunto cerrado en (F', o'), en virtud del Teo-
rema 2 de 5.3. Por otra parte, como F 0 CF, tenemos
1/,.. > 1/&, de donde k" < •· O sea que ningún número real positivo es cota
inferior del r:mgo de {k"} en tanto que O s1 lo es. Inferimos que k"_,. O.
Superado este detalle de carácter auxiliar, volvemos a lo que nos ocupa.
Sea una (unción 1 : E-+ E, donde (E, d ) es un espacio métrica. Se
dice que f es una contracci6n o que es una funci6n conlrtfctil si exilie un
número real k, con O< k< J, tal que
OONTll'fUIDAD
( 1)
d(.a:,., ~) ~ ~ d(x-'-z- 1 )
l al
y rel\lha fituLlmente
(2)
1 ·1 - ,... - t • r~
de donde
f (x) - h(r)]- g(f(x)J.
Se verifica entonces
d(x,f(x)) - d(g(x),g[f(.x)]) 5. kd(x,f(x))
lo cual implica d(x,f(x)) - O, es decir x- f(x), ya que, de lo contrario,
tendríamos la contradicción 1 < k.
Tenemos pues que " es tamb~n punto fijo de f.
Si para algún y EE se tiene /(y) - y, necesariamente g (y) - y, de
donde y - x, por la unicidad del punto fijo de g. En defmitiva, f admite
un único punto fijo que es el mismo de g. e
Este corolario no s6lo generallza el Teorema 1 en la forma obvia, sino
que además deja de suponer la continuidad de f.
EJEIQOOS
l. Sea 1: E-+ F y 4 EE. Probar que 1es continua en el punto 4 1i y 16lo
_.....,
•
ai, para todo entomo T de f (a) se verifica que a E t' (T).
E.JEBCJCJOS 199
2. Sea f: Á CE--+ R continua en el conjunto .A, a EA y e es UD número
real con f(a) <c.
Demuéstrese que existe un entorno S de • tal que
. •
............
t'(B) Cfl(B).
!1: Demostnr que, si un espacio (E. d) es compacto y todos sus puntos son
aislados, entonces E es finito y (E, d) es homeom6rfico con un e&pacio
m~trico discreto.
/(A) -/(A).
es continua en A.
es continua en R'.
30. A todo conjun to A de (E, d) asociamos una funci6n 'fA : E-+ R tal
que
VxEA : f'A(x) .., 1;
VxEE -A: fA(x )- O.
31. Demu~trense los corolarios J' y 2' de 3.2 y el Teorem a 1 de 6.4 hacien-
do uso del ejercicio anterio r en ( b) .
36. Consideremos el conjunto A- {(x, ") ER'I x E (0, 1], " ... sen 1/.} en
el espacio R 1•
Compruébese que A es conexo y arco-conexo.
Demuéstrese que A es conexo y no arco-conexo.
donde
X¡ ... o (i=F=j), X¡ ... A.
Compruébese que b, es inyectiva y continua en R, pero no sobre-
yectiva.
Verifíquense además las siguientes relaciones:
•
pr1 • b1 = O (i =F i), pr, • b, - 1, l': b, . pr, = 1.
'""
39. Dada la funci6n f : A CE__. R", definirnos sus funciones coordenadas
como ¡, = pr,. f (i .. 1, ..., n). Verifiquense las siguientes propieda-
des:
d(.4,B)- O: d'(/(.4),/(B))- O.
a) f continua en x EA ) g continua en x.
b) Constrúyase un ejemplo que indique que el reciproco de a) no es,
en general, cierto.
e) f uniformemente continua en A. ) g uniformemente continua en A..
Probar que d, d', d" son métricas sobre E y que Jos espacios resultan-
tes son uniformemente homeomórficos. Esto significa que es indiferente
cuál de las tres métricas elegimos para E; en la práctica es más sen-
cillo trabajar con d.
normado11
7.1. FUNDAMENTOS
Este capítulo debe interpretarse como una breve introducción a vastaJ
teorías matemáticas que tienen su origen en el eatucl.io de los espacios nor-
mados. Lo que tratamos aquí puede tomarse como punto de partida para
el Cálculo Diferencial en Espacios Nonnados, Espacios Vectoriales Top~>
lógicos, Teoría Espectral, Análisis Funcional y otras ramas de gran interés
y profundidad. Hemos tenido necesidad de reprimir tentaciones de desarro-
llar y ahondar en una variedad de cuestiones que conducen a resulwfos
de enonne trascendencia. No es el prop6sito de esta obra abarcar el ~
lisis Funcional. Se espera más bien que este capitulo abra el apetito inte-
lectual del lector y lo incite a disfrutar de las teodas que hemos mencionado.
Haremos uso de conocimientos muy elementales sobre espacios vecto-
riales y transfonnaciones lineales, con los cuales el lector debe estar fami•
liarizado. Aunque, la mayoría de las veces, reconlaremos brevemente los
conceptos.
Partimos de las ejemplos 3 y 4 de 1.1, donde ae definen la nonna y
producto interior de que puede estar provisto un espacio vectorial sobre
el cuerpo de los números reales. Alll se establece que un espacio normado
puede considerarse como un espacio métrico con respecto a la m~ in-
ducida por la norma y, al tratarlos como tales debe entenderse, sin excep-
ción, que nos referimos a esa métrica. As1 pues, todo lo establecido en Jos
209
210 ESPACIOS NORJIADOS
r r
a + 2JJxll x EN(a; r), a + llxJJ x ES( a; r).
IFVNDAIIBNTOS 211
Podemos decir entonces que las esferas son "llenas" o, lo que es lo
mismo, que H carece de puntos aislados (contrástese con un espacio m6-
trico discreto} .
Esto implica quP., si A es un conjunto cualquiera de H, todo punto in-
terior de A es punto de acumulación de A (véase 2.3), es decir
ÁCA'.
ACA'·
'
clausurando y recordando que A' es cerrado (corolario 1' de 2.4),
.A CA'·•
pero, por el Teorema 1 de 2.4, A'= (Á)' y como siempre (A)'C.A, con-
cluimos que
A- (A)'.
: - a+ (1 - •¡..) (~-a)
ea tal que
z EN(a; r) y llz-~11 < •·
Hemos deducido pues que
luego,
I!UND.üiBNTOS 21S
Considerando al espacio normado H como mitrico, es claro que cualquier
subconjunto no vacío de H constituye un espacio m~trico de la manera acoe-
tumbrada ( 1.4), es decir, un subespacio m~trico de H, y, como tal, sabemos
manejarlo. Pero ahora nos interesan los subespacios normados de H; vale
decir, un subconjunto S de H que sea, a su vez, un espacio nonnado con
respecto a las mismas operaciones algebraicas y norma de H. Entonces S
debe ser un subespacio vectorial de H y con eso basta. ya que, evidentemente,
la norma de H, restrin¡ida a S, constituye una norma para S.
De aquí en adelante, a menos que ee diga expresamente lo contrario, al
hablar de subespacios de H, nos referimos aiempre a subespacios vectoriales
normados de H.
Recordemos el elemental pero 6til criterio, según el cual, un subcon-
junto no vado S de Hes un subespacio vectorial ai y a6lo ai
V:t,y€S,
Va./J ER : crJt + fJy ES.
Ejemplos triviales de subespacios de H son {6} y el propio H.
Se nota pues que los subespacios de H son conjuntos muy particulares
de ese espacio nonnado y cabe preguntarse acerca de su naturaleza topo-
lógica. A fin de dilucidarla, procedemos a demostrar un par de interesan-
tes teoremas y un lema que merecerá ciertos comentarios.
N( a; r) CS.
214 ESPACIOS NO&JIADOS
1
x - - (z-a) ES.
t
•
En resumen, hemos demostrado que, si S =f- ~. entonces S ... H. De ma-
nera que, si S es un subespac.io que no es igual a H, necesariamente S.. 4>,
lo que equivale a decir que S es un conjunto fronterizo (P. de 2.7). e
Como consecuencia del teorema precedente, observamos que, si S es un
IUbespacio que no coincide con JI, entonces S no puede ser abierto, ya que,
si lo fuese, tendríamos S ... 4> (P1 de 2.7) lo que es imposible porque siem-
pre 8 (S. Si puede suceder, en cambio, que S sea cerrado, en cuyo caso S
será un conjunto ·nada-denso {P, de 2.7). Veremos más adelante, por ejem-
plo, que si S es de dimensión finita, entonces es cerrado.
El lema siguiente puede rewltar algo desconcertante a primera vista, ya
que el resultado que establece no parece tener mayor significación. No
obstante, de él obtendrtmos, en 7.4, una conclusión que nos atrevemos a
calificar de espectacular y que CQDfien: a la teoría una armonía extra-
ordinaria.
Como O < cr < 1 se tiene que k < "/., de donde, por definición de
x. ES tal que
d(x.. S), debe existir un
(x, y].
Se intuye que un conjunto convexo debe ser de "una sola pieza" >' ade·
mú "abombado", es decir, no tiene "hundidos".
Un conjunto constituido por un solo punto es obviamente convexo, ya
que [x,x]- {x}.
Otro ejemplo evidente es el de un subespacio S de H ; si x, y ES, enton-
ces x + t(y-x) =- (1-t)x + tyES, para todo 1 €[0,1], es decir, [x,y)CS
y S es convexo. En panicular, el espacio H es convexo.
Teniendo en cuenta que un segmento es un arco, observamos de inme·
diato que todo conjunto convexo es arco-conexo y, por tanto, conexo (Teo·
rema 2 de 6.5) . Ea fácil imaginane, sin embargo, conjuntos arco-conexos
que no 10n convexos¡ en tal~entido v&se el ejercicio 12.
Todo conjunto convexo en la recta real es un intervalo (por ser co-
nexo) y, reclprocament«; es obvio que un intervalo es convexo. Tenemos
pues que conectividad, arco-conectividad y convexidad son propiedades
equivalentes en la recta real y los únicos conjuntos que las poseen son los
intervaloJ.
ll(x+t(y - x}} -all - 11 (1- t ) (x- a) +t(y-a} 11 < (1- t}llx-all + tll)l-all
< ( 1- t) r + tr - r,
o sea que
x + t(y-x} EN (a ; r),
es decir
[x,y]CN(a; r) y N(a;r)
es un conjunto convexo.
En cuanto a la esfera cerrada, sabemos que ea la clausura de la abierta
y, por el lema 1, es también convexa. e
De manera pues que, por ser convexa, toda esfera abierta de un espacio
normado es un conjunto conexo y arco-couexo. Esto implica, en virtud d el
Teorema 1 de 3.4, y del Teorema 4 de 6.5, UD resultado que merece des-
ta.cane:
.. .
d(/(x),/(y)) < '2, d (/(x¡,. ),/(X!c)) < ne;
1
1>1
•
,..,
[z0, zb .•. , z.] - U (de wü6n de conjUDtoa) [z,_l> z,];
Ahora bien, sabiendo que un segmento es un arco, tenemos .r., .! z,, Zt ..!. ZJ,
~ z,., lo cual implica, en virtud de la transitivida.d de ~ (lema 1
••• , t,...1
..&
de 6.5} que .r.,,...., z,.. e
CONVBDDA.D T POLJ.CONECTJVIDAD 221
Tal como se intuye geométricamente, existen conjuntos arco-conexos
que no son poli-cooexos; por ejemplo, véase el ejercicio 17. No obstante,
proporcionaremos un recíproco parcial del Teorema 3 más adelante.
Por lo pronto, obtenemos un corolario inmediato.
r = d(C,J3(A)) >O.
xEC,yEJ3(A) ,
entonces
222 ESPACIOS NOIUIA.DOS
N(x; r) C.d.
vxE C: N(x;r)CA. ( 1)
Ya que l'f,.-'-1/ ..1- 1/ . < 3 (i- 1, ... ,n), obtenemos, por (2) ,
lo que equivale a
pero, como toda esfera abiena es convexa (lema 2), se deduce que
de donde, por ( 1) ,
lo que implica
..U [z z,] -= [Zo, »:., .. ·, z.] CA,
1-1J
Ccl
sabiendo que
.t:o=/(0) -x, z,.=/(1) =y.
•
Un dibujo ilustrativo de la demostración anterior puede facilitar la com-
prensión del lector.
Tomemos ahora un par de puntos :e, 'Y EH con llx-yll < 3. Tenemos
entonces que
•
El teorema que sigue nos proporciona otra caracterización de las trans-
formaciones lineales continuas como las únicas que "transportan" acotados
a acotados. Por esto 1e las 11aua frecuentemente transfonnaciooes aco-
tadaa.
wle decir,
de donde
Vx EH : IIT(x) 11 ~M llxll
y T ea continua por el Teorema 2.
•
150JIOJ U'ISKO TOPOLÓ GICO 1 ISOTOP Ü
•
y(x11 x 3, • •• ,x.) ER" : l: lx,¡
1:1
< n ll(x1Jx2, ···,x.)ll. (C)
Designando por k - máx {lle~ll. lle,ll, · ·., lle.ll}, es claro que k> Oy
.e verifica
•
V(x1 x., · · ·, x.) EN- : IIT(x11 x., · · ., x,.) 11 < i:ll: lx,llle,ll <k l:
•
lx,¡
1
1cl
V(xs,x2, ... ,x,.) ER": IIT(.x1,xa, ... ,x.)ll < (kn) ll(x~ox,, ...,x,.)ll· (1)
De manera que
(1 )
Vx ES(G¡ r} : f(x ) - 1
f. (x-11).
Nótese que
de manera que fes wriformem ente continua en S(a ¡ r), por satisfacer alli
una condición de Lipschitz.
Por otra parte, vemos que
vx ES(a; r) : Jlf(x) 11 = 1,
•
S(8; 1) e
,..
U (deuni611d ceonjuntos) N (x1 ;cr). (1)
Ahora bien, sea S el subespacio generado por los vectores x,, x., ··.,
x,.;
S es entonces de dimensión finita y, en virtud del corolario 3', es cerrado.
Si S no coincide co.n H, se aplica el lema 2 de 7.1 y existe un z EH coo
llzll -1, es decir, z ES( 8; l ) , tal que
z fN (x¡¡ a ) {i- 1, 2, · · ·, n)
b1 : H-+ H X K, bs : K-+ H X K,
tales que
Vx EH : b,(x) - (x, 6),
VyEK: bz(y) ={O, y).
a) pr~ • b, = 1, Jrrs • b, -= 1,
b) pr,. b, = 'pr• • h.¡_~ e,
e) b1 • pr, + b1 • pr2 - l.
En resumen, z,. ... (x,., y,.) ~ z = (x, y) si y sólo si x,. ~ x, y..~ y. Así
mismo, es condición necesaria y suficiente para que {z,.} = {(x,.,y.)} sea
de Cauchy en H X K que ambas sucesiones {x,.}, {y,.} sean de Cauchy en
H y K respectivamente.
Estos hechos conducen, entre otras cosas, al siguiente teorema.
fs : ACE--+ H, f• : ACE~K
(2)
se denomina forma bilirual. Una manera más breve pero menos precisa de
enunciar la propiedad que caracteriza la forma bilineal es decir que r1 es una
"transformación lineal con respecto a cada variable cuando la otra se man-
tiene fija". Esto p t1ede r..omprobane haciP_ndo primP.ro fl - 1, P' ... O y
luego a - 1, a.' ~ O.
Conviene declarar, cuanto antes, que una forma bilineal no es una trans-
formación lineal de H X K en G.
Como ejemplo, consideremos el "producto por un escalar''. En un es-
pacio normado (basta con que sea vectorial) H, la función u : R X H-. H,
tal que
VaER, yxEH: u(a,x) = ax,
Luego,
y(x,)') EH X K c:on ll(x,y}-(xo,)'o}ll < 3:
llo(%,)') - v(x.,y0 )11 - llv(x-x.,.yo} + v(x,y-yo)ll <
~ 11«~ (x- .x., y.} 11 + llv (x, y-)'o) 11 < A: <ll.x- .x.II· IIYoll + llxll · lly-y.ll) <
~ k(llxll + IIYol!) •ll(x,y)- (.x.,y.)ll < ka(llxll + IIYoll>;
11 ''
2
(u;w 11~11) 11- '1• < a,
de donde
e1 decir
EJUCIQOS
(a+P).ACd.+fJ.A
(a+fJ).A ""'aA+fJ.A .
x- (1,0),,- (0,1)
y.rEA: [c,.r]CA.
17. Probar que d conjunto A ... {(cost, aen t ) E.Rt 1t E[O, "/•]} es arco-
conexo y no poli-conexo.
e
24. Sea T : H .... una transformación lineal continua y IUponganlO$ que
T - T 1 • T s donde T a : H __,. K es una transformaci6n lineal y
T 1 : K__,. G es también lineal, además de continua e inyec:tiva. X.
mostrar que T, es continua.
27. Demostrar que cada una de las propiedades enunciadas en los coro-
larios 5', 5", 5'" de 7.4 implica la finit()Jiimensionalidad del espacio.
Compruébese que basta con que T sea una transformación lineal so-
breyectiva que satisface ( 1).
Verifíquese que la congruencia es una relación de equivalencia.
Se dice que el espacio nonnado K es una completación de H si: (a}
K es de Hanach; (b) existe un subespacio denso de K que es con-
gruente con H.
Demuéstrese:
es continua en H X H .
ea compacto.
poli-conexo, 220
pn!C101Dpacto, 85
An:o<onec:tividad local, 179 relativamente compacto, 96
lep&l'able, 88
BIIDacb, 195
"B" totalmente
Conjuntos
ditco-.
totalmente acotado, 87
72
Bloque centrado y c:erndo, 123 teparados, 79
Jloluno, 171 Continuidad,
Barde, 55 en conjuntos abiertos y curados, 159
Brouwu, 195 Continuidad de una funci6n en un pun-
BW, 91 to, 149
Contracci6n, 195
''O" Criterio general de conver¡encia funcio-
nal, 142
OuciO COilVCXO, 245
Cobertura, 88
Cobertura abierta, 88 "D"
Clausura, 4!1
Complecaci6n, 191 Diimeao, 82
Componente, 72 Diaoonexi6n, 67
CompoDeDte arco-conao, 178 Dedeltind, 171
CompoDeDta
178
uco-con-
Compcmente poli-conexo, {1) 246
del e.p~~do,
Deai¡ualdad de &hwaru, 20, 243
"1" R", 22
Recta real, 18
Interior del conjunto , A. 34
Interval o, 76
Inyecciones canónicas, 237
IIOIDCII'Íimlo topo~, 228 se, 109
laotopla . 228 Secuenc i•lmmte compacto, 109
Secundom~trica o ~ 17
Segmento, 2 15
"L" Squnda categoria, 131
Serie,24 4
limite, JOS absoluta mente conver¡e nte, 244
limite de una funcl6n, 135 .Subespado, 29
limite inferior y superior de oec:ilacióa, Subespac ios vectoriales DGrlllldot, 215
145 Sucesj6n, 102
Lipachia , 181 COIIver¡e Dtes, J 03
Lebesgu e, 127 creciente , 105
Lema de, dei:reciente, 105
Reilz, 214 cliverJe nte,l44
fNDICB 253
monótou.a, 105 Banach, 196
reordenación de, 1C8 Bolzano..Weientrau, 42, 127, 233
semi-constantes, 102 Cantor, 129
Sucesión eonstante, 102 Heine, 185
Suceaión en coordenadas, 121 He~e, Borel, 91, 126, 233
Suceaión de Cauchy, 110 We~entrau, 168
Sucai6n parcial, 107 Teorema de intcne<:ción de Cantor 129
Superfu:ie esfáica. 33 Transformación, 224 '
no-singular, 224
Transformación lineal, 224
'T' Trarulormaci6n linMI idéntica, 22-t
Teorema, Transformación lineal nula, 224
Baire, 62, 131 Transformacionea acotadas, 226