Está en la página 1de 6
Ye FRONTERA Y BONDE 7,” 53 E-(&=A)CA, ACE- (2, y complementando de nuevo ee nee E-ACE-A, E-ACE-4, las cuales, junto con (1), coneluyen la demostracién. e 2.5. FRONTERA Y BORDE Pca tic wen ws gin amy que facilita nota- blemente la visién intuitiva de muchas situaciones. Sea A un conjunto cualquiera en un espacio métrico (E, d). Llamamos frontera de A al conjunto B(A) = 4n(E=A). Antes de aventurar interpretaciones intuitivas sobre esta nueva nocién, con- viene listar un conjunto de propiedades de Ja frontera que se derivan de manera mAs 0 menos inmediata de la definicién, F,) B(A) es un conjunto cerrado. (Consecuertcia del Corolario 1’ y los Teoremas 4 y 3 de 24.) Fa) B(A) = B(E—A). *) Si A(A) 4 q, las tres propietiades siguientes son equivalentes (Teo- rema 2 de 24): a) *€B(A), b) d(x, 4) = d(z,E—A) =0, ©) SNA4, SM(E-A) #4, para todo entomo S de x F,) A(4) = 4—A. Aplicando el Teorema 7 de 2.4: An(B=A) = AN(E-A) = 4-4 F,) 4 = AUB(A). Enefecto, ACA y f(A) CA implican AUA(A) CA. Por otra parte, por Fy: A = AU(d—A) = AUB(A) CAUB(A). 54 CONJUNTOS ABIERTOS ¥ CON JUNTOS CERRADOS: F,) A cerrado (=) B(A) C4. P(A) CA como consecuencia de la de- finicién de frontera, luego, si A es cerrado, entonces A = 4. Reci- procamente si 2(A) CA, entonces, por Fy: 4 = AUA(A) = A. F,) A abierto <=) ANB(A) = ¢. Si A es abierto, entonces A = A, lo cual implica, por F,, ANB(4) = AN(4—A) = ¢. Reciprocamente, si AMB(A) = ¢, entonces AN(A~A) = 4, lo cuab implica ACA, es decir A = A y A es abierto, La frontera de un conjunto no vacfo puede muy bien resultar vacia. Por ejemplo, sea (E, d) un espacio métrico discreto (Ejemplo | de 1.1) y tome- mos x €E. Se comprueba fécilmente que el conjunto (z} y.su complemento. son cerrados, lo cual implica =), E=G) = E-(), de donde A({x}) — . Este mismo espacio descarta la posibilidad de que Ia superficie esférica sea siempre la frontera de Ia abierta y ka cemrada del mismo centro y radio, En efecto, N(x; 1) = {x}, cuya fromtera es vacia, como hemos visto. Sin embargo, $(x31) = E—{z). La existencia de conjuntos de frontera vacia quedard dikucidada més adelante, cuando tratemos conectividad. ‘Nétese que, en cualquier espacio métrico (KE, é) : B(s) = ¢, BE) = 4 También puede suceder que la frontera de un subconjunto propio del espacio sea todo el espacio, Por ejemplo, si Q es el conjunto de los nfimeros racionales en la recta real B(Q) = R. A pesar de estos ejemplos patolégicos, nos atrevemos a dar algunas inter- pretaciones intuitivas, con la poca confiabilidad que ellas merecen; pero contando con la benevolencia del lector. Podemes pensar que cualquiet conjunto de un espacio métrico esta limi- tado (de su complemento) por una concha o céscara que es su frontera, Lo que se encuentra dentro de Ja cAscara es el interior del conjunto (F,); y el conjunto con toda la cdscara es la clausura (Fs). Si el conjunto no incluye nada de la frontera es abierto (F;), y si la incluye toda es cerrado (F,). En caso de incluir sélo una parte de la concha, el conjunto no ¢s abierto ni cerrado. ‘Debemos insistir en que tales interpretaciones son excesivamente sim- plistas. El concepto de espacio métrico es de una extraordinaria generalidad ¢ incluye una abrumadora variedad de espacios, algunos de los cuales son amuy extrafios, sucediendo en ellos cosas que desconciertan nuestra modesta ABIERTOS Y CERRADOS EN UN SUBESPACIO 55 intuicién que no pasa de R*, Por otra parte, aun en R* y hasta en a recta, pueden considerarse conjuntos tan complejos que desafian nuestro sentido comin, Debe, pues, el lector tomar las interpretaciones intuitivas en esta teoria abstracta con toda la desconfianza que merccen y a guisa de mera arien- tacién. Llamaremos borde de un conjunto A en un espacio métrico (Z, d), a la parte de su frontera que le pertenece, es decir, al conjunto b(A) = ANB(A). Obtenemos de inmediato las siguientes propiedades: B,) A cerrado (=) b(A) = B(A). (Fe), Bs) A abierto (=) b(A) = 9. (Fy), B,) (4) = 4-4. Aplicando Fu: ANB(A) = AN(A—A) = ANAN(E-A) = AN(HA) = A-A. B,) b(E—A) = B(A)—b(A). (Se deja como ejercicio.) 2.6. ABIERTOS Y CERRADOS EN UN SUBESPACIO Sea (E,d) un espacio métrico y F un subconjunto no vacio de E. Por 14 sabemos que F da origen a un espacio métrico (F,d) con respecto a la métrica inducida por d. Nos proponemos averiguar odmo son los conjuntos abiertos y cerrados en el subespacio (F,d) y qué relacién guardan con los abiertos y cerra- dos en (E,d). . Antes que nada, conviene precitar cémo son las esferas abiertas en (F, d), punto de partida para todo, Tomemos un « €F y un némero real r > 0. De acuerdo a Ia definicién dada en 2.1, una esfera abierta de centro a y radio r en (F,d) es el conjunto {x €F |d(a,z) <1}; pero esto no es otra cosa que F(a; 1), donde N(a;r) es la esfera abier- ta de centro a y radio r en (E, 4), Resulta, pues, que las esferas abierias en. (F,) no son més que las intersecciones de las esferas abiertas en (E,d) con F. 56 CONJUNTOS ABIERTOS ¥ CONJUNTOS CERRADOS Teorema 1. Un conjunto BCF es abierto en el subespacio (F,d) de (2,4) siy s6lo si existe un conjunto A abierto en (£, d), tal que B= ANF. DemostrAci6n. Supongamos que A es abierto en (E,d) y B= ANF. Si B= ¢, es abierto en (F, d). Consideremos que Bg y tomemos un x €B. Pero entonces x €.A y A es abierto en (E, d), luego existe un r > 0 tal que N(x3r) C4, pero esto implica FAN(s;1) CANF = B. Es decir, existe una esfera abierta de centro x en (F,d) contenida en B y éte es abierto en (F, d). Reciprocamente, supongamos que B es abierto en (F,d). Luego, para cada « €B, existe un nimero real r, > 0 tal que FON (s3re) CB. Pero esto implica que B= U[FAN(s310)]. Por otra parte, empleando Ja propiedad distributiva de la interseccién con respecto a la unién, tenemos: U [FON (#5 46)] = FO [UN (x; re) ” = Pero el conjunto A = UN(x;1_) es abierto en (£,d), en virtud del Teo- o rema 3 de 2.2, siendo Bm FA. e ‘De manera, pues, que los abiertos en (F, d) no son otros que las trazas de los abiertos en (E,d) con F. Pasemos a averiguar cémo son los cerrados en (F,d). Antes recordare- mos la definicién de cerrado en cualquier espacio métrico. El conjunto es cerrado si contiene todos aquellos puntos del espacio que son sus puntos de acumulacién, Particularizando, decimos que el conjunto BCF es cerrado en (F,d) si todo punto de F, que sea de acumulacién de B, pertenece 2 B. ABIERTOS ¥ CERRADOS EN UN SUBESPACIO 57 Dicho de manera equivalente, B es cerrado en F si todo punto de acumula- ign de B que esté en F, pertenece a B. Nétese que esto no excluye la posi- bilidad de que existan en E puntos de acumulacién de B que no pertenezcan a B nia F. Por ejemplo, sean ¢

También podría gustarte