Sobre la Disconexidad Total en β(X)

Hernán Santiago Angarita García

Marzo 2020

Denición 1. Un espacio topológico X se dice z-dimensional, si X es no vacio,

T1 y tiene una base de clopens.
Denición 2. Un espacio topologíco se dice fuertemente z-dimensional, si X es
de Tychono y para todo par de z-conjuntos (es decir, cero conjuntos) disjuntos
de X, existe un clopen de X que contenga a uno y no al otro.
Denición 3. Un espacio topológico X se llama de Lindelof, si X es regular y
todo cubrimiento de X por abiertos se puede reducir a un cubrimiento contable-.
Denición 4. La compactación de Stone-Cech de X, β(X) es el conjunto de
todos los z-ultraltros sobre X, con la topología denida por la subbase
B = {d(A) : A ∈ Z(X)}

con d(A) = {p ∈ β(X) : A ∈/ p}, Z(X ) la colección de todos los cero

conjuntos de X y COZ(X) la colección de los complementes de los cero conjuntos
(coz-conjuntos).
Voy a mostrar una forma de caracterizar los espacios topológicos
cuya compactación de Stone-Cech es TD; para eso antes voy a revisar
algunos resultados necesarios.

Lema 5. Suponga que X es un espacio compacto y normal. X es Totalmente

disconexo (TD), si y sólo si es z-dimensional.

Demostración. Sea X un espacio TD , x ∈ X cualquiera y U una vecindad

abierta de x. Observemos que la componente conexa de x en un espacio compacto
es la intersección de los clopens que contienen a x (esto necesita que X sea
normal), llamemos {Uα } α ∈ I tal colección con x ∈ Uα . Cómo X es TD podemos
escribir \
{x} = Uα
ParaStodo y ∈ X diferente de x, hay algún α ∈ I tal que y ∈ 6 / Uα . Por lo tanto,
{U } {Uαc : α ∈ I} es un cubrimiento abierto de X . Como X es compacto
se puede reducir a un cubrimiento nito . Entonces U c ⊆
S c
{U } {Uα i
: i ≤ n}
T{Uαi : i ≤ n} por lo tanto {Uαi : i ≤ n} es un clopen vecindad de x y
S c T
{Uαi : i ≤ n} ⊆ U , entonces X posee una base de clopens.

1
 Recíprocamente, supongamos que X es z-dimensional, como X es T1 , sean
x 6= y puntos
T de X y Ux una vecindad clopen de x, tal que y ∈/ Ux observe que
{x} = Ux {x}, es decir, puedo separar puntos por clopens, ( Ux {x}es un
T
clopen
T de x , y es maximal
T por que si existe B conexo con {x} ⊂ B,consideramos
{x} B − {x} = {x} B − {x} = ∅). Por lo tanto X es TD.
Lema 6. En un espacioX de Lindelof, X es z-dimensional sí y sólo si X es
fuertemente z-dimensional.

Demostración. Supongamos X z-dimensional. Sean A, B cerrados disjuntos. Pa-

ra cualquier x sea U (x) una clopen básico de x talque intersecte a uno y sólo uno
de los cerrados. Como X es de Lindelof, tenemos que el cubrimiento de X dado
por {U (x)} es posible reducirlo a un cubrimiento contable {Un } Consideremos
ahora [
V n = Un − {Ui : i < n}
Notemos que los Vn son clopens disjuntos que cubren a X . Consideremos
[
W = {Vn : Vn ∩ A = ∅}

y notemos que W es un clopen tal que A ⊆ W c , así X es fuertemente z-

dimensional
Recíprocamente, supongamos que X es fuertemente z-dimensional. Cómo
X es completamente regular, cada x ∈ X tiene una base de vecindades coz-
conjuntos tal que cada vecindad Vx contiene a un z-conjunto Bx que contiene al
punto. Cómo X es fuertemente z-dimensional, los Bx son cerrados disjuntos que
se pueden separar por clopens, así X tiene una base de clopens. Note que no se
usala condición de Lindelof, por lo que en general, fuertemente z- dimensional,
implica z-dimensional.
Lema 7. clβ(X) e[A] = d(A)c y e[X] es denso en β(X), para A ∈ Z(X).
Demostración. Note que e[A] ⊆ d(A)c así entonces, clβ(X) e[A] ⊆ d(A)c . Para
la otra inclusión, supongamos p ∈ d(A)c tal que p ∈/ clβ(X) e[A]. Entonces, existe
un B ∈ Z(X) tal que p ∈ d(B) y e[A] ∩ d(B) = ∅. Notemos también que
e[A] = e[X] ∩ d(A)c para cualquier A ∈ Z(X)

q ∈ e[A] ⇐⇒ A ∈ q y q ∈ e[X]

Así pues, e[A] ⊆ e[X] ∩ d(B)c = e[B], por lo tanto A ⊆ B y como A ∈ p

entonces B ∈ p, contradicción, por lo tanto clβ(X) e[A] = d(A)c
.
Finalmente clβ(X) e[X] = d(X)c = {p ∈ β(X) : X ∈ p} = β(X).
Lema 8. Si S es un clopen de X entonces clβ(X) (e[S]) es un clopen deβ(X).

2
Demostración. Sea S un clopen de X y considere la función característica de
S , fS : S → [0, 1] talque fS (x) = 1 si x ∈ S y fS (x) = 0 en otro caso. fS es
continua en X porque S es clopen.luego, fS ∈ C(X) , por la propiedad universal
de β tenemos que fS se puede extender a una g : β(X) → [0, 1] talque fS ⊂ g .
Veamos que g ∗ (1) = clβ(X) (e[S]), es claro que e[S] ⊆ g ∗ (1) luego clβ(X) (e[S]) ⊆
g ∗ (1) y por el lema anterior tenemos análogamente clβ(X) (e[S c ]) ⊆ g ∗ (0). y
β(X) = clβ(X) (e[X]) = clβ(X) (e[S] ∪ e([S c ]) = clβ(X) (e[S]) ∪ clβ(X) (e([S c ]), por
lo tanto g ∗ (1) = clβ(X) (e[S]), que es clopen de β(X).
Observe que si X compacto, entonces X es de Lindelof.
Proposición 9. X es fuertemente z-dimensional si y sólo si β(X) es TD.
Demostración. Sea X fuertemente z-dimensional. Si p y q son z-ultraltros dis-
tintos de β(X), entonces podemos escoger disjuntos z-conjuntos Z1 y Z2 de p
y q respectivamente, como X es fuertemente z-dimensional, entonces existe un
U clopen de X que contiene a Z1 y no a Z2 , así, clβ(X) e[U ] es un clopen que
contiene a p y no contiene q , por lo tanto β(X) es TD.
Recíprocamente, si asumimos que Z1 y Z2 son z-conjuntos disjuntos de X , co-
mo β(X) es compacto y TD, entonces es z-dimensional. Note que clβ(X) (e[Z1 ])∩
clβ(X) (e([Z2 ]) = ∅ pues d(Z1 )c ∩ d(Z2 )c = ∅.Por el lema 6, como β(X) es z-
dimensional, entonces β(X) es fuertemente z-dimensional, por lo que existe un
K clopen que separa a clβ(X) (e[Z1 ]) de clβ(X) (e[Z2 ]).

Nota:

Conjetura. Si X es TD, entonces β(X) es TD. (falso está el ejemplo de Dow-

ker, 3.39 en R.C Walker).

Referencias

[1] W.W. Comfort, S. Negrepontis, The Theory of Ultralters, Springer-Verlag,

New York, 1974.
[2] R. Engelking, General Topology, Heldrmann, 1989.
[3] R.C Walker, The Stone-Cech Compatication, Springer-Verlag, New York,
1974.