Simposio de Topologa Carlos Javier Ruiz Salguero

Universidad Nacional de Colombia

Bogota, enero 24, 25 y 26 de 2013
A la memoria del Dr. Ruiz

Una nota acerca de la complementaci

on en el
retculo de topologas
Nestor Ra
ul Pach
on Rubiano
Escuela Colombiana de Ingeniera Julio Garavito
N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Algunos antecedentes
1

Hartmanis demostr
o que el retculo de topologas en un
conjunto finito X es complementado, verificando que si X
tiene n 2 elementos entonces toda topologa propia
(distinta de la topologa discreta y de la grosera) tiene al
menos n 1 complementos.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Algunos antecedentes
1

Hartmanis demostr
o que el retculo de topologas en un
conjunto finito X es complementado, verificando que si X
tiene n 2 elementos entonces toda topologa propia
(distinta de la topologa discreta y de la grosera) tiene al
menos n 1 complementos.

Gaifman demostr
o que este retculo es complementado si el
conjunto X es contable, demostrando que si toda topologa
T1 en X tiene un complemento entonces toda topologa en el
conjunto X tiene un complemento.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Algunos antecedentes
1

Hartmanis demostr
o que el retculo de topologas en un
conjunto finito X es complementado, verificando que si X
tiene n 2 elementos entonces toda topologa propia
(distinta de la topologa discreta y de la grosera) tiene al
menos n 1 complementos.

Gaifman demostr
o que este retculo es complementado si el
conjunto X es contable, demostrando que si toda topologa
T1 en X tiene un complemento entonces toda topologa en el
conjunto X tiene un complemento.

Steiner demostr
o que el retculo de topologas sobre un
conjunto infinito arbitrario es complementado.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Algunos antecedentes
1

Hartmanis demostr
o que el retculo de topologas en un
conjunto finito X es complementado, verificando que si X
tiene n 2 elementos entonces toda topologa propia
(distinta de la topologa discreta y de la grosera) tiene al
menos n 1 complementos.

Gaifman demostr
o que este retculo es complementado si el
conjunto X es contable, demostrando que si toda topologa
T1 en X tiene un complemento entonces toda topologa en el
conjunto X tiene un complemento.

Steiner demostr
o que el retculo de topologas sobre un
conjunto infinito arbitrario es complementado.

Mas recientemente, Schnare demostr

o que toda topologa para
un conjunto infinito X, distinta de la grosera y de la discreta,
car(X)
tiene al menos card(X) complementos y a lo mas 22
complementos, y que estas cotas son las mejores posibles.
N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Un resultado motivador
Un resultado del trabajo de Schnare nos llam
o particularmente la
atencion fue el siguiente:

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Un resultado motivador
Un resultado del trabajo de Schnare nos llam
o particularmente la
atencion fue el siguiente:
Toda ultratopologa para un conjunto infinito X tiene exactamente
car(X)
complementos y 2card(X) complementos principales.
22

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Un resultado motivador
Un resultado del trabajo de Schnare nos llam
o particularmente la
atencion fue el siguiente:
Toda ultratopologa para un conjunto infinito X tiene exactamente
car(X)
complementos y 2card(X) complementos principales.
22
Lo que nos interes
o de este resultado es que las ultratopologas son
topologas ordinables.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Un resultado motivador
Un resultado del trabajo de Schnare nos llam
o particularmente la
atencion fue el siguiente:
Toda ultratopologa para un conjunto infinito X tiene exactamente
car(X)
complementos y 2card(X) complementos principales.
22
Lo que nos interes
o de este resultado es que las ultratopologas son
topologas ordinables.
Naturalmente que nos preguntamos por la cardinalidad del
conjunto de complementos de una topologa ordinable sobre un
conjunto infinito, y el proposito de la exposicion es presentar
respuestas parciales para la misma, que generalizan el resultado de
Schnare.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en conjuntos ordenados

Sea (A, ) un conjunto parcialmente ordenado. Mediante un

proceso de derivacion de Cantor, asociamos a cada n
umero ordinal
un subconjunto (A, ) de A, al que llamaremos el nivel de
(A, ), de la siguiente manera:

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en conjuntos ordenados

Sea (A, ) un conjunto parcialmente ordenado. Mediante un

proceso de derivacion de Cantor, asociamos a cada n
umero ordinal
un subconjunto (A, ) de A, al que llamaremos el nivel de
(A, ), de la siguiente manera:
(A, )0 es el conjunto de elementos maximales de (A, ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en conjuntos ordenados

Sea (A, ) un conjunto parcialmente ordenado. Mediante un

proceso de derivacion de Cantor, asociamos a cada n
umero ordinal
un subconjunto (A, ) de A, al que llamaremos el nivel de
(A, ), de la siguiente manera:
(A, )0 es el conjunto de elementos maximales de (A, ).
Si > 0, (A, S
) es el conjunto de elementos maximales del
(A, ) , con el orden inducido de .
conjunto A\
<

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en conjuntos ordenados

Sea (A, ) un conjunto parcialmente ordenado. Mediante un

proceso de derivacion de Cantor, asociamos a cada n
umero ordinal
un subconjunto (A, ) de A, al que llamaremos el nivel de
(A, ), de la siguiente manera:
(A, )0 es el conjunto de elementos maximales de (A, ).
Si > 0, (A, S
) es el conjunto de elementos maximales del
(A, ) , con el orden inducido de .
conjunto A\
<

Un elemento a A sera llamado ordinable si existe un ordinal

(necesariamente u
nico) tal que a (A, ) .

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Los elementos ordinables del retculo de topologas estan

caracterizadas por el siguiente teorema.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Los elementos ordinables del retculo de topologas estan

caracterizadas por el siguiente teorema.
Teorema 1
Si T op(X) entonces las siguientes afirmaciones son
equivalentes:
1

es ordinable en (T op(X), )

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Los elementos ordinables del retculo de topologas estan

caracterizadas por el siguiente teorema.
Teorema 1
Si T op(X) entonces las siguientes afirmaciones son
equivalentes:
1

es ordinable en (T op(X), )

La coleccion de ultratopologas para X que contienen a es

finita.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Los elementos ordinables del retculo de topologas estan

caracterizadas por el siguiente teorema.
Teorema 1
Si T op(X) entonces las siguientes afirmaciones son
equivalentes:
1

es ordinable en (T op(X), )

La coleccion de ultratopologas para X que contienen a es

finita.

El intervalo [, P(X)] es finito.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Los elementos ordinables del retculo de topologas estan

caracterizadas por el siguiente teorema.
Teorema 1
Si T op(X) entonces las siguientes afirmaciones son
equivalentes:
1

es ordinable en (T op(X), )

La coleccion de ultratopologas para X que contienen a es

finita.

El intervalo [, P(X)] es finito.

es de profundidad finita en el retculo (T op(X), ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.
Teorema 2
(T opord X, ) es un retculo.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.
Teorema 2
(T opord X, ) es un retculo.
Tres resultados previos
Si X es un conjunto infinito entonces:

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.
Teorema 2
(T opord X, ) es un retculo.
Tres resultados previos
Si X es un conjunto infinito entonces:
card(X)
1 El conjunto T op(X) tiene 22
elementos, de los cuales
card(X)
2
son topologas principales.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.
Teorema 2
(T opord X, ) es un retculo.
Tres resultados previos
Si X es un conjunto infinito entonces:
card(X)
1 El conjunto T op(X) tiene 22
elementos, de los cuales
card(X)
2
son topologas principales.
2 El espacio (X, ) es T si y s
olo si toda ultratopologa para X
1
que contenga a es no principal.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Elementos ordinables en el retculo de topologas

Notaci
on: T opord X denotara al conjunto de topologas ordinables
sobre X.
Teorema 2
(T opord X, ) es un retculo.
Tres resultados previos
Si X es un conjunto infinito entonces:
card(X)
1 El conjunto T op(X) tiene 22
elementos, de los cuales
card(X)
2
son topologas principales.
2 El espacio (X, ) es T si y s
olo si toda ultratopologa para X
1
que contenga a es no principal.
3 Sea F un subconjunto finito de X. Si U , U , ..., U
1
2
n son
ultrafiltros para X, entonces existe V X\F tal que
n
S
Ui .
card(V ) = card(X\V ) = card(X) y V
/
i=1

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Teorema 3
Sean X un conjunto infinito y {x1 , x2 , ..., xr } X. Sean
U11 , U12 , ..., U1n1 , U21 , U22 , ..., U2n2 , ..., Ur1 , Ur2 , ..., Urnr ultrafiltros
(no necesariamente distintos) para X, tales que
ni
r S
S
Uij .
{x1 , x2 , ..., xr }
/
i=1 j=1

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Teorema 3
Sean X un conjunto infinito y {x1 , x2 , ..., xr } X. Sean
U11 , U12 , ..., U1n1 , U21 , U22 , ..., U2n2 , ..., Ur1 , Ur2 , ..., Urnr ultrafiltros
(no necesariamente distintos) para X, tales que
ni
r S
S
Uij .
{x1 , x2 , ..., xr }
/
i=1 j=1

Si =

r
T

i=1
card(X)

"

P (X\ {xi })

ni
T

Uij , entonces tiene exactamente

j=1

complementos y 2card(X) complementos principales en el

22
retculo (T op (X) , ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Teorema 3
Sean X un conjunto infinito y {x1 , x2 , ..., xr } X. Sean
U11 , U12 , ..., U1n1 , U21 , U22 , ..., U2n2 , ..., Ur1 , Ur2 , ..., Urnr ultrafiltros
(no necesariamente distintos) para X, tales que
ni
r S
S
Uij .
{x1 , x2 , ..., xr }
/
i=1 j=1

Si =

r
T

i=1
card(X)

"

P (X\ {xi })

ni
T

Uij , entonces tiene exactamente

j=1

complementos y 2card(X) complementos principales en el

22
retculo (T op (X) , ).
El teorema 2 garantiza que la topologa es ordinable.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Bosquejo de la demostraci
on: Si F = {x1 , x2 , ..., xr } entonces el
lema garantiza que existe V X\F tal que
ni
r S
S
Uij .
card(V ) = card(X\V ) = card(X) y V
/
i=1 j=1

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Bosquejo de la demostraci
on: Si F = {x1 , x2 , ..., xr } entonces el
lema garantiza que existe V X\F tal que
ni
r S
S
Uij . Sea
card(V ) = card(X\V ) = card(X) y V
/
i=1 j=1

T op(V ), arbitrario. Consideremos la topologa para X,

= {U F : U } {, X}.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Bosquejo de la demostraci
on: Si F = {x1 , x2 , ..., xr } entonces el
lema garantiza que existe V X\F tal que
ni
r S
S
Uij . Sea
card(V ) = card(X\V ) = card(X) y V
/
i=1 j=1

T op(V ), arbitrario. Consideremos la topologa para X,

= {U F : U } {, X}.

Se demuestra que es un complemento para en el retculo

(T op (X) , ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Bosquejo de la demostraci
on: Si F = {x1 , x2 , ..., xr } entonces el
lema garantiza que existe V X\F tal que
ni
r S
S
Uij . Sea
card(V ) = card(X\V ) = card(X) y V
/
i=1 j=1

T op(V ), arbitrario. Consideremos la topologa para X,

= {U F : U } {, X}.

Se demuestra que es un complemento para en el retculo

(T op (X) , ). De otra parte, si 1 , 2 T op(V )) entonces 1 =
2 si y solo si 1 = 2 , con lo que tiene exactamente
card(X)
card(V )
complementos en el retculo (T op(X), ).
=22
22

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Bosquejo de la demostraci
on: Si F = {x1 , x2 , ..., xr } entonces el
lema garantiza que existe V X\F tal que
ni
r S
S
Uij . Sea
card(V ) = card(X\V ) = card(X) y V
/
i=1 j=1

T op(V ), arbitrario. Consideremos la topologa para X,

= {U F : U } {, X}.

Se demuestra que es un complemento para en el retculo

(T op (X) , ). De otra parte, si 1 , 2 T op(V )) entonces 1 =
2 si y solo si 1 = 2 , con lo que tiene exactamente
card(X)
card(V )
complementos en el retculo (T op(X), ).
=22
22
Ahora, teniendo en cuenta que si es principal entonces es
principal, y que existen 2card(V ) = 2card(X) topologas principales
sobre V , entonces tiene exactamente 2card(X) complementos
principales en el retculo (T op(X), ). 
N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Corolario 1
Si es una topologa ordinable para el conjunto infinito X, con
6= P (X), y si (X, ) es T1 entonces tiene exactamente
card(X)
22
complementos y 2card(X) complementos principales en el
retculo (T op (X) , ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

Corolario 1
Si es una topologa ordinable para el conjunto infinito X, con
6= P (X), y si (X, ) es T1 entonces tiene exactamente
card(X)
22
complementos y 2card(X) complementos principales en el
retculo (T op (X) , ).
Corolario 2
Sean X un conjunto infinito, F un subconjunto finito y no vaco
r
S
Ui . Si
de X y U1 , U2 , ..., Ur ultrafiltros para X tales que F
/
= P (X\F )

r
T

i=1

card(X)

Ui , entonces tiene exactamente 22

i=1

complementos y 2card(X) complementos principales en el retculo

(T op (X) , ).
Este corolario generaliza el resultado de Schnare mencionado al
comienzo.
N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

La pregunta obvia es si el resultado del teorema 3 es aplicable a
cualquier topologa ordinable. La siguiente proposicion nos afirma
que no.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

La pregunta obvia es si el resultado del teorema 3 es aplicable a
cualquier topologa ordinable. La siguiente proposicion nos afirma
que no.
Proposicion
Sea X un conjunto infinito y a, b X, con a 6= b. Si
= [P(X\ {a}) hbi] [P(X\ {b}) hai],
entonces tiene exactamente 2card(X) complementos en el
retculo (T op (X) , ).

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

La pregunta obvia es si el resultado del teorema 3 es aplicable a
cualquier topologa ordinable. La siguiente proposicion nos afirma
que no.
Proposicion
Sea X un conjunto infinito y a, b X, con a 6= b. Si
= [P(X\ {a}) hbi] [P(X\ {b}) hai],
entonces tiene exactamente 2card(X) complementos en el
retculo (T op (X) , ).
Bosquejo de la demostraci
on: Se demuestra que los u
nicos
complementos para son las topologas de la forma
Z = {, Z, X\Z, X}, donde Z X y card (Z {a, b}) = 1.

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Sobre la complementacion en (T op(X), )

La pregunta obvia es si el resultado del teorema 3 es aplicable a
cualquier topologa ordinable. La siguiente proposicion nos afirma
que no.
Proposicion
Sea X un conjunto infinito y a, b X, con a 6= b. Si
= [P(X\ {a}) hbi] [P(X\ {b}) hai],
entonces tiene exactamente 2card(X) complementos en el
retculo (T op (X) , ).
Bosquejo de la demostraci
on: Se demuestra que los u
nicos
complementos para son las topologas de la forma
Z = {, Z, X\Z, X}, donde Z X y card (Z {a, b}) = 1.
Esto nos permite concluir que tiene exactamente 2card(X)
complementos. 
N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013

Muchas gracias

N. R. Pach
on (Escuela de Ingeniera)

Simposio de Topologa Carlos Ruiz, enero de 2013