05 Gustavo Rubiano

Los ubicuos espacios de Alexandroff
Gustavo N. Rubiano O.
Universidad Nacional de Colombia, Bogota

Departamento de Matem
aticas
Bogota, 2013
Gustavo N. Rubiano O. ()
Espacios de Alexandroff
Enero 2013
1 / 57
Contenido
1
Introduccion
Caracterizaciones en topologa
Caracterizacion en el orden
Caracterizacion por filtros
Caracterizacion como puntos
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Contenido
1
Introduccion
Vision algebraica
Bibliografa
Enero 2013
2 / 57
Conjuntos
P. S. Alexandroff introdujo en 1937 la nocion de Diskrete
raume al requerir que una coleccion de subconjuntos fuera
estable para las operaciones conjuntistas elementales.
Definicion
Dado un conjunto X, una familia T = {Ui }iI de subconjuntos (i. e.,
T 2X ) se llama de Alexandroff si es cerrada para intersecciones y
uniones arbitrarias.
Se dice entonces que el par (X, T) es un A-espacio. Estos espacios
son ahora llamados de Alexandroff, quasidiscretos (M. Erne),
principales (Steiner [10]) , finitamente generados (Herrlich [13] ),
saturados (Lorrain [5]). P. Johnstone se refirio a estas topologas en
[15] como de Alexandroff o simplemente A-espacios.
Enero 2013
3 / 57
Conjuntos
Definicion
Enero 2013
3 / 57
Conjuntos
Definicion
Enero 2013
3 / 57
Topologa
Cada A-espacio es en particular un espacio topologico donde
permitimos que la interseccion arbitraria de abiertos sea de nuevo un
conjunto abierto (A-topologa).
Luego, para un X en particular tenemos las siguiente relacion entre
clases
T f (X) A(X) T op(X)
donde
T f (X) es la coleccion de las topologas finitas sobre X.
A(X) es la coleccion de las A-topologas sobre X.
T op(X) es la coleccion de las topologas sobre X.
Si X es finito A(X) = T op(X).
Enero 2013
4 / 57
Topologa
clases
donde
Enero 2013
4 / 57
Topologa
clases
donde
Enero 2013
4 / 57
Ejemplo
Subclases de A(X) son:
La clase T lf (X) de las topologas localmente finitas (cada
punto del espacio posee una vecindad abierta finita).
Por supuesto, todo conjunto finito es localmente finito, pero no
todo conjunto localmente finito es finito. Consideremos la lnea
digital Z la cual tiene como base las vecindades minimales V (n):
para n Z, V (n) = {n} si n es impar y
V (n) = {n 1, n, n + 1} si n es par. Entonces Z es un espacio
T0 localmente finito el cual no es finito.
Las topologas particionadas, donde los conjuntos abiertos
tambien son cerrados (provienen en su base de relaciones de
equivalencia).
Las A-topologas no tienen separacion mayor a T1 .
La unica topologa de Alexandroff que es T1 es la topologa
discreta.
Enero 2013
5 / 57
Ejemplo
equivalencia).
discreta.
Enero 2013
5 / 57
Ejemplo
equivalencia).
discreta.
Enero 2013
5 / 57
Los A-espacios son exactamente los espacios topologicos para los
cuales cada punto a X esta contenido en una vecindad N(a)
minimal (por inclusion).
De la definicion de A-topologa para el espacio X, para cada a X,
\
Na := {Va X : Va es una vecindad abierta de a}.
Base minimal.
La clase A(f unX) (2X )X de funciones f : X (X) tales que:

1
2
Para todo a X se tiene a f (a)

Para todo a, b X con b f (a) se tiene f (b) f (a)
coincide con A(X).

Enero 2013
6 / 57
\
Base minimal.

1
2

coincide con A(X).

Enero 2013
6 / 57
\
Base minimal.

1
2

coincide con A(X).

Enero 2013
6 / 57
La relacion
Existe una manera de asignar a una funcion f una A-topologa (y

visceversa).
A(f unX) (2X )X A(X)
f 7 h{f (a) : a X}i
f (a) = Na T
(a cada f asignamos la base {f (a) : a X}).
Enero 2013
7 / 57
La relacion
Existe una manera de asignar a una funcion f una A-topologa (y

visceversa).
A(f unX) (2X )X A(X)
f 7 h{f (a) : a X}i
f (a) = Na T
(a cada f asignamos la base {f (a) : a X}).
Enero 2013
7 / 57
Como crearlas?
Sea : X X una funcion arbitraria. Entonces : X (X)

[
(x) := {x} 1 (x) 2 (x) = {n (x) : n 0}
satisface (1) y (2), y por tanto corresponde a una topologa de
Alexandroff sobre X.
Enero 2013
8 / 57
Enero 2013
9 / 57
Estructura pre-ordenada
Un preorden (o casi-orden) sobre un conjunto X es una relacion

reflexiva y transitiva sobre X. Si la relacion es ademas antisimetrica,
la llamamos un orden parcial.
Las familias Pre(X), A(X) (pre-ordenes y A-topologas) para un
conjunto X estan ordenadas por la inclusion.
Dado un conjunto X, los pares (A(X), ) y (P re(X), ) son
retculos completos.
Enero 2013
10 / 57

retculos completos.
Enero 2013
10 / 57

retculos completos.
Enero 2013
10 / 57
En 1935, Alexandroff y Tucker inventaron de manera independiente

un metodo general de construir topologas sobre pre-ordenes. Este
metodo proporciona una de las primeras relaciones entre las
estructuras orden versus topologa, y muestra una correspondencia
uno a uno entre las topologas de Alexandroff y los preordenes sobre
un conjunto X dado.
Posteriormente, Steiner en 1966 mostro que el retculo de las
topologas de Alexandroff era anti-isomorfo al retculo de los
preordenes sobre X.
En 1936, Garrett Birkhoff observo que inherente al estudio de la
topologa esta la nocion de comparar por contenencia dos topologas
sobre un mismo conjunto. En su artculo [12], Birkhoff es el primero
en estudiar detenidamente este orden en la coleccion T op(X) de
todas las topologas sobre el conjunto X, y muestra que se trata de
un retculo completo.
Enero 2013
11 / 57

un conjunto X dado.
preordenes sobre X.
Enero 2013
11 / 57

un conjunto X dado.
preordenes sobre X.
Enero 2013
11 / 57
La relacion
(1935, Alexandroff and Tucker [1], [17])

Existe una manera de asignar a un pre-orden una A-topologa (y
visceversa).
P re(X) A(X)
7 T()
ET T
Enero 2013
12 / 57
La relacion

visceversa).
P re(X) A(X)
7 T()
ET T
Enero 2013
12 / 57
La relacion

visceversa).
P re(X) A(X)
7 T()
ET T
Enero 2013
12 / 57
7 T() : Sea un pre-orden en X, la Atopologa T()

sobre X es la generada por los filtros principales
x := {y X : y x}, x X.
[
A X es abierto si A =
x
xA
(A es un conjunto superior).
La coleccion B = { x : x X} de los filtros principales
( x = {y X : x y}) es una base minimal para una topologa
sobre X. Esta topologa, notada como T() es de Alexandroff.
Enero 2013
13 / 57
7 T() : Sea un pre-orden en X, la Atopologa T()

sobre X es la generada por los filtros principales
x := {y X : y x}, x X.
[
A X es abierto si A =
x
xA
(A es un conjunto superior).
La coleccion B = { x : x X} de los filtros principales
( x = {y X : x y}) es una base minimal para una topologa
sobre X. Esta topologa, notada como T() es de Alexandroff.
Enero 2013
13 / 57
La relacion inversa o cada espacio topologico lleva

de manera intrnseca un pre-orden
ET T : Dada una topologa T definimos un pre-orden
(especializacion) ET as
x ET y
cada abierto que contiene a x tambien contiene a y

x {y}
y Vx para toda vecindad Vx
{x} {y}.
y es mas especial que x, ya que esta contenido en mas conjuntos

abiertos.
Enero 2013
14 / 57

x ET y

x {y}
{x} {y}.

abiertos.
Enero 2013
14 / 57

x ET y

x {y}
{x} {y}.

abiertos.
Enero 2013
14 / 57
T es una relacion que es reflexiva y transitiva; esta construccion

reversa el orden en el sentido que T G siempre que T G.
Dado un preorden R sobre X, existen, en general, muchas topologas
T para las cuales T = R, pero T() es la mas fina de ellas.
En un sentido general sin condiciones sobre la topologa ni el
cardinal de X tenemos cierta relacion inversa: ET(E) = E. Pero en
el caso en que las topologas sean de Alexandroff, estas relaciones son
inversas la una de la otra pues tenemos ademas que T(ET ) = T.
ET(E) = E & T(ET ) = T
El retculo (A(X), ) es anti-isomorfo al retculo (Pre(X), ).

Este pre-orden T es un orden parcial si y solo si el espacio X es T0 .
(Es antisimetrico y por tanto un orden parcial si y solo si X es T0 .)
Enero 2013
15 / 57

ET(E) = E & T(ET ) = T

Enero 2013
15 / 57

ET(E) = E & T(ET ) = T

Enero 2013
15 / 57

ET(E) = E & T(ET ) = T

Enero 2013
15 / 57
Las dos construcciones anteriores son categoricamente hablando un

isomorfismo concreto entre la categora de los conjuntos
pre-ordenados con funciones isotonas (i.e. preservan el orden) y la
categora de los espacios de Alexandroff con las funciones continuas.
El isomorfismo inverso fue establecido al restringir el functor de
especializacion T , el cual olvida la estructura topologica y anade a
cambio una estructura de orden.
Enero 2013
16 / 57
En particular, si X es finito, los conjuntos P re(X) y

T op(X) tienen la misma cantidad de elementos.
b
a
c
d
Figura: Grafo asociado a T = {{b}, {a, b}, {b, c, d}, X, } (cada nodo
debera tener un bucle pero lo suprimimos por comodidad)
Enero 2013
17 / 57
En particular, si X es finito, los conjuntos P re(X) y

T op(X) tienen la misma cantidad de elementos.
b
a
c
d
Figura: Grafo asociado a T = {{b}, {a, b}, {b, c, d}, X, } (cada nodo
debera tener un bucle pero lo suprimimos por comodidad)
Enero 2013
17 / 57
Las topologas booleanas son aquellas que tienen como base una
particion de X. En particular, cada una de estas topologas resulta
ser de Alexandroff.
El conjunto ordenado (Bool(X), ) de las topologas booleanas es
anti-isomorfo al retculo (Equiv(X), ) de las relaciones de
equivalencia sobre X (pre-ordenes en particular).
Dada una topologa J , la relacion RJ definida por
xRJ y x {y} & y {x},
es una relacion de equivalencia sobre X.
Enero 2013
18 / 57
ser de Alexandroff.
Enero 2013
18 / 57
ser de Alexandroff.
Enero 2013
18 / 57
Enero 2013
19 / 57

Un filtro F en un conjunto X es una coleccion no vaca de
subconjuntos de X que satisface:
1
2
Si F1 , F2 F entonces F1 F2 F .
Si F1 F y F1 F entonces F F .
La coleccion (F il(X), ) es un retculo completo.

Existe una manera de asignar a un filtro F y un elemento fijo p X
una topologa:
F il(X) T op(X)
(p, F ) 7 G(p, F ) := (X {p}) F
Enero 2013
20 / 57

1
2

una topologa:
F il(X) T op(X)
(p, F ) 7 G(p, F ) := (X {p}) F
Enero 2013
20 / 57

1
2

una topologa:
F il(X) T op(X)
(p, F ) 7 G(p, F ) := (X {p}) F
Enero 2013
20 / 57
Si F resulta ser un ultrafiltro, entonces G(p, F ) es llamada una

ultratopologa.
Si F es un ultrafiltro principal, entonces G(p, F ) es llamada una
ultratopologa principal.
Una ultratopologa principal es de la forma G(x, Uhyi), con
x, y X, x 6= y, y Uhyi es el ultrafiltro principal generado por
{y}, i. e., Uhyi =y = {F X : y F }.
Una topologa J sobre X se dice principal si es discreta o es la
interseccion de ultratopologas principales:
\
J = {G(x, y) : x 6= y}.
Steiner [10] probo que esto es equivalente a requerir que J sea de
Alexandroff,
P rincipal
= Alexandrof f
Enero 2013
21 / 57

ultratopologa.
{y}, i. e., Uhyi =y = {F X : y F }.
\
J = {G(x, y) : x 6= y}.
Alexandroff,
P rincipal
= Alexandrof f
Enero 2013
21 / 57

ultratopologa.
{y}, i. e., Uhyi =y = {F X : y F }.
\
J = {G(x, y) : x 6= y}.
Alexandroff,
P rincipal
= Alexandrof f
Enero 2013
21 / 57

ultratopologa.
{y}, i. e., Uhyi =y = {F X : y F }.
\
J = {G(x, y) : x 6= y}.
Alexandroff,
P rincipal
= Alexandrof f
Enero 2013
21 / 57

ultratopologa.
{y}, i. e., Uhyi =y = {F X : y F }.
\
J = {G(x, y) : x 6= y}.
Alexandroff,
P rincipal
= Alexandrof f
Enero 2013
21 / 57
(X)
bc
bc
bc
bc
bc
bc
bc
ultratopologas
bc
bc
{, X}
Enero 2013
22 / 57
Enero 2013
23 / 57
Dado un conjunto X podemos identificar cada subconjunto de X con

su funcion caraterstica, de suerte que la coleccion (X) de sus
subconjuntos, es identificada con el conjunto de funciones
2X = {0, 1}X .
Enero 2013
24 / 57
(X) 2X
{0, 1}i .
iX
La topologa en 2X es la producto, donde Xi = {0, 1} es discreto

(llamamos a este espacio el cubo 2X ).
El cubo 2X es compacto, de Hausdorff, regular, totalmente
desconectado, etc.
Algunos conjuntos (sub)basicos: para cada a X, sea
a+ := {A 2X : a A} = a1 ({1})
a := {A 2X : a
/ A} = a1 ({0}).
Notese que a+ = 2X a con lo que cada abierto subbasico es
tambien cerrado.
Enero 2013
25 / 57
Con esta identificacion es posible dar significado a que una topologa

T 2X sea abierta, cerrada, aberrada, compacta, etc. y en particular
mirar lo que son las A-topologas (caracterizarlas?)
Por supuesto, una cosa es que el espacio (X, T) sea compacto y otra
que la topologa T lo sea.
Enero 2013
26 / 57
{0, 1}i (X)
iX
A 7 A
es biyectiva.
Q
2X iX {0, 1}i tiene la topologa producto, y al considerar
sobre (X) la topologa final (U es abierto en (X) si y solo si
1 (U) es abierto en 2X ) hacemos de un homeomorfismo.
Una topologa T sobre X se puede ver como un subconjunto del
cubo de cantor 2X
2X es un espacio de funciones con la topologa punto abierto,
la proyeccion x : 2X {0, 1} esta definida como
x (A ) = A (x) para cada x X.
Enero 2013
27 / 57
{0, 1}i (X)
iX
A 7 A
es biyectiva.
Q
cubo de cantor 2X
Enero 2013
27 / 57
{0, 1}i (X)
iX
A 7 A
es biyectiva.
Q
cubo de cantor 2X
Enero 2013
27 / 57
{0, 1}i (X)
iX
A 7 A
es biyectiva.
Q
cubo de cantor 2X
Enero 2013
27 / 57
{0, 1}i (X)
iX
A 7 A
es biyectiva.
Q
cubo de cantor 2X
Enero 2013
27 / 57
Proposicion
En el retculo ((X), ) los intervalos cerrados
[K, F ] = {A (X) : K A F }
con K finito (casi nada) y F cofinito (casi todo) constituyen una
base B para la topologa producto en 2X .
Enero 2013
28 / 57
Teorema
B es una base para la topologa final T en (X):
1. B T.
Demostracion.
Sea [K, F ] B y definamos los conjuntos Gi = {1} si i K,
Gi = {0} si i F c y Gi = {0, 1} si i X (F c K). Entonces
Y
1 ([K, F ]) =
Gi
iX
es un abierto basico en 2X .
Por tanto [K, F ] T y as B T.
Enero 2013
29 / 57
Teorema
B es una base para la topologa final T en (X):
1. B T.
Demostracion.
Sea [K, F ] B y definamos los conjuntos Gi = {1} si i K,
Gi = {0} si i F c y Gi = {0, 1} si i X (F c K). Entonces
Y
1 ([K, F ]) =
Gi
iX
es un abierto basico en 2X .
Por tanto [K, F ] T y as B T.
Enero 2013
29 / 57
2. Dado U T y A U, existe [K, F ] B tal que

A [K, F ] U.
Demostracion.
Sean U T y A U; existe J X finito tal que
Y
1 (A)
Gi 1 (U)
iX
donde Gi = {1} o Gi = {0} si i J, y Gi = {0, 1} si i X J.

Sean
K = {i J : Gi = {1}} y L = {i J : Gi = {0}}.
Q
finitos y disjuntos. 1 ([K, F ]) =
Gi donde F = Lc . Por tanto
iX
A [K, F ] U.
Como es homeomorfismo, B se puede ver como una base para la
topologa producto en 2X .
Enero 2013
30 / 57
2. Dado U T y A U, existe [K, F ] B tal que

A [K, F ] U.
Demostracion.
Sean U T y A U; existe J X finito tal que
Y
1 (A)
Gi 1 (U)
iX
donde Gi = {1} o Gi = {0} si i J, y Gi = {0, 1} si i X J.

Sean
K = {i J : Gi = {1}} y L = {i J : Gi = {0}}.
Q
finitos y disjuntos. 1 ([K, F ]) =
Gi donde F = Lc . Por tanto
iX
A [K, F ] U.
Como es homeomorfismo, B se puede ver como una base para la
topologa producto en 2X .
Enero 2013
30 / 57
Reescribimos al intervalo [K, F ] como

[K, F ] = {A 2X : K A & A F c = }
(K es finito y F es cofinito), entonces estos intervalos son
subconjuntos aberrados (abiertos y cerrados) en 2X ya que,
#
# "
"
[ [
[
[{l}, X] .
[, {k}c ]
[K, F ]c =
lF c
kK
Enero 2013
31 / 57
Que topologas son subconjuntos cerrados en 2X ?
Si las caracterizamos tenemos entonces otra definicion para esta

topologa.
Teorema
Sea T una topologa sobre X. Las siguientes afirmaciones son
equivalentes:
1
T es de Alexandroff.
2
T 2X es un cerrado en el cubo 2X .
Enero 2013
32 / 57

topologa.
Teorema
equivalentes:
1
2
Enero 2013
32 / 57

topologa.
Teorema
equivalentes:
1
2
Enero 2013
32 / 57
La demostracion esta basada en la siguiente caracterizacion de

subconjunto cerrado de un espacio topologico:
F X es cerrado si dada una red {s }D en F ,
s x implica x F.
1
Enero 2013
33 / 57
La demostracion esta basada en la siguiente caracterizacion de

subconjunto cerrado de un espacio topologico:
F X es cerrado si dada una red {s }D en F ,
s x implica x F.
1
Enero 2013
33 / 57
Demostracion.
=: Sea A una red de abiertos en T tal que A converge (en 2X ) a
un conjunto A. Mostremos entonces que A T.
Dado x A consideremos su vecindad minimal Nx (ya que T es de
Alexandroff). Es suficiente ver que Nx A. Como A A y x A,
existe un ndice tal que para todo > se tiene que x A .
Como cada A es abierto, entonces Nx A para todo > y por
tanto Nx A.
=: Sean x X y A la red de todas las vecindades abiertas de x
ordenadas
por la contenencia inversa. Entonces
A converge (en 2X )
T
T
a A . Como T es un cerrado, entonces A T y por tanto T es
de Alexandroff.
Enero 2013
34 / 57
Demostracion.
=: Sea A una red de abiertos en T tal que A converge (en 2X ) a
un conjunto A. Mostremos entonces que A T.
Dado x A consideremos su vecindad minimal Nx (ya que T es de
Alexandroff). Es suficiente ver que Nx A. Como A A y x A,
existe un ndice tal que para todo > se tiene que x A .
Como cada A es abierto, entonces Nx A para todo > y por
tanto Nx A.
=: Sean x X y A la red de todas las vecindades abiertas de x
ordenadas
por la contenencia inversa. Entonces
A converge (en 2X )
T
T
a A . Como T es un cerrado, entonces A T y por tanto T es
de Alexandroff.
Enero 2013
34 / 57
Sea T una topologa de Alexandroff sobre X

T es compacta en 2X , (2X es compacto).
La clausura T de T en 2X es una topologa.
T es la topologa de Alexandroff mas pequena conteniendo a T
Para que topologas T 6= 2X ?
Enero 2013
35 / 57

Enero 2013
35 / 57

Enero 2013
35 / 57

Enero 2013
35 / 57
Vision algebraica
Enero 2013
36 / 57
Definicion
Un semigrupo (S, ) es un conjunto no vaco S junto con una
operacion que es binaria y asociativa.
: S S S
(s, t) 7 s t
Sean (S, ) un semigrupo y X 6= . S actua sobre el conjunto X si
existe una funcion
: S X X
tal que s1 (s2 x) = (s1 s2 ) x para todo s1 , s2 S, x X.
Si ademas S posee un elemento identico 1, entonces 1 x = x para
todo x X.
En caso que S no posea un elemento identico, S 1 denota al
semigrupo obtenido de S al anadirle un elemento identico.
Enero 2013
37 / 57
Definicion
Un semigrupo (S, ) es un conjunto no vaco S junto con una
operacion que es binaria y asociativa.
: S S S
(s, t) 7 s t
Sean (S, ) un semigrupo y X 6= . S actua sobre el conjunto X si
existe una funcion
: S X X
tal que s1 (s2 x) = (s1 s2 ) x para todo s1 , s2 S, x X.
Si ademas S posee un elemento identico 1, entonces 1 x = x para
todo x X.
En caso que S no posea un elemento identico, S 1 denota al
semigrupo obtenido de S al anadirle un elemento identico.
Enero 2013
37 / 57
Para cada x X, el efecto de S sobre un punto x, es decir el

conjunto Ox = {s x : s S} es la
orbita de x.
Es decir Ox esta formado por los y X tal que y = s x, para algun
s S.
Para x, y X con x Oy tenemos Ox Oy .
Cada semigrupo (S, ) actua sobre s mismo utilizando su la
operacion binaria .
Bajo esta accion, la orbita de un elemento a S es el ideal
principal Oa = S a = {s a : s S 1 }
Enero 2013
38 / 57

orbita de x.
s S.
operacion binaria .
Enero 2013
38 / 57

orbita de x.
s S.
operacion binaria .
Enero 2013
38 / 57

orbita de x.
s S.
operacion binaria .
Enero 2013
38 / 57
La conexion: topologas provenientes de acciones

de semigrupos?
Sea S un semigrupo actuando sobre un conjunto X. Reemplazando a
S por S 1 si es necesario, podemos asumir que S tiene una identidad,
y as x Ox para cada x X.
Teorema
Sea S un semigrupo con identidad (monoide) actuando sobre un
conjunto X no vaco. La coleccion de las orbitas
B(S) = {Ox : x X} es una base (consistente de todas las
vecindades abiertas minimales) para una topologa de Alexandroff
T(S) sobre X.
Enero 2013
39 / 57
La conexion: topologas provenientes de acciones

de semigrupos?
Sea S un semigrupo actuando sobre un conjunto X. Reemplazando a
S por S 1 si es necesario, podemos asumir que S tiene una identidad,
y as x Ox para cada x X.
Teorema
Sea S un semigrupo con identidad (monoide) actuando sobre un
conjunto X no vaco. La coleccion de las orbitas
B(S) = {Ox : x X} es una base (consistente de todas las
vecindades abiertas minimales) para una topologa de Alexandroff
T(S) sobre X.
Enero 2013
39 / 57
La conexion con el orden

Sea (S, , e) un monoide (e la unidad).
La relacion binaria definida sobre S por
s t t = u s para algun u S
define un preorden en S (I. A. Green, Z. Ross, 1952)
Por tanto, induce una topologa de Alexandroff T() sobre S.
Ademas, si S actua sobre si mismo bajo , obtenemos a T(S)
T(S) = T() (Os = s).
Enero 2013
40 / 57

T(S) = T() (Os = s).
Enero 2013
40 / 57

T(S) = T() (Os = s).
Enero 2013
40 / 57

T(S) = T() (Os = s).
Enero 2013
40 / 57

T(S) = T() (Os = s).
Enero 2013
40 / 57
La conexion entre semigrupos y preordenes (a izquierda de Green) es

bien conocida por los algebristas, mientras que la equivalencia de los
preordenes y las topologas de Alexandroff es conocida por los
topologos.
De otra parte, las relaciones directas entre semigrupos y topologas
principales ha recibido menos atencion. Como se muestra 1 , no toda
topologa principal sobre X proviene de una estructura de semigrupo
sobre X via el preorden de Green.
Existe una correspondencia 1-1 entre topologas principales sobre X
y una coleccion de subgrupos de transformaciones sobre X
apropiado?
B. Richmond, Semigroups and their topologies arising from Greens

left quasiorder, Appl. Gen. Topol., 2008.
Enero 2013
41 / 57

topologos.
apropiado?

Enero 2013
41 / 57

topologos.
apropiado?

Enero 2013
41 / 57
Los semigrupos de la correspondencia

Dado X 6= la coleccion Hom(X) de las funciones de X en X es
un monoide al considerar como operacion la composicion usual de
funciones y la funcionidentidad 1X (x) = x para cada x X como la
unidad.
Si S Hom(X) es un sub-semigrupo, S actua sobre X via la
funcion evaluacion
: S X X
(f, x) 7 f (x)
Enero 2013
42 / 57
Los semigrupos de la correspondencia

Dado X 6= la coleccion Hom(X) de las funciones de X en X es
un monoide al considerar como operacion la composicion usual de
funciones y la funcionidentidad 1X (x) = x para cada x X como la
unidad.
Si S Hom(X) es un sub-semigrupo, S actua sobre X via la
funcion evaluacion
: S X X
(f, x) 7 f (x)
Enero 2013
42 / 57
Subsemigrupos de Hom(X)
S 7 T(S): Dado un subsemigrupo S Hom(X), la topologa T(S)
sobre X es generada por la coleccion de orbitas
Ox = {f (x) : f S}
provenientes de la accion de S sobre X. Recuerdese que esta
coleccion de orbitas forman una base minimal de vecindades abiertas.
: Subsemigrupos(Hom(X)) A(X)
S
7 T(S)
Enero 2013
43 / 57
La correspondencia no es 1-1
Dos subsemigrupos S1 y S2 de Hom(X) generan la misma topologa
sobre X por medio de ( T(S1 ) = T(S2 )) sii las orbitas de sus
acciones sobre X son iguales.
Restringir entonces el dominio de :
Por cada coleccion de subgrupos que generan cierta topologa
1 (T(S)) escogemos al subgrupo maximal de esta coleccion
(subsemigrupo saturado).
Enero 2013
44 / 57
Enero 2013
44 / 57
Enero 2013
44 / 57
Que sub-semigrupos considerar?

Definicion
Sea X 6= . Un sub-semigrupo T de Hom(X) es saturado si:
1
1X T , donde 1X (x) = x para todo x X (identidad).
2
Si T actua sobre X via la funcion evaluacion, y para cada x X
OxT = {f (x) : f T } es la orbita de x para esta accion,
entonces
T = {f Hom(X) : f (x) OxT , para cada x X}.
No hay mas funciones en Hom(X) que envan a cada x dentro de
OxT que las pertenecientes a T .
Enero 2013
45 / 57
La correspondencia
: S(X) A(X)
S 7 T(S)
S(X) es la coleccion de todos los semigrupos saturados de Hom(X).
S 7 T(S): Dado un semigrupo saturado S Hom(X), la topologa
T(S) sobre X es generada por la coleccion de orbitas
Ox = {f (x) : f S}
provenientes de la accion de S sobre X. Recuerdese que esta
coleccion de orbitas forman una base minimal de vecindades abiertas.
Enero 2013
46 / 57
Ejemplo
Sean X = R y
T = {f : R R | f (x) x para cada x R}.
T es un subsemigrupo saturado de transformaciones sobre R.
La topologa T(T ) sobre R es la topologa generada por las colas
(, a], a R.
Enero 2013
47 / 57
Ejemplo
Sean X = R y
T = {f : R R | f (x) x para cada x R}.
T es un subsemigrupo saturado de transformaciones sobre R.
La topologa T(T ) sobre R es la topologa generada por las colas
(, a], a R.
Enero 2013
47 / 57
La construccion inversa
Dada T una topologa de Alexandroff sobre un conjunto X, sea Nx la
vecindad minimal abierta para cada x.
La coleccion de funciones
S(T) = {f Hom(X) : f (x) Nx para cada x X}
es un sub-semigrupo saturado de Hom(X).
: A(X) S(X)
T 7 S(T)
Si permitimo que S(T) actue sobre X, para cada x X la orbita
Ox = {f (x) : f S(T)} es precisamente la vecindad minimal, es
decir, Ox = Nx .
Enero 2013
48 / 57
: A(X) S(X)
T 7 S(T)
decir, Ox = Nx .
Enero 2013
48 / 57
: A(X) S(X)
T 7 S(T)
decir, Ox = Nx .
Enero 2013
48 / 57
La correspondencia es biunvoca
Las funciones
: S(X) A(X) y : A(X) S(X)
definidas por (S) = T(S) y (T) = S(T) son inversas la una de la
otra:
((T)) = T & ((S)) = S
Esta correspondencia es un anti-isomofismo ((S(X), ) es un
retculo completo).
Las topologas de Alexandroff son semigrupos saturados de
transformaciones.
Enero 2013
49 / 57
Ejemplo
Dado T subconjunto de Hom(X), consideremos el subgrupo
generado por T ,
\
hT i = {S : T S Hom(X), S es un semigrupo }.
hT i actua sobre X via la funcion evaluacion y genera as una

topologa principal T sobre X la cual corresponde a un unico
subgrupo saturado hT isat .
Para dar ejemplos, simplemente debemos tomar cualquier
subconjunto T Hom(X).
Sean X = Z y T = {f+ , f } Hom(Z)
Enero 2013
50 / 57
Ejemplo
generado por T ,
\

Enero 2013
50 / 57
Ejemplo
generado por T ,
\

Enero 2013
50 / 57
Ejemplo
generado por T ,
\

Enero 2013
50 / 57
9
b
8
7
b
6
5
b
f+ (x) =
3
b
2
1
b
si x es impar
x + 1 si x es par
Enero 2013
51 / 57
9
b
8
7
b
6
5
b
f (x) =
3
b
2
1
b
si x es impar
x 1 si x es par
0
0
b
Enero 2013
52 / 57
Ejemplo
hT isat = {f : Z Z | f (x) = x si x es impar y
f (x) {x 1, x, x + 1} si x es par }.
hT isat produce la topologa de Khalimskya sobre Z, para la cual
Nn = {n} si n es impar, y Nn = {n 1, n, n + 1} si n es par.
Khalimsky, Efim, Topological structures in computer science. Journal
of Applied Math. and Simulation Vol. 1 1 (1987), 25-40.
a
Enero 2013
53 / 57
Ejemplo
f (x) {x 1, x, x + 1} si x es par }.
a
Enero 2013
53 / 57
Ejemplo
f (x) {x 1, x, x + 1} si x es par }.
a
Enero 2013
53 / 57
Bibliografa I
Alexandroff, P., Discrete Raume. Mat. Sb. 2, 501518 (1937).
F.G. Arenas, Alexandroff spaces, Acta Math. Univ. Comenianae,
68 (1999), 17-25.
A. F. Beardon, Iteration of rational functions, Springer-Verlag,
1991.
Erne, M., Struktur und Anzahlfomeln fiir Topologien auf
endlichen Mengen, Manuscripta Math., 11 (1974) 221-259.
Lorraine, F. Notes on topological spaces with minimun
neighborhoods Amer. math. monthly, vol. 76, 6, 1969 pag.
616-627.
Steprans, J., Watson S., Set Theory and its Applications
(Editores), Springer, 2008
Enero 2013
54 / 57
Bibliografa II
I. M. James, Alexandroff spaces, Rend. Circ. Mat. Palermo (2)
Suppl. (1992), no. 29, 475-481, International Meeting on
Topology in Italy (Italian) (Lecce, 1990/Otranto, 1990). MR
94g:54020. Zbl 793.54006.
7. Khalimsky, E., Kopperman, R. D. and Meyer, P. R., Computer
graphics and connected topologies on finite ordered sets,
Topology and its Appl., 36 (1990), 1-17.
R. Kopperman, Digital Topology, Lecture Notes in Computer
Science, 2003, Volume 2886, Discrete Geometry for Computer
Imagery, Pages 1-15
A. K. Steiner, The lattice of topologies: Structure and
complementation, Trans. Am. Math. Soc., 122 (1966) 379-398.
Enero 2013
55 / 57
Bibliografa III
R. Larson, S. J. Andima, The lattice of topologies: a survey.
Rocky Mountain J. of Mths. Vol. 5, N. 2, 1975.
Garrett Birkhoff, Lattice theory, Amer. Math. Soc. Colloquium
Pubi, third edition, Rhode Island, 1967.
H. Herrlich, Topologische Reflexionen und Coreflexionen, Lecture
Notes in mathematics, 78, Springer.
F. G. Arenas, Alexandroff Topologies Viewed as Closed Sets in
the Cantor Cube, Divulgaciones Matematicas Vol. 13 No.
1(2005), pp. 45-53.
P. Johnstone, Stone spaces, Cambridge University Press, 1986.
edition.
S. Andima, W. J. Thron W., Order-Induced Topological
Properties, Pacific Journal Of Mathematics, Vol 75, No 2, 1978.
Enero 2013
56 / 57
Bibliografa IV
Tucker, A., Cell spaces, Ann. of Math., 37 (1936), 92100.

S. Todorcevic y C. Uzcategui, Analytic topologies over countable
sets, Top. and its Appl., 111(3): 299326, 2001.
Enero 2013
57 / 57

05 Gustavo Rubiano

Încărcat de

Informații document

Descriere originală:

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

05 Gustavo Rubiano

Încărcat de

Drepturi de autor:

Formate disponibile

Los ubicuos espacios de Alexandroff

Universidad Nacional de Colombia, Bogota

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

Caracterizacion por filtros

Caracterizacion como puntos

La clase A(f unX) (2X )X de funciones f : X (X) tales que:

Para todo a X se tiene a f (a)

coincide con A(X).

La clase A(f unX) (2X )X de funciones f : X (X) tales que:

Para todo a X se tiene a f (a)

coincide con A(X).

La clase A(f unX) (2X )X de funciones f : X (X) tales que:

Para todo a X se tiene a f (a)

coincide con A(X).

Existe una manera de asignar a una funcion f una A-topologa (y

Existe una manera de asignar a una funcion f una A-topologa (y

Sea : X X una funcion arbitraria. Entonces : X (X)

Un preorden (o casi-orden) sobre un conjunto X es una relacion

Un preorden (o casi-orden) sobre un conjunto X es una relacion

Un preorden (o casi-orden) sobre un conjunto X es una relacion

En 1935, Alexandroff y Tucker inventaron de manera independiente

En 1935, Alexandroff y Tucker inventaron de manera independiente

En 1935, Alexandroff y Tucker inventaron de manera independiente

(1935, Alexandroff and Tucker [1], [17])

(1935, Alexandroff and Tucker [1], [17])

(1935, Alexandroff and Tucker [1], [17])

7 T() : Sea un pre-orden en X, la Atopologa T()

7 T() : Sea un pre-orden en X, la Atopologa T()

La relacion inversa o cada espacio topologico lleva

cada abierto que contiene a x tambien contiene a y

y es mas especial que x, ya que esta contenido en mas conjuntos

La relacion inversa o cada espacio topologico lleva

cada abierto que contiene a x tambien contiene a y

y es mas especial que x, ya que esta contenido en mas conjuntos

La relacion inversa o cada espacio topologico lleva

cada abierto que contiene a x tambien contiene a y

y es mas especial que x, ya que esta contenido en mas conjuntos

T es una relacion que es reflexiva y transitiva; esta construccion

El retculo (A(X), ) es anti-isomorfo al retculo (Pre(X), ).

T es una relacion que es reflexiva y transitiva; esta construccion

El retculo (A(X), ) es anti-isomorfo al retculo (Pre(X), ).

T es una relacion que es reflexiva y transitiva; esta construccion

El retculo (A(X), ) es anti-isomorfo al retculo (Pre(X), ).

T es una relacion que es reflexiva y transitiva; esta construccion

El retculo (A(X), ) es anti-isomorfo al retculo (Pre(X), ).

Las dos construcciones anteriores son categoricamente hablando un

En particular, si X es finito, los conjuntos P re(X) y

En particular, si X es finito, los conjuntos P re(X) y

Caracterizacion por filtros

Caracterizacion por filtros

La coleccion (F il(X), ) es un retculo completo.

Caracterizacion por filtros