You are on page 1of 20
Topologia de la recta Teal 10.0. PROPIEDADES MAGICO;TOPOLOGICAS 230 Georg Cantor (1845-1918) La topologia es-una rama de las matemiticas de desarrollo reciente, El término de «topologia» se empieza a usar en los.afios veinte; anteriormente, Jos primeros problemas de la topologia fueron estudiados por Leibniz y Euler en el siglo xv, que tratan con el nombre de «analysis situs, La topologia llamada algebraica surge con el famoso problema de los puentes de Koenigsberg, resuelto por Euler, cuestiOn en la que se trataba el asunto aparentemente trivial de si era posible pasar por los siete puentes que unen entre si dos islas,y las orillas del rio de Ta ciudad alemana de Koenigs- berg, de forma que solo se pasase una vez por cada puente. Euler conocié el problema y lo resolvid ante la Academia Rusa de San Petersburgo en 1736, demostrando que no es posible encontrar un camino que pase una sola vez por cada uno de los siete puentes. EI primer paso en la resolucion sistemitica de este tipo de problemas fue dado por el francés Jordan en el siglo xix, enunciando un teorema fundamen- tal basico para el desarrollo de toda la topologia: «Toda curva cerrada en el plano, que no se cruza a si misma, divide el plano en un interior y en un exterior; los términos cerrada, cruce, interior, y exterior son, sin embargo, mucho mis precisos en topologia que en el lenguaje usual La topologia da lugar a curiosos, y aparentemente inutiles, problemas, como por ejemplo, demostrar que una «rosquilla» es equivalente topologica- mente a una «taza de café», mediante una transformacién continua (sin cor- tes}, y no es equivalente a una esfera (que exigiria un corte). Es decir, que toda superficie simplemente conexa es equivalente a una esfera. Georg Cantor (1845-1918) cred los instrumentos bisicos de la topologia conjuntista 0 topologia del andlisis, como punto de acumulacidn, frontera, interior, etc, permitiendo el estudio sistemético de la topologia de la recta real y del plano, Estudié los conjuntos de cardinal, infinito (con infinitos elementos) y demostré que el conjunto de los niimeros reales no es numerable (Q, Z y N son numerables) existiendo, por tanto, distintos tipos de infinitos. En el aio 1872 los matematicos Meray, Dedekind, Heine, Halle y Weiers- trass publicaron trabajos que contribuirian a la aritmetizacién del andliss. TOPOLOGIA DE LARECTA REAL 231 10.1. R ES UN CONJUNTO TOTALMENTE ORDENADO Para el estudio de este capitulo se suponen conocidos los elementos basicos de la teoria de conjuntos: las relaciones de pertenencia e inclusibn, las operacio- nes union ¢ interseccién de conjuntos, el complementario de un conjunto, etc. Sea Fel conjunto de los niimeros reales, construido como una ampliacién de los conjuntos N, Z y Q. Se representa el conjunto R en una recta, dado un origen 0 y una unidad, de forma que hablaremos indistintamente de un punto Ter o de un némero real ae estate fear c waaechs En R se considera la relacion: a < b siy solo sidce R* u {0} tal que «al czigen): ates sta relacion es de orden total, es decir, vriica las propiedades: ° R 1. Refleniva: a'< a VaeR, ya quedce R* v {0} talquea tesa jp (c 20) ee 2. Amtisnyétricas Va, be R que verifiquen a < by b < a, entonces a pee ya que sia 4, @ también una cota superior. De forma anéloga, si lo esté infe- riormente. Se llama entorno abierto centrado en vo € R a todo intervalo abierto de ja forma (> ~ 1,9 + 1), donde res el radio del entomo y es un nimero real estrictamente positivo, r > 0. Se llama entorno abierto de x € R a todo intervalo abierto que contenga a xq: Habitualmente se entender que es centrado en Xo y se designara simple. mente entorno de xg; en caso contrario se indicar Se podtian definir entornos cerrados de forma andloga a los abiertos, pero no se van a usar en este capitulo. Se designaré a los entornos de xp de la forma Us, ¥, si fuese necesatio, se indicara el radio del entorno escribiendo U(xo, r: Ub) = wo — x0 +N) = [KER Xm tA = freR rc xx <= (VER mI <4 mst Uy U, — {20}, es decir, =X) U KX += (rERO
x, Vxce A. Es decir, si existe un valor real k, mayor 0 igual que todos los valores del conjunto 4; a este valor & se le Hama eota superior. Analogamente, se dice que k’ € R es una cota inferior del conjunto A si K < x,¥xe A;entonces se dice que A esté acotado inferiormente. Un conijunto A < Ri se dice acotado si lo esta superior e inferiormente. Se llama extremo superior (o supremo) de A c al valor real Me R que sea la menor de las cotas superiores de 4: M = menor {k ¢ P, k cota superior de 4} Se llama extremo inferior (0 infimo) de A < R, al valor real de m © R, que sea la mayor de las cotas inferiores de 4: m = mayor {k’ € R, k’ cota inferior de 4} A estos extremos M y m se les llama maximo y minimo si pertenecen al conjunto A. TOPOLOGIA DE LARECTA REAL 233 Un conjunto no acotado no tiene extremes. A los intervalos Exo, 00) {-%, Xo] LER, x2 Xo} 3 (Wy, 00) = (LER, x > 29} {xER x < xo} 5 (—00, Xp) = [x ER, x < xo} se les llama semirrectas, Los primeros no estén acotados superiormente, y los segundos no estin acotados inferiormente. El imtervalo (—o0, oo) = Res la recta real y no esti acotado nit superior ni inferiormente EJEMPLOS — + Elentomno de centro 2 y radio r = 05, U(2, 05) es el intervalo abierto U(2, 0,5) = (1,5, 2.5) = (xe R, LS h> hy? ~ Sif = Bu vid = Baya) [ip Yad, .. tales que 234 © MATEMATICAS ™ Axiomitica de los ndmeros reales & Teorema 1 entonces {J,}ney ¢8 una sucesién infinita de intervalos cerrados encajados, ya que I, > iy, Vie N. Cantor postulé que dada una sucesion de intervalos encajados y tales que lim (y, ~ x) = 0 (cuyas amplitudes tienden hacia 0), entonces 3a € R tiniog tal queae I, V¥neN, es decir, () 1, = {a} el Ei conjunto‘de los nlimeros reales se puede fundamentar mediante un conjun- to de axiomas, de forma que todas las propiedades se deduzcan de éstos Axioma 1 El conjunto de los nimeros reales, R, con relacion a la suma y el producto de nimeros reales, leyes de composicion interna, es un cuerpo conmutativo, (R, +,+) es un cuerpo conmutativo, es decir: + (B, +) es un grupo abeliano, verifica las propiedades: asociativa; existe un elemento neutro (el cero); todo elemento tiene su simétrico (el opues- to), y conmutativa. + (B,-)es un grupo abeliano, verifica las mismas propiedades, el neutro es Ja unidad, y todo elemento (salvo el cero) tiene su simétrico, ef inverso, «Se verifica Ia propiedad distributiva del producto respecto de la suma, Axioma 2 (R, <) es un conjunto totalmente ordenado y se verifican las propiedades: a) Six < yentonesx+z Oy —n1 +n) ¢ [0,1] puesto que U; = (1— 11+ oonr > Oy(l— nt + ¢ [0,1] (los x € R tales que 1 < x <1 + rpertenecen al entorno pero no perte- necen a [0, 1). Portanto, dc dj; VACR 4 Conjuntos abiertos Se dice que A < Res un conjunto abierto si todos sus puntos son interiores, es decir, si A c A, y como VA c R se cumple que A & A, también se puede decir que A es abierto si A = A Aes abierto si y solo si A = A EJEMPLOS — FI I no es un punto interior de (, 3}, yo gue 4 ¢(L, 31 El 2es interior del conjunto (1, 3), ya que 3 Us, U, < (1, 3], por ejemplo, U2, 85) = (L5,2.5) y (15.28) © (1, 3] El 3 no es interior de (1, 3], ya que aunque 3 € (1, 3], ¥Us, Us ¢ (1, 3}. Todo entorno de 3 seri de fk forma (3 — 1, 3 + 1) con r > 0, por tanto los valores reales x que verifquen 3 < x <3 +r estén en el entorno pero no estin en (L, 3], Asi pues, no existe ningin entorno de 3 ineluido en (1, 3]; por consiguiente, 10 ¢s interior. # Sea el conjunto (I, 3] = fxeR 1 Oy entre dos nimeros reales distintos, como Yo sen 2 — ry 2 +r, hay infinitos | 236 MATEMATICAS + | | nimeros racionales infinitos icracionates que no pertenecen a A (los irraciorale). Por tanto, ¥ Uz, Us ¢ 4, 0sise quiere, YU, Us A® # @ (en todo entorno de 2 hay elementos que no son de A. Lo mismo le pasa a cualquier racional entre 1 y 3; por consiguiente, A = , A ne tiene puntos interiores A no es abiert. + Sea el conjunto A = (0, 1) u (2, 3). Cuatguiera de sus puntos es interior, Por sjrplo, 201, que petenece al conjunto. 3 U9 Us © Ay por ejemplo, ‘UQ201, 0,001) = (2,009, 2,011) < A. ° 1 2 3 Por tanto, A = (0, 1) u (2, 3) y Aes abierto, ya que A = A (0 todos sus puntos son interiores), ® Propiedades de los 1. El ¢ y B son conjuntos abiertos, ya que ¢ = gy ® conjuntos abiertos 2, Todo intervalo abierto es un conjunto abierto, ya que int (a, b)) = (a,b. 3. Toda unién de una coleccién de conjuntos abiertos (finita o infinita) es un conjunto abiert. En efecto, sea {A)}cn J eS un conjunto de subindices finito o infinito y A, es abierto Vie 1 Entonces (J 4, es un conjunto abierto, ya que a Ve UA, Fe Lal que x € Ay y como A, es abierto, entonces 3U,, U, © Ay Y por tanto, 3U,, U, © (J Ay con lo que x es interior a UA. ¥ Aves abiero (ya que todos sus puntos son interiors) La interseociéninfnta de abiertos, 4, La interseccién finita de una coleccién de conjuntos abiertos es un con- ro siempre es un abien, ya que la junto abierto, cots f( i oo) Sea {4j}:=1. una coleccién finita de conjuntos abiertos, entonces See () Aves un conjunto abierto. mresin (ter ; {0} no es ablerto, La demostracion En efecto, sea x € Q) Aj, por consiguiente, x € A, Vi = 1... n, y por de [a intersecci6n infinta falla en ser los A; abiertos 3 Ux, r;) < 4; ¥i = 1...n, por tanto, 3 U(x, r) tal que due no siempre es posible escoger : 1 menor de un nimer infnito de Ulx, 7) © FY Ags bastard escoger r,r = min {rzji-s... Y como enton- valores L ces Ulx,r) cA, VE = 1m, se verifica Ulx, r) © (| Ay luego x es interior a () 4,y (| 4,es abierto. © Conjuntos cerrados Se dice que Ac Res cerrado si es abierto, donde 4° es el complementario de Aen Res decir, A” = R— A = {xeR,x¢ A} [_ A esecerade si y silo si 4° es abiero, ] J TOPOLOGIA DE LA RECTA REAL 237 =“) EJEMPLOS 7 5 + El conjunto (1, 3] no es cerrado, ya que su complementario (1, 3 = (~90, 1] u (3, 20) no es abierto, puesto que tiene un punto que no es interior, elf, 1 e (1, 3 y YUL 7) = (1-1 tA — Lt 0 UL 3K, ya que siempre hay puntos de (1, 3}. Int (1, 3}) = (~, 1) UG, «) # (3h, | | | x } A ‘ a 1 3 + El conjunto 4 = [0,1] u {2} es cerrado, ya que su complementario es aberto ~c0, 0) (i, 2) W (2, c0) y todos sus puntos son interiors, es deci, int (4°) = 4% Luego 4° es abierto y | + El conjunto 4 = {xe @, 2 | Xp frontera de A si y solo si ¥ Us, { EJEMPLOS * En el conjunto (I, 3], el conjunto exterior es ext ((1, 3]) = (—2, 1) UG, ook y el conjunto frontera | front (1, 31) = {1,3}. | 1 3 ext ((1, 3]) (1,3) ext ((1, 3]) —_—_s (ay = =—— aa «Bn el conjunto A = {x ©, 2 < x < 4}, el exterior es ext (A) = (~x, 2) U 4, oo} Y al conjunto front (A) = [2, 4], ya que todo nimero real entre 2 y 4, ambos inclusive, verfica la condicion de que en todo centorno hay elementos de A y de 4° 2 a 4 at front (A) = (2, 4] + =a | Los itracionales entre 2 y 4 no son exteiores de A, a pesar de no pertenecer @ A, ya que no hay ningin entorno | contenido en A® (en todo entorno hay siempre racionales de 4) + Bn el conjunto A = (I, 2) v (3) el exterior ex ext (4) = (00, 1) u (3, oo), Y la fromtera de A es: | front (4) = {1, 2, 3}. EI 2 es frontera ded, puesto que en todo entorno del 2 hay elementos de A (los de los | lededores) y elementos que no son de A (el propio 2) Y el 2 no es exterior, porque aunque no pertence | 2.4, en todo entorno hay elementos de 4 (luego no existe un entorno del 2 incluido en 4°) 1 2 3 ext (A) , ext (A) | front (A) = {1, 2,3} 1s Teorema 2 Dos conjuntos M y son iguales si verifican que MeN y NoM Propiedades del inte- rior, exterior y fron- ‘tera de un conjunto TOPOLOGIA DE LA RECTAREAL 239 Sea A < R, un conjunto cualquiera de nimeros reales, entonces: int (4), ext (4) y front (4) son conjuntos disjuntos y, ademas, R = int (4) v ext (4) v front (4) También se dice que constituyen una particién de B, es decir, que todo niimero real es exterior, o interior, 0 frontera de cualquict conjunto de A, y s6lo una de estas tres cosas. Demostracién Sea A & R, cualquiera, entonces R = int (4) U ext (4) U front (4), Veamos la doble inclusion. Esta claro que int (4) U ext (A) U front (4) © B (puesto que en todos los casos fos puntos de int (4), ext (4) y front (4) pertenecen 0 no a 4, pero son siempre niimeros reales) Veamos ahtora que Rc int (A) U ext (4) U front (4). Sea xe Ry supongamos que x ¢ int (4) y_ x ¢ ext (4), por tanto: VUp Us ¢ 4, es decit, U,n A # } (por x ¢ int (A)) Wy Ur ¢ A, es decir, Up A # (por x¢ ext (A) luego x € front (4), Lo mismo ocurse six ¢ int (4) y x ¢ front (4) => x € ext (A) y si x gent (A) y x ¢ front (A) xe int (4). Luego R = int (4) u ext (4) u front (4). dems, int (4) > ext (A) = ¢, int (A) 7 front (A) = oy ext (4) front (4) = o, ya que: si x front (A) > 3U,, U, < A, luego no puede ocurtir que YU, U,o A # g (porque existe un entorno U, < Ay U, 0 A = $). Luego no ¢s frontera ni exterior de A. Andlogamente, si es exterior no puede ser frontera ni interior. Es decir, que los tres conjuntos son disjuntos. 1. Sean 4, Bc R, tales que Ac B, entonces int (4) < int (B). En efecto, sea x € int (4), entonces 3U,, U, © 4, y como Ac B, U, © B, luego x ¢ int (B) y int (4) < int (B). 2 Sean A, Bc Ry tales que A B, entonces ext (B) < ext (A). Ya que 4 < B, entonces B < 4° y por la Propiedad 1 int (B*) < € int (4°, Como int (B*) = ext (B) y int (4°) = ext (A), entonces ext (B) < ext (A). 3. YAR, int (4) es un conjunto abierto, es decir, se verfica int (int (A)) = int (A) (por definicion, un conjunto es abierto si y solo si int (A) = A), Eneefecto, YA & R se verifica que int (4) < 4, entonces int (int (4)) < int (A), Veamos la otra inclusién: int (A) < int (int (4) Sea x € int (4), entonces 3 Ux, r}, Ulx, 4) < A, por la Propiedad 1, int (U(x, n)) < int (4) y, como int (U(x, 1) = int ix — x + A) = = (x — nx + 1) = Uber), entonces 1UCs, 1), Ulx,r) int (4), luego x int (int (4)) y, por tanto, int (4) = int (int (4)) y el conjunto int (4) 5 un conjunto abierto. 4, YA cB, el conjunto ext (A) es abierto. Ya que ext (4) = int (4%, y por fa Propiedad 3 todo interior de un conjunto es un conjunto abierto, 240 MATEMATICAS + 1 5, VA cB, front (A) es un conjunto cerrado, Yaque R = int (4) U ext (A) u front (A) VA & B, luego (Front (4)} = R— from (A) int (A) u ext (A). Por tanto, (front (4)}* es la union de dos conjuntos abiertos (por las dos propiedades anteriores) y, por consiguiente, (front (4)} es un eonjunto abierto (por la Propiedad 3 de los conjuntos abiertos) y front (A) es un canjunto cerrado. RENEE EJERCICIOS DE APLICACION 1, 2 y 3 ScanSSaSeeey 1 Dados los nimeros reales a, b distintos, demostrar que existen dos entornos, uno de a y otro de b, cuya intersec- con es vacia, Solucién: Dados a, b reales y distintos, supongamos que a < b (se puede suponer lo contrario, «> By la demostracion seria andloga). La distancia entre ambos seri h — a, bastara escoger entornos de radio r > Oy 1 < (b— aj2y entonces Ula, r) - Ulb, 1) = ¢. Demostrar que para todo 4, B&B se verifica que int (4 > B) = int (A) 07 int (B). Solucién: Recordamos que el crterio de igualdad de conjuntos &s la doble inclusién (M = N'siy sdlo si Mc NyNe BM) eames que int (4 B) & int (A) 9 int (B). Sea x € int (A Bh, entonces 4U, Uy © Ar B, por tanto, U, ¢ Ay U, © B, luego xe int (4) y x€ int (B), y xe int (A) 0 int (B, ‘Veamos la ora inelusin int (4) 6 int (B) < int (A 0 Bh Sea x € int (A) 9 int (B), por tanto, x € int (4) y sre int (B), se cumplira entonces que 3 U(x, 74) Ubx.r,) © Ay BUG rh Uls ra) € B (el radio no tiene por qué ser el mismo}, escogiendo r = minimo {ry, r} se cumpliré Uts, A) A y Ute, 1) © By, por tanto, Ulssr) © Ar B. Luego xe int (4 0 8). ‘Al darse la doble inclusion se verifca que int (4 By = int (A) oy int (B Se considera Ia familia de conjuntos cerrados 4, +1 S1—1 S [+t T | Caleuar lain y Ia intersec- ci6n infinita y estudiar si éstas son conjuntos abiertos 0 cerrados. Solucién: Se calculan tos primeros intervalos oerrados de esta familia y los representamos (véase figura) A= [-24, 4; = [3/292 Ay = [-4/3, 14/3], 4g = [-5/4, 19/4], 2 Ningiin intervalo contiene 0 esti contenido en otro. Los extremos de la izquierda constituyen una sucesion reciente, y los de la derecha también; sus limites son: _ ott lim "= = —1 tos extremos de la inguierda in 3. lim los extremos de la derecha, Por tanto, la unin infnita de os intervaos es (} 4, = TOPOLOGIA DELARECTAREAL 241 Este conjunto no es abierto, ya que -1y4¢[—1, 4] mt yy sin embargo, no son interores a él. La intrseccién 2, 5) {puesto que el 5 no llega a pertenecer a infinita es un conjunto cerrado, puesto que su comple- ningim intervalo} Este conjunto no es abierto,ni cerrado, rmentario es abiert, ya que La inerseccin infinita es ( 4, = [~1, 4] ya que [-14} = (0, 1) U0) todos los intervalos contienen al —1 y los x > 4 ya no pertenecen al intervalo primero). int (—2, -1) U4, 0) = (-, 1) U4, 0) 10.5. PUNTOS ADHERENTES'Y DE ACUMULACION, CONJUNTO DERIVADO, CLAUSURA O ADHERENCIA DE UN CONJUNTO. PUNTO AISLADO ™ Punto adherente y adherencia o clausura de un conjunto La condicién, que Xx» € 4, es sufi cionte pars que x, Sea acherente de A. sin embargo, no es necesara ® Punto de acumulacién, conjunto derivado Y punto aislado Sea A c Ry x9 6 R, se dice que xo es un punto adherente de A sien todo entorno de Xo, Us, hay elementos de A. Al conjunto de puntos adherentes de A se le designa por 4 o por adh (4) y se lee clausura, adherencia o cierre de A a dawebay. | Xo ¢s adherente de A siy sélo si VUyy Uy A # ob | Sea Ac R; se dice que xo € R es de acumulacién de A sien todo entorno de Xo, Uz, hay puntos de A distintos del propio x,, es decir, si en todo entorno reducido de xp, US, = U,, — {xq} hay elementos de A. Al conjunto de puntos de acumulacién de A se le designa por A’ o por acum (A) y se lee conjunto derivado de A i 1p €s de acumulaciin de A si y silo si ¥UZ, Un A # ¢. ] deat Todo punto de acumulacién de un conjunto es obviamente adherente del conjunto, pero 0 necesariamente al revés. Por ejemplo, para el conjunto 1.2] U {3}, el 3 es adherente de 4, pero no es de acumulacién, ya que cexisten entornos reducidos de 3 en los que no hay ningin elemento de A (por ejemplo, U*(3, 0,5), U*G, 05) 0 4 # 4). Se dice que xo € A es aislado de A si es adherente y no es de acumulacién. Xo € A es aislado de A si y sOlo six € A — A’ 242 MATEMATICAS + | EJEMPLOS + Enel conjunto A = {I/n, ne N) o clausura de A)es: A = Av (0} El conjunto derivado de 4 (los puntos de acumulacién) es: 4’ = (0) Todos fos puntos de A son aislados: 7 — 4’ = A. » Im, jel conjunto de puntos adherentes (adherencia certe + En el conjunto A = {xe @,2 demostraia que A= A os tuna condicion necesariay la impli cacién <= demostraria que A= 4 28 una condicién suficiente Este toorems es un criterio pars es tudiar si un conjunto es cerrado 0 ro es cerrado. = Teorema 4 La condici6n necesariey suficiente ara.que un conjunto sea cerrado es que contenga @ sus puntos de ‘acumulacion AcA Este es otro crterio para estudiar si tun conjunta A es cexdo 0 no es cerado, ™ Teorema 5 Sea A c R, Aes cerrado si y solo si (2) 4 = A. Demostracién ‘Veamos que si A cerrado entonces (=>) A = A Como A < AVA € R (Propiedad 1 de la adherencia) bastaré demostrar que A & A. Supongamos que no fuese asi; que hubiese un xe Ay x ¢ 4, entonees x € A‘, como A® es abierto por ser A certado, se verifica que 3U,, Uz © A, pero esto contradice que x € A (VU, Uy 0A # @) luego si xe Ay A cerrado, entonces xe Ay Ac A. Veamos que si A = A, entonces (=) A cerrado. Supongamos que 4 no fuese cerrado, por tanto A® no seria abierto, En ese caso 3x € A® y x no seria interior de A%, es decir, VU, Uz. # 6 (al no existir ningin entomo de x incluido en 4°, en cualquier entomo de x tiene que haber elementos de 4). Por tanto, xe Ay x © 4‘, es decir, xe Fy x A, luego A # A,en contra de la hipdtesis Esta contradiccién viene de suponer que A = 4, con A no cerrado, luego sid = A, A debe ser cerrado necesariamente. Sea A c M, Aes cerrado si y silo si contiene a todos sus puntos de acumu- lacién (A’ ¢ A). Demostracion =) Si A cerrado, entonces 4! A Como pot el teorema anterior, si A cesrada, A = A y, como VA < R, Ac Aentoncees Ac A= Ay ACA, =) Sea A R tal que A’ A, entonees A cerrado, Por la Propiedad 4 de la adherencia y acumulaci6n de un conjunto, verifica que A = AU a‘, come por hipétesis A’ c A, entonces A= AU A’ = A ¥, por el teotema anterior, 4 es cerrado, Sea A R, A cerrado y acotado, entonces posee maximo y minimo (es de- cit, los extremos, cuya existencia asegura el Axioma 3 de los niimeros rea- les, pertenecen al conjunto). Demostracién Se prueba que A posee minimo, Por e} Axioma 3 de los nimeros reales, existe extremo inferior por estar A acotado inferiormente, Sea éste a, y se supone que a ¢ A; por tanto a & A’. Como A es cerrado, 4° es abierto, luego 3, U, © AS es decir, hay un cierto entorno de a, U, = (a — 1,4 + 7) donde no hay ningin elemento de A, luego a + r es una cota inferior de 4 y a +r > a (ya que r > 0), por tanto « no puede ser el extremo inferior, al haber una cota inferior mas grande; esto es contradictoro. Lugo, si A es cerrado y acotado y a es el extremo inferior de A, entonces awe Ayaes minimo de A Anilogamente s demuestra que el extremo superior de 4, es maximo de A. T # Teorema de Bolzano- Weierstrass TOPOLOGIA DE LARECTAREAL 245 Sea A < Ry Aun conjunto acotade con un niimero infinito de elementos, entonces A tiene al menos un punto de acumulacion (4° € 6). Demostracion Por estar A acotado, existen a, fe R tales que 4 < [x, fl. Si dividimos el intervato {2, §} por la mitad, obtendremos los intervalos [2 (a + f)/2] y [l(a + f)2, f]. En alguno de los dos tiene que haber un. niimero infinito de elementos (ya que si en los dos hubiese un nimero finito, en (x, f] habria un nimero finito también en contra de su hipotesis). Sea éste, por ejemplo, (a, (« + BY/2J, que lamamos [a,, 8,}. En él hay un nimero infinito de elementos de A, volvemos a dividirlo en dos mitades (1s, (a, + B,)7 y (eax + B,)/2, Bi), y en alguno de Ios dos habré de nuevo un niimero infinito de elementos de A, sea éste [1.3], ¥ asi repetimos el proceso sucesivamente, Obtenemos de esta manera una sucesion de intervalos cerrados encajados: "fas 8 > Cay, Bul > [aa fa} > => [ep Bl > gue ademas verifican la condicién de que sus amplitudes fp ~ 9, (8 — 9/2, (fi ~ my4, (8 — 92%, .. tienden hacia cero: tim 84 ee Por el postulado de Cantor, esta sucesién de intervalos cerrados encajacos define un Ginico punto, un dnico mimero real x» que pertenece a todos ellos Este xo es punto de acumulacion de 4, es decir, verifica que ¥ US, Us, 9 A # @, ya que para cualquiera que sea el entorne Us, siempre es posible encontrar un intervalo [2B] < Usgy puesto que (fi — a)/2" se puede hhaver tan pequefio como se quiera, por ejemplo (f) — 2/2" < r, siendo r el radio del entorno de x5 (sea cual sea), pot tanto, UL, 0 A # 9, ya que Uy, contiene un intervalo cerrado en el que hay infinitos elementos de A. Luego xy € A’y A’ # ¢. 10.6. TOPOLOGIA USUAL DE R Para un conjunto X cualquiera, una topologia es toda coleccién de subcon- juntos de X, llamados abiertos, que verifican 4) y X son abiertos, es decir, pertencoen a &. 8) Toda unidn (finita o no) de abiertos es un abierto, 6) La interseccidn finita de abiertos es wn abierto Se dice entonces que (X, Z) es un espacio topolégico. Si consideramos el conjunto Ry la coleccién de subconjuntos de R: {A&R A abierto}, entonces se verifican para @, las tres propiedades anteriores. Esta topologia recibe el nombre de topologia usual de R, y confi- gute a B con las propiedades de un espacio continuo. 246 MaTEMATICAS +1 EJEMPLO a Dado el conjunto ¥ = {a, b, ¢, d}, topologias de X serian | ©, = {0X {a}, {6}, (a, by} & = {6%} | 1 = (6M (ch {a4 el} Bs = (A, (0), {b), fe), fd}, fa, 8}, fac, oe | B= [8% fa, B 2, fa, d), (a, 5)) {deh on (4, ey oo} = MLR) | | En todos los casos se verifican las tres propiedades que definen @ una topotogia PROBLEMAS RESUELTOS. J. Dado el conjunto A = [0, 3] U {3m +" 2)/m, m © R} se pide: (a) Estudiar si el 2 es interior, exterior, frontera, adherente, de acumulacién 0 aislado de A. (b) Lo mismo para el 3 (c) Lo mismo para et $. (a Lo mismo pare et 6. (e) Estudiar si A es cerrado o abierto, Solucién: Representamos el conjunto A en fa recta real y fos puntos que se estudian: + (@) E12 es un punto interior de 4, ya que 1UQ2, r), UR, 1) A, por ejemplo U2, 02) = (48, 22) < 4. No 6s, por tanto, exterior ni frontera (Teorema 2}. BI 2es adherente de 4, ya que 2¢ Ay A c J (Propiedad 1 de ta adherencia), también es de acumulacion puesto gue VUS, US 0A # 9. No ¢s aislado, puesto que es de acumulacién (2.¢ A = 4’) (0) E13 no es interior de A, puesto que aunque 3. 4, ¥Us, Us 0 4° # 6, en todo entorno del 3, O18, 1) = = (3 — 1,3 + 1) hay pumtos que no pertenecen a A (estén a fa derecha de 3, es decir, entre 3» 3 + 7 hay puntos de A, pero también Tos hay que na son de A} E) 3 no es exterior, puesto que 3 € 4, por tanto es frontera de A (Feorema 2) B13 es adherente de A, puesto que 3¢ 4 y A c A (Propiedad 1 de fa adherencia}. Bs de acumutacion de A ya que V US, Ub 9 A # 6 (hay puntos de 4 tanto a fa iaquierda como a ln dereche de) 3, tan préximos como se quicra). Porsec de dyed’ no es aishido 3 ¢ 4 — 4) (6) ELS no es interior de A, ya que aunque 5 € A,¥ Us, Us A’ # . Tampoco es exterior porque 5 ¢ 4°, es por tanto frontera de A (Teorema 2) EI Sees adherente de A, ya que S¢ 4 (y A c Aj, no es de acumutaciin de d, 2US-US 0 A = por siemplo, UF = U5, G1} = (49, 5} 6, 5.) cumple (49, 5) (5, 53)) 0 A= & ELS. aislado de A ya que Sed ~ A’ { @) EL5E A, y AU, Us © A, por eiemplo Ul6, 0.5) = (5,5, 65) y (5.5. 6.5) © A’, luego es exterior de 4, no es, por { \anto, ni interior ni frontera de A (Teorema 2). ‘No es adherente de 4, ya que és exterior de A, ni por tanto es de acumutacién de 4. Tampoco es aislado de A, ya que no pertenece a este conjusta, (©) El conjunto 4 es cerrado, ya que contiene @ todos sus puntos de acumulacion (4 i ma 4, A cerrado, i El conjunto A no es abierto ya que no todos sus puntos son interiores, 4 = (0, 3} # A. 4 = [03] U {5,4 1973, 14/4, .. Gn + Qn, .} 0, 3]. < A). y por el Teore 2. Dados los conjuptos 4 = {x eQ, -1

You might also like