CAPITULO | V
Compacidad
4.1, CONJUNTOS ACOTADOS. DIAMETRO
El lector conoce el concepto de conjunto de mimeros reales acotado su-
perior ¢ inferiormente, pero tal nocién esta ligada a la relacién de orden
en R, y como un espacio métrico no estd, en general, provisto de una rela-
cién de orden, no podemos extender la idea directamente. No obstante, si
pensamos en conjuntos del plano y del espacio, sin duda imaginamos, de
manera intuitiva, lo que se pretende indicar al decir que el conjunto estd
acotado: cuando “no se extiende indefinidamente”, cuando se mantiene
“dentro de ciertos limites”. Si tal es el caso, puede suponerse que las distan-
cias entre los puntos del conjunto no exceden una cierta cantidad. Esta ob-
servacién nos conduce a la definicién precisa, aplicable a cualquier espacio
métrico.
Sea A un conjunto no vacio en un espacio métrico (E, d). Decimos que
A es acotado, si existe algin nimero real k > 0 tal que
Vuyedid(xy) Sk
Es consecuencia inmediata de esta definicién que todo subconjunto no
vacto de un conjunto acotado es también acotado.
Veamos lo que significa este concepto en la recta real. 82 COMPACIDAD
Sea A un conjunto no vacio de niimeros reales y acotado segiin esta nueva
definicién, Existe, pues, un & > 0 tal que
veyed: d(x,y) = |x-9] Sh
Tomemos un x; € 4 fijo; tenemos entonces
Veed: [ema] Sk
pero esta desigualdad es equivalente a
VxeAim—kSacuth
es decir que A esté acotado superior ¢ inferiormente.
Reciprocamente, supongamos que A es un conjunto no vacio de nimeros
reales y acotado superior e inferiormente, Si a es una cota inferior y b una
cota superior, se tiene que
AC[a, b],
de donde
vx yEA: x,y €[a,d),
lo cual implica
|x-y| <0
© sea que A est acotado segtin la nueva definicién.
En resumen, que un conjunto en la recta real sea acotado es equivalente
a decir que esta acotado superior ¢ inferiormente.
Sea A un conjunto no vacio en un espacio (£,d). De acuerdo con la
definicién, decir que A es acotado es equivalente a que el conjunto de mi-
meros reales
{4(x,)}, para todo par 4 €4,
esté acotado superiormente. Tiene, pues, sentido considerar su extremo supe-
rior, al cual designamos por
8(4) = sup (d(x »)}
Ua
y lo amamos didmetro del conjunto A. Reciprocamente, si existe tal extremo
superior, es decir si el conjunto A tiene didmetro, A est4 acotado. CONJUNTOS ACOTADOS. DIAMETRO 83
Si el conjunto A no es acotado preferimos decir que carece de didmetro.
Como la distancia entre dos puntos es siempre un nfimero real mayor o
igual que cero, resulta que
3(A) 20.
Si el conjunto A contiene sélo un punto, el conjunto {d (x,y) } est cons-
tituido dinicamente por 0, de donde §(A) = 0. Reciprocamente, si A no es
vacio y 8(A) =0, entonces ¥x,y EA : 0 0 arbitrario.
Para x,y €A cualesquiera, en virtud del Teorema 2 de 2.4, existen pun-
tos $,q EA tales que
PEN(x3 2), GEN(¥; “2) CONJUNTOS PRECOMPACTOS Y SEPARABLES 85
Entonces
(x,y) < d(x, p) + d(y,p) < d(x, p)+ d(y.g) + d(b.g) < 8(A) +
De esta desigualdad se deduce que A es acotado y que
8(A) <8(A) + 85
pero, como ¢ ¢s arbitrario
8(A4) < 8(A). (1)
Por otra parte, de ACA y sabiendo que 4 es acotado, obtenemos:
8(A) S8(A),
lo cual, junto con (1) demuestra el lema. e
Corolario I’. Un conjunto es acotado si y sélo si es acotada su clausura.
Lamentablemente, no existe relacién entre un conjunto y su interior en
cuanto a sus diametros 0 el mismo hecho de ser acotado. (Ejercicios 2 y 4.)
4.2, CONJUNTOS PRECOMPACTOS Y SEPARABLES
Un concepto nuevo, de gran importancia y utilidad, es el de conjunto
precompacto. Es una propiedad algo més restrictiva que la de ser acotado,
como veremos en seguida. Su motivacién e interpretacién intuitivas no son
claras y antes que correr el riesgo de confundir en lugar de aclarar, prefe-
rimos abstenernos de hacer especulaciones, Procedemos, pues, a la definicién
precisa y formal directamente.
Sea A un conjunto no vacio en un espacio (£, d).
Decimas que A es precompacto si a cualquier ntimero real ¢ > 0 corres-
ponde un conjunto finito de puntos x1, 2, +++)%n€A tales que
AC UN (x50)
et
Se observa de inmediato que si A es finito, entonces A es precompacto:
basta con tomar a todos Jos puntos de A como centros de las esferas, El reci-
proco es también cierto en un espacio métrico discreto (Ejercicio 5), pero
no en cualquier espacio; por ejemplo, no es dificil comprobar que un inter-
valo acotado de infinitos puntos en la recta real es precompacto. 86 COMPACIDAD
Teorema 1, En un espacio métrico cualquiera, todo conjunto precom-
pacto es acotado.
Demosrracién, Sea A un conjunto precompacto en un espacio (E, d). To-
mando e = 1, existe un conjunto finito de puntos x;, 2, +++) % €A tales que
AC ON (xp3 1). qd)
ket
Sea h el maximo de todas las distancias d(x;,*j), para i=1,-+-,n, j
Tomemos ahora x,y € A cualesquiera. En virtud de (1)
SEN (x51), YEN (x55 1)5
luego
A(x, 9) Sa(x, xi) + d(yxi) < d(x, a4) + d(y, ay) + d(x, 75),
© sea que
d(x,y) <2+h
y Aes acotado,
El reciproco de este teorema no es, en general, cierto,
Sea, por ejemplo, (Z, d) un espacio métrico discreto de infinitos puntos.
El conjunto E es acotado, de hecho 8(E) = 1; pero no es precompacto por
ser infinito (Ejercicio 5). No obstante, veremos mucho més adelante que
en un espacio normado de dimensién finita (y sélo en tales espacios nor-
mados) todo conjunto acotado es precompacto. Ello sucede, en particular,
en la recta real y en R".
El siguiente resultado es de frecuente utilidad.
Teorema 2. Si A es un conjunto precompacio de un espacio (£, d), todo
subconjunto no vacio de A es precompacto.
Demostraci6n. Sea Bun conjunto no vacio con BCA y demostremos que
B es precompacto.
Dado ¢ > 0, existe un conjunto finito de puntos <1, 22, +++, %€A tales
que
>
AC UN(ee3 2) 5
me CONJUNTOS PRECOMPACTOS Y¥ SEPARABLES 387
de donde
BC U N(zus*2)
ka
para un n < p, luego de haber desechado las esferas que no contienen puntos
de By haber reordenado las zy si es preciso,
Por cada k = 1, «++, tomemos un punto
x EBON (245 */2)
y consideremos la esfera abierta N(xx3 €)«
Luego,
VEN (45 “2)
(I, #n) Sd (y, 2) + d(x ze) 1 es un nimero natural.
Designemos G = {Nj, Na, «++
‘Tomemos un Ny €G. Si existe alguno o algunos B EF con NyCB, selec-
cionamos uno de ellos y lo lamamos Bj, Construimos de esta manera una
subfamilia contable F, de F: F, = {B,, Bs, ---). CONJUNTOS PRECOMPACTOS ¥ SEPARABLES 89
Demostremos que F, cubre a A.
Tomemos un x € A. Como F es una cobertura de A, existe algtin BF
con x €B; pero como B es abierto, existe un r > 0 tal que
N(x37) CB.
Elijamos un nimero natural m > 1 con
0< In < he
Ahora bien, x €5, ya que ACS, y esto implica en virtud del Teorema 2
de 2.4, teniendo en cuenta que N(x;%m) es un entorno de x, que existe
algdn x, €S con a, €N(x; "fm) 3 pero entonces
(xn, 8) < my @8 decir x €N (a3
Por otra parte, si
Y EN (Xn5 Ym)
(x,y) Sd(x, xn) + d(y,%n) < 4m <1
© sea
yEN(x37),
es decir
N(4n3 Jn) CN (x31),
entonces
N(Xn5 Im) CBs
pero, sabiendo que
N(n3 Im) EG,
la construccién de F; nos dice que
N(xn3 fm) CBy para B, CF.
De alli que x €By, es decir AC U By y F, constituye una subcobertura
in
contable de F. 90 COMPACIDAD
Interesa a nuestros propdsitos establecer que los conjuntos precompactos
poseen Ia propiedad enunciada en el teorema anterior. Ello se debe a que
todo conjunto precompacto es separable, hecho importante por si mismo.
Teorema 4, En un espacio métrico todo conjunto precompacto es sepa-
rable,
DemostraciOn. Sea A un conjunto precompacto de un espacio (E,d).
Para todo numero natural m > 1 existe un conjunto finito de puntos
Xmyty Xmas oy Xm EA
tales que
AC UN (4ms5 4m)
(evidentemente que, en general, n depende de m).
Sea S el conjunto contable de todos los xm,i para todo ntimero natural
m > 1. Tenemos que SCA y, si demostramos que ACS, entonces A es
separable.
Haremos uso del Teorema 2 de 2.4,
Tomemos un x €A cualquiera y sea e > 0 un niimero real, Elijamos
un nitmero natural m tal que
O< 4m 0 es arbitrario, esto implica
que
d(x,8) = 0,
de donde x €S. O sea que ACS.
E] recfproco 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 1. Ejemplo de esto es el conjunto R en la recta real.
4.3. CONJUNTOS COMPACTOS
Sea A un conjunto no vacio en un espacio métrico.
Decimos que A es compacto si toda cobertura abierta de A admite una
subcobertura finita. CONJUNTOS COMPACTOS. 91
Es dificil interpretar intuitivamente el concepto de conjunto compacto
motivar su definicién. No obstante, puede decirse que se trata de una
generalizacién topolégica de conjunto finito. En efecto, todo conjunto finito
es compacto, como se comprueba de inmediato, y a pesar de que ciertamente
existen conjuntos compactos infinitos, veremos que sus propiedades topolé-
gicas los hacen muy semejantes a los finitos.
Histéricamente, la idea de conjunto compacto tuvo su origen en el
famoso teorema de Heine-Borel, en el espacio R®, el cual veremos en el capi-
tulo siguiente. Alli se establece que todo conjunto cerrado y acotado posee
Ia propiedad que hemos adoptado para definir compacto. Ocurrié, pues,
darle nombre propio a tales conjuntos y considerarlos en cualquier espacio.
La importancia de los conjuntos compactos en topologia métrica o general
es fundamental, La riqueza de sus propiedades y facilidad de su manejo los
hace desempefiar un papel primordial,
Sea A un conjunto no vacio en un espacio métrico,
Decimos que A posee la propiedad de Bolzano-Weierstrass, si todo sub-
conjunto infinito T de A admite un punto de acumulacién en A, es decir,
T’NA+# g. Para abreviar, a tales conjuntos los Hamaremos BW.
Si A es un conjunto finito, cs BW. En efecto, gqué subconjunto infinito
de A no admite puntos de acumulacién en A?
Nuestro propésito en lo que sigue cs el de descubrir las propiedades
fundamentales de los conjuntos compactes. Entre ellos se destaca que com-
pacidad y BW son la misma cosa en un espacio métrico.
Finalmente y para hacer que la definicién de compacto aparezca menos
rebuscada, observemos que en el Teorema 3 de 4.2 se establecié que toda
cobertura abierta de un conjunto separable admite una subcobertura con-
table. Mas aim, el reciproco es también cierto (véase el Ejercicio 9) ; 0 sea
que tal propiedad caracteriza a los conjuntos separables en un espacio mé-
trico y ha podido adoptarse como definicién de éstos. Esta consideracién
conduce, de manera natural, a definir conjuntos para los cuales toda cober-
tura abierta se reduce una subcobertura finita.
El Jema siguiente establece una sencilla propiedad, obvia desde un punto
de vista intuitivo, pero de utilidad muy frecuente en este y otros capitulos.
Lema 1. $i x,y son puntos de un espacio (E,d), tales que xy, existe
un entorno S de x y un entorno T de y con SAT = ¢.
DemosrraciOn. Nétese que, como xy, d(x,y) > 0. Sea entonces
4d(x,y)
y consideremos las esferas abiertas 92 COMPACIDAD
S = N(x5r), T= N(y37),
que son entornos de x y y, respectivamente,
Para demostrar que SAT = ¢, basta con tomar z €S genérico y probar
que 2 ¢T.
En efecto:
Qr = d(x,y) Sdlz,x) + d(z,y) 1, es decir 2 ¢T.
EI teorema que sigue, si se compara con el lema precedente, asemeja un
conjunto compacto a un punto, lo cual refuerza lo que para nosotros sugicre
el vocablo “compacto”.
Teorema 1. Sea A un conjunto compacto y x un punto, ambos en un es-
pacio métrico. Si x ¢.A, existe un entorno S de x y un conjunto abierto T
con ACT tales que ST = ¢.
DemostraciOn. Si y €A, necesariamente xy, ya que x¢A.
De acuerdo con el lema precedente, existe un entorno S(y) de x y un
entomo T(y) de y con (x) NT(y) =
La familia de entornos T(y) para todo y€A es una cobertura abierta
de A. Como éste es compacto, existe una cobertura finita
{T (91), T (ye). +++ Ton) }-
Estos entornos se corresponden con entornos de x {S(y1),S(y2), +++
S(yn)}, tales que S(y%) NT (yn) = $ para k = 1,2, 0050.
Designemos
Asn), T= U T(x).
- =
En virtud de los teoremas 3 y 4 de 2.2, es un entorno de x y Tes unt
conjunto abierto,
Tenemos que ACT.
Para probar que SMT = ¢, basta con tomar un z €7' genérico y com-
probar que z€S. En efecto, z€T (yx) para algin k = I, ...,23 pero como
S(y%x) NT'(y%) = $5 2 €S(y%), Jo cual implica que < ¢ 8.
Corolario I’. Todo conjunto compacto en un espacio métrico es cerrado. CONJUNTOS COMPACTOS 93
Demosreactén. Sea A un conjunto compacto en (E, d). Si A = F, sabe-
mos que A cs cerrado, Supongamos que A es subconjunto propio de E y
tomemos un x ¢A, es decir x €E—A.
Aplicando el teorema anterior, existe un entorno S de x y un conjunto
abierto T con ACT tales que SOT = ¢. Pero entonces SN.4 = ¢, lo cual
implica, por el Teorema 2 de 2.4, que x € A.
Hemos demostrado que (E—4) 4 = $3 de donde ACA, es decir
A = A. Aes pues cerrado.
Veremos luego que el reciproco no es cierto en general
Teorema 2. ‘Todo conjunto compacto en un espacio métrico es precom-
pacto.
DemostraciOn. Sea A compacto y « > 0 un némero real.
La familia de esferas abiertas N(x; e) para todo x € A es, evidentemente,
una cobertura abierta de A.
Existe entonces una subcobertura finita.
{N (x13 ©), (x05 €), «++ (ans e)},
es decir
AC UN(xije), donde x, x2, «+n A.
fa
Corolario 2’. Todo conjunto compacto en un espacio métrico es aco-
tado.
Demostracién, Aplicamos el teorema anterior junto con el Teorema 1
de 4.2,
Vemos ahora que un conjunto cerrado no es necesariamente compacto,
ya que puede no ser acotado, Andlogamente, un conjunto acotado o pre-
compacto no ¢s, en general, compacto, ya que puede no ser cerrado.
Més grave atin, un conjunto cerrado y acotado tampoco es, en general,
compacto. Sea, por ejemplo, (E,d) un espacio métrico discreto de infinitos
puntos. El conjunto H es cerrado y acotado, pero no compacto por no ser
precompacto (véase el Ejercicio 5). No obstante, en el capitulo siguiente
demostraremos que todo conjunto cerrado y acotado en R” es compacto
(Heine-Borel), y més adelante veremos que esa propiedad caracteriza a los
espacios normados de dimensién finita, Tal resultado nos indica que, en 94 COMPACIDAD
un espacio normado de dimensién infinita, ha de existir algtin conjunto
cerrado y acotado que no es compacto.
Si examinamos el contra-ejemplo dado arriba sobre el espacio discreto,
notamos que el conjunto cerrado y acotado deja de ser compacto por no
ser precompacto. Cabe preguntarse si, quiz4, un conjunto precompacto y
cerrado es siempre compacto. Lamentablemente, esto tampoco es cierto, en
general. Veremos, sin embargo, en el capitulo siguiente, que la respuesta
es afirmativa en espacios métricos completos y, lo que es més, los caracteriza.
La muestra de un ejemplo de conjunto precompacto y cerrado que no
sea compacto, preferimos dejarla para el préximo capitulo, donde podremos
hacerlo con toda facilidad.
Emprendemos ahora la tarea de demostrar la equivalencia entre conjun-
tos compactos y BW. Gomenzamos con el lema siguiente, de caracter pura-
mente auxiliar.
Lema 2. Todo conjunto BW’ en un espacio métrico es precompacto
DemosrraciOn. Sea A un conjunto BWV en un espacio (Ed).
Supongamos que A no es precompacto. Debe entonces existir algin
niimero real e, > 0 tal que no existe secuencia finita de puntos de 4, de
forma que las esferas abiertas de centro esos puntos y radio e, cubre A
Esto nos permite construir una sucesién infinita de puntos de 4 que
designaremos T = (11, 4%, ---} de la siguiente manera:
Tomamos arbitrariamente x, €4. En virtud de nuestra hipétesis, A no
puede estar contenido en N(x; ¢1); elegimos entonces x2 €A—N (x15 €1).
Suponiendo construidos x,, x2, «++, 4,-1, notamos que A no puede estar con-
m4 mt
tenido en UN(xi3 e1) y tomamos a €A—UN(xi5 1).
ia int
Hemos formado asi, por induccién, al conjunto infinito 1 con TCA.
En virtud de su construccién posee la propiedad:
Vxixy ET, ix6j, d(xi,x;) Der. (1)
Dado que A es BW, existe un punto x €A que es de acumulacién de T.
Ello implica que el entorno N(x; */.) de x contiene infinitos puntos de T y
podemos tomar xi, xj €TAN (x; Je) con 134}; entonces
d(xi,xj) 1, AG U By y
fa
veamos que nos conduce a una contradiccién. En efecto, tal suposicién nos
permite construir un conjunto infinito T = {x1, x2, -} con TCA, de la
siguiente manera:
Tomamos x,€4 y yn > 1,
na
xn €A— UB,
fe
Ahora bien, como A es BW, existe un punto x €A de acumulacién de T,
y como F, cubre A, x € B; para algan k natural.
Pero entonces B;, es un entorno de x, ya que es abicrto, luego By contiene
infinitos puntos de 7.
Forzosamente, debe existir algtin x» €TM By con n > k; pero esto con-
tradice la construccién de T, la cual hace que x» ¢ By sin > k. 96 COMPACIDAD
De manera que para algtin mimero natural n > 1:
»
AC UB.
y A es compacto.
En resumen, hemos establecido de manera directa o indirecta que todo
conjunto compacto es precompacto, acotado, separable, cerrado y BW. De
tos s6lo la propiedad BW implica compacidad en el caso general,
Mas adelante se establecerA bajo qué hipétesis adicionales una o varias
de las otras propiedades implican compacidad y, una vez resucltas todas las
posibles interrogantes, se proporcionard un cuadro de implicaciones como
itil referencia.
Es facil darse cuenta de que no todo subconjunto de un compacto es
compacto; sin embargo, si el subconjunto es cerrado, ello basta para asegurar
su compacidad. Esto se demuestra en el teorema siguiente, el cual pone de
manifiesto la utilidad del Teorema 3, aunque puede demostrarse directa-
mente de la definicién de compacto (véase el Ejercicio 23).
Teorema 4. Si B es un subconjunto no vacfo y cerrado de un conjunto
compacto A, entonces B es compacto.
Demostaac:6n. Si B es finito, es compacto. De lo contrario, sea T un sub-
conjunto infinito de B. Como BCA, T' es un subconjunto infinito de A y
como este tiltimo es BW (Teorema 3), existe un punto x €T’NA, Pero todo
punto de acumulacién de T lo es de B, ya que T CB, y, como B es cerrado,
pertenece a B, es decir, x €7’NB.
Resulta, pues, que B es BW’ 0 sea compacto (Teorema 3).
4.4, CONJUNTOS RELATIVAMENTE COMPACTOS
El lector habrd podido notar que la compacidad es una propiedad muy
exigente y, por lo tanto, restrictiva.
Conviene introducir un concepto un poco més débil que es el de compa-
cidad relativa, el cual, sin embargo, es algo mds fuerte en general que la
precompacidad, como veremos més adelante.
Decimos que un conjunto no vacio en un espacio métrico es relativamente
compacto si su clausura es compacta.
Considerando que todo conjunto compacto es cerrado, se deduce inme-
diatamente de la definicién que un conjunto compacto es relativamente EJERCICIOS 97
compacto, También es trivial que un conjunto relativamente compacto y
cerrado es compacto.
El siguiente resultado es, en realidad, un corolario del Teorema 4 de 4.3.
Teorema 1. Si B es un subconjunto no vacio de un conjunto relativa-
mente compacto A, entonces B es relativamente compacto.
Demosrractén. De BCA obtenemos que BCA; pero A es compacto y B
¢s un subconjunto no vacio y cerrado de A.
En virtud del Teorema 4 de 4.3, B es entonces compacto y B es relativa-
mente compacto.
Es consecuencia inmediata del teorema precedente que todo subconjunto
no vacio de un compacto es relativamente compacto.
Todo conjunto relativamente compacto es acotado, ya que es un sub-
conjunto de su clausura, la cual es acotada por ser compacta. Pero podemos
establecer un resultado mas poderoso con igual facilidad.
Teorema 2, Todo conjunto relativamente compacto en un espacio métrico
es precompacto.
Demosrraci6én. Sea A un conjunto relativamente compacto.
Su clausura A es precompacta por ser compacta (Teorema 2 de 4.3);
pero A es un subconjunto no vacio de A, entonces A es precompacto por el
‘Teorema 2 de 4.2.
Cabe preguntarse si el reciproco de este teorema es cierto, Jo cual equi-
vale a considerar si un conjunto precompacto y cerrado es compacto (véase
el Ejercicio 6).
Pero esta cuestién fue tratada en 4.3, luego del Corolario 2’, afirman-
dose que Ia proposicién no es verdadera en el caso general e indicando que
el asunto quedard dilucidado en el préximo capitulo.
EJERCICIOS
1. Probar que la unién de un ntimero finito de conjuntos acotados es
acotada,
2. Dar un ejemplo de conjunto no acotado cuyo interior sea acotado,
3, Demostrar que el didmetro de una esfera abierta en un espacio nor-
mado es igual a dos veces su radio, 10.
ae
12.
13,
14,
15.
COMPACIDAD
Revelar, mediante un ejemplo, que el didmetro de un conjunto no es
siempre igual al de su interior.
Demostrar que, en un espacio métrico discreto, un conjunto es pre-
compacto si y sdlo si es finito.
Probar que si un conjunto es precompacto su clausura también lo es.
Sea A un conjunto no vacio en un espacio métrico.
Supongamos que para todo e > 0 existe una familia finita de conjuntos
Ay, As, +++, An que cubre A y tal que
8(Ax) i.
Demostrar que
N Ay
wa
es cerrado y no vacio,
Si A no es vacto y Bes compacto, demuéstrese la equivalencia
(A,B) = 0 (=) ANB #¢.
A es compacto, B es abierto y ACB. Probar que existe un conjunto
cerrado C con ACCCB.
Demostrar el Teorema 4 de 4.3 aplicando directamente la definicién
de compacidad.
Sea (E,d) un espacio en el cual toda esfera cerrada es compacta
Probar que todo conjunto acotado es relativamente compacto.
Sea A la familia de todos los conjuntos relativamente compactos de un
espacio (E, d).
Definamos, para S, T €A:
S2T (=) 5=T. 100
26.
COMPACIDAD
Comprobar que ~ es una relacién de equivalencia sobre A.
Designemos por X al conjunto cociente /~ y definamos
piXXXOR
tal que, si £, 7 €X, tomamos S €é, T €y, y entonces
p(n) = d(S,T).
Demuéstrese que p est bien definido (apliquese el Ejercicio 15 del
Capitulo II) y que (X,p) es un espacio métrico.
A es un conjunto no vacio en un espacio (E,d). Probar que A es pre-
compacto si y sélo sia cada «> 0 corresponde un conjunto finito F
de puntos de E tal que
yx€A:d(x,F)
También podría gustarte
- Espacios TopologicosDocumento9 páginasEspacios TopologicosWalther MontesAún no hay calificaciones
- Limites y Espacios ComplejosDocumento47 páginasLimites y Espacios ComplejosWalther MontesAún no hay calificaciones
- Conectividad Conjuntos ConexosDocumento14 páginasConectividad Conjuntos ConexosWalther MontesAún no hay calificaciones
- Topologia de Espacios MetricosDocumento61 páginasTopologia de Espacios MetricosWalther MontesAún no hay calificaciones
- Geografia General de VenezuelaDocumento192 páginasGeografia General de VenezuelaWalther MontesAún no hay calificaciones
