Cap tulo 6: Compacidad

Leccin 5 : Compacidad y sucesiones o

Histricamente la primera nocin de compacidad fu dada en trminos o o e e de la convergencia de sucesiones. Esta propiedad no implica ni es implicada por la nocin de compacidad que hemos denido en trminos de cubrimientos o e abiertos. Tambin veremos que esta nocin de compacidad es ms fuerte que la e o a compacidad contable, pero resultan ser equivalentes en la clase de los espacios 1-contable. 6.22. Denicin. o Un espacio topolgico (X, G) se dice compacto por o sucesiones, sii, cada sucesin en X tiene una subsucesin convergente. o o 6.23. Ejemplo. Sean (X, G) un espacio topolgico y A X con A nito. o Entonces A es compacto por sucesiones 6.24. Ejemplo. ((0, 1), usual) no es compacto por sucesiones. Tampoco lo es el espacio (R, coenumerables) pues por ejemplo la sucesin (xn ) = N no o admite ninguna subsucesin convergente. o Los conceptos de compacto y compacto por sucesiones no son equivalentes. En general existen espacios compactos que no son compactos por sucesiones y visceversa, aunque como veremos en unas lineas adelante, los ejemplos son ms a bien esotricos. Claro est que en el contexto de los espacios mtricos todo es e a e equivalente como veremos en la siguiente seccin. La compacidad por sucesiones o es respetada por la continuidad, de aqu que sea un invariante topolgico. o 6.25. Proposicin. o Sea f : (X, G) (Y, H) una funcin continua y o sobre. Si X es compacto por sucesiones, tambin lo es Y . e o Demostracin. Sea (y1 , y2 , . . .) una sucesin en f (X). Denimos (x1 , x2 , . . .) o en X como f (xi ) = yi , (i N ). Como X es compacto por sucesiones, existe una subsucesin (xnk ) y x0 X tal que xnk x0 . Por ser f continua, en particular o es secuencialmente continua con lo que (f (xn1 ), . . .) = (yn1 , . . .) f (x0 ) y por tanto f (X) es compacto por sucesiones. Una forma de compacidad ms dbil que la compacidad usual y la compacia e dad por sucesiones es exigir tan solo que: los cubrimientos abiertos que deben tener subcubrimientos nitos sean los cubrimientos contables. Sin embargo, la compacidad contable posee muchas de las propiedades topolgicas que posee o la compacidad, ms an, en el contexto de los espacios metrizables o a n en a u u espacios de Lindelf. ellos son equivalentes. o

6.26. Denicin. o Un espacio topolgico (X, G) se dice contablemente o compacto, sii, cada cubrimiento abierto contable de X admite un subcubrimiento nito. Aunque a primera vista no sea obvio, ya veremos que esta denicin es motivada o por la clsica propiedad de Bolzano-Weierstrass en R: Cada subconjunto innito a y acotado de R tiene un punto de acumulacin. o La diferencia entre compacidad secuencial y compacidad contable es tan na que practicamente se necesita la opinin de un experto. Veamos la implicacin o o de una de ellas sobre la otra y posteriormente en 6.28 un renado contraejemplo para la otra implicacin. o 6.27. Teorema. Sea (X, G) un espacio topolgico compacto por sucesiones. o Entonces X es contablemente compacto. Demostracin. Si X no es contablemente compacto, existe un cubrimiento o abierto U = {U1 , U2 , . . .} con la propiedad que, para cada n N , existe xn c n o ( i=1 Ui ) . Sea (xnk ) una subsucesin convergente de (xn ) y sea x el punto de convergencia. Tomemos Uj U tal que x Uj . Para m > j sabemos que m c xm i=1 Uic luego xm Uj . As que, para todos los elementos xnk , con / o nk > j se tiene xnk Uj , lo cual contradice la convergencia de la subsucesin. 6.28. Ejemplo. Este es un espacio que es compacto y contablemente compacto, pero no es compacto por sucesiones. Sea X = II =
iI

Ii , Ii = [0, 1].

Podemos ver a X como el conjunto de todas las funciones de I en I. X es compacto y Hausdor , ya que as lo es I. Veamos que X no es 1-contable. Dado y X, supongamos que tenemos una base local contable {B1 , B2 , . . .} en el punto y. Como cada Bm es un u ndices i I, digamos abierto, pi (Bm ) = I excepto para un nmero nito de a o im1 , . . . , imk ; cuando m var en los enteros positivos, obtenemos una coleccin enumerable de conjuntos enumerables de nmeros, y como I no es enumerable, u existe io tal que pio (Bm ) = I para todo m. As pues, si U es una vecindad abierta de yio la coordenada io de y con U = I, p1 (U ) es una vecindad abierta de io y, la cual no puede contener a ningn Bm puesto que en la coordenada io , Bm u tiene a I mientras que p1 (U ) tiene a U . io Veamos nalmente que I no es compacto por sucesiones. Para esto denimos una sucesin de funciones (n ) con n X de la siguiente manera: Dado x I, o e gito en la expansin binaria de x. Veamos que (n ) no o n (x) es el n-simo d o tiene ninguna subsucesin convergente. Si nk es una subsucesin que converge o al punto X, entonces para cada x I, nk (x) (x) la convergencia en X es puntual y esto en general se tiene para la topolog producto, razn por la a o cual es conocida como la topolog de la convergencia puntual, o punto-abierta a en cuanto a espacios de funciones se reere . Sea t I, con la propiedad o que nk (t) = 0 si nk es impar, nk (t) = 1 si nk es par. Entonces la sucesin (nk (t)) = {0, 1, 0, 1, 0, 1, . . .} no puede converger. 2

6.29. Ejemplo. (R, cof initos) es contablemente compacto y adems coma pacto por sucesiones. El siguiente ejemplo, muestra que la propiedad de ser contablemente compacto no se hereda a los subespacios. 6.30. Ejemplo. [0, 1] con la topolog usual es compacto; luego en para ticular es contablemente compacto. Pero (0, 1) [0, 1] no es contablemente compacto, ya que, el cubrimiento abierto {(0, 1 1/2n)}, (n N ) no admite algn subcubrimiento nito. u En el caso que el subespacio sea cerrado, el lector debe vericar que la propiedad s se hereda. Tambin se debe mostrar que ser contablemente com e pacto es un invariante por medio de las funciones continuas. Con el siguiente concepto, obtenemos una forma equivalente a la denicin o de compacidad contable. o 6.31. Denicin. o Sean (X, G) un espacio topolgico y (xn ) una sucesin o en X. Decimos que x X es un punto de clausura o de acumulacin de la o sucesin (xn ), (n N ), sii, dada cualquier Vx y cualquier N N , tenemos que o Vx {xn | n > N } =. En otras palabras, cualquier vecindad de x tiene innitos trminos de la sucesin. e o 6.32. Nota. Si una sucesin (xn ) tiene una subsucesin convergente, entonces o o posee un punto de clausura. Pero el hecho de que la sucesin posea un punto o de clausura, no signica que posea una subsucesin convergente. Por ejemplo o el espacio X = (N N ) {(0, 0)} de Arens-Fort, posee una sucesin que tiene o un punto de clausura y no tiene una subsucesin convergente. Observemos o que el conjunto X/{(0, 0)} es enumerable y por tanto existe una biyeccin f : o N X/{(0, 0)}. Claramente f es una sucesin que tiene a (0, 0) como punto o de clausura ya que toda vecindad de este punto tiene innitos trminos de la e sucesin, pero ninguna subsucesin es convergente a (0, 0) pues ya hemos visto o o que este espacio es de convergencia trivial. Por supuesto que en los espacios mtricos no tendr e amos este problema. Ms a an en los espacios 1-contables tampoco lo tenemos, pues si x es un punto de u acumulacin de (xn ) y {B1 , B2 , . . .} es una base local encajada para x, por cada o o k N podemos encontrar nk k tal que xnk Bk . Entonces la subsucesin xnk x. 6.33. Ejemplo. Dados (X, G) un espacio topolgico y una sucesin (xn ) o o en X, un punto x es un punto de clausura para la sucesin, sii, x es adherente o al ltro asociado a la sucesin. o 6.34. Ejemplo. {0, 1, 0, 1 . . .}. En (R, usual), el 0 es un punto de clausura para la sucesin o

6.35. Teorema. (X, G) es un espacio contablemente compacto, sii, cada sucesin tiene un punto de clausura en X. o o Demostracin. Sea (xn ) una sucesin en X que no tiene un punto de o clausura, es decir para cada x X, existen una vecindad abierta Wx y un N N , tales que, Wx {xN +1 , xN +2 , . . .} =. Por cada n N denimos Un = {Wx | Wx {xn+1 , xn+2 , . . .} =, x X}.

o Cada Un es un conjunto abierto y la coleccin {Un }, (n N ) es un cubrimiento abierto de X que no admite un subcubrimientro nito, o de lo contrario existir trminos de la sucesin no contenidos en la unin; luego X no ser an e o o a contablemente compacto. De otra parte si X no fuera contablemente compacto, existe {Un }, (n N ) cubrimiento abierto contable que no admite un subcubrimiento nito. Por cada n n N , el conjunto X/ i=1 Ui =. Sea x1 X/U1 . Denimos Un1 como el n1 a primer Ui donde x1 est. Ahora tomemos x2 X/ i=1 Ui . Supongamos que nk xk ha sido escogido y xk Unk ; escogemos xk+1 X/ i=1 Ui . Con estas deniciones, la sucesin (xk ) de innitos terminos diferentes, debe o u poseer un punto x adherente a la sucesin y adems x Un para algn n N . o a / Pero si N N es sucientemente grande, digamos nN > n tenemos que xk Un para k > N . Luego Un V(x) y contiene tan slo nitos trminos de la sucesin, o e o es decir, x no es un punto de clausura. La siguiente nocin de punto de -acumulacin para un conjunto A una o o clase particular de punto de acumulacin fue introducida por Hausdor. o 6.36. Corolario. Un espacio (X, G) es contablemente compacto, sii, cada A subconjunto innito, tiene un punto a X de -acumulacin, en el sentido que o toda Va A es innito. Demostracin. Si A X es innito y no admite un punto de acumulacin, o o e o tomamos una sucesin (an ) en A con trminos diferentes, y esta sucesin no o puede admitir un punto de clausura.En el otro sentido, aplicamos literalmente el teorema anterior. 6.37. Ejemplo. En N consideremos la topolog generada por la base a {{1, 2}, {3, 4}, {5, 6}, . . .}. En este espacio todo A N posee un punto de acumulacin, pero por ejemplo o los nmeros pares no poseen un punto de -acumulacin. Note que este espacio u o no es compacto por sucesiones, ya que la sucesin (1, 2, 3, 4, . . .) no contiene o ninguna subsucesin convergente y tampoco admite un punto de clausura. o Este espacio no es contablemente compacto, pues la base misma es un cubrimiento abierto que no admite un subcubrimiento nito.

6.38. Corolario. En un espacio 1-contable, los conceptos de compacidad contable y compacidad secuencial coinciden. Demostracin. Es dejada como ejercicio. o

Curso de Topololog General. a http://www.virtual.unal.edu.co